Simone Andre da Costa Cavalheiro

Simone André da Costa

	2012
j4		Simone André da Costa, Leila Ribeiro: Verification of graph grammars using a logical approach. Sci. Comput. Program. 77(4): 480-504 (2012)
c8		Simone Andre da Costa Cavalheiro, Luciana Foss, Leila Ribeiro: Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF 2012: 83-98
	2011
c7		Nicolas N. Bisi, Vinicius Pazzini, Luciana Foss, Simone Andre da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner: Using Graph Grammars to Develop Embedded Systems Based on UML Models. WEIT 2011: 81-87
c6		Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone Andre da Costa Cavalheiro: Graph Grammars: A Comparison between Verification Methods. WEIT 2011: 88-94
c5		Cicero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone Andre da Costa Cavalheiro: A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. WEIT 2011: 95-101
c4		Simone Andre da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro: Towards Developmental Turing Machines. WEIT 2011: 156-162
	2010
j3		Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg: Towards Theorem Proving Graph Grammars using Event-B. ECEASST 30 (2010)
	2009
j2		Simone André da Costa, Leila Ribeiro: Formal Verification of Graph Grammars using Mathematical Induction. Electr. Notes Theor. Comput. Sci. 240: 43-60 (2009)
	2007
j1		Leonardo Michelon, Simone André da Costa, Leila Ribeiro: Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comp. Soc. 13(4): 51-68 (2007)
	2003
c3		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: 243-252
	2002
c2		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: 381-386
	2001
c1		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: 457-468

Coauthor Index

Colors in the list of coauthors

Last update Sun May 26 03:53:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page