Ana Cavalcanti - Böcker

Software Engineering for Robotics

Software Engineering for Robotics

Fundamental Approaches to Software Engineering

27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Practice of Formal Methods

Essays in Honour of Cliff Jones, Part II

Practice of Formal Methods

Essays in Honour of Cliff Jones, Part I

Towards Autonomous Robotic Systems

26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Refinement Techniques in Software Engineering

First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Testing Techniques in Software Engineering

Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures