×

zbMATH — the first resource for mathematics

Ribeiro, Leila

Compute Distance To:
Author ID: ribeiro.leila Recent zbMATH articles by "Ribeiro, Leila"
Published as: Ribeiro, L.; Ribeiro, Leila
Documents Indexed: 47 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 89 times in 51 Documents Cited by Year
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Verification of distributed object-based systems. Zbl 1253.68059
Dotti, Fernando L.; Foss, Luciana; Ribeiro, Leila; dos Santos, Osmar M.
9
2003
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
2007
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
7
2015
Specification of mobile code systems using graph grammars. Zbl 0968.68100
Dotti, Fernando Luís; Ribeiro, Leila
5
2000
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques
4
2018
Verification of graph grammars using a logical approach. Zbl 1243.68211
da Costa, Simone André; Ribeiro, Leila
4
2012
Formal verification of graph grammars using mathematical induction. Zbl 1347.68243
da Costa, Simone André; Ribeiro, Leila
4
2009
Formal verification of object-oriented graph grammars specifications. Zbl 1278.68183
Lüdtke Ferreira, Ana Paula; Foss, Luciana; Ribeiro, Leila
4
2007
Translating Java code to graph transformation systems. Zbl 1116.68382
Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila
4
2004
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
3
2019
Derivations in object-oriented graph grammars. Zbl 1116.68485
Lüdtke Ferreira, Ana Paula; Ribeiro, Leila
3
2004
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
On the essence and initiality of conflicts. Zbl 1394.68195
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
2
2018
The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156
Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2017
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Zbl 1328.68103
Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko
2
2015
A formal framework for the development of concurrent object-based systems. Zbl 1075.68621
Ribeiro, Leila; Dotti, Fernando Luís; Bardohl, Roswitha
2
2005
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
2
1994
The Verigraph system for graph transformation. Zbl 1383.68041
Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo
1
2018
Use case analysis based on formal methods: an empirical study. Zbl 06545651
Oliveira, Marcos; Ribeiro, Leila; Cota, Érika; Duarte, Lucio Mauro; Nunes, Ingrid; Reis, Filipe
1
2015
Specification patterns for properties over reachable states of graph grammars. Zbl 1372.68180
da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila
1
2012
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
On the interaction of advices and raw types in AspectJ. Zbl 1217.68056
Rubbo, F. Barden; Machado, R.; Moreira, Álvaro Freitas; Ribeiro, L.; Nunes, D. J.
1
2008
Stochastic object-based graph grammars. Zbl 1279.68117
Mendizabal, Odorico M.; Dotti, Fernando L.; Ribeiro, Leila
1
2007
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.)
1
2006
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Towards object-oriented graphs and grammars. Zbl 1253.68086
Lüdtke Ferreira, Ana Paula; Ribeiro, Leila
1
2003
Linear ordered graph grammars and their algebraic foundations. Zbl 1028.68074
Montanari, Ugo; Ribeiro, Leila
1
2002
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
3
2019
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques
4
2018
On the essence and initiality of conflicts. Zbl 1394.68195
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
2
2018
The Verigraph system for graph transformation. Zbl 1383.68041
Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo
1
2018
The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156
Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2017
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
7
2015
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Zbl 1328.68103
Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko
2
2015
Use case analysis based on formal methods: an empirical study. Zbl 06545651
Oliveira, Marcos; Ribeiro, Leila; Cota, Érika; Duarte, Lucio Mauro; Nunes, Ingrid; Reis, Filipe
1
2015
Verification of graph grammars using a logical approach. Zbl 1243.68211
da Costa, Simone André; Ribeiro, Leila
4
2012
Specification patterns for properties over reachable states of graph grammars. Zbl 1372.68180
da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila
1
2012
Formal verification of graph grammars using mathematical induction. Zbl 1347.68243
da Costa, Simone André; Ribeiro, Leila
4
2009
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
On the interaction of advices and raw types in AspectJ. Zbl 1217.68056
Rubbo, F. Barden; Machado, R.; Moreira, Álvaro Freitas; Ribeiro, L.; Nunes, D. J.
1
2008
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
2007
Formal verification of object-oriented graph grammars specifications. Zbl 1278.68183
Lüdtke Ferreira, Ana Paula; Foss, Luciana; Ribeiro, Leila
4
2007
Stochastic object-based graph grammars. Zbl 1279.68117
Mendizabal, Odorico M.; Dotti, Fernando L.; Ribeiro, Leila
1
2007
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.)
1
2006
A formal framework for the development of concurrent object-based systems. Zbl 1075.68621
Ribeiro, Leila; Dotti, Fernando Luís; Bardohl, Roswitha
2
2005
Translating Java code to graph transformation systems. Zbl 1116.68382
Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila
4
2004
Derivations in object-oriented graph grammars. Zbl 1116.68485
Lüdtke Ferreira, Ana Paula; Ribeiro, Leila
3
2004
Verification of distributed object-based systems. Zbl 1253.68059
Dotti, Fernando L.; Foss, Luciana; Ribeiro, Leila; dos Santos, Osmar M.
9
2003
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Towards object-oriented graphs and grammars. Zbl 1253.68086
Lüdtke Ferreira, Ana Paula; Ribeiro, Leila
1
2003
Linear ordered graph grammars and their algebraic foundations. Zbl 1028.68074
Montanari, Ugo; Ribeiro, Leila
1
2002
Specification of mobile code systems using graph grammars. Zbl 0968.68100
Dotti, Fernando Luís; Ribeiro, Leila
5
2000
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
2
1994
all top 5

Cited by 78 Authors

16 Ribeiro, Leila
11 Corradini, Andrea
6 Ehrig, Hartmut
5 Baldan, Paolo
5 Foss, Luciana
4 Dotti, Fernando Luís
4 König, Barbara
4 Taentzer, Gabriele
3 Duval, Dominique
3 Echahed, Rachid
3 Lambers, Leen
3 Padberg, Julia
3 Prost, Frédéric
3 Sobociński, Paweł
2 Bardohl, Roswitha
2 da Costa Cavalheiro, Simone André
2 Da Costa, Simone André
2 de Lara, Juan
2 Heckel, Reiko
2 Heindel, Tobias
2 Kosiol, Jens
2 Liu, Zhiming
2 Lowe, Michael J.
2 Orejas, Fernando
2 Prange, Ulrike
2 Wang, Shuling
1 Albane, Saadia
1 Araújo, João
1 Azzi, Guilherme Grochau
1 Behr, Nicolas
1 Bertei, Alex
1 Born, Kristopher
1 Boy de la Tour, Thierry
1 Chatain, Thomas
1 dos Santos, Osmar Marchi
1 Ehrig, Karsten
1 Engels, Gregor
1 Ermel, Claudia
1 Fernández, Maribel
1 Fritsche, Lars
1 Gabriel, Karsten
1 Gadducci, Fabio
1 Golas, Ulrike
1 Guerreiro, Pedro
1 Haar, Stefan
1 Habel, Annegret
1 Ke, Wei
1 Kheddouci, Hamamache
1 Kirchner, Hélène
1 König, Harald
1 Korff, Martin
1 Lüdtke Ferreira, Ana Paula
1 Machado, Rodrigo
1 Mazza, Damiano
1 Mendizabal, Odorico Machado
1 Meseguer Guaita, José
1 Montanari, Ugo G.
1 Moreira, Ana Claudia
1 Olveczky, Peter Csaba
1 Parisi-Presicce, Francesco
1 Pasini, Fábio
1 Pimenta, Marcelo Soares
1 Pinaud, Bruno
1 Piveta, Eduardo Kessler
1 Plump, Detlef
1 Price, R. Tom
1 Rafe, Vahid
1 Rahmani, Adel T.
1 Rensink, Arend
1 Schulz, Christoph
1 Schürr, Andy
1 Slimani, Hachem
1 Stehr, Mark-Oliver
1 Strecker, Martin
1 Strüber, Daniel
1 Weber, Jens
1 Zhao, Liang
1 Zhao, Liang

Citations by Year