Verification of Distributed Object-Based Systems. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (FMOODS, 2003)

Especificação e Verificação Formal de Sistemas Distribuídos. - Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001; Osmar Marchi dos Santos (SBES, 2003)

A Translation from Object-Based Hypergraph Grammars into pi-Calculus. - Luciana Foss; Leila Ribeiro 001 (WMF, 2003)

Translating Java Code to Graph Transformation Systems. - Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001 (ICGT, 2004)

An Environment for the Development of Concurrent Object-Based Applications. - Fernando Luís Dotti; Lucio Mauro Duarte; Luciana Foss; Leila Ribeiro 001; Daniela Russi; Osmar Marchi dos Santos (GraBaTs, 2004)

Modeling and Property Verification of Lactose Operon Regulation. - Marcelo Cezar Pinto; Luciana Foss; José C. M. Mombach; Leila Ribeiro 001 (BSB, 2005)

Graph Transactions as Processes. - Paolo Baldan; Andrea Corradini 001; Luciana Foss; Fabio Gadducci (ICGT, 2006)

Towards a Notion of Transaction in Graph Rewriting. - Paolo Baldan; Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Fabio Gadducci; Leila Ribeiro 001 (GT-VMT@ETAPS, 2006)

Formal Verification of Object-Oriented Graph Grammars Specifications. - Ana Paula Lüdtke Ferreira; Luciana Foss; Leila Ribeiro 001 (GT-VC@CONCUR, 2006)

Modelling, property verification and behavioural equivalence of lactose operon regulation. - Marcelo Cezar Pinto; Luciana Foss; José Carlos Merino Mombach; Leila Ribeiro 001 (Comput. Biol. Medicine, 2007)

Graph Transformation with Dependencies for the Specification of Interactive Systems. - Andrea Corradini 001; Luciana Foss; Leila Ribeiro 001 (WADT, 2008)

Sistemas de transformação de grafos transacionais. - Luciana Foss (2008)

Model Transformation Using Graph Transactions. - Leila Ribeiro 001; Luciana Foss; Bruno Carreiro da Silva; Daltro José Nunes (ICSR, 2009)

Aspects for Graph Grammars. - Rodrigo Machado; Luciana Foss; Leila Ribeiro 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Model Checking the Ant Colony Optimisation. - Lucio Mauro Duarte; Luciana Foss; Flávio Rech Wagner; Tales Heimfarth (DIPES/BICC, 2010)

Using Graph Grammars to Develop Embedded Systems Based on UML Models. - Nícolas Nogueira Bisi; Vinícius Steffens Pazzini; Luciana Foss; Simone André da Costa Cavalheiro; Lisane B. de Brisolara; Flávio Rech Wagner (WEIT, 2011)

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. - Cícero Augusto de S. Camargo; Gerson Geraldo Homrich Cavalheiro; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2011)

Graph Grammars: A Comparison between Verification Methods. - Andre Moura de Mello; Luiz Carlos Lemos Junior; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2011)

Specification Patterns for Properties over Reachable States of Graph Grammars. - Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (SBMF, 2012)

Correct transformation: From object-based graph grammars to PROMELA. - Leila Ribeiro 001; Osmar Marchi dos Santos; Fernando Luís Dotti; Luciana Foss (Sci. Comput. Program., 2012)

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. - Luiz Carlos Lemos Junior; Simone André da Costa Cavalheiro; Luciana Foss (SBMF, 2013)

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. - Taina Carvalho; Daiane Andrade; Jayne Silveira; Victor Auler; Simone André da Costa Cavalheiro; Marilton S. de Aguiar; Luciana Foss; Ana Marilza Pernas; Renata Reiser (WEIT, 2013)

Automatic Translation from UML to Simulink CAAM Using Graph Grammars. - Andrei Costa; Vinícius Steffens Pazzini; Luciana Foss; Simone André da Costa Cavalheiro; Lisane B. de Brisolara; Flávio Rech Wagner (WEIT, 2013)

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. - Luiz Carlos Lemos Junior; Simone André da Costa Cavalheiro; Luciana Foss (WEIT, 2013)

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. - Andre Moura de Mello; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2013)

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. - Rosana Medina Zanotelli; Renata Hax Sander Reiser; Simone André da Costa Cavalheiro; Luciana Foss (WEIT, 2013)

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling. - Cícero Augusto de S. Camargo; Simone André da Costa Cavalheiro; Luciana Foss; Gerson Geraldo Homrich Cavalheiro (RITA, 2013)

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. - Luciana Foss; Simone André da Costa Cavalheiro; Nícolas Nogueira Bisi; Vinícius Steffens Pazzini; Lisane B. de Brisolara; Flávio Rech Wagner (RITA, 2013)

Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions. - Rosana Medina Zanotelli; Renata Hax Sander Reiser; Simone André da Costa Cavalheiro; Luciana Foss; Benjamín René Callejas Bedregal (CLEI, 2014)

