- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j7 |      | 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) |
| c11 | | Simone Andre da Costa Cavalheiro, Luciana Foss, Leila Ribeiro: Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF 2012: 83-98 |
| 2011 | ||
| c10 | | 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 |
| c9 | | 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 |
| c8 | | 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 | ||
| c7 | | Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth: Model Checking the Ant Colony Optimisation. DIPES/BICC 2010: 221-232 |
| 2009 | ||
| j6 | | |
| c6 | | Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes: Model Transformation Using Graph Transactions. ICSR 2009: 95-105 |
| 2008 | ||
| j5 | | 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) |
| c5 | | Andrea Corradini, Luciana Foss, Leila Ribeiro: Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118 |
| 2007 | ||
| j4 | | 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) |
| j3 | | 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 | ||
| c4 | | Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214 |
| 2005 | ||
| j2 | | 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) |
| c3 | | Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro: Modeling and Property Verification of Lactose Operon Regulation. BSB 2005: 95-106 |
| 2004 | ||
| j1 | | Luciana Foss, Leila Ribeiro: A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004) |
| c2 | | Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 |
| 2003 | ||
| c1 | | Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275 |
| 1 | Paolo Baldan | |
| 2 | Nicolas N. Bisi | |
| 3 | Lisane B. de Brisolara | |
| 4 | Cicero Augusto de S. Camargo | |
| 5 | Gerson G. H. Cavalheiro (Gerson Geraldo Homrich Cavalheiro) | |
| 6 | Simone Andre da Costa Cavalheiro (Simone André da Costa) | |
| 7 | Andrea Corradini | |
| 8 | Fernando Luís Dotti | |
| 9 | Lucio Mauro Duarte | |
| 10 | Ana Paula Lüdtke Ferreira | |
| 11 | Fabio Gadducci | |
| 12 | Tales Heimfarth | |
| 13 | Luiz Carlos Lemos Junior | |
| 14 | Rodrigo Machado | |
| 15 | Andre Moura de Mello | |
| 16 | José C. M. Mombach (José Carlos Merino Mombach) | |
| 17 | Daltro José Nunes | |
| 18 | Vinicius Pazzini | |
| 19 | Marcelo Cezar Pinto | |
| 20 | Leila Ribeiro (Leila Ribeiro Korff) | |
| 21 | Daniela Russi | |
| 22 | Osmar Marchi dos Santos | |
| 23 | Bruno Carreiro da Silva | |
| 24 | Flávio Rech Wagner |
Data released under the ODC-BY 1.0 license — See also our legal information page