Simone André da Costa

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser
A relational approach of fuzzy graph grammars. ICNC-FSKD (2017)
Cícero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss
Aproximating static list schedules in dynamic multithreaded applications. Clust. Comput. 17 (2) (2014)
Simone André da Costa, Leila Ribeiro
Verification of graph grammars using a logical approach. Sci. Comput. Program. 77 (4) (2012)
Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Simone André da Costa, Leila Ribeiro
Formal Verification of Graph Grammars using Mathematical Induction. Electron. Notes Theor. Comput. Sci. 240 (2009)
Leonardo Michelon, Simone André da Costa, Leila Ribeiro
Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comput. Soc. 13 (4) (2007)
Leonardo Michelon, Simone André da Costa, Leila Ribeiro
Specification of Real-Time Systems with Graph Grammars. SBES (2006)
Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. EUROCAST (2003)
Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Nautilus, a Diagrammatic Specification and Programming Language. IASTED PDCS (2002)
Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes
Hyper-Automation System Applied to Geometry Demonstration Environment. EUROCAST (2001)