NEWS

2024, July
-
Paper accepted at FM.
Our paper on using historical data to generate Alloy hints has been accepted at the 26th International Symposium on Formal Methods (FM).
2024, April
-
Paper accepted at ABZ.
Our paper on introducing fuzzy Alloy has been accepted at the 10th International Conference on Rigorous State Based Methods (ABZ).
2024, January
-
Paper accepted at SEET@ICSE.
Our user study on the impact of automated hints has been accepted at the Software Engineering Education and Training of the 46th International Conference on Software Engineering (ICSE).
2023, September
-
Paper accepted at ASYDE.
Our paper on the repair of Dafny contracts has been accepted at the 5th International Workshop on Automated and Verifiable Software System Development (ASYDE).
2023, April
-
Papers accepted at ABZ.
Our paper on introducing records in Alloy, an answer to the case study call on validating an Arrival MANager (AMAN) interactive system with Alloy 6, and a short version of our paper introducing Pardinus, have been accepted at ABZ'23.
2023, March
-
Alloy4Fun tutorial at ABZ.
Our tutorial on teaching Alloy with Alloy4Fun will take place at the International Conference on Rigorous State-Based Methods (ABZ) in May.
2022, November
-
Paper accepted at IRC.
Our work on addressing variability in the Robot Operating System (ROS) has been accepted at the IEEE International Conference on Robotic Computing (IRC).
2022, July
-
Paper accepted at FSE.
Our work on a quantitative version of Alloy has been accepted at the 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).
2022, July
-
Paper accepted at JAR.
Our work on Pardinus, a temporal relational model finder, has been accepted at the Journal of Automated Reasoning (JAR).
2022, July
-
Paper accepted at SEFM.
Our work on a new technique to repair Alloy specifications has been at the 20th International Conference on Software Engineering and Formal Methods (SEFM).
2022, July
-
Paper accepted at MODELS.
Our work on developing a railway design verification framework in collaboration with EFACEC has been accepted at the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS).
2022, June
-
Paper accepted at SCP.
Our extended work on merging cloned Alloy models with colorful refactorings has been accepted at the Science of Computer Programming (SCP) journal.
2022, April
-
Paper award.
Our ENASE paper on testing of message-oriented systems has been awarded the best paper award.
2022, February
-
Paper accepted at ENASE.
Our work on testing of message-oriented systems has been accepted at the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).
2022, January
-
SpecRep has started.
The SpecRep project on specification repair I'm leading has just started.
2021, November
-
Electrum is now Alloy 6.
The Electrum Analyzer has been officially integrated into the official release of Alloy 6.
2021, September
-
SpecRep recommended for funding.
Our SpecRep project on automatic specification repair has been recommended for funding by the FCT, and will start in January.
2021, May
-
HAROS tutorial at IROS.
Our tutorial on improving the software quality of ROS applications with HAROS will take place at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in September.
2021, May
-
Paper accepted at SCP.
Our extended experience report on teaching Alloy with an automated assessment platform has been accepted at the Science of Computer Programming (SCP) journal.
2021, April
-
Paper accepted at IJRC.
Our extended paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Journal of Robotic Computing (IJRC).
2021, March
-
Paper accepted at RoSE.
Our work on HAROS, a framework for promoting high-assurance ROS software, has been accepted at the 3rd International Workshop on Robotics Software Engineering (RoSE).
2020, December
-
Paper award.
Our work on merging cloned Alloy models with colorful refactorings has been awarded the 2nd best paper award at SBMF'20.
2020, November
-
Paper award.
Our paper on ROSY has received the Gerhard Kraetzschmar Award of IRC'20 for contributions in the field of "Software Development for Robotics".
2020, November
-
Paper accepted at SBMF.
Our work on merging cloned Alloy models with colorful refactorings has been accepted at the 23rd Brazilian Symposium on Formal Methods (SBMF).
2020, September
-
Moved to DEI/FEUP.
I've moved to DEI/FEUP as an Assistant Professor.
2020, September
-
DigiLightRail project.
We've kickstarted our project with EFACEC on the verification of topological design models.
2020, July
-
Paper accepted at IROS.
Our work on the verification of system-wide safety properties of ROS applications has been accepted at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
2020, April
-
Papers accepted at ABZ.
Our experience report on teaching Alloy with an automated assessment platform, and an answer to the case study call on validating multiple variants of an automotive light system with Electrum, have been accepted at ABZ'20.
2020, February
-
Paper accepted at IRC.
Our paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the IEEE International Conference on Robotic Computing (IRC).
2019, September
-
Paper accepted at SETTA.
Our paper on the analysis of software design variants with a colorful Alloy has just been accepted at the International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA).
2019, September
-
Paper accepted at F-IDE.
Our paper on simulation under arbitrary temporal logic constraints has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE) at FM.
2019, September
-
Alloy/Electrum tutorial at FM.
We will be giving a tutorial on formal software design with Alloy and Electrum at the 3rd World Congress on Formal Methods in October.
2019, July
-
Paper accepted at STTT.
Our extended work on the ERTMS case study has been accepted for publication at the International Journal on Software Tools for Technology Transfer (STTT).
2019, February
-
Paper accepted at IRC.
Our work on the Static-time Extraction and Analysis of the ROS Computation Graph has just been accepted at the 3rd International Conference on Robotic Computing (IRC).
2018, September
-
Paper accepted at A-TEST.
Our work on Property-based Testing for the Robot Operating System has been accepted at the 9th International Workshop on Automated Software Testing (A-TEST).
2018, July
-
Experience report at ICFP.
Our experience report about the re-organization of the LI1 unit has been accepted at the 2018 International Conference on Functional Programming (ICFP).
2018, July
-
Electrum at ASE.
Our Electrum tool demo has been accepted at the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
2018, June
-
Electrum video and tutorial.
If you're interested in getting started with Electrum, checkout this introductory video and this step-by-step tutorial.
2018, May
-
Workshop on the Future of Alloy.
The TRUST team has presented its work at the Workshop on the Future of Alloy.
2018, May
-
Paper accepted at F-IDE.
Our preliminary work on improving the visualization of Alloy instances has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE).
2018, April
-
SAFER recommended for funding.
Our SAFER project on promoting the safety of robotic software has been recommended for funding by the FCT.
2018, April
-
Papers accepted at ABZ.
We've just had two papers accepted at ABZ, one on the ERTMS case study and a possible action layer for Electrum.
2018, April
-
Hall of Fame LI1.
We've launched a "Hall of Fame" for the best LI1 student projects.
2018, February
-
Electrum v1.0
Version 1.0 of the Electrum Analyzer has been released, as well as the underlying Pardinus solver v1.0.
2017, September
-
PTCRISync v1.1
Version 1.1 of the PTCRISync synchronization framework has been released.
2017, July
-
Paper accepted at IROS.
Our paper on mining the usage patterns of ROS primitives in robotic software has been accepted at the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
2017, July
-
Paper accepted at ATVA.
Our paper on exploiting partial knowledge for efficient model finding has just been accepted at the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA).
2017, June
-
PTCRISync at ORCID.
A post divulging the PTCRISync has just been published at the ORCID blog.
2017, April
-
Best Students programme.
We've just received the students from the Best Students programme at UMinho 2017 at our laboratory.
2017, April
-
PTCRISync v1.0.
Version 1.0 of the PTCRISync synchronization framework has been released.
2017, March
-
Paper accepted at FormaliSE.
Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).
2017, February
-
Joined ScalABLE 4.0 Project.
I joined the H2020 ScalABLE 4.0 project on scalable automation for flexible production systems.
2016, December
-
New MSc's.
Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.
2016, December
-
MAP-i Students Visit HASLab.
We've just received the new MAP-i students at HASLab.
2016, September
-
Paper accepted at TSE.
Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).
2016, September
-
TRUST Kickoff.
The TRUST project has just kicked off with a joint workshop with the DALI project.
2016, July
-
Paper accepted at IROS.
Our paper on the quality assessment of ROS repositories has been accepted at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
2016, June
-
Paper accepted at MEDI.
Our paper on a formalization of ETL patterns has been accepted at the International Conference on Model and Data Engineering (MEDI).
2016, April
-
Joined NanoSTIMA project.
I joined the NanoSTIMA project on high-assurance medical cyber-physical systems as a post-doctoral researcher.
2016, May
-
Paper accepted at FSE.
Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).
2015, December
-
New MSc's.
André Santos and Miguel Costa have successfully defended their MSc theses on ROS software quality.
2015, August
-
TRUST recommended for funding.
Our project on trustworthy software design has been recommended for funding.
2015, August
-
Paper at F1000Research.
Our paper on an ORCID-based synchronization framework has been accepted at F1000Research in the ORCID-Casrai joint conference channel.
2014, December
-
Paper accepted at FASE.
Our paper on scenario exploration has been accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE).
2014, December
-
PTCRISync project.
We have been commissioned by the FCT to participate in the development of an ORCID-based synchronization framework for the Portuguese Current Research Information System (PTCRIS).
2014, November
-
Joined BESTCASE project.
I've joined the BESTCASE project on languages and tools for critical real time systems as a post-doctoral researcher.
2014, November
-
PhD thesis defended.
I've successfully defended my PhD thesis at the University of Minho.
2014, October
-
Paper accepted at SoSyM.
Our paper on least-change bidirectional model transformations has been accepted at the Springer's International Journal on Software and Systems Modeling (SoSyM).
2014, April
-
Paper accepted at VL/HCC.
Our paper on bidirectional spreadsheet formulas has been accepted at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
2014, January
-
Paper accepted at BX.
Our paper on multidirectional model transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).
2013, December
-
Paper accepted at FASE.
Our paper on target-oriented model finding has been accepted at the 17th International Conference on Fundamental Approaches to Software Engineering (FASE).
2013, November
-
Echo at ASE.
I've just presented our tool Echo at ASE'13.
2013, October
-
III FATBIT Meeting.
We've just presented our ongoing work at the III FATBIT Meeting.
2013, September
-
Tool Demo accepted at ASE.
Our tool demo of Echo has been accepted at the IEEE/ACM International Conference on Automated Software Engineering (ASE).
2013, July
-
II FATBIT Meeting.
We've just presented our ongoing work at the II FATBIT Meeting.
2013, June
-
Paper accepted at BX.
Our paper on least-change bidirectional transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).
2012, December
-
Paper accepted at FASE.
Our paper on bidirectional QVT-R transformations has been accepted at the International Conference on Fundamental Approaches to Software Engineering (FASE).
2012, June
-
Paper accepted at RAMiCS.
Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).