Luciana Foss

	2012
17		Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss: Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. 77(3): 214-246 (2012)
	2011
16		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
15		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
14		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
	2010
13		Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth: Model Checking the Ant Colony Optimisation. DIPES/BICC 2010: 221-232
	2009
12		Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes: Model Transformation Using Graph Transactions. ICSR 2009: 95-105
11		Rodrigo Machado, Luciana Foss, Leila Ribeiro: Aspects for Graph Grammars. ECEASST 18: (2009)
	2008
10		Andrea Corradini, Luciana Foss, Leila Ribeiro: Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118
9		Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008)
	2007
8		Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro: Modelling, property verification and behavioural equivalence of lactose operon regulation. Comp. in Bio. and Med. 37(2): 134-148 (2007)
7		Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro: Formal Verification of Object-Oriented Graph Grammars Specifications. Electr. Notes Theor. Comput. Sci. 175(4): 101-114 (2007)
	2006
6		Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214
	2005
5		Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro: Modeling and Property Verification of Lactose Operon Regulation. BSB 2005: 95-106
4		Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos: An Environment for the Development of Concurrent Object-Based Applications. Electr. Notes Theor. Comput. Sci. 127(1): 3-13 (2005)
	2004
3		Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
2		Luciana Foss, Leila Ribeiro: A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004)
	2003
1		Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275

Coauthor Index

1	Paolo Baldan	[6] [9]
2	Nicolas N. Bisi	[16]
3	Lisane B. de Brisolara	[16]
4	Cicero Augusto de S. Camargo	[14]
5	Gerson G. H. Cavalheiro (Gerson Geraldo Homrich Cavalheiro)	[14]
6	Simone Andre da Costa Cavalheiro	[14] [15] [16]
7	Andrea Corradini	[3] [6] [9] [10]
8	Fernando Luís Dotti	[1] [3] [4] [9] [17]
9	Lucio Mauro Duarte	[4] [13]
10	Ana Paula Lüdtke Ferreira	[7]
11	Fabio Gadducci	[6] [9]
12	Tales Heimfarth	[13]
13	Luiz Carlos Lemos Junior	[15]
14	Rodrigo Machado	[11]
15	Andre Moura de Mello	[15]
16	José C. M. Mombach (José Carlos Merino Mombach)	[5] [8]
17	Daltro José Nunes	[12]
18	Vinicius Pazzini	[16]
19	Marcelo Cezar Pinto	[5] [8]
20	Leila Ribeiro (Leila Ribeiro Korff)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [17]
21	Daniela Russi	[4]
22	Osmar Marchi dos Santos	[1] [4] [17]
23	Bruno Carreiro da Silva	[12]
24	Flávio Rech Wagner	[13] [16]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page