Ana Cavalcanti

According to our database1, Ana Cavalcanti
  • authored at least 139 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
An integrated semantics for reasoning about SysML design models using refinement.
Software and System Modeling, 2017

Formal mutation testing for Circus.
Information & Software Technology, 2017

From Formalised State Machines to Implementations of Robotic Controllers.
CoRR, 2017

Safety-Critical Java: level 2 in practice.
Concurrency and Computation: Practice and Experience, 2017

Local Analysis of Determinism for CSP.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Formal Methods for Robotics: RoboChart, RoboSim, and More.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Fault-Based Testing for Refinement in CSP.
Proceedings of the Testing Software and Systems, 2017

Algebraic Compilation of Safety-Critical Java Bytecode.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Modelling and Verification of Timed Robotic Controllers.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Avoiding useless mutants.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Sound Simulation and Co-simulation for Robotics.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Modelling timed reactive systems from natural-language requirements.
Formal Asp. Comput., 2016

A Stepwise Approach to Linking Theories.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Towards a UTP Semantics for Modelica.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

A Suspension-Trace Semantics for CSP.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Java in the Safety-Critical Domain.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Behavioural Models for FMI Co-simulations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Local Livelock Analysis of Component-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2016

Checking SysML Models for Co-simulation.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Test selection for traces refinement.
Theor. Comput. Sci., 2015

Laws of mission-based programming.
Formal Asp. Comput., 2015

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Mobile CSP.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Refinement Strategies for Safety-Critical Java.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Safety-Critical Java Virtual Machine Services.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

CSP and Kripke Structures.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014
Refinement-based verification of implementations of Stateflow charts.
Formal Asp. Comput., 2014

Test-data generation for control coverage by proof.
Formal Asp. Comput., 2014

Circus Models for Safety-Critical Java Programs.
Comput. J., 2014

Angelicism in the Theory of Reactive Processes.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Assurance Cases for Block-Configurable Software.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Contracts in CML.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Refinement in SysML.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

UTP Designs for Binary Multirelations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems.
Proceedings of the Formal Methods and Software Engineering, 2014

A Modular Theory of Object Orientation in Higher-Order UTP.
Proceedings of the FM 2014: Formal Methods, 2014

SCJ: Memory-Safety Checking without Annotations.
Proceedings of the FM 2014: Formal Methods, 2014

Data Flow Coverage for Circus-Based Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Safety-critical Java programs from Circus models.
Real-Time Systems, 2013

Unifying theories in ProofPower-Z.
Formal Asp. Comput., 2013

The Safety-Critical Java memory model formalised.
Formal Asp. Comput., 2013

Refining SCJ Mission Specifications into Parallel Handler Designs
Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Designs with Angelic Nondeterminism.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Safety-critical Java level 2: motivations, example applications and issues.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Formal Models of SysML Blocks.
Proceedings of the Formal Methods and Software Engineering, 2013

Testing with Inputs and Outputs in CSP.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Simulink Timed Models for Program Verification.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010.
Theor. Comput. Sci., 2012

Mechanical reasoning about families of UTP theories.
Sci. Comput. Program., 2012

Refinement-oriented models of Stateflow charts.
Sci. Comput. Program., 2012

Special issue: International Conference on Formal Engineering Methods - ICFEM 2009.
Sci. Comput. Program., 2012

Mechanised support for sound refinement tactics.
Formal Asp. Comput., 2012

Higher-Order UTP for a Theory of Methods.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Circus Time with Reactive Designs.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Features of CML: A formal modelling language for Systems of Systems.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
A tactic language for refinement of state-rich concurrent specifications.
Sci. Comput. Program., 2011

Editorial.
Formal Asp. Comput., 2011

From control law diagrams to Ada via Circus.
Formal Asp. Comput., 2011

Refinement-based verification of sequential implementations of Stateflow charts
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Testing for refinement in Circus.
Acta Inf., 2011

Conformance Relations for Distributed Testing Based on CSP.
Proceedings of the Testing Software and Systems, 2011

Safety-critical Java in Circus.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

The Safety-Critical Java Mission Model: A Formal Account.
Proceedings of the Formal Methods and Software Engineering, 2011

The Safety-Critical Java Memory Model: A Formal Account.
Proceedings of the FM 2011: Formal Methods, 2011

2010
Programming Phase: Formal Methods.
Proceedings of the Encyclopedia of Software Engineering, 2010

Sound refactorings.
Sci. Comput. Program., 2010

Special issue: 2nd World Congress on Formal Methods.
Formal Methods in System Design, 2010

