Simone André da Costa Cavalheiro

32 papers B 3C 3Misc 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Experience Report on Teaching Computer Science in Elementary School. Revista Brasileira de Informática na Educ. Simone André da Costa Cavalheiro, Luciana Foss, André Rauber Du Bois, Ana Marilza Pernas, Clause Fátima de Brum Piana, Renata Hax Sander Reiser
2025	J	`jnl`	Pensamento Computacional e Mecânicas de Jogos Sérios: Um Estudo de Caso sobre a Linha da Decomposição. Revista Brasileira de Informática na Educ. André Luis Macedo Caruso, Simone André da Costa Cavalheiro, Marilton Sanchotene de Aguiar
2023	C	`conf`	Formal Specification in Basic Education: What Does It Take? FIE Braz Araujo da Silva Junior, Simone André da Costa Cavalheiro, Luciana Foss, Júlia Veiga da Silva
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
2022	J	`jnl`	Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores. Revista Brasileira de Informática na Educ. 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
2021	C	`conf`	PACT: A Citizen Science Project for Computing Education. FIE Braz Araujo da Silva, Simone André da Costa Cavalheiro, Luciana Foss, Ana Marilza Pernas Fleischmann, Andrea Volz Garcez
2020	J	`jnl`	Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). Sci. Comput. Program. Simone André da Costa Cavalheiro, José Luiz Fiadeiro
2019	B	`conf`	Evaluation Rubric for Computational Thinking Concepts. ICALT Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro
2017	J	`jnl`	Entendendo o Pensamento Computacional. CoRR Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro
2017	—	`ed.`	Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings SBMF Simone André da Costa Cavalheiro, José Luiz Fiadeiro
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
2016	J	`jnl`	Computação na Educação Básica no Brasil: o Estado da Arte. RITA 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
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`	Proof Tactics for Theorem Proving Graph Grammars through Rodin. RITA Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss
2015	—	`conf`	Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. WEIT Renata Reiser, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal
2015	B	`conf`	Towards robustness and duality analysis of intuitionistic fuzzy aggregations. FUZZ-IEEE Rosana Medina Zanotelli, Renata Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal
2015	—	`conf`	Translating Controlled Graph Grammars to Ordinary Graph Grammars. WEIT Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro
2014	B	`conf`	Aggregating fuzzy implications based on OWA-operators. FUZZ-IEEE Ibero Benitez, Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Adenauer C. Yamin
2014	C	`conf`	Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions. CLEI Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín René Callejas Bedregal
2013	J	`jnl`	A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling. RITA Cícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo Homrich Cavalheiro
2013	—	`conf`	Automatic Translation from UML to Simulink CAAM Using Graph Grammars. WEIT Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner
2013	—	`conf`	Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. WEIT Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar, Luciana Foss, Ana Marilza Pernas, Renata Reiser
2013	J	`jnl`	From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner
2013	—	`conf`	Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. WEIT Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro
2013	—	`conf`	Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. WEIT Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss
2013	—	`conf`	Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. SBMF Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
2013	—	`conf`	Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. WEIT Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
2012	—	`conf`	Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
2011	—	`conf`	A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. WEIT Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro
2011	—	`conf`	Graph Grammars: A Comparison between Verification Methods. WEIT Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro
2011	—	`conf`	Towards Developmental Turing Machines. WEIT Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro
2011	—	`conf`	Using Graph Grammars to Develop Embedded Systems Based on UML Models. WEIT Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner