Especificação de um Programa de Matrículas Utilizando VDM. - Leila Ribeiro 001; Daltro José Nunes (SBES, 1989)

Algebraic High-Level Nets: Petri Nets Revisited. - Hartmut Ehrig; Julia Padberg; Leila Ribeiro 001 (COMPASS/ADT, 1992)

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. - Leila Ribeiro 001; Hartmut Ehrig; Julia Padberg (SBES, 1993)

Formal Relationship between Graph Grammars and Petri Nets. - Martin Korff; Leila Ribeiro 001 (TAGT, 1994)

Concurrent derivations as single pushout graph grammar processes. - Martin Korff; Leila Ribeiro 001 (SEGRAGRA, 1995)

Algebraic High-Level Net Transformation Systems. - Julia Padberg; Hartmut Ehrig; Leila Ribeiro 001 (Math. Struct. Comput. Sci., 1995)

Parallel composition and unfolding semantics of graph grammars. - Leila Ribeiro 001 (1996)

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

Graph Grammars for the Specification of Concurrent Systems. - Leila Ribeiro 001; Martin Korff (SBES, 1997)

Compatibility Between Syntax and Semantics of Graph Grammars. - Leila Ribeiro Korff (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

True Concurrency = Interleaving Concurrency + Weak Conflict. - Leila Ribeiro Korff; Martin Korff (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Compositional Construction of Simulation Models Using Graph Grammars. - Leila Ribeiro 001; Bernardo Copstein (AGTIVE, 1999)

Parallel Composition of Graph Grammars. - Leila Ribeiro 001 (Appl. Categorical Struct., 1999)

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

Specification of Mobile Code Systems using Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001 (FMOODS, 2000)

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

A Modular Approach to Animation of Simulation Models. - Roswitha Bardohl; Claudia Ermel; Leila Ribeiro 001 (SBES, 2000)

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

Complexity analysis of reactive graph grammars. - Aline Brum Loreto; Laira Vieira Toscani; Leila Ribeiro 001 (RITA, 2000)

Towards a Compositional Approach to Define Graphical Animation of Software Applications. - Roswitha Bardohl; Leila Ribeiro 001 (HCC, 2001)

A Graph Transformation View on the Specification of Applications using Mobile Code. - Andrea Corradini 001; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ICALP, 2001)

Linear Ordered Graph Grammars and Their Algebraic Foundations. - Ugo Montanari; Leila Ribeiro 001 (ICGT, 2002)

Decidability and Tractability of Problems in Object-Based Graph Grammars. - Aline Brum Loreto; Leila Ribeiro 001; Laira Vieira Toscani (IFIP TCS, 2002)

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari; Leila Ribeiro 001 (WADT, 2002)

DNA-Based Modelling of Parallel Algorithms. - Leonardo Vieira Cervo; Leila Ribeiro 001 (WOB, 2002)

Specification and Analysis of Fault Behaviours Using Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos (AGTIVE, 2003)

Verification of Distributed Object-Based Systems. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (FMOODS, 2003)

Towards Object-Oriented Graphs and Grammars. - Ana Paula Lüdtke Ferreira; Leila Ribeiro 001 (FMOODS, 2003)

Especificação e Verificação Formal de Sistemas Distribuídos. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (SBES, 2003)

A Translation from Object-Based Hypergraph Grammars into pi-Calculus. - Luciana Foss; Leila Ribeiro 001 (WMF, 2003)

Translating Java Code to Graph Transformation Systems. - Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001 (ICGT, 2004)

Derivations in Object-Oriented Graph Grammars. - Ana Paula Lüdtke Ferreira; Leila Ribeiro 001 (ICGT, 2004)

Modeling Metabolic Pathways using Graph Grammars. - Marcelo Cezar Pinto; Leila Ribeiro 001 (WOB, 2004)

An Environment for the Development of Concurrent Object-Based Applications. - Fernando Luís Dotti; Lucio Mauro Duarte; Luciana Foss; Leila Ribeiro 001; Daniela Russi; Osmar Marchi dos Santos (GraBaTs, 2004)

A Graph-based Semantics For Object-oriented Programming Constructs. - Ana Paula Lüdtke Ferreira; Leila Ribeiro 001 (CTCS, 2004)

Verifying Object-Based Graph Grammars. - Osmar Marchi dos Santos; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ETAPS, 2004)

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

