Search: (more)
Header

Search Result

2016

BibTeX Search WWW PDF   [RoSF16]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Semantics in space systems architectures
Innovations in Systems and Software Engineering -- A NASA Journal

2014

BibTeX Search WWW PDF   [RoSF14]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Integrating UML Composite Structures and fUML
International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
BibTeX Search WWW PDF   [RoSF14a]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Using the Base Semantics given by fUML for Verification
International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
BibTeX Search WWW PDF   [Rome14]
A. Gerlinger Romero
Hybrid fUML: A Hybrid Synchronous Language
PhD Thesis
BibTeX Search WWW PDF   [Rome14a]
A. Gerlinger Romero
Hybrid fUML – Developer’s Guide
Instituto Nacional de Pesquisas Espaciais

2013

BibTeX Search WWW PDF   [RoSF13]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Synchronous Specialization of Alf for Cyber-Physical Systems
First Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering
BibTeX Search WWW PDF   [RoSF13a]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Towards the Applicability of Alf to Model Cyber-Physical Systems
International Workshop on Cyber-Physical Systems (IWCPS)