Leila Ribeiro
Leila Ribeiro
Professor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil
Verified email at inf.ufrgs.br
Title
Cited by
Cited by
Year
Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach
H Ehrig, R Heckel, M Korff, M Löwe, L Ribeiro, A Wagner, A Corradini
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
3941997
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1881995
Parallel composition and unfolding semantics of graph grammars
L Ribeiro
751996
Algebraic high level nets
H Ehrig, J Padberg, L Ribeiro
Recent Trends in Data Type Specification, 188-206, 1992
601992
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
432000
Verification of distributed object-based systems
FL Dotti, L Foss, L Ribeiro, OM dos Santos
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
422003
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
International Conference on Graph Transformation, 383-398, 2004
342004
Well-formed model co-evolution with customizable model migration
F Mantz, G Taentzer, Y Lamo
Electronic Communications of the EASST, 2013
33*2013
Unfolding semantics of graph transformation
P Baldan, A Corradini, U Montanari, L Ribeiro
Information and Computation 205 (5), 733-782, 2007
292007
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
272009
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
252012
Verification of object-based distributed systems
FL Dotti, L Foss, L Ribeiro, OM Santos
Proc. 6th International Conference on Formal Methods for Open Object-based …, 2003
252003
Formal relationship between graph grammars and Petri nets
M Korff, L Ribeiro
International Workshop on Graph Grammars and Their Application to Computer …, 1994
251994
AGREE–algebraic graph rewriting with controlled embedding
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Graph Transformation, 35-51, 2015
242015
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
222004
An environment for formal modeling and simulation of control systems
B Copstein, M da Costa Móra, L Ribeiro
Proceedings 33rd Annual Simulation Symposium (SS 2000), 74-79, 2000
222000
Modelling, property verification and behavioural equivalence of lactose operon regulation
MC Pinto, L Foss, JCM Mombach, L Ribeiro
Computers in Biology and Medicine 37 (2), 134-148, 2007
192007
Formal verification of object-oriented graph grammars specifications
APL Ferreira, L Foss, L Ribeiro
Electronic Notes in Theoretical Computer Science 175 (4), 101-114, 2007
182007
Formal development of concurrent systems using algebraic high-level nets and transformations
L Ribeiro, H Ehrig, J Padberg
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
171993
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20