| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2017 | SEFM | Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | FedCSIS | ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2012 | SAFECOMP | Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. | Oscar Ljungkrantz, Henrik Lnn, Hans Blom, Cecilia Ekelin, Daniel Karlsson |
| 2007 | ICRA | Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers. | Oscar Ljungkrantz, Knut kesson, Johan Richardsson, Kristin Andersson |
| 2006 | ETFA | A Framework for Component Based Distributed Control Software Development Using IEC 61499. | Goran Cengic, Oscar Ljungkrantz, Knut kesson |
| 2006 | ETFA | Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. | Goran Cengic, Oscar Ljungkrantz, Knut kesson |