| Nov 2024 |
The recording of my talk at at Lambda World is available here. |
| Sep 2024 |
I’m a PC member of ABZ 2025. Please consider submitting a paper. |
| Jul 2024 |
I will give at talk entitled Designing Software with Complex Configurations at Lambda World. |
| Jun 2024 |
We had a paper accepted at FM 2024 about generating Alloy repair hints based on historical data. |
| Jan 2024 |
I gave a tutorial about Teaching Alloy with Alloy4Fun at the FMTea tutorial series. The recording of this tutorial is available here. |
| Jan 2024 |
I’m a PC member of ABZ 2024. Please consider submitting a paper. |
| Dec 2023 |
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! |
| May 2023 |
Next July I’ll be lecturing at the SPECS Summer School. |
| May 2023 |
Together with Nuno Macedo, we will give a tutorial at ABZ’23 about Teaching Alloy with Alloy4Fun. |
| Jan 2023 |
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. |
| Nov 2022 |
We’ve been nominated for best paper award at IRC’22 with our paper Variability Analysis for Robot Operating System Applications! |
| Sep 2022 |
The paper Pardinus: A Temporal Relational Model Finder about the analysis backend of Alloy 6 was published at the Journal of Automated Reasoning. |
| Jul 2022 |
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. |
| Jun 2022 |
Our paper Quantitative relational modelling with QAlloy has been accepted at ESEC/FSE’22! |
| Mar 2022 |
Our paper Schema-guided Testing of Message-Oriented Systems won the best paper award at ENASE’22! |
| Mar 2021 |
Our Electrum extension to Alloy will be part of Alloy 6! |
| Fev 2021 |
A tool paper about the HAROS framework has been accepted at RoSE’21! |
| Jul 2020 |
We’ve got a paper accepted at IROS’20 about verification of system-wide safety properties of ROS applications! |
| Mar 2020 |
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. |
| Feb 2020 |
I’ve just joined the PC of the Ninth International Workshop on Bidirectional Transformations. The paper submission deadline is April 27th! |
| Jan 2020 |
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! |
| Dec 2019 |
My student Bruno Cancelinha successfully defended his MSc dissertation about developing a new analysis backend to our Electrum framework using the LTSmin model checker. |
| Nov 2019 |
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. |
| Nov 2019 |
I’ve just joined the PC of the First International Workshop on Engineering Resilient Robot Software Systems. The paper submission deadline is December 18th! |
| Oct 2019 |
We gave a tutorial about Alloy and Electrum at the Formal Methods World Congress. |