Aggregating fuzzy implications based on OWA-operators. - Ibero Benitez; Rosana Medina Zanotelli; Renata Hax Sander Reiser; Simone André da Costa Cavalheiro; Luciana Foss; Adenauer C. Yamin (FUZZ-IEEE, 2014)

Aproximating static list schedules in dynamic multithreaded applications. - Cícero Augusto de S. Camargo; Gerson G. H. Cavalheiro; Maurício L. Pilla; Simone André da Costa; Luciana Foss (Clust. Comput., 2014)

Towards robustness and duality analysis of intuitionistic fuzzy aggregations. - Rosana Medina Zanotelli; Renata Reiser; Simone André da Costa Cavalheiro; Luciana Foss; Benjamín R. C. Bedregal (FUZZ-IEEE, 2015)

From UML diagrams to simulink models: a precise and verified translation. - Andrei Costa; Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (SAC, 2015)

Translating Controlled Graph Grammars to Ordinary Graph Grammars. - Alex Bertei; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2015)

Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. - Renata Reiser; Rosana Medina Zanotelli; Simone André da Costa Cavalheiro; Luciana Foss; Benjamín R. C. Bedregal (WEIT, 2015)

Proof Tactics for Theorem Proving Graph Grammars through Rodin. - Luiz Carlos Lemor Jr.; Simone André da Costa Cavalheiro; Luciana Foss (RITA, 2015)

Correlation coefficient analysis based on fuzzy negations and representable automorphisms. - Alex Bertei; Rosana Medina Zanotelli; Wilson Cardoso; Renata Reiser; Luciana Foss; Benjamín R. C. Bedregal (FUZZ-IEEE, 2016)

Computação na Educação Básica no Brasil: o Estado da Arte. - Adriana Bordini; Christiano Martino Otero Avila; Yuri Weisshahn; Mônica Marques da Cunha; Simone André da Costa Cavalheiro; Luciana Foss; Marilton S. de Aguiar; Renata Hax Sander Reiser (RITA, 2016)

A relational approach of fuzzy graph grammars. - Alex Bertei; Luciana Foss; Simone André da Costa; Renata H. S. Reiser (ICNC-FSKD, 2017)

Entendendo o Pensamento Computacional. - Leila Ribeiro 001; Luciana Foss; Simone André da Costa Cavalheiro (CoRR, 2017)

Theorem proving graph grammars with attributes and negative application conditions. - Simone André da Costa Cavalheiro; Luciana Foss; Leila Ribeiro 001 (Theor. Comput. Sci., 2017)

Evaluation Rubric for Computational Thinking Concepts. - Christiano Martino Otero Avila; Luciana Foss; Adriana Bordini; Maria Simone Debacco; Simone André da Costa Cavalheiro (ICALT, 2019)

Correlation Coefficient of Modal Level Operators: An Application to Medical Diagnosis. - Alex Bertei; Renata H. S. Reiser; Luciana Foss (IJCCI, 2019)

A Graph Transformation System formalism for Software Transactional Memory Opacity. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2019)

PACT: A Citizen Science Project for Computing Education. - Braz Araujo da Silva; Simone André da Costa Cavalheiro; Luciana Foss; Ana Marilza Pernas Fleischmann; Andrea Volz Garcez (FIE, 2021)

A Graph Transformation System formalism for correctness of Transactional Memory algorithms. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2021)

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2022)

Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores. - Bruno Cabreira Gonçalves; João Eduardo Seffrin Soares; Placida Oliveira; Jonnhy Marques; Simone André da Costa Cavalheiro; Luciana Foss; André DuBois; Renata Reiser; Clause Piana; Ana Rita Mazzini (Revista Brasileira de Informática na Educ., 2022)

Formal Specification in Basic Education: What Does It Take? - Braz Araujo da Silva Junior; Simone André da Costa Cavalheiro; Luciana Foss; Júlia Veiga da Silva (FIE, 2023)

The Brazilian School Computing Standard. - Leila Ribeiro 001; Luciana Foss; Simone André da Costa Cavalheiro; Marcia Elena Jochims Kniphoff da Cruz; Rozelma Soares de França (SIGCSE (1), 2023)

Fuzzy correlational analysis for dynamic consolidation of virtual machines in cloud computing environment. - Alex Bertei; Luciana Foss; Benjamín R. C. Bedregal; Renata Reiser (Eng. Appl. Artif. Intell., 2023)