Simone André da Costa Cavalheiro

According to our database1, Simone André da Costa Cavalheiro authored at least 33 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Evaluation Rubric for Computational Thinking Concepts.
Proceedings of the 19th IEEE International Conference on Advanced Learning Technologies, 2019

2017
Theorem proving graph grammars with attributes and negative application conditions.
Theor. Comput. Sci., 2017

Entendendo o Pensamento Computacional.
CoRR, 2017

A relational approach of fuzzy graph grammars.
Proceedings of the 13th International Conference on Natural Computation, 2017

2016
Computação na Educação Básica no Brasil: o Estado da Arte.
RITA, 2016

Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study.
Electron. Notes Theor. Comput. Sci., 2016

Translating Controlled Graph Grammars to Ordinary Graph Grammars.
Electron. Notes Theor. Comput. Sci., 2016

2015
Proof Tactics for Theorem Proving Graph Grammars through Rodin.
RITA, 2015

From UML diagrams to simulink models: a precise and verified translation.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards robustness and duality analysis of intuitionistic fuzzy aggregations.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014
Aproximating static list schedules in dynamic multithreaded applications.
Cluster Computing, 2014

Aggregating fuzzy implications based on OWA-operators.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions.
Proceedings of the XL Latin American Computing Conference, 2014

2013
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.
RITA, 2013

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling.
RITA, 2013

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations.
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.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Automatic Translation from UML to Simulink CAAM Using Graph Grammars.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012
Verification of graph grammars using a logical approach.
Sci. Comput. Program., 2012

Specification Patterns for Properties over Reachable States of Graph Grammars.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011
Graph Grammars: A Comparison between Verification Methods.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Towards Developmental Turing Machines.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

Using Graph Grammars to Develop Embedded Systems Based on UML Models.
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2010
Towards Theorem Proving Graph Grammars using Event-B.
ECEASST, 2010

2009
Formal Verification of Graph Grammars using Mathematical Induction.
Electron. Notes Theor. Comput. Sci., 2009

2007
Formal Specification and Verification of Real-Time Systems using Graph Grammars.
J. Braz. Comp. Soc., 2007

2003
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
Proceedings of the Computer Aided Systems Theory, 2003

2002
Nautilus, a Diagrammatic Specification and Programming Language.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001
Hyper-Automation System Applied to Geometry Demonstration Environment.
Proceedings of the Computer Aided Systems Theory, 2001


  Loading...