Leila Ribeiro - RankMe

102 papers B 11C 1Misc 2Journal 32Unranked 49

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On Formal Methods Thinking in Computer Science Education. Formal Aspects Comput. Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2024	J	`jnl`	Computing Everywhere, for Everyone, at Any Level. Commun. ACM Avelino F. Zorzo, Cláudia L. R. Motta, Leila Ribeiro, Lisandro Z. Granville
2024	—	`ed.`	Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings FMTea Emil Sekerinski, Leila Ribeiro
2023	J	`jnl`	Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs. ACM Trans. Comput. Educ. Rodrigo Duran, Silvia Amélia Bim, Itana M. S. Gimenes, Leila Ribeiro, Ronaldo Celso Messias Correia
2023	—	`conf`	The Brazilian School Computing Standard. SIGCSE (1) Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França
2021	—	`conf`	Module Integration Using Graph Grammars (MIGRATE). SBMF Diogo Raphael Cravo, Leila Ribeiro
2020	J	`jnl`	Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2020	J	`jnl`	Use case evolution analysis based on graph transformation with negative application conditions. Sci. Comput. Program. Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
2019	J	`jnl`	On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
2019	J	`jnl`	The PBPO graph transformation approach. J. Log. Algebraic Methods Program. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2019	J	`jnl`	Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions. CoRR Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
2018	J	`jnl`	NF Comput. Biol. Chem. Fabiane Cristine Dillenburg, Alfeu Zanotto-Filho, José Cláudio Fonseca Moreira, Leila Ribeiro, Luigi Carro
2018	B	`conf`	On the Essence and Initiality of Conflicts. ICGT Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
2018	—	`conf`	On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
2018	—	`conf`	The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
2017	J	`jnl`	Entendendo o Pensamento Computacional. CoRR Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro
2017	—	`conf`	Graph Grammar Extraction from Source Code. SBMF Lucio Mauro Duarte, Leila Ribeiro
2017	B	`conf`	The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2017	J	`jnl`	Theorem proving graph grammars with attributes and negative application conditions. Theor. Comput. Sci. Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2017	J	`jnl`	Using formal methods for content validation of medical procedure documents. Int. J. Medical Informatics Érika F. Cota, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rosiana Estefane da Silva, Gláucia Cota
2016	—	`ed.`	Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings SBMF Leila Ribeiro, Thierry Lecomte
2016	B	`conf`	Parallelism in AGREE Transformations. ICGT Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
2016	J	`jnl`	User interfaces metamodel based on graphs. J. Vis. Lang. Comput. Paulo Roberto Lumertz, Leila Ribeiro, Lucio Mauro Duarte
2015	B	`conf`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2015	B	`conf`	Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ICGT Rodrigo Machado, Leila Ribeiro, Reiko Heckel
2015	—	`conf`	Formal Verification of Health Assessment Tools: a Case Study. WEIT Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro, Érika F. Cota
2015	Misc	`conf`	From UML diagrams to simulink models: a precise and verified translation. SAC Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2015	J	`jnl`	Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013. Sci. Comput. Program. Leila Ribeiro, Matthias Tichy
2015	J	`jnl`	Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theor. Comput. Sci. Rodrigo Machado, Leila Ribeiro, Reiko Heckel
2014	J	`jnl`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	—	`ed.`	Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. LAFM Nazareno Aguirre, Leila Ribeiro
2014	J	`jnl`	Transformation of Attributed Structures with Cloning (Long Version). CoRR Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	B	`conf`	Transformation of Attributed Structures with Cloning. FASE Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	—	`conf`	Use Case Analysis Based on Formal Methods: An Empirical Study. WADT Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis
2013	—	`conf`	A Formal Model for the Deferred Update Replication Technique. TGC Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
2013	—	`conf`	Computational Thinking: Possibilities and Challenges. WEIT Leila Ribeiro, Daltro José Nunes, Marcia E. J. Kniphoff da Cruz, Ecivaldo de Souza Matos
2013	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Matthias Tichy, Leila Ribeiro
2013	—	`conf`	Specification of Models Based on Contexts using Graph Grammars. WEIT Marcos Antonio de Oliveira Junior, Leila Ribeiro, Lucio Mauro Duarte, Érika F. Cota
2012	J	`jnl`	Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss
2012	—	`conf`	Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2012	J	`jnl`	Verification of graph grammars using a logical approach. Sci. Comput. Program. Simone André da Costa, Leila Ribeiro
2011	—	`conf`	Formal Methods at SBES: Evolution and Perspectives. SBES Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro
2011	J	`jnl`	Modeling the webgraph evolution. J. Comput. Sci. Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti
2011	—	`conf`	Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT Leila Ribeiro, Fernando Luís Dotti
2010	—	`conf`	An Institution for Graph Transformation. WADT Andrea Corradini, Fabio Gadducci, Leila Ribeiro
2010	J	`jnl`	Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
2009	J	`jnl`	Aspects for Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rodrigo Machado, Luciana Foss, Leila Ribeiro
2009	C	`conf`	Modal Systems: Specification, Refinement and Realisation. ICFEM Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
2009	B	`conf`	Model Transformation Using Graph Transactions. ICSR Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes
2009	—	`conf`	Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE Rodrigo Machado, Reiko Heckel, Leila Ribeiro
2008	—	`conf`	Formal Verification of Graph Grammars using Mathematical Induction. SBMF Simone André da Costa, Leila Ribeiro
2008	—	`conf`	Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT Andrea Corradini, Luciana Foss, Leila Ribeiro
2008	—	`conf`	Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models Leila Ribeiro, Fernando Luís Dotti
2008	J	`jnl`	On the Interaction of Advices and Raw Types in AspectJ. J. Univers. Comput. Sci. Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes
2008	—	`ed.`	Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006 SBMF Anamaria Martins Moreira, Leila Ribeiro
2007	J	`jnl`	Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comput. Soc. Leonardo Michelon, Simone André da Costa, Leila Ribeiro
2007	J	`jnl`	Modelling, property verification and behavioural equivalence of lactose operon regulation. Comput. Biol. Medicine Marcelo Cezar Pinto, Luciana Foss, José Carlos Merino Mombach, Leila Ribeiro
2007	J	`jnl`	Unfolding semantics of graph transformation. Inf. Comput. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2006	—	`conf`	Formal Verification of Object-Oriented Graph Grammars Specifications. GT-VC@CONCUR Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro
2006	B	`ed.`	Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings ICGT Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
2006	—	`conf`	Preface. SBMF Anamaria Martins Moreira, Leila Ribeiro
2006	—	`conf`	Specification of Real-Time Systems with Graph Grammars. SBES Leonardo Michelon, Simone André da Costa, Leila Ribeiro
2006	—	`conf`	Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2006	J	`jnl`	Verifying Object-based Graph Grammars. Softw. Syst. Model. Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini
2005	—	`conf`	A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
2005	—	`conf`	Modeling and Property Verification of Lactose Operon Regulation. BSB Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro
2005	—	`conf`	Stochastic Object-Based Graph Grammars. SBMF Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
2004	—	`conf`	A Graph-based Semantics For Object-oriented Programming Constructs. CTCS Ana Paula Lüdtke Ferreira, Leila Ribeiro
2004	—	`conf`	An Environment for the Development of Concurrent Object-Based Applications. GraBaTs Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos
2004	B	`conf`	Derivations in Object-Oriented Graph Grammars. ICGT Ana Paula Lüdtke Ferreira, Leila Ribeiro
2004	—	`conf`	Modeling Metabolic Pathways using Graph Grammars. WOB Marcelo Cezar Pinto, Leila Ribeiro
2004	B	`conf`	Translating Java Code to Graph Transformation Systems. ICGT Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
2004	—	`conf`	Verifying Object-Based Graph Grammars. GT-VMT@ETAPS Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
2003	—	`conf`	A Translation from Object-Based Hypergraph Grammars into pi-Calculus. WMF Luciana Foss, Leila Ribeiro
2003	—	`conf`	Especificação e Verificação Formal de Sistemas Distribuídos. SBES Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
2003	—	`conf`	Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
2003	—	`conf`	Towards Object-Oriented Graphs and Grammars. FMOODS Ana Paula Lüdtke Ferreira, Leila Ribeiro
2003	—	`conf`	Verification of Distributed Object-Based Systems. FMOODS Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
2002	—	`conf`	Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2002	—	`conf`	DNA-Based Modelling of Parallel Algorithms. WOB Leonardo Vieira Cervo, Leila Ribeiro
2002	—	`conf`	Decidability and Tractability of Problems in Object-Based Graph Grammars. IFIP TCS Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani
2002	B	`conf`	Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT Ugo Montanari, Leila Ribeiro
2002	—	`ed.`	Proceedings of the 16th Brazilian Symposium on Software Engineering, SBES 2002, Gramado, RS, Brazil, October 16-18, 2002. SBES Leila Ribeiro
2001	—	`conf`	A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
2001	—	`conf`	Towards a Compositional Approach to Define Graphical Animation of Software Applications. HCC Roswitha Bardohl, Leila Ribeiro
2000	—	`conf`	A Modular Approach to Animation of Simulation Models. SBES Roswitha Bardohl, Claudia Ermel, Leila Ribeiro
2000	—	`conf`	An Environment for Formal Modeling and Simulation of Control Systems. Annual Simulation Symposium Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro
2000	Misc	`conf`	Code Mobility in Open Systems: A Formal Approach. PDPTA Fernando Luís Dotti, Leila Ribeiro
2000	J	`jnl`	Complexity analysis of reactive graph grammars. RITA Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro
2000	J	`jnl`	Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. RITA David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues
2000	—	`conf`	Specification of Mobile Code Systems using Graph Grammars. FMOODS Fernando Luís Dotti, Leila Ribeiro
1999	—	`conf`	Compositional Construction of Simulation Models Using Graph Grammars. AGTIVE Leila Ribeiro, Bernardo Copstein
1999	J	`jnl`	Parallel Composition of Graph Grammars. Appl. Categorical Struct. Leila Ribeiro
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
1997	—	`conf`	Graph Grammars for the Specification of Concurrent Systems. SBES Leila Ribeiro, Martin Korff
1996	—	`—`	Parallel composition and unfolding semantics of graph grammars. Leila Ribeiro
1995	J	`jnl`	Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. Julia Padberg, Hartmut Ehrig, Leila Ribeiro
1995	—	`conf`	Concurrent derivations as single pushout graph grammar processes. SEGRAGRA Martin Korff, Leila Ribeiro
1994	—	`conf`	Formal Relationship between Graph Grammars and Petri Nets. TAGT Martin Korff, Leila Ribeiro
1993	—	`conf`	Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES Leila Ribeiro, Hartmut Ehrig, Julia Padberg
1992	—	`conf`	Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT Hartmut Ehrig, Julia Padberg, Leila Ribeiro
1989	—	`conf`	Especificação de um Programa de Matrículas Utilizando VDM. SBES Leila Ribeiro, Daltro José Nunes