The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading
News
FSA goes to MARS
Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel …continue reading
Simone Tini visits FSA
Simone Tini (University of Insubria) will visit our group from February 26th to March 1st. He will deliver a guest talk at the FSA colloquium on February 29th, entitled “Measuring Robustness in Cyber-Physical Systems under …continue reading
Two papers accepted at TACAS 2024
Two papers submitted by members of the FSA group have been accepted for publication at TACAS 2024, which will take place in Luxembourg. The following papers will be presented there: “OxiDD: A Safe, Concurrent, Modular, …continue reading
PhD-TA position available
We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the …continue reading
Edward Liem joins FSA
Edward Liem, who recently graduated with FSA, will continue as a PhD student in FSA, working under the supervision of Clemens Dubslaff. A warm welcome to Edward!
Paper accepted for JLAMP
The following paper has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming: Back to the Format: A Survey on SOS for Probabilistic Processes, by Valentina Castiglioni, Ruggero Lanotte (University …continue reading
Conference Proceedings SEFM online
The proceedings of the 21st International Conference on Software Engineering and Formal Methods (SEFM 2023), held in Eindhoven on 6-10 November, is now available online. The conference, organised by Carla Ferreira, Jeroen Keiren, Thomas Neele …continue reading
Paper accepted for BENEVOL 2023
The following paper has been accepted as technical paper for BENEVOL 2023: Compositional ioco using model-based mocking, note that this is work carried out by master student Jore Booy during his graduation project under supervision …continue reading
NGF Project 6G Future Network Services Awarded
The multi-year public-private Future Network Services (FNS) programme focusses on creating a leading international position for the Netherlands in 6G. The focus is on specific and connected topics in 6G: intelligent radio components and antennas, …continue reading