Leila Ribeiro

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 25

Top Venues

ICGT

CoRR

Theor. Comput. Sci.

J. Log. Algebraic Methods Program.

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França
The Brazilian School Computing Standard. SIGCSE (1) (2023)
Rodrigo Duran, Silvia Amélia Bim, Itana Gimenes, Leila Ribeiro, Ronaldo Celso Messias Correia
Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs. ACM Trans. Comput. Educ. 23 (3) (2023)
Diogo Raphael Cravo, Leila Ribeiro
Module Integration Using Graph Grammars (MIGRATE). SBMF (2021)
Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use case evolution analysis based on graph transformation with negative application conditions. Sci. Comput. Program. 198 (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802 (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103 (2019)
Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. 109 (2019)
Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions. CoRR (2019)
Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
On the Essence and Initiality of Conflicts. ICGT (2018)
Fabiane Cristine Dillenburg, Alfeu Zanotto-Filho, José Cláudio Fonseca Moreira, Leila Ribeiro, Luigi Carro
B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles. Comput. Biol. Chem. 72 (2018)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Lucio Mauro Duarte, Leila Ribeiro
Graph Grammar Extraction from Source Code. SBMF (2017)
Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro
Entendendo o Pensamento Computacional. CoRR (2017)
Érika F. Cota, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rosiana Estefane da Silva, Gláucia Cota
Using formal methods for content validation of medical procedure documents. Int. J. Medical Informatics 104 (2017)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT (2017)
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
Theorem proving graph grammars with attributes and negative application conditions. Theor. Comput. Sci. 686 (2017)
Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
Parallelism in AGREE Transformations. ICGT (2016)
Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro, Érika F. Cota
Formal Verification of Health Assessment Tools: a Case Study. Electron. Notes Theor. Comput. Sci. 324 (2016)
Paulo Roberto Lumertz, Leila Ribeiro, Lucio Mauro Duarte
User interfaces metamodel based on graphs. J. Vis. Lang. Comput. 32 (2016)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT (2015)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT (2015)
Leila Ribeiro, Matthias Tichy
Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013. Sci. Comput. Program. 104 (2015)
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theor. Comput. Sci. 594 (2015)
Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
From UML diagrams to simulink models: a precise and verified translation. SAC (2015)
Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis
Use Case Analysis Based on Formal Methods: An Empirical Study. WADT (2014)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning (Long Version). CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning. FASE (2014)
Leila Ribeiro, Daltro José Nunes, Marcia Kniphoff da Cruz, Ecivaldo de Souza Matos
Computational Thinking: Possibilities and Challenges. WEIT (2013)
Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
A Formal Model for the Deferred Update Replication Technique. TGC (2013)
Marcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Érika F. Cota
Specification of Models Based on Contexts using Graph Grammars. WEIT (2013)
Matthias Tichy, Leila Ribeiro
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF (2012)
Simone André da Costa, Leila Ribeiro
Verification of graph grammars using a logical approach. Sci. Comput. Program. 77 (4) (2012)
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) (2012)
Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro
Formal Methods at SBES: Evolution and Perspectives. SBES (2011)
Leila Ribeiro, Fernando Luís Dotti
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT (2011)
Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti
Modeling the webgraph evolution. J. Comput. Sci. 2 (1) (2011)
Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Andrea Corradini, Fabio Gadducci, Leila Ribeiro
An Institution for Graph Transformation. WADT (2010)
Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
Modal Systems: Specification, Refinement and Realisation. ICFEM (2009)
Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes
Model Transformation Using Graph Transactions. ICSR (2009)
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE (2009)
Rodrigo Machado, Luciana Foss, Leila Ribeiro
Aspects for Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Simone André da Costa, Leila Ribeiro
Formal Verification of Graph Grammars using Mathematical Induction. Electron. Notes Theor. Comput. Sci. 240 (2009)
Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211 (2008)
Leila Ribeiro, Fernando Luís Dotti
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models (2008)
Andrea Corradini, Luciana Foss, Leila Ribeiro
Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT (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. Univers. Comput. Sci. 14 (21) (2008)
Anamaria Martins Moreira, Leila Ribeiro
Preface. Electron. Notes Theor. Comput. Sci. 195 (2008)
Leonardo Michelon, Simone André da Costa, Leila Ribeiro
Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comput. Soc. 13 (4) (2007)
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Unfolding semantics of graph transformation. Inf. Comput. 205 (5) (2007)
Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro
Modelling, property verification and behavioural equivalence of lactose operon regulation. Comput. Biol. Medicine 37 (2) (2007)
Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
Stochastic Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 184 (2007)
Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro
Formal Verification of Object-Oriented Graph Grammars Specifications. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini
Verifying Object-based Graph Grammars. Softw. Syst. Model. 5 (3) (2006)
Leonardo Michelon, Simone André da Costa, Leila Ribeiro
Specification of Real-Time Systems with Graph Grammars. SBES (2006)
Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro
Modeling and Property Verification of Lactose Operon Regulation. BSB (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. Electron. Notes Theor. Comput. Sci. 127 (1) (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)
Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
Verifying Object-Based Graph Grammars. Electron. Notes Theor. Comput. Sci. 109 (2004)
Marcelo Cezar Pinto, Leila Ribeiro
Modeling Metabolic Pathways using Graph Grammars. WOB (2004)
Ana Paula Lüdtke Ferreira, Leila Ribeiro
Derivations in Object-Oriented Graph Grammars. ICGT (2004)
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
Translating Java Code to Graph Transformation Systems. ICGT (2004)
Luciana Foss, Leila Ribeiro
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electron. Notes Theor. Comput. Sci. 95 (2004)
Ana Paula Lüdtke Ferreira, Leila Ribeiro
A Graph-based Semantics For Object-oriented Programming Constructs. CTCS (2004)
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE (2003)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Verification of Distributed Object-Based Systems. FMOODS (2003)
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Especificação e Verificação Formal de Sistemas Distribuídos. SBES (2003)
Ana Paula Lüdtke Ferreira, Leila Ribeiro
Towards Object-Oriented Graphs and Grammars. FMOODS (2003)
Leonardo Vieira Cervo, Leila Ribeiro
DNA-Based Modelling of Parallel Algorithms. WOB (2002)
Ugo Montanari, Leila Ribeiro
Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT (2002)
Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani
Decidability and Tractability of Problems in Object-Based Graph Grammars. IFIP TCS (2002)
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT (2002)
Roswitha Bardohl, Leila Ribeiro
Towards a Compositional Approach to Define Graphical Animation of Software Applications. HCC (2001)
Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
A Graph Transformation View on the Specification of Applications using Mobile Code. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
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) (2000)
Fernando Luís Dotti, Leila Ribeiro
Code Mobility in Open Systems: A Formal Approach. PDPTA (2000)
Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro
Complexity analysis of reactive graph grammars. RITA 7 (1) (2000)
Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro
An Environment for Formal Modeling and Simulation of Control Systems. Annual Simulation Symposium (2000)
Fernando Luís Dotti, Leila Ribeiro
Specification of Mobile Code Systems using Graph Grammars. FMOODS (2000)
Roswitha Bardohl, Claudia Ermel, Leila Ribeiro
A Modular Approach to Animation of Simulation Models. SBES (2000)
Leila Ribeiro
Parallel Composition of Graph Grammars. Appl. Categorical Struct. 7 (4) (1999)
Leila Ribeiro, Bernardo Copstein
Compositional Construction of Simulation Models Using Graph Grammars. AGTIVE (1999)
Leila Ribeiro, Martin Korff
Graph Grammars for the Specification of Concurrent Systems. SBES (1997)
Julia Padberg, Hartmut Ehrig, Leila Ribeiro
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5 (2) (1995)
Martin Korff, Leila Ribeiro
Concurrent derivations as single pushout graph grammar processes. Electron. Notes Theor. Comput. Sci. 2 (1995)
Martin Korff, Leila Ribeiro
Formal Relationship between Graph Grammars and Petri Nets. TAGT (1994)
Leila Ribeiro, Hartmut Ehrig, Julia Padberg
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES (1993)
Hartmut Ehrig, Julia Padberg, Leila Ribeiro
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT (1992)
Leila Ribeiro, Daltro José Nunes
Especificação de um Programa de Matrículas Utilizando VDM. SBES (1989)

Leila Ribeiro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leila Ribeiro