Leila Ribeiro

According to our database1, Leila Ribeiro authored at least 80 papers between 1992 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
The PBPO graph transformation approach.
J. Log. Algebr. Meth. Program., 2019

2018
NFκB pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles.
Computational Biology and Chemistry, 2018

On the Essence and Initiality of Conflicts.
Proceedings of the Graph Transformation - 11th International Conference, 2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018

The Verigraph System for Graph Transformation.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017
Theorem proving graph grammars with attributes and negative application conditions.
Theor. Comput. Sci., 2017

Using formal methods for content validation of medical procedure documents.
I. J. Medical Informatics, 2017

Graph Grammar Extraction from Source Code.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

The Pullback-Pushout Approach to Algebraic Graph Transformation.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
User interfaces metamodel based on graphs.
J. Vis. Lang. Comput., 2016

Formal Verification of Health Assessment Tools: a Case Study.
Electr. Notes Theor. Comput. Sci., 2016

Parallelism in AGREE Transformations.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars.
Theor. Comput. Sci., 2015

Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013.
Sci. Comput. Program., 2015

From UML diagrams to simulink models: a precise and verified translation.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.
Proceedings of the Graph Transformation - 8th International Conference, 2015

AGREE - Algebraic Graph Rewriting with Controlled Embedding.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Use Case Analysis Based on Formal Methods: An Empirical Study.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Transformation of Attributed Structures with Cloning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Preface.
ECEASST, 2013

Computational Thinking: Possibilities and Challenges.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Specification of Models Based on Contexts using Graph Grammars.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

A Formal Model for the Deferred Update Replication Technique.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012
Correct transformation: From object-based graph grammars to PROMELA.
Sci. Comput. Program., 2012

Verification of graph grammars using a logical approach.
Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011
Modeling the webgraph evolution.
J. Comput. Science, 2011

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Formal Methods at SBES: Evolution and Perspectives.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010
Towards Theorem Proving Graph Grammars using Event-B.
ECEASST, 2010

An Institution for Graph Transformation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2009
Formal Verification of Graph Grammars using Mathematical Induction.
Electr. Notes Theor. Comput. Sci., 2009

Aspects for Graph Grammars.
ECEASST, 2009

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Model Transformation Using Graph Transactions.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Modal Systems: Specification, Refinement and Realisation.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
On the Interaction of Advices and Raw Types in AspectJ.
J. UCS, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Towards a Notion of Transaction in Graph Rewriting.
Electr. Notes Theor. Comput. Sci., 2008

Graph Transformation with Dependencies for the Specification of Interactive Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.
Proceedings of the Concurrency, 2008

2007
Formal Specification and Verification of Real-Time Systems using Graph Grammars.
J. Braz. Comp. Soc., 2007

Unfolding semantics of graph transformation.
Inf. Comput., 2007

Stochastic Object-Based Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2007

Formal Verification of Object-Oriented Graph Grammars Specifications.
Electr. Notes Theor. Comput. Sci., 2007

Modelling, property verification and behavioural equivalence of lactose operon regulation.
Comp. in Bio. and Med., 2007

2006
Verifying Object-based Graph Grammars.
Software and System Modeling, 2006

2005
A Graph-based Semantics For Object-oriented Programming Constructs.
Electr. Notes Theor. Comput. Sci., 2005

An Environment for the Development of Concurrent Object-Based Applications.
Electr. Notes Theor. Comput. Sci., 2005

Modeling and Property Verification of Lactose Operon Regulation.
Proceedings of the Advances in Bioinformatics and Computational Biology, 2005

A Formal Framework for the Development of Concurrent Object-Based Systems.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Verifying Object-Based Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2004

A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Electr. Notes Theor. Comput. Sci., 2004

Modeling Metabolic Pathways using Graph Grammars.
Proceedings of the III Brazilian Workshop on Bioinformatics, 2004

Derivations in Object-Oriented Graph Grammars.
Proceedings of the Graph Transformations, Second International Conference, 2004

Translating Java Code to Graph Transformation Systems.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Towards Object-Oriented Graphs and Grammars.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

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

Specification and Analysis of Fault Behaviours Using Graph Grammars.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
DNA-Based Modelling of Parallel Algorithms.
Proceedings of the I Brazilian Workshop on Bioinformatics, 2002

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Decidability and Tractability of Problems in Object-Based Graph Grammars.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Linear Ordered Graph Grammars and Their Algebraic Foundations.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
A Graph Transformation View on the Specification of Applications using Mobile Code.
Electr. Notes Theor. Comput. Sci., 2001

Towards a Compositional Approach to Define Graphical Animation of Software Applications.
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.
RITA, 2000

Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
RITA, 2000

Code Mobility in Open Systems: A Formal Approach.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Specification of Mobile Code Systems using Graph Grammars.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

An Environment for Formal Modeling and Simulation of Control Systems.
Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999
Parallel Composition of Graph Grammars.
Applied Categorical Structures, 1999

Compositional Construction of Simulation Models Using Graph Grammars.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
True Concurrency = Interleaving Concurrency + Weak Conflict.
Electr. Notes Theor. Comput. Sci., 1998

Compatibility Between Syntax and Semantics of Graph Grammars.
Electr. Notes Theor. Comput. Sci., 1998

1997
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

1996
Parallel composition and unfolding semantics of graph grammars.
PhD thesis, 1996

1995
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science, 1995

Concurrent derivations as single pushout graph grammar processes.
Electr. Notes Theor. Comput. Sci., 1995

1994
Formal Relationship between Graph Grammars and Petri Nets.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1992
Algebraic High-Level Nets: Petri Nets Revisited.
Proceedings of the Recent Trends in Data Type Specification, 1992


  Loading...