Ana Cavalcanti

Jon Timmis

Robotics Auton. Syst., 2024

Laws of Timed State Machines.

[BibT_eX]

[DOI]

Victória Oldemburgo de Mello

Comput. J., 2024

Normative Requirements Operationalization with Large Language Models.

[BibT_eX]

[DOI]

Yesugen Baatartogtokh

Reem Ayad

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.

[BibT_eX]

[DOI]

Louise Abigail Dennis

Ana Lucia Caneca Cavalcanti

Mohammad Mousavi

Proceedings of the 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

[BibT_eX]

[DOI]

Nick Feng

Lina Marsso

Sinem Getir Yaman

Yesugen Baatartogtokh

Reem Ayad

Victória Oldemburgo de Mello

Genaína Nunes Rodrigues

Radu Calinescu

Marsha Chechik

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

RoboWorld: Verification of Robotic Systems with Environment in the Loop.

[BibT_eX]

[DOI]

Gustavo Carvalho

Francisco Rodrigues Júnior

Formal Aspects Comput., December, 2023

Testing using CSP Models: Time, Inputs, and Outputs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., April, 2023

Trustworthy Autonomous Systems Through Verifiability.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Computer, February, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Modelling and Verifying Robotic Software that Uses Neural Networks.

[BibT_eX]

[DOI]

Ziggy Attala

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Challenges in testing of cyclic systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Specification and Validation of Normative Rules for Autonomous Agents.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Bringing RoboStar and RT-Tester Together.

[BibT_eX]

[DOI]

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

UTP, Circus, and Isabelle.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Probabilistic modelling and verification using RoboChart and PRISM.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.

[BibT_eX]

[DOI]

Minds Mach., 2022

Architectural modelling for robotics: RoboArch and the CorteX example.

[BibT_eX]

[DOI]

Will Barnett

Frontiers Robotics AI, 2022

Correction to: Sound reasoning in tock-CSP.

[BibT_eX]

[DOI]

Acta Informatica, 2022

Sound reasoning in tock-CSP.

[BibT_eX]

[DOI]

Acta Informatica, 2022

RoboSimVer: A Tool for RoboSim Modeling and Analysis.

[BibT_eX]

[DOI]

Dehui Du

Jihui Nie

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

RoboCert: Property Specification in Robotics.

[BibT_eX]

[DOI]

Matt Windsor

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Automated verification of reactive and concurrent programs by calculation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Editorial.

[BibT_eX]

[DOI]

Erik P. de Vink

Formal Aspects Comput., 2021

Transforming RoboSim Models into UPPAAL.

[BibT_eX]

[DOI]

Menghan Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

RoboWorld: Where Can My Robot Work?

[BibT_eX]

[DOI]

Gustavo Carvalho

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.

[BibT_eX]

[DOI]

Abdulrazaq Abba

Jeremy Jacob

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

Model-Based Engineering for Robotics with RoboChart and RoboTool.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for an Informal World, 2021

2020

Inputs and Outputs in CSP: A Model and a Testing Theory.

[BibT_eX]

[DOI]

Sidney C. Nogueira

ACM Trans. Comput. Log., 2020

Unifying theories of reactive design contracts.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Unifying semantic foundations for automated verification tools in Isabelle/UTP.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material.

[BibT_eX]

[DOI]

Dataset, November, 2019

Angelic processes for CSP via the UTP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Fault-based refinement-testing for CSP.

[BibT_eX]

[DOI]

Adenilso Simão

Softw. Qual. J., 2019

RoboChart: modelling and verification of the functional behaviour of robotic applications.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Finite complete suites for CSP refinement testing.

[BibT_eX]

[DOI]

Jan Peleska

Wen-ling Huang

Sci. Comput. Program., 2019

SCJ-Circus: Specification and refinement of Safety-Critical Java programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Verified simulation for robotics.

[BibT_eX]

[DOI]

André Didier

Wei Li

Jon Timmis

Sci. Comput. Program., 2019

Editorial.

[BibT_eX]

[DOI]

Stefania Gnesi

John S. Fitzgerald

Constance L. Heitmeyer

Formal Aspects Comput., 2019

Priorities in tock-CSP.

[BibT_eX]

[DOI]

CoRR, 2019

Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Testing Robots Using CSP.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Unifying theories of time with generalised reactive processes.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

Compositional and local livelock analysis for CSP.

[BibT_eX]

[DOI]

Marcel Vinícius Medeiros Oliveira

Inf. Process. Lett., 2018

Modelling and Verification for Swarm Robotics.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

An integrated semantics for reasoning about SysML design models using refinement.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Formal mutation testing for Circus.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

Unifying Theories of Timed with Generalised Reactive Processes.

[BibT_eX]

[DOI]

CoRR, 2017

Safety-Critical Java: level 2 in practice.

[BibT_eX]

[DOI]

Matt Luckcuck

Concurr. Comput. Pract. Exp., 2017

Formalising Cosimulation Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Local Analysis of Determinism for CSP.

[BibT_eX]

[DOI]

Rodrigo Otoni

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Formal Methods for Robotics: RoboChart, RoboSim, and More.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Fault-Based Testing for Refinement in CSP.

[BibT_eX]

[DOI]

Adenilso da Silva Simão

Proceedings of the Testing Software and Systems, 2017

Automatic property checking of robotic applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Algebraic Compilation of Safety-Critical Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Modelling and Verification of Timed Robotic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Avoiding useless mutants.

[BibT_eX]

[DOI]

Fabiano Cutigi Ferrari

José Carlos Maldonado

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

Sound Simulation and Co-simulation for Robotics.

[BibT_eX]

[DOI]

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Modelling timed reactive systems from natural-language requirements.

[BibT_eX]

[DOI]

Gustavo Carvalho

Formal Aspects Comput., 2016

A Stepwise Approach to Linking Theories.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Towards a UTP Semantics for Modelica.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

A Suspension-Trace Semantics for CSP.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Java in the Safety-Critical Domain.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.

[BibT_eX]

[DOI]

Matt Luckcuck

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Behavioural Models for FMI Co-simulations.

[BibT_eX]

[DOI]

Marcel Vinícius Medeiros Oliveira

Nuno Amálio

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Local Livelock Analysis of Component-Based Models.

[BibT_eX]

[DOI]

Madiel S. Conserva Filho

Proceedings of the Formal Methods and Software Engineering, 2016

Checking SysML Models for Co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

From Formalised State Machines to Implementations of Robotic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Distributed Autonomous Robotic Systems, 2016

2015

Test selection for traces refinement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Laws of mission-based programming.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Mobile CSP.

[BibT_eX]

[DOI]

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

Refinement Strategies for Safety-Critical Java.

[BibT_eX]

[DOI]

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

Safety-Critical Java Virtual Machine Services.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

CSP and Kripke Structures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Refinement-based verification of implementations of Stateflow charts.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Test-data generation for control coverage by proof.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Circus Models for Safety-Critical Java Programs.

[BibT_eX]

[DOI]

Lalkhumsanga Lalkhumsanga

Comput. J., 2014

Angelicism in the Theory of Reactive Processes.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Assurance Cases for Block-Configurable Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Contracts in CML.

[BibT_eX]

[DOI]

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

Formal Refinement in SysML.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

UTP Designs for Binary Multirelations.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

A Modular Theory of Object Orientation in Higher-Order UTP.

[BibT_eX]

[DOI]

Thiago L. V. L. Santos

Proceedings of the FM 2014: Formal Methods, 2014

SCJ: Memory-Safety Checking without Annotations.

[BibT_eX]

[DOI]

Chris Marriott

Proceedings of the FM 2014: Formal Methods, 2014

Data Flow Coverage for Circus-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Safety-critical Java programs from Circus models.

[BibT_eX]

[DOI]

Real Time Syst., 2013

Unifying theories in ProofPower-Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

The Safety-Critical Java memory model formalised.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Refining SCJ Mission Specifications into Parallel Handler Designs

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Designs with Angelic Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Safety-critical Java level 2: motivations, example applications and issues.

[BibT_eX]

[DOI]

Matt Luckcuck

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Formal Models of SysML Blocks.

[BibT_eX]

[DOI]

Lucas Lima

Proceedings of the Formal Methods and Software Engineering, 2013

Testing with Inputs and Outputs in CSP.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Simulink Timed Models for Program Verification.

[BibT_eX]

[DOI]

Alexandre Mota

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010.

[BibT_eX]

[DOI]

David Déharbe

Theor. Comput. Sci., 2012

Mechanical reasoning about families of UTP theories.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Refinement-oriented models of Stateflow charts.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Special issue: International Conference on Formal Engineering Methods - ICFEM 2009.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Mechanised support for sound refinement tactics.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Higher-Order UTP for a Theory of Methods.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Circus Time with Reactive Designs.

[BibT_eX]

[DOI]

Kun Wei

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Features of CML: A formal modelling language for Systems of Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Neeraj Kumar Singh

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.

[BibT_eX]

[DOI]

Chris Marriott

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A tactic language for refinement of state-rich concurrent specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Editorial.

[BibT_eX]

[DOI]

Dennis Dams

Formal Aspects Comput., 2011

From control law diagrams to Ada via Circus.

[BibT_eX]

[DOI]

Phil Clayton

Colin O'Halloran

Formal Aspects Comput., 2011

Refinement-based verification of sequential implementations of Stateflow charts

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Testing for refinement in Circus.

[BibT_eX]

[DOI]

Acta Informatica, 2011

Conformance Relations for Distributed Testing Based on CSP.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

Safety-critical Java in Circus.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

The Safety-Critical Java Memory Model: A Formal Account.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

2010

Programming Phase: Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Sound refactorings.

[BibT_eX]

[DOI]

Márcio Cornélio

Sci. Comput. Program., 2010

Special issue: 2nd World Congress on Formal Methods.

[BibT_eX]

[DOI]

Dennis Dams

Formal Methods Syst. Des., 2010

A process algebraic framework for specification and validation of real-time systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

An algebraic approach to the design of compilers for object-oriented languages.

[BibT_eX]

[DOI]

Adolfo Duran

Formal Aspects Comput., 2010

Specification Coverage for Testing in Circus.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Automating Refinement of Circus Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2010

Communication Systems in ClawZ.

[BibT_eX]

[DOI]

Michael Vernon

Proceedings of the Abstract State Machines, 2010

2009

A UTP semantics for Circus.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Supporting ArcAngel in ProofPower.

[BibT_eX]

[DOI]

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Mechanised Translation of Control Law Diagrams into Circus.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Guest Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

ArcAngelC: a Refinement Tactic Language for Circus.

[BibT_eX]

[DOI]

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Stateflow Diagrams in Circus.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Encoding Circus Programs in ProofPowerZ.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

A Theory of Pointers for the UTP.

[BibT_eX]

[DOI]

Will Harwood

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.

[BibT_eX]

Emine Gokce Aydal

Proceedings of the ICSOFT 2007, 2007

Testing for Refinement in CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

2006

State-rich model checking.

[BibT_eX]

[DOI]

Leo Freitas

Innov. Syst. Softw. Eng., 2006

Angelic nondeterminism in the unifying theories of programming.

[BibT_eX]

[DOI]

Steve Dunne

Formal Aspects Comput., 2006

Type Checking Circus Specifications.

[BibT_eX]

[DOI]

Manuela Xavier

Proceedings of the Brazilian Symposium on Formal Methods, 2006

A Denotational Semantics for Circus.

[BibT_eX]

[DOI]

Proceedings of the 11th Refinement Workshop, 2006

Object-Orientation in the UTP.

[BibT_eX]

[DOI]

Thiago L. V. L. Santos

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Pointers and Records in the Unifying Theories of Programming.

[BibT_eX]

[DOI]

Will Harwood

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.

[BibT_eX]

[DOI]

Leo Freitas

Proceedings of the Formal Methods and Software Engineering, 2006

A Layered Behavioural Model of Platelets.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Verification of Control Systems using Circus.

[BibT_eX]

[DOI]

Phil Clayton

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Automatic Translation from Circus to Java.

[BibT_eX]

[DOI]

Angela F. Freitas

Proceedings of the FM 2006: Formal Methods, 2006

2005

Unifying classes and processes.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Formal development of industrial-scale systems in Circus.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2005

Mechanised Refinement of Procedures.

[BibT_eX]

[DOI]

Manuela Xavier

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Angelic Nondeterminism and Unifying Theories of Programming.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

Operational Semantics for Model Checking Circus.

[BibT_eX]

[DOI]

Leonardo Freitas

Proceedings of the FM 2005: Formal Methods, 2005

Control Law Diagrams in Circus.

[BibT_eX]

[DOI]

Phil Clayton

Colin O'Halloran

Proceedings of the FM 2005: Formal Methods, 2005

2004

Algebraic reasoning for object-oriented programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

Refactoring Towards a Layered Architecture.

[BibT_eX]

[DOI]

Márcio Cornélio

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Refine and Gabriel: Support for Refinement and Tactics.

[BibT_eX]

[DOI]

Manuela Xavier

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.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

Refinement: An overview.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

A Tutorial Introduction to Designs in Unifying Theories of Programming.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

From Circus to JCSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Predicate transformers in the semantics of Circus.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2003

ArcAngel: a Tactic Language for Refinement.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

A Refinement Strategy for Circus.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

Preface.

[BibT_eX]

[DOI]

Patrícia D. L. Machado

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

A Refinement Tool for Z.

[BibT_eX]

[DOI]

Angela F. Freitas

Carla Nascimento

Proceedings of the Formal Methods and Software Engineering, 2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.

[BibT_eX]

[DOI]

Adolfo Duran

Proceedings of the FME 2003: Formal Methods, 2003

2002

Refactoring by Transformation.

[BibT_eX]

[DOI]

Márcio Cornélio

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Refinement of actions in Circus.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

The Semantics of Circus.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

JACK: A Framework for Process Algebra Implementation in Java.

[BibT_eX]

[DOI]

Leonardo Freitas

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

From CSP-OZ to Java with Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Refinement Algebra for Formal Bytecode Generation.

[BibT_eX]

[DOI]

Adolfo Duran

Proceedings of the Formal Methods and Software Engineering, 2002

Refinement in Circus.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

Forward Simulation for Data Refinement of Classes.

[BibT_eX]

[DOI]

David A. Naumann

Proceedings of the FME 2002: Formal Methods, 2002

2001

A Concurrent Language for Refinement.

[BibT_eX]

[DOI]

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

The Steam Boiler in a Unified Theory of Z and CSP.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.

[BibT_eX]

[DOI]

David A. Naumann

IEEE Trans. Software Eng., 2000

Tactics of Refinement.

[BibT_eX]

[DOI]

Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

1999

An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.

[BibT_eX]

[DOI]

Silvio Romero de Lemos Meira

Sci. Comput. Program., 1999

Cyber Rally: An experience of democratic use of the internet.

[BibT_eX]

Hermano P. Moura

Alexandre M. L. de Vasconcelos

Proceedings of the Human-Computer Interaction: Communication, 1999

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement.

[BibT_eX]

[DOI]

David A. Naumann

Proceedings of the FM'99 - Formal Methods, 1999

1998

Procedures and Recursion in the Refinement Calculus.

[BibT_eX]

J. Braz. Comput. Soc., 1998

ZRC - A Refinement Calculus for Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

A Weakest Precondition Semantics for Z.

[BibT_eX]

[DOI]

Comput. J., 1998

1997

A refinement calculus for Z.

[BibT_eX]

[DOI]

Silvio Romero de Lemos Meira

PhD thesis, 1997

1992

MooZ Case Studies.

[BibT_eX]

Silvio Romero de Lemos Meira

Proceedings of the Object Orientation in Z, 1992

1990

Modular Object-oriented Z Specifications.

[BibT_eX]