Leila Ribeiro

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)

Simone André da Costa, Leila Ribeiro: Verification of graph grammars using a logical approach. Sci. Comput. Program. 77(4): 480-504 (2012)

Simone Andre da Costa Cavalheiro, Luciana Foss, Leila Ribeiro: Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF 2012: 83-98

Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti: Modeling the webgraph evolution. J. Comput. Science 2(1): 67-79 (2011)

Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro: Formal Methods at SBES: Evolution and Perspectives. SBES 2011: 1-3

Leila Ribeiro, Fernando Luís Dotti: Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT 2011: 15-20

Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg: Towards Theorem Proving Graph Grammars using Event-B. ECEASST 30 (2010)

Andrea Corradini, Fabio Gadducci, Leila Ribeiro: An Institution for Graph Transformation. WADT 2010: 160-174

Rodrigo Machado, Luciana Foss, Leila Ribeiro: Aspects for Graph Grammars. ECEASST 18 (2009)

Simone André da Costa, Leila Ribeiro: Formal Verification of Graph Grammars using Mathematical Induction. Electr. Notes Theor. Comput. Sci. 240: 43-60 (2009)

Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky: Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619

Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes: Model Transformation Using Graph Transactions. ICSR 2009: 95-105

Rodrigo Machado, Reiko Heckel, Leila Ribeiro: Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. RULE 2009: 39-50

Anamaria Martins Moreira, Leila Ribeiro: Preface. Electr. Notes Theor. Comput. Sci. 195: 1 (2008)

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)

Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes: On the Interaction of Advices and Raw Types in AspectJ. J. UCS 14(21): 3534-3555 (2008)

Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150

Andrea Corradini, Luciana Foss, Leila Ribeiro: Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118

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)

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)

Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)

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)

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini: Verifying Object-based Graph Grammars. Software and System Modeling 5(3): 289-311 (2006)

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.): Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Lecture Notes in Computer Science 4178, Springer 2006, isbn 3-540-38870-2

Ana Paula Lüdtke Ferreira, Leila Ribeiro: A Graph-based Semantics For Object-oriented Programming Constructs. Electr. Notes Theor. Comput. Sci. 122: 89-104 (2005)

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)

Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl: A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling 2005: 385-401

Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro: Modeling and Property Verification of Lactose Operon Regulation. BSB 2005: 95-106

Luciana Foss, Leila Ribeiro: A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004)

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro: Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004)

Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398

Ana Paula Lüdtke Ferreira, Leila Ribeiro: Derivations in Object-Oriented Graph Grammars. ICGT 2004: 416-430

Marcelo Cezar Pinto, Leila Ribeiro: Modeling Metabolic Pathways using Graph Grammars. WOB 2004: 154-157

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133

Ana Paula Lüdtke Ferreira, Leila Ribeiro: Towards Object-Oriented Graphs and Grammars. FMOODS 2003: 16-31

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275

Ugo Montanari, Leila Ribeiro: Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT 2002: 317-333

Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani: Decidability and Tractability of Problems in Object-Based Graph Grammars. IFIP TCS 2002: 396-408

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184

Leonardo Vieira Cervo, Leila Ribeiro: DNA-Based Modelling of Parallel Algorithms. WOB 2002: 16-23

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro: A Graph Transformation View on the Specification of Applications using Mobile Code. Electr. Notes Theor. Comput. Sci. 50(3): 238-246 (2001)

Roswitha Bardohl, Leila Ribeiro: Towards a Compositional Approach to Define Graphical Animation of Software Applications. HCC 2001: 38-

David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues: Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. RITA 7(1): 7-48 (2000)

Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro: Complexity analysis of reactive graph grammars. RITA 7(1): 109-128 (2000)

Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro: An Environment for Formal Modeling and Simulation of Control Systems. Annual Simulation Symposium 2000: 74-

Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64

Fernando Luís Dotti, Leila Ribeiro: Code Mobility in Open Systems: A Formal Approach. PDPTA 2000

Leila Ribeiro: Parallel Composition of Graph Grammars. Applied Categorical Structures 7(4): 405-430 (1999)

Leila Ribeiro, Bernardo Copstein: Compositional Construction of Simulation Models Using Graph Grammars. AGTIVE 1999: 87-94

Leila Ribeiro Korff: Compatibility Between Syntax and Semantics of Graph Grammars. Electr. Notes Theor. Comput. Sci. 14: 169-203 (1998)

Leila Ribeiro Korff, Martin Korff: True Concurrency = Interleaving Concurrency + Weak Conflict. Electr. Notes Theor. Comput. Sci. 14: 204-213 (1998)

Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars 1997: 247-312

Martin Korff, Leila Ribeiro: Concurrent derivations as single pushout graph grammar processes. Electr. Notes Theor. Comput. Sci. 2: 177-186 (1995)

Julia Padberg, Hartmut Ehrig, Leila Ribeiro: Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science 5(2): 217-256 (1995)

Martin Korff, Leila Ribeiro: Formal Relationship between Graph Grammars and Petri Nets. TAGT 1994: 288-303

Hartmut Ehrig, Julia Padberg, Leila Ribeiro: Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206