

|
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 |
 |
|
 |
|
|