Leila Ribeiro

According to our database, Leila Ribeiro authored at least 95 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Computing Everywhere, for Everyone, at Any Level.

Avelino F. Zorzo, Claudia L. R. Da Motta, Leila Ribeiro, Lisandro Z. Granville

Commun. ACM, August, 2024

2023

Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs.

Rodrigo Duran, Silvia Amélia Bim, Itana Gimenes, Leila Ribeiro, Ronaldo Celso Messias Correia

ACM Trans. Comput. Educ., September, 2023

The Brazilian School Computing Standard.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2021

Module Integration Using Graph Grammars (MIGRATE).

Diogo Raphael Cravo, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Algebraic graph rewriting with controlled embedding.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Theor. Comput. Sci., 2020

Use case evolution analysis based on graph transformation with negative application conditions.

Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra

Sci. Comput. Program., 2020

2019

The PBPO graph transformation approach.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

J. Log. Algebraic Methods Program., 2019

On the essence and initiality of conflicts in M-adhesive transformation systems.

Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro

J. Log. Algebraic Methods Program., 2019

2018

NF<i>κ</i>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, Luigi Carro

Comput. Biol. Chem., 2018

On the Essence and Initiality of Conflicts.

Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro

Proceedings of the Graph Transformation - 11th International Conference, 2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

The Verigraph System for Graph Transformation.

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Theorem proving graph grammars with attributes and negative application conditions.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Theor. Comput. Sci., 2017

Using formal methods for content validation of medical procedure documents.

Érika F. Cota, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rosiana Estefane da Silva, Gláucia Cota

Int. J. Medical Informatics, 2017

Entendendo o Pensamento Computacional.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro

CoRR, 2017

Graph Grammar Extraction from Source Code.

Lucio Mauro Duarte, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

The Pullback-Pushout Approach to Algebraic Graph Transformation.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

User interfaces metamodel based on graphs.

Paulo Roberto Lumertz, Leila Ribeiro, Lucio Mauro Duarte

J. Vis. Lang. Comput., 2016

Parallelism in AGREE Transformations.

Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars.

Rodrigo Machado, Leila Ribeiro, Reiko Heckel

Theor. Comput. Sci., 2015

Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013.

Leila Ribeiro, Matthias Tichy

Sci. Comput. Program., 2015

Formal Verification of Health Assessment Tools: a Case Study.

Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro, Érika F. Cota

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

From UML diagrams to simulink models: a precise and verified translation.

Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.

Rodrigo Machado, Leila Ribeiro, Reiko Heckel

Proceedings of the Graph Transformation - 8th International Conference, 2015

AGREE - Algebraic Graph Rewriting with Controlled Embedding.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Transformation of Attributed Structures with Cloning (Long Version).

Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

CoRR, 2014

Use Case Analysis Based on Formal Methods: An Empirical Study.

Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Transformation of Attributed Structures with Cloning.

Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Preface.

Matthias Tichy, Leila Ribeiro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Computational Thinking: Possibilities and Challenges.

Leila Ribeiro, Daltro José Nunes, Marcia E. J. Kniphoff da Cruz, Ecivaldo de Souza Matos

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Specification of Models Based on Contexts using Graph Grammars.

Marcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Érika F. Cota

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

A Formal Model for the Deferred Update Replication Technique.

Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

Correct transformation: From object-based graph grammars to PROMELA.

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss

Sci. Comput. Program., 2012

Verification of graph grammars using a logical approach.

Simone André da Costa, Leila Ribeiro

Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Modeling the webgraph evolution.

Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti

J. Comput. Sci., 2011

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.

Leila Ribeiro, Fernando Luís Dotti

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Formal Methods at SBES: Evolution and Perspectives.

Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010

Towards Theorem Proving Graph Grammars using Event-B.

Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Institution for Graph Transformation.

Andrea Corradini, Fabio Gadducci, Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2009

Aspects for Graph Grammars.

Rodrigo Machado, Luciana Foss, Leila Ribeiro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Rodrigo Machado, Reiko Heckel, Leila Ribeiro

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Model Transformation Using Graph Transactions.

Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Modal Systems: Specification, Refinement and Realisation.

Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2009

2008

On the Interaction of Advices and Raw Types in AspectJ.

Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes

J. Univers. Comput. Sci., 2008

Formal Verification of Graph Grammars using Mathematical Induction.

Simone André da Costa, Leila Ribeiro

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Graph Transformation with Dependencies for the Specification of Interactive Systems.

Andrea Corradini, Luciana Foss, Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.

Leila Ribeiro, Fernando Luís Dotti

Proceedings of the Concurrency, 2008

2007

Formal Specification and Verification of Real-Time Systems using Graph Grammars.

Leonardo Michelon, Simone André da Costa, Leila Ribeiro

J. Braz. Comput. Soc., 2007

Unfolding semantics of graph transformation.

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro

Inf. Comput., 2007

Modelling, property verification and behavioural equivalence of lactose operon regulation.

Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro

Comput. Biol. Medicine, 2007

2006

Verifying Object-based Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini

Softw. Syst. Model., 2006

Preface.

Anamaria Martins Moreira, Leila Ribeiro

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Formal Verification of Object-Oriented Graph Grammars Specifications.

Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Towards a Notion of Transaction in Graph Rewriting.

Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Specification of Real-Time Systems with Graph Grammars.

Leonardo Michelon, Simone André da Costa, Leila Ribeiro

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

2005

Stochastic Object-Based Graph Grammars.

Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Modeling and Property Verification of Lactose Operon Regulation.

Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro

Proceedings of the Advances in Bioinformatics and Computational Biology, 2005

A Formal Framework for the Development of Concurrent Object-Based Systems.

Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Verifying Object-Based Graph Grammars.

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

A Graph-based Semantics For Object-oriented Programming Constructs.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

An Environment for the Development of Concurrent Object-Based Applications.

Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Modeling Metabolic Pathways using Graph Grammars.

Marcelo Cezar Pinto, Leila Ribeiro

Proceedings of the III Brazilian Workshop on Bioinformatics, 2004

Derivations in Object-Oriented Graph Grammars.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the Graph Transformations, Second International Conference, 2004

Translating Java Code to Graph Transformation Systems.

Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

A Translation from Object-Based Hypergraph Grammars into pi-Calculus.

Luciana Foss, Leila Ribeiro

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Especificação e Verificação Formal de Sistemas Distribuídos.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Towards Object-Oriented Graphs and Grammars.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Verification of Distributed Object-Based Systems.

Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Specification and Analysis of Fault Behaviours Using Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

DNA-Based Modelling of Parallel Algorithms.

Leonardo Vieira Cervo, Leila Ribeiro

Proceedings of the I Brazilian Workshop on Bioinformatics, 2002

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Decidability and Tractability of Problems in Object-Based Graph Grammars.

Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Linear Ordered Graph Grammars and Their Algebraic Foundations.

Ugo Montanari, Leila Ribeiro

Proceedings of the Graph Transformation, First International Conference, 2002

2001

A Graph Transformation View on the Specification of Applications using Mobile Code.

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Towards a Compositional Approach to Define Graphical Animation of Software Applications.

Roswitha Bardohl, Leila Ribeiro

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000

Complexity analysis of reactive graph grammars.

Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro

RITA, 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, Vanderlei Moraes Rodrigues

RITA, 2000

A Modular Approach to Animation of Simulation Models.

Roswitha Bardohl, Claudia Ermel, Leila Ribeiro

Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Code Mobility in Open Systems: A Formal Approach.

Fernando Luís Dotti, Leila Ribeiro

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Specification of Mobile Code Systems using Graph Grammars.

Fernando Luís Dotti, Leila Ribeiro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

An Environment for Formal Modeling and Simulation of Control Systems.

Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999

Parallel Composition of Graph Grammars.

Leila Ribeiro

Appl. Categorical Struct., 1999

Compositional Construction of Simulation Models Using Graph Grammars.

Leila Ribeiro, Bernardo Copstein

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1997

True Concurrency = Interleaving Concurrency + Weak Conflict.

Leila Ribeiro Korff, Martin Korff

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Compatibility Between Syntax and Semantics of Graph Grammars.

Leila Ribeiro Korff

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Graph Grammars for the Specification of Concurrent Systems.

Leila Ribeiro, Martin Korff

Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

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, Annika Wagner, Andrea Corradini

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

1996

Parallel composition and unfolding semantics of graph grammars.

Leila Ribeiro

PhD thesis, 1996

1995

Algebraic High-Level Net Transformation Systems.

Julia Padberg, Hartmut Ehrig, Leila Ribeiro

Math. Struct. Comput. Sci., 1995

Concurrent derivations as single pushout graph grammar processes.

Martin Korff, Leila Ribeiro

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

Formal Relationship between Graph Grammars and Petri Nets.

Martin Korff, Leila Ribeiro

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.

Leila Ribeiro, Hartmut Ehrig, Julia Padberg

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

1992

Algebraic High-Level Nets: Petri Nets Revisited.

Hartmut Ehrig, Julia Padberg, Leila Ribeiro

Proceedings of the Recent Trends in Data Type Specification, 1992

1989

Especificação de um Programa de Matrículas Utilizando VDM.

Leila Ribeiro, Daltro José Nunes

Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989