Alessandro Gerlinger Romero

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Intended Meaning

Computing Systems

Top Venues

Innov. Syst. Softw. Eng.

Publications

Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
Semantics in space systems architectures. Innov. Syst. Softw. Eng. 12 (1) (2016)
Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
Integrating UML Composite Structures and fUML. SOFSEM (2014)
Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
Using the Base Semantics given by fUML for Verification. MODELSWARD (2014)
Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
Towards the Applicability of Alf to Model Cyber-Physical Systems. FedCSIS (2013)
Geilson Loureiro, Jonas Bianchini Fulindi, Alessandro Gerlinger Romero, Fabrício de Novaes Kucinskis, Carlos Eduardo Andrade Lemonge, Renan Fernandes Vazquez, Magda Aparecida Silverio Miyashiro
Systems Concurrent Engineering of an Electrical Ground Support Equipment for an On-Board Computer. ISPE CE (2010)