Simone André da Costa Cavalheiro

According to our database, Simone André da Costa Cavalheiro authored at least 39 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Brazilian School Computing Standard.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de França

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

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

Proceedings of the IEEE Frontiers in Education Conference, 2023

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

2021

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

Proceedings of the IEEE Frontiers in Education Conference, 2021

2020

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017).

Simone André da Costa Cavalheiro, José Luiz Fiadeiro

Sci. Comput. Program., 2020

2019

Evaluation Rubric for Computational Thinking Concepts.

Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro

Proceedings of the 19th IEEE International Conference on Advanced Learning Technologies, 2019

2017

Theorem proving graph grammars with attributes and negative application conditions.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Theor. Comput. Sci., 2017

Entendendo o Pensamento Computacional.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro

CoRR, 2017

A relational approach of fuzzy graph grammars.

Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser

Proceedings of the 13th International Conference on Natural Computation, 2017

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

2015

Proof Tactics for Theorem Proving Graph Grammars through Rodin.

Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss

RITA, 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

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Translating Controlled Graph Grammars to Ordinary Graph Grammars.

Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

From UML diagrams to simulink models: a precise and verified translation.

Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

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

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

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

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

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

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

Proceedings of the XL Latin American Computing Conference, 2014

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

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

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class.

Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations.

Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 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

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 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

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 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

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Verification of graph grammars using a logical approach.

Simone André da Costa, Leila Ribeiro

Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Graph Grammars: A Comparison between Verification Methods.

Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Towards Developmental Turing Machines.

Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 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

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

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

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010

Towards Theorem Proving Graph Grammars using Event-B.

Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2008

Formal Verification of Graph Grammars using Mathematical Induction.

Simone André da Costa, Leila Ribeiro

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2007

Formal Specification and Verification of Real-Time Systems using Graph Grammars.

Leonardo Michelon, Simone André da Costa, Leila Ribeiro

J. Braz. Comput. Soc., 2007

2006

Specification of Real-Time Systems with Graph Grammars.

Leonardo Michelon, Simone André da Costa, Leila Ribeiro

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

2003

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.

Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa

Proceedings of the Computer Aided Systems Theory, 2003

2002

Nautilus, a Diagrammatic Specification and Programming Language.

Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

Hyper-Automation System Applied to Geometry Demonstration Environment.

Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 2001