![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Simone André da Costa Cavalheiro
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c27]Braz Araujo da Silva Junior, Simone André da Costa Cavalheiro, Luciana Foss, Júlia Veiga da Silva:
Formal Specification in Basic Education: What Does It Take? FIE 2023: 1-9 - [c26]Leila Ribeiro
, Luciana Foss
, Simone André da Costa Cavalheiro
, Marcia Elena Jochims Kniphoff da Cruz
, Rozelma Soares de França
:
The Brazilian School Computing Standard. SIGCSE (1) 2023: 53-58 - 2022
- [j11]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:
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. 30: 262-291 (2022) - 2021
- [c25]Braz Araujo da Silva
, Simone André da Costa Cavalheiro, Luciana Foss, Ana Marilza Pernas Fleischmann, Andrea Volz Garcez:
PACT: A Citizen Science Project for Computing Education. FIE 2021: 1-9 - 2020
- [j10]Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). Sci. Comput. Program. 191: 102427 (2020)
2010 – 2019
- 2019
- [c24]Christiano Martino Otero Avila, Luciana Foss, Adriana Bordini, Maria Simone Debacco, Simone André da Costa Cavalheiro:
Evaluation Rubric for Computational Thinking Concepts. ICALT 2019: 279-281 - 2017
- [j9]Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Theorem proving graph grammars with attributes and negative application conditions. Theor. Comput. Sci. 686: 25-77 (2017) - [c23]Alex Bertei, Luciana Foss, Simone André da Costa, Renata H. S. Reiser
:
A relational approach of fuzzy graph grammars. ICNC-FSKD 2017: 1082-1089 - [e1]Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Lecture Notes in Computer Science 10623, Springer 2017, ISBN 978-3-319-70847-8 [contents] - [i1]Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro:
Entendendo o Pensamento Computacional. CoRR abs/1707.00338 (2017) - 2016
- [j8]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:
Computação na Educação Básica no Brasil: o Estado da Arte. RITA 23(2): 210-238 (2016) - 2015
- [j7]Luiz Carlos Lemor Jr., Simone André da Costa Cavalheiro, Luciana Foss:
Proof Tactics for Theorem Proving Graph Grammars through Rodin. RITA 22(1): 190-241 (2015) - [c22]Rosana Medina Zanotelli, Renata Reiser
, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal:
Towards robustness and duality analysis of intuitionistic fuzzy aggregations. FUZZ-IEEE 2015: 1-8 - [c21]Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
From UML diagrams to simulink models: a precise and verified translation. SAC 2015: 1547-1552 - [c20]Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro:
Translating Controlled Graph Grammars to Ordinary Graph Grammars. WEIT 2015: 15-30 - [c19]Renata Reiser
, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal:
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. WEIT 2015: 151-164 - 2014
- [j6]Cícero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss:
Aproximating static list schedules in dynamic multithreaded applications. Clust. Comput. 17(2): 155-168 (2014) - [c18]Rosana Medina Zanotelli, Renata Hax Sander Reiser
, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín René Callejas Bedregal:
Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions. CLEI 2014: 1-8 - [c17]Ibero Benitez, Rosana Medina Zanotelli, Renata Hax Sander Reiser
, Simone André da Costa Cavalheiro, Luciana Foss, Adenauer C. Yamin:
Aggregating fuzzy implications based on OWA-operators. FUZZ-IEEE 2014: 163-170 - 2013
- [j5]Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner:
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA 20(1): 102-139 (2013) - [j4]Cícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo Homrich Cavalheiro:
A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling. RITA 20(1): 140-179 (2013) - [c16]Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss:
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. SBMF 2013: 147-162 - [c15]Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss:
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. WEIT 2013: 51-58 - [c14]Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara
, Flávio Rech Wagner:
Automatic Translation from UML to Simulink CAAM Using Graph Grammars. WEIT 2013: 59-66 - [c13]Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro:
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. WEIT 2013: 97-104 - [c12]Rosana Medina Zanotelli, Renata Hax Sander Reiser
, Simone André da Costa Cavalheiro, Luciana Foss:
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. WEIT 2013: 105-110 - [c11]Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar
, Luciana Foss, Ana Marilza Pernas, Renata Reiser
:
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. WEIT 2013: 111-115 - 2012
- [j3]Simone André da Costa, Leila Ribeiro:
Verification of graph grammars using a logical approach. Sci. Comput. Program. 77(4): 480-504 (2012) - [c10]Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Specification Patterns for Properties over Reachable States of Graph Grammars. SBMF 2012: 83-98 - 2011
- [c9]Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara
, Flávio Rech Wagner:
Using Graph Grammars to Develop Embedded Systems Based on UML Models. WEIT 2011: 81-87 - [c8]Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro:
Graph Grammars: A Comparison between Verification Methods. WEIT 2011: 88-94 - [c7]Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro:
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. WEIT 2011: 95-101 - [c6]Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
Towards Developmental Turing Machines. WEIT 2011: 156-162 - 2010
- [j2]Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg:
Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
2000 – 2009
- 2008
- [c5]Simone André da Costa, Leila Ribeiro:
Formal Verification of Graph Grammars using Mathematical Induction. SBMF 2008: 43-60 - 2007
- [j1]Leonardo Michelon, Simone André da Costa, Leila Ribeiro:
Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comput. Soc. 13(4): 51-68 (2007) - 2006
- [c4]Leonardo Michelon, Simone André da Costa, Leila Ribeiro:
Specification of Real-Time Systems with Graph Grammars. SBES 2006: 97-112 - 2003
- [c3]Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa:
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. EUROCAST 2003: 243-252 - 2002
- [c2]Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa:
Nautilus, a Diagrammatic Specification and Programming Language. IASTED PDCS 2002: 381-386 - 2001
- [c1]Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes:
Hyper-Automation System Applied to Geometry Demonstration Environment. EUROCAST 2001: 457-468
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint