|
Leila Ribeiro |
| Teaching | Research | Publications |
Students | CV | Links |
| Journal papers |
| PINTO, M. C. ; FOSS, L. ; MOMBACH, J. C. M. ; RIBEIRO, L. . Modeling, Property Verification and Behavioural Equivalence of Lactose Operon Regulation. Computers in Biology and Medicine, Aceito para publicação., p. 1-32, 2006. |
| RIBEIRO, L. ; DOTTI, F. L. ; SANTOS, O. M. ; PASINI, F. . Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach. Software and Systems Modeling, Aceito para publicação., p. 1-20, 2006. |
| SANTOS,
O. M., DOTTI, F. L., RIBEIRO, L. An Environment for the Development of Concurrent Object-Based Applications. Electronic Notes in Theoretical Computer Science. , v.127, p.3 - 13, 2005. |
| FERREIRA,
A. P. L., RIBEIRO, L. A graph-based semantics for object-oriented programming constructs. Electronic Notes in Theoretical Computer Science. , v.122, p.89 - 104, 2004. |
| FOSS,
L., RIBEIRO, L. A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electronic Notes in Theoretical Computer Science. , v.95, p.245 - 267, 2004. |
| SANTOS,
O. M., DOTTI, F. L., RIBEIRO, L. Verifying Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science. , v.109, p.125 - 136, 2004. |
| CORRADINI,
Andrea, DOTTI, F. L., RIBEIRO, L. A graph transformation view on the specification of applications using mobile code. Eletronic Notes In Theoretical Computer Science. , v.50, n.3, 2001. |
| LORETO,
A. B., RIBEIRO, L., TOSCANI, L. Complexity analysis of reactive graph grammars. Revista de Informatica Teórica e Aplicada. Porto Alegre: , v.7, n.1, p.109 - 128, 2000. |
| RIBEIRO,
L., COPSTEIN, B. Compositional construction of simulation models using graph grammars. Lecture Notes in Computer Science. , v.1779, p.87 - 94, 2000. |
| DÉHARBE,
D., MOREIRA, A., RIBEIRO, L., RODRIGUES, V. Introdução a métodos formais: especificação, semântica e verificação de sistemas concorrentes. Revista de Informatica Teórica e Aplicada. Porto Alegre: , v.7, n.1, p.7 - 48, 2000. |
| RIBEIRO,
L. Parallel composition of graph grammars. Applied Categorical Structures. , v.7, n.4, p.405 - 430, 1999. |
| RIBEIRO,
L. Compatibility between sintax and semantica of graph grammars. Eletronic Notes In Theoretical Computer Science. , v.14, 1998. |
| RIBEIRO,
L., KORFF, M. True concurrency = Interleaving + Weak Conflict. Eletronic Notes In Theoretical Computer Science. , v.14, 1998. |
| RIBEIRO,
L., KORFF, M. Formal relationships between graph grammars and Petri nets. Lecture Notes in Computer Science. , v.1073, p.288 - 303, 1996. |
| RIBEIRO,
L., PADBERG, J., EHRIG, H. Algebraic high-level net transformation systems. Mathematical Structures In Computer Science. Cambridge: , v.5, p.217 - 256, 1995. |
| RIBEIRO,
L., EHRIG, H., PADBERG, J. Algebraic high-level nets: Petri nets revisited. Lecture Notes in Computer Science. , v.785, p.188 - 206, 1994. |
| Abstracts in journals |
| RIBEIRO,
L. Occurrence graph grammars. Logic Journal Of The Igpl. Oxford: , v.6, n.6, p.928 - 929, 1998. |
| RIBEIRO,
L., KORFF, M. Concurrent derivations as single-pushout graph grammar processes. Eletronic Notes In Theoretical Computer Science. , v.2, 1995. |
| Book chapters |
| RIBEIRO,
L., DOTTI, F. L., BARDOHL, R. A Formal Framework for the Development of Concurrent Object-Based Systems In: Formal Methods in Software and Systems Modeling ed. : Springer, 2005, v.3393, p. 385-401. |
| BALDAN,
Paolo, CORRADINI, Andrea, MONTANARI, Ugo, RIBEIRO, L. Correflective concurrent semantics for single pushout graph grammars In: Recent Trends in Algebraic Development Techniques ed. : Springer, 2003, v.2755, p. 165-184. |
| RIBEIRO,
L. Métodos formais de especificação: Gramáticas de grafos In: VIII Escola de Informática da SBC-Sul ed.Porto Alegre : Editora da UFRGS, 2000, p. 1-33. |
| DOTTI,
F. L., RIBEIRO, L. Specification of mobile code using graph grammars In: Formal Methods for Open Object-Based Distributed Systems IV ed.Norwell, EUA : Kluwer Academic Publishers, 2000, p. 45-64. |
| RIBEIRO,
L., MENEZES, P. A graph transformation framework for concurrent systems In: Advances in Cybernetics, 1997, v.IV, p. 85-89. |
| EHRIG,
H., HECKEL, R., KORFF, M., LOWE, M., RIBEIRO, L., WAGNER, A. Algebraic approaches to graph transformations Part II: SPO approach and comparison with DPO approach In: Handbook of Graph Grammars ed. : World Scientific, 1997 |
| Full papers in conferences |
| BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; GADDUCCI, F. ; RIBEIRO, L. . Towards a Notion of Transaction in Graph Rewriting. In: GT-VMT 2006 - GT-VMT06 - 5th International Workshop on Graph Transformation, 2006, Viena. Proc. of the 5th International Workshop on Graph Transformation, 2006. v. 1. p. 1-12. |
| PINTO, M. C., FOSS, L., MOMBACH, J. C. M., RIBEIRO, L. Modeling and property verification of lactose operon regulation In: Brazilian Symposium on Bioinformatics, 2005, São Leopoldo. Advances in Bioinformatics and Computational Biology. Srpinger, 2005. v.3594. p.95 - 106 |
| FERREIRA,
A. P. L., RIBEIRO, L. Derivations in object-oriented graph grammars In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd International Conference on Graph Transformation (ICGT 2004). Springer, 2004. v.3256. p.416 - 430 |
| CORRADINI,
Andrea, DOTTI, F. L., FOSS, L., RIBEIRO, L. Translating Java code to graph transformation systems In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd. International Conference on Graph Transformation (ICGT 2004). Springer, 2004. v.3256. p.383 - 398 |
| FOSS,
L., RIBEIRO, L. A translation of object-based hypergraph grammars into pi-calculus In: 6th Workshop on Formal Methods, 2003, Campina Grande. WMF'2003 - 6th Workshop on Formal Methods. , 2003. v.1. p.1 - 16 |
| MASHUDA,
C. R. Y., RIBEIRO, L., KIST, T. B. L. Algoritmo molecular utilizando fluoroforos para resolução do problema do caixeiro viajante In: Conferência Latino Americana de Informática, 2003, La Paz. Anais da XXIX Conferencia CLEI' 2003. , 2003. v.1. p.1 - 8 |
| MASHUDA,
C. R. Y., RIBEIRO, L., KIST, T. B. L. Computação com DNA para resolução de problemas de otimização In: Escola Regional de Informática da Sociedade Brasileira de Computação, 2003, Paraná. Anais da XI Escola Regional de Informática da Sociedade Brasileira de Computação. , 2003. |
| DOTTI,
F. L., FOSS, L., RIBEIRO, L., SANTOS, O. M. Especificação e verificação formal de sistemas distribuidos In: 17o. Simpósio Brasileiro de Engenharia de Software (SBES), 2003, Manaus. 17o. Simpósio Brasileiro de Engenharia de Software. , 2003. v.1. p.225 - 240 |
| DOTTI,
F. L., RIBEIRO, L., SANTOS, O. M. Specification and analysis of fault behaviors using graph grammars In: Application of Graph Transformation with Industrial Relevance, 2003, Charlottesville. AGTIVE'2003 - Applications of Graph Transformation with Industrial Relevance. Springer, 2003. v.3062. p.120 - 133 |
| FERREIRA,
A. P. L., RIBEIRO, L. Towards object-oriented graphs and grammars In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Springer, 2003. v.2884. p.16 - 31 |
| DOTTI,
F. L., FOSS, L., RIBEIRO, L., SANTOS, O. M. Verification of distributed object-based systems In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Springer, 2003. v.2884. p.261 - 275 |
| LORETO,
A. B., RIBEIRO, L., TOSCANI, L. V. Decidability and tractability of a problem in object-based graph grammars In: 17th IFIP World Computer Congress - Theoretical Computer Science, 2002, Montreal. Proc. of TCS 2002 - Theoretical Computer Science. Kluwer, 2002. v.1. p.396 - 408 |
| CERVO,
L. V., RIBEIRO, L. DNA-based modeling of parallel algorithms In: I Worksop Brasileiro de Bioinformática, 2002, Gramado. WOB 2002 - I Workshop Brasileiro de Bioinformática. , 2002. v.1. p.16 - 23 |
| RIBEIRO,
L., MONTANARI, Ugo Linear ordered graph grammars and their algebraic foundations In: International Conference on Graph Transformation (ICGT 2002), 2002, Barcelona, Espanha. Graph Transformation. Springer, 2002. v.2505. p.317 - 333 |
| DUARTE,
L. M., DOTTI, F. L., COPSTEIN, B., RIBEIRO, L. Simulation of Mobile Applications In: CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference, 2002, San Antonio. Proceedings of CNDS 2002. , 2002. v.1. p.1 - 15 |
| CORRADINI,
Andrea, DOTTI, F. L., RIBEIRO, L. A graph transformation view on the specification of applications using mobile code In: 2nd International Workshop on Graph Transformations and Visula Modeling Techniques, 2001, Creta, Grécia. Proc. of the Satellite Wokrshops of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01). , 2001. v.1. p.240 - 248 |
| BARBOSA,
M. A., TOSCANI, L. V., RIBEIRO, L. ANAC - Uma ferramenta para análise automática da complexidade de algoritmos In: XXVII Conferencia Latinoamericana de Informática (CLEI 2001), 2001, Mérida, Venezuela. Proc. CLEI 2001. , 2001. v.1. p.1 - 8 |
| BARBOSA,
M. A., TOSCANI, L. V., RIBEIRO, L. Apoio ao ensino de complexidade de algoritmos In: III Simpósio Internacional de Informática Educativa, 2001, Viseu. Proc. 3º Simpósio Internacional Informática Educativa. , 2001. v.1. p.1 - 5 |
| LORETO,
A. B., RIBEIRO, L., TOSCANI, L. V. Decidibilidade e tratabilidade de gramáticas de grafos orientadas a objeto In: IV Workshop de Métodos Formais, 2001, Rio de Janeiro, Brasil. Proc. of IV WMF Workshop on Formal Methods. , 2001. v.1. p.129 - 140 |
| BARDOHL,
R., ERMEL, C., RIBEIRO, L. A modular approach to animation of simulation models In: XIV Simpósio Brasileiro de Engenharia de Software (SBES 2000), 2000, Joâo Pessoa. XIV Simpósio Brasileiro de Engenharia de Software. , 2000. v.1. p.133 - 146 |
| COPSTEIN,
B., MÓRA, M. C., RIBEIRO, L. An environment for formal modeling and simulation of control systems In: ANSS'00 Annual Simulation Symposium, 2000, Washington. ANSS'00 Annual Simulation Symposium. IEEE/SCS, 2000. p.74 - 82 |
| DOTTI,
F. L., RIBEIRO, L. Code mobility in open systems: a formal apporach In: PDPTA'00 - Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas. International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, 2000. v.V. p.2401 - 2408 |
| LORETO,
A. B., RIBEIRO, L., TOSCANI, L. Complexity analysis of reactive graph grammars In: III Workshop de Métodos Formais (WMF 2000), 2000, João Pessoa. SBES´2000 - Workshops. , 2000. v.1. p.193 - 204 |
| BARBOSA,
M. A., TOSCANI, L. V., RIBEIRO, L. Ferramenta para automatização da análise da complexidade de algoritmos In: XI Simpósio Brasileiro de Informática na Educação (SBIE 2001), 2000, Maceió, Brazil. Proc. XI Simpósio Brasileiro de Informática na Educação. , 2000. v.1. p.160 - 166 |
| BARDOHL,
R., ERMEL, C., RIBEIRO, L. Towards visual specification and animation of Petri net based models In: GRATRA 2000 Workshop on Graph Transformation Systems, 2000, Berlim. GRATRA 2000 Workshop on Graph Transformation Systems. Berlim: Technical University of Berlin, 2000. v.1. p.22 - 31 |
| RIBEIRO,
L., COPSTEIN, B. Compositional construction of simulation models using graph grammars In: AGTIVE - Applications of Graph Transformation with Industrial Relevance, 1999, Rolduc. AGTIVE - Applications of Graph Transformation with Industrial Relevance. , 1999. |
| RIBEIRO,
L., COPSTEIN, B., MÓRA, M. C. Formal development of control systems using simulation In: II Workshop Brasileiro de Métodos Formais (WMF 1999), 1999, Florianópolis. WMF99 - II Workshop Brasileiro de Métodos Formais. , 1999. v.1. p.1 - 8 |
| RIBEIRO,
L., MENEZES, P., DIVERIO, T., NUNES, D., RODRIGUES, V., TOSCANI, L. Desenvolvimento da área formal da computação no Instituto de Informática da UFRGS In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais. , 1998. p.1 - 12 |
| RIBEIRO,
L., KORFF, M. Graph grammars for the specificaiton of concurrent systems In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1998, Fortaleza. IX Simpósio Brasileiro de Engenharia de Software. , 1998. p.199 - 214 |
| RIBEIRO,
L., COPSTEIN, B. Specifying simulation models using graph grammars In: ESS98 - European Simulation Symopsium, 1998, Nottinhgham. ESS98 Proceedings. , 1998. p.60 - 64 |
| RIBEIRO,
L., KORFF, M. Graph grammars In: I Workshop em Qualidade de Software, 1997, Porto Alegre. I Workshop em Qualidade de Software. , 1997. p.88 - 104 |
| RIBEIRO,
L. Object-oriented AHL-nets In: IS-CORE Workshop on correctness and reusability of software, 1994, Amsterdam. IS-CORE Workshop on correctness and reusability of software. , 1994. v.357. |
| Extended abstracts in conferences |
| PINTO,
M. C., RIBEIRO, L. Modeling metabolic pathways using graph grammars In: III Brazilian Workshop on Bioinformatics (WOB 2004), 2004, Brasília. Terceiro Workshop Brasileiro de Bioinformática (WOB). , 2004. v.1. p.154 - 157 |
| PINTO,
M. C., RIBEIRO, L. Modeling Metabolic and Regulatory Networks using Graph Transformations In: Workshop on Petri nets and Graph Transformations, 2004, Roma, Itália. Proceedings of the Workshop on Petri nets and Graph Transformations (PNGT 2004). , 2004. v.1. p.1 - 2 |
| BALDAN,
Paolo, CORRADINI, Andrea, MONTANARI, Ugo, RIBEIRO, L. Correflective concurrent semantics for single pushout graph grammars In: 16th Intrenational Workshop on Algebraic Development Techniques, 2002, Frauenchiemsee. Proc. 16th International Workshop on Algebraic Development Techniques,WADT 2002,. , 2002. v.1. p.1 - 4 |
| BARDOHL,
R., RIBEIRO, L. Towards a Compositional Approach to Define Graphical Animation of Software Applications In: Visual Languages and Formal Methods (VLFM'01), 2001, Stresa, Itália. IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE, 2001. v.1. p.38 - 40 |
| RIBEIRO,
L., BARDOHL, R. Specifying a graph grammar editor for reactive systems In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais. , 1998. p.90 - 93 |
| RIBEIRO,
L., KORFF, M. True concurrency model for read/write access systems In: 4th Wollic - Workshop on Logic, Language , Information and Computation, 1997, Fortaleza. 4th Wollic - Workshop on Logic, Language , Information and Computation. , 1997. p.51 - 54 |
| RIBEIRO,
L. Parallel composition of graph grammars In: Dagstuhl Workshop on Graph Grammars, 1996, Dagstuhl. Dagstuhl seminar report. , 1996. v.155. p.9 - 10 |
| RIBEIRO,
L., KORFF, M. An attributed graph transformation approach to the behaviour of AHL-nets In: 5th International Workshop on Graph Grammars, 1994, Williamsburg. 5th International Workshop on Graph Grammars. , 1994. p.133 - 138 |
| Other publications |
| RIBEIRO,
L., KORFF, M. Métodos formais de especificação: Gramáticas de Grafos. School book. , 1997. |
| RIBEIRO,
L. A telephone´s system specification using graph grammars. Technical report. , 1996. |
| RIBEIRO,
L. Parallel composition and unfolding semantics of graph grammars. PhD thesis. , 1996. |