Modeling and Property Verification of Lactose Operon Regulation. - Marcelo Cezar Pinto; Luciana Foss; José C. M. Mombach; Leila Ribeiro 001 (BSB, 2005)

Stochastic Object-Based Graph Grammars. - Odorico Machado Mendizabal; Fernando Luís Dotti; Leila Ribeiro 001 (SBMF, 2005)

Specification of Real-Time Systems with Graph Grammars. - Leonardo Michelon; Simone André da Costa; Leila Ribeiro 001 (SBES, 2006)

Towards a Notion of Transaction in Graph Rewriting. - Paolo Baldan; Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Fabio Gadducci; Leila Ribeiro 001 (GT-VMT@ETAPS, 2006)

Formal Verification of Object-Oriented Graph Grammars Specifications. - Ana Paula Lüdtke Ferreira; Luciana Foss; Leila Ribeiro 001 (GT-VC@CONCUR, 2006)

Preface. - Anamaria Martins Moreira; Leila Ribeiro 001 (SBMF, 2006)

Verifying Object-based Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos; Fábio Pasini (Softw. Syst. Model., 2006)

Modelling, property verification and behavioural equivalence of lactose operon regulation. - Marcelo Cezar Pinto; Luciana Foss; José Carlos Merino Mombach; Leila Ribeiro 001 (Comput. Biol. Medicine, 2007)

Unfolding semantics of graph transformation. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari; Leila Ribeiro 001 (Inf. Comput., 2007)

Formal Specification and Verification of Real-Time Systems using Graph Grammars. - Leonardo Michelon; Simone André da Costa; Leila Ribeiro 001 (J. Braz. Comput. Soc., 2007)

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

Graph Transformation with Dependencies for the Specification of Interactive Systems. - Andrea Corradini 001; Luciana Foss; Leila Ribeiro 001 (WADT, 2008)

Formal Verification of Graph Grammars using Mathematical Induction. - Simone André da Costa; Leila Ribeiro 001 (SBMF, 2008)

On the Interaction of Advices and Raw Types in AspectJ. - Fernando Barden Rubbo; Rodrigo Machado; Álvaro Freitas Moreira; Leila Ribeiro 001; Daltro José Nunes (J. Univers. Comput. Sci., 2008)

Modal Systems: Specification, Refinement and Realisation. - Fernando Luís Dotti; Alexei Iliasov; Leila Ribeiro 001; Alexander B. Romanovsky (ICFEM, 2009)

Model Transformation Using Graph Transactions. - Leila Ribeiro 001; Luciana Foss; Bruno Carreiro da Silva; Daltro José Nunes (ICSR, 2009)

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars - Rodrigo Machado; Reiko Heckel; Leila Ribeiro 001 (RULE, 2009)

Aspects for Graph Grammars. - Rodrigo Machado; Luciana Foss; Leila Ribeiro 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

An Institution for Graph Transformation. - Andrea Corradini 001; Fabio Gadducci; Leila Ribeiro 001 (WADT, 2010)

Towards Theorem Proving Graph Grammars using Event-B. - Leila Ribeiro 001; Fernando Luís Dotti; Simone André da Costa; Fabiane Cristine Dillenburg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formal Methods at SBES: Evolution and Perspectives. - Daltro José Nunes; Álvaro Freitas Moreira; Leila Ribeiro 001 (SBES, 2011)

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. - Leila Ribeiro 001; Fernando Luís Dotti (WEIT, 2011)

Modeling the webgraph evolution. - Roberto da Silva; Luciana S. Buriol; Leila Ribeiro 001; Fernando Luís Dotti (J. Comput. Sci., 2011)

Specification Patterns for Properties over Reachable States of Graph Grammars. - Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (SBMF, 2012)

Verification of graph grammars using a logical approach. - Simone André da Costa; Leila Ribeiro 001 (Sci. Comput. Program., 2012)

Correct transformation: From object-based graph grammars to PROMELA. - Leila Ribeiro 001; Osmar Marchi dos Santos; Fernando Luís Dotti; Luciana Foss (Sci. Comput. Program., 2012)

A Formal Model for the Deferred Update Replication Technique. - Andrea Corradini 001; Leila Ribeiro 001; Fernando Luís Dotti; Odorico Machado Mendizabal (TGC, 2013)

Specification of Models Based on Contexts using Graph Grammars. - Marcos Antonio de Oliveira Junior; Leila Ribeiro 001; Lucio Mauro Duarte; Érika F. Cota (WEIT, 2013)