A process algebraic framework for specification and validation of real-time systems.
Formal Asp. Comput., 2010

An algebraic approach to the design of compilers for object-oriented languages.
Formal Asp. Comput., 2010

Specification Coverage for Testing in Circus.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Automating Refinement of Circus Programs.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Communication Systems in ClawZ.
Proceedings of the Abstract State Machines, 2010

2009
A UTP semantics for Circus.
Formal Asp. Comput., 2009

Supporting ArcAngel in ProofPower.
Electr. Notes Theor. Comput. Sci., 2009

Mechanical Reasoning about Families of UTP Theories.
Electr. Notes Theor. Comput. Sci., 2009

Stateflow Diagrams in Circus.
Electr. Notes Theor. Comput. Sci., 2009

Mechanised Translation of Control Law Diagrams into Circus.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Guest Editorial.
Formal Asp. Comput., 2008

Type Checking Circus Specifications.
Electr. Notes Theor. Comput. Sci., 2008

ArcAngelC: a Refinement Tactic Language for Circus.
Electr. Notes Theor. Comput. Sci., 2008

Encoding Circus Programs in ProofPowerZ.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

A Theory of Pointers for the UTP.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Mechanised Refinement of Procedures.
Electr. Notes Theor. Comput. Sci., 2007

A Denotational Semantics for Circus.
Electr. Notes Theor. Comput. Sci., 2007

Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
Proceedings of the ICSOFT 2007, 2007

Testing for Refinement in CSP.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
State-rich model checking.
ISSE, 2006

Angelic nondeterminism in the unifying theories of programming.
Formal Asp. Comput., 2006

Object-Orientation in the UTP.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Unifying Theories in ProofPower-Z.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Pointers and Records in the Unifying Theories of Programming.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2006

A Layered Behavioural Model of Platelets.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Verification of Control Systems using Circus.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Automatic Translation from Circus to Java.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Unifying classes and processes.
Software and System Modeling, 2005

Formal development of industrial-scale systems in Circus.
ISSE, 2005

Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci., 2005

Angelic Nondeterminism and Unifying Theories of Programming.
Electr. Notes Theor. Comput. Sci., 2005

Operational Semantics for Model Checking Circus.
Proceedings of the FM 2005: Formal Methods, 2005

Control Law Diagrams in Circus.
Proceedings of the FM 2005: Formal Methods, 2005

2004
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program., 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

Refine and Gabriel: Support for Refinement and Tactics.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Tutorial Introduction to CSP in Unifying Theories of Programming.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Refinement: An overview.
Proceedings of the Refinement Techniques in Software Engineering, 2004

A Tutorial Introduction to Designs in Unifying Theories of Programming.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
Proceedings of the Theoretical Aspects of Computing, 2004

From Circus to JCSP.
Proceedings of the Formal Methods and Software Engineering, 2004

2003
Predicate transformers in the semantics of Circus.
IEE Proceedings - Software, 2003

ArcAngel: a Tactic Language for Refinement.
Formal Asp. Comput., 2003

A Refinement Strategy for Circus.
Formal Asp. Comput., 2003

A Refinement Tool for Z.
Proceedings of the Formal Methods and Software Engineering, 2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
Proceedings of the FME 2003: Formal Methods, 2003

2002
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci., 2002

Refinement of actions in Circus.
Electr. Notes Theor. Comput. Sci., 2002

The Semantics of Circus.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

From CSP-OZ to Java with Processes.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Refinement Algebra for Formal Bytecode Generation.
Proceedings of the Formal Methods and Software Engineering, 2002

Refinement in Circus.
Proceedings of the FME 2002: Formal Methods, 2002

Forward Simulation for Data Refinement of Classes.
Proceedings of the FME 2002: Formal Methods, 2002

2001
A Concurrent Language for Refinement.
Proceedings of the 5th Irish Workshop on Formal Methods, 2001

The Steam Boiler in a Unified Theory of Z and CSP.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.
IEEE Trans. Software Eng., 2000

1999
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program., 1999

Cyber Rally: An experience of democratic use of the internet.
Proceedings of the Human-Computer Interaction: Communication, 1999

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comp. Soc., 1998

ZRC - A Refinement Calculus for Z.
Formal Asp. Comput., 1998

A Weakest Precondition Semantics for Z.
Comput. J., 1998

1992
MooZ Case Studies.
Proceedings of the Object Orientation in Z, 1992

1990
Modular Object-oriented Z Specifications.
Proceedings of the Z User Workshop, 1990


  Loading...