| 02/01/24 |
I’m a PC member of ABZ 2024. Please consider submitting a paper. |
| 18/12/23 |
Our paper Assessing the impact of hints in learning formal specification has been accepted in the Software Engineering Education and Training track at ICSE 2024! |
| 15/05/23 |
Next July I’ll be lecturing at the SPECS Summer School. |
| 01/05/23 |
Together with Nuno Macedo, we will give a tutorial at ABZ’23 about Teaching Alloy with Alloy4Fun. |
| 31/01/23 |
The 2nd QRARSAC workshop will be held at ICRA’23 on June 2nd. If you work on the topic of robotic software quality, please consider attending. |
| 29/11/22 |
We’ve been nominated for best paper award at IRC’22 with our paper Variability Analysis for Robot Operating System Applications! |
| 12/09/22 |
The paper Pardinus: A Temporal Relational Model Finder about the analysis backend of Alloy 6 was published at the Journal of Automated Reasoning. |
| 13/07/22 |
Our paper Verification of Railway Network Models with EVEREST has been accepted at the Practice & Innovation Track of MODELS 2022! This was joint work with EFACEC in the context of the DigiLightRail project. |
| 15/06/22 |
Our paper Quantitative relational modelling with QAlloy has been accepted at ESEC/FSE’22! |
| 26/03/22 |
Our paper Schema-guided Testing of Message-Oriented Systems won the best paper award at ENASE’22! |
| 02/03/21 |
Our Electrum extension to Alloy will be part of Alloy 6! |
| 23/02/21 |
A tool paper about the HAROS framework has been accepted at RoSE’21! |
| 01/07/20 |
We’ve got a paper accepted at IROS’20 about verification of system-wide safety properties of ROS applications! |
| 26/03/20 |
Some good news amidst this terrible pandemic: we’ve got two papers accepted at ABZ’20, one about Alloy4Fun and another describing our implementation of the Adaptive Exterior Light and Speed Control System case study using Electrum. Like many others, the conference itself will be postponed to 2021. |
| 10/02/20 |
I’ve just joined the PC of the Ninth International Workshop on Bidirectional Transformations. The paper submission deadline is April 27th! |
| 08/01/20 |
Together with Charles Lesire and Michael Fisher I will chair a workshop about Quality and Reliability Assessment of Robotic Software Architectures and Components at ICRA 2020. The deadline for short paper submissions is March 23rd! |
| 10/12/19 |
My student Bruno Cancelinha successfully defended his MSc dissertation about developing a new analysis backend to our Electrum framework using the LTSmin model checker. |
| 23/11/19 |
My student Chong Liu is heading to SETTA’19, where she will present our paper Simplifying the Analysis of Software Design Variants with a Colorful Alloy. |
| 01/11/19 |
I’ve just joined the PC of the First International Workshop on Engineering Resilient Robot Software Systems. The paper submission deadline is December 18th! |
| 12/10/19 |
We gave a tutorial about Alloy and Electrum at the Formal Methods World Congress. |