Computational Thinking: Possibilities and Challenges. - Leila Ribeiro 001; Daltro José Nunes; Marcia E. J. Kniphoff da Cruz; Ecivaldo de Souza Matos (WEIT, 2013)

Preface. - Matthias Tichy; Leila Ribeiro 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Transformation of Attributed Structures with Cloning. - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (FASE, 2014)

Use Case Analysis Based on Formal Methods: An Empirical Study. - Marcos Oliveira Jr.; Leila Ribeiro 001; Érika F. Cota; Lucio Mauro Duarte; Ingrid Nunes; Filipe Reis (WADT, 2014)

Transformation of Attributed Structures with Cloning (Long Version). - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (CoRR, 2014)

AGREE - Algebraic Graph Rewriting with Controlled Embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2015)

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (ICGT, 2015)

From UML diagrams to simulink models: a precise and verified translation. - Andrei Costa; Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (SAC, 2015)

Formal Verification of Health Assessment Tools: a Case Study. - Jonas Santos Bezerra; Andrei Costa; Leila Ribeiro 001; Érika F. Cota (WEIT, 2015)

Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013. - Leila Ribeiro 001; Matthias Tichy (Sci. Comput. Program., 2015)

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (Theor. Comput. Sci., 2015)

Parallelism in AGREE Transformations. - Andrea Corradini 001; Dominique Duval; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2016)

User interfaces metamodel based on graphs. - Paulo Roberto Lumertz; Leila Ribeiro 001; Lucio Mauro Duarte (J. Vis. Lang. Comput., 2016)

The Pullback-Pushout Approach to Algebraic Graph Transformation. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2017)

Graph Grammar Extraction from Source Code. - Lucio Mauro Duarte; Leila Ribeiro 001 (SBMF, 2017)

Entendendo o Pensamento Computacional. - Leila Ribeiro 001; Luciana Foss; Simone André da Costa Cavalheiro (CoRR, 2017)

Using formal methods for content validation of medical procedure documents. - Érika F. Cota; Leila Ribeiro 001; Jonas Santos Bezerra; Andrei Costa; Rosiana Estefane da Silva; Gláucia Cota (Int. J. Medical Informatics, 2017)

Theorem proving graph grammars with attributes and negative application conditions. - Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (Theor. Comput. Sci., 2017)

The Verigraph System for Graph Transformation. - Guilherme Grochau Azzi; Jonas Santos Bezerra; Leila Ribeiro 001; Andrei Costa; Leonardo Marques Rodrigues; Rodrigo Machado (Graph Transformation, Specifications, and Nets, 2018)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

On the Essence and Initiality of Conflicts. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (ICGT, 2018)

NFκB pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles. - Fabiane Cristine Dillenburg; Alfeu Zanotto-Filho; José Cláudio Fonseca Moreira; Leila Ribeiro 001; Luigi Carro (Comput. Biol. Chem., 2018)

On the essence and initiality of conflicts in M-adhesive transformation systems. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

The PBPO graph transformation approach. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

Use case evolution analysis based on graph transformation with negative application conditions. - Leila Ribeiro 001; Lucio Mauro Duarte; Rodrigo Machado; Andrei Costa; Érika F. Cota; Jonas Santos Bezerra (Sci. Comput. Program., 2020)

Algebraic graph rewriting with controlled embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (Theor. Comput. Sci., 2020)

Module Integration Using Graph Grammars (MIGRATE). - Diogo Raphael Cravo; Leila Ribeiro 001 (SBMF, 2021)

The Brazilian School Computing Standard. - Leila Ribeiro 001; Luciana Foss; Simone André da Costa Cavalheiro; Marcia Elena Jochims Kniphoff da Cruz; Rozelma Soares de França (SIGCSE (1), 2023)

Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs. - Rodrigo Duran 001; Silvia Amélia Bim; Itana M. S. Gimenes; Leila Ribeiro 001; Ronaldo Celso Messias Correia (ACM Trans. Comput. Educ., 2023)

Computing Everywhere, for Everyone, at Any Level. - Avelino F. Zorzo; Cláudia L. R. Motta; Leila Ribeiro 001; Lisandro Z. Granville (Commun. ACM, 2024)

On Formal Methods Thinking in Computer Science Education. - Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C. R. Hehner; Carroll Morgan; Peter Müller 001; Leila Ribeiro 001; Alexandra Silva 001; Graeme Smith 001; Erik P. de Vink (Formal Aspects Comput., 2025)