publication venue for
- Assurance Case Development as Data: A Manifesto 2023
- ThEodorE: a Trace Checker for CPS Properties 2021
- Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap 2021
- Approximation-refinement testing of compute-intensive cyber-physical models 2020
- PROMISE 2020
- Multifaceted Automated Analyses for Variability-Intensive Embedded Systems 2019
- Beyond software carpentry 2018
- Keeping intelligence under control 2018
- Assurance cases for scientific computing software 2018
- Property specification patterns for robotic missions 2018
- Towards multi-robot applications planning under uncertainty 2018
- On software modernisation due to library obsolescence 2018
- Restmule: enabling resilient clients for remote APIs 2018
- 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015) 2015
- 7th International Workshop on Modeling in Software Engineering (MiSE 2015) 2015
- 1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013) 2013
- 5th International workshop on Modeling in Software Engineering (MiSE 2013) 2013
- Example-Driven Modeling: Model = Abstractions + Examples 2013
- Raising the level of abstraction in the development of GMF-based graphical model editors 2009
- Relationship-based change propagation: A case study 2009
- Novel features in languages of the epsilon model management platform 2008
- A comparative survey of scenario-based to state-based model synthesis approaches 2006
- DynAlloy: upgrading alloy with actions 2005
- Modularity in the new millennium: A panel summary 2003
- Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering 2001
- Software engineering research agendas panel (SERA) "What can't we do, but need to learn how to do?" 2001
- Towards a formal semantics of Parnas tables 1995
- Software aging 1994
- Documentation for safety critical software 1993
- Simulating the behaviour of software modules by trace rewriting 1993
- ACTIVE DESIGN REVIEWS: PRINCIPLES AND PRACTICES. 1985
- MODULAR STRUCTURE OF COMPLEX SYSTEMS. 1984
- A procedure for designing abstract interfaces for device interface modules 1981
- Resource abstract data type + synchronization-A methodology for message oriented programming- 1981
- Designing software for ease of extention and contraction 1978
- Response to undesired events in software systems 1976
- RESOURCE equals ABSTRACT DATA TYPE plus SYNCHRONIZATION - A METHODOLOGY FOR MESSAGE ORIENTED PROGRAMMING.. 263-272. 2017