Leila Ribeiro

Orcid: 0000-0001-7039-092X

Affiliations:
  • Federal University of Rio Grande do Sul, Porto Alegre, Brazil


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Computing Everywhere, for Everyone, at Any Level.
Commun. ACM, August, 2024

2023
Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs.
ACM Trans. Comput. Educ., September, 2023

The Brazilian School Computing Standard.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2021
Module Integration Using Graph Grammars (MIGRATE).
Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020
Algebraic graph rewriting with controlled embedding.
Theor. Comput. Sci., 2020

Use case evolution analysis based on graph transformation with negative application conditions.
Sci. Comput. Program., 2020

2019
The PBPO graph transformation approach.
J. Log. Algebraic Methods Program., 2019

On the essence and initiality of conflicts in M-adhesive transformation systems.
J. Log. Algebraic Methods Program., 2019

2018
NF<i>κ</i>B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles.
Comput. Biol. Chem., 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.
Int. J. Medical Informatics, 2017

Entendendo o Pensamento Computacional.
CoRR, 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

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

Formal Verification of Health Assessment Tools: a Case Study.
Proceedings of the Third Workshop-School on Theoretical Computer Science, 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
Transformation of Attributed Structures with Cloning (Long Version).
CoRR, 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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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. Sci., 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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

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

2009
Aspects for Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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. Univers. Comput. Sci., 2008

Formal Verification of Graph Grammars using Mathematical Induction.
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 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. Comput. Soc., 2007

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

Modelling, property verification and behavioural equivalence of lactose operon regulation.
Comput. Biol. Medicine, 2007

2006
Verifying Object-based Graph Grammars.
Softw. Syst. Model., 2006

Preface.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

Formal Verification of Object-Oriented Graph Grammars Specifications.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Towards a Notion of Transaction in Graph Rewriting.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Specification of Real-Time Systems with Graph Grammars.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

2005
Stochastic Object-Based Graph Grammars.
Proceedings of the Second Brazilian Symposium on Formal Methods, 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.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

A Graph-based Semantics For Object-oriented Programming Constructs.
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

An Environment for the Development of Concurrent Object-Based Applications.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 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
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Especificação e Verificação Formal de Sistemas Distribuídos.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 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.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 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

A Modular Approach to Animation of Simulation Models.
Proceedings of the 14th Brazilian Symposium on Software Engineering, 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.
Appl. Categorical Struct., 1999

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

1997
True Concurrency = Interleaving Concurrency + Weak Conflict.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Compatibility Between Syntax and Semantics of Graph Grammars.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Graph Grammars for the Specification of Concurrent Systems.
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.
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.
Math. Struct. Comput. Sci., 1995

Concurrent derivations as single pushout graph grammar processes.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994
Formal Relationship between Graph Grammars and Petri Nets.
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.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

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

1989
Especificação de um Programa de Matrículas Utilizando VDM.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989


  Loading...