|
Home « Team « Publications
» Publications of
Jonas Gomes Filho
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler |
| Journal: |
|
Computer Languages, Systems & Structures |
| Details: |
|
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002 |
Year:
|
|
2018
|
|
|
CONFERENCES |
|
» Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs
|
|
|
|
Author:
|
|
Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler |
| Conference: |
|
22nd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
|
| Chiba/Tokyo, Japan, 2017
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Frame Conditions in Symbolic Representations of UML/OCL Models
|
|
|
|
Author:
|
|
Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| Conference: |
|
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Reference:
|
| pp. 65-70, Indian Institute of Technology, Kanpur, India, 2016
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Towards a Model-Based Verification Methodology
for Complex Swarm Systems
|
|
|
|
Author:
|
|
Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler |
| Conference: |
|
International Symposium on Electronic System Design (ISED) |
Reference:
|
| Patna, Indien, 2016
| Hyperlink:
|
| [To the Site of this Conference]
|
|
WORKSHOPS |
|
|
|
|
|
