| 2025 | VECoS | LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems. | Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson |
| 2017 | ICSA | Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. | Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson |
| 2017 | ICST | A Comparative Study of Manual and Automated Testing for Industrial Control Software. | Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson |
| 2017 | ISSRE | AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson |
| 2017 | ISSRE | Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson, Martin Torelm |
| 2016 | ICST | A Controlled Experiment in Testing of Safety-Critical Embedded Software. | Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson |
| 2015 | ICST | Mutating aspect-oriented models to test cross-cutting concerns. | Birgitta Lindstrm, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark |
| 2014 | ISoLA | Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2013 | ICSE | MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. | Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson |
| 2013 | ICST | Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
| 2013 | SEFM | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frdric Mallet, Paul Pettersson |
| 2012 | FASE | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. | Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu |
| 2012 | ICECCS | ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. | Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2012 | ISoLA | Checking Correctness of Services Modeled as Priced Timed Automata. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2011 | COMPSAC | Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. | Paul Pettersson |
| 2011 | ECRTS | Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling. | Mikael Asberg, Paul Pettersson, Thomas Nolte |
| 2011 | ECSA | An Architecture-Based Verification Technique for AADL Specifications. | Andreas Johnsen, Paul Pettersson, Kristina Lundqvist |
| 2011 | ICECCS | ABV - A Verifier for the Architecture Analysis and Design Language (AADL). | Stefan Bjrnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
| 2011 | SAFECOMP | Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. | Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
| 2010 | ETFA | Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. | Shuhao Li, Paul Pettersson |
| 2010 | ISoLA | Modeling and Reasoning about Service Behaviors and Their Compositions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2010 | MODELS | An integrated tool for trade-off analysis of quality-of-service attributes. | Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson |
| 2010 | MODELS | Quality of Service-Oriented Software Systems (QUASOSS 2010). | Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson |
| 2009 | ICECCS | REMES: A Resource Model for Embedded Systems. | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
| 2009 | ICSE | Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. | Sverine Sentilles, Anders Pettersson, Dag Nystrm, Thomas Nolte, Paul Pettersson, Ivica Crnkovic |
| 2008 | ATVA | Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. | John Hkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej |
| 2008 | COMPSAC | Message from the CORCS 2008 Workshop Organizers. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | COMPSAC | CORCS 2008 Workshop Organization. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | ICST | Scheduling Timed Modules for Correct Resource Sharing. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | ISSRE | Anything You Want to Ask about Software Reliability Engineering. | Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong |
| 2008 | RTCSA | Verification of COMDES-II Systems Using UPPAAL with Model Transformation. | Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov |
| 2007 | ISSRE | Generating Trace-Sets for Model-based Testing. | Birgitta Lindstrm, Paul Pettersson, Jeff Offutt |
| 2006 | CONCUR | Inference of Event-Recording Automata Using Timed Decision Trees. | Olga Grinchtein, Bengt Jonsson, Paul Pettersson |
| 2006 | FMICS | Model-Based Testing of a WAP Gateway: An Industrial Case-Study. | Anders Hessel, Paul Pettersson |
| 2003 | TACAS | Schedulability Analysis Using Two Clocks. | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2002 | TACAS | TIMES - A Tool for Modelling and Implementation of Embedded Systems. | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2002 | TACAS | Timed Automata with Asynchronous Processes: Schedulability and Decidability. | Elena Fersman, Paul Pettersson, Wang Yi |
| 2001 | CAV | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
| 2000 | ECRTS | Model-checking real-time control programs: verifying Lego(R) Mindstorms | Torsten K. Iversen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen |
| 2000 | TACAS | On Memory-Block Traversal Problems in Model-Checking Timed-Systems. | Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1998 | TACAS | Formal Design and Analysis of a Gear Controller. | Magnus Lindahl, Paul Pettersson, Wang Yi |
| 1997 | CAV | UPPAAL: Status & Developments. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1997 | RTSS | Efficient verification of real-time systems: compact data structure and state-space reduction. | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | TACAS | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1995 | FCT | Model-Checking for Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | RTSS | Compositional and Symbolic Model-Checking of Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1994 | CHI | DILEMMA: a tool for rapid manual translation. | Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordstrm, Bengt Wahroln |
| 1994 | COLING | DILEMMA - An Instant Lexicographer. | Hans Karlgren, Jussi Karlgren, Magnus Nordstrm, Paul Pettersson, Bengt Wahroln |
| 1994 | FORTE | Automatic verification of real-time communicating systems by constraint-solving. | Wang Yi, Paul Pettersson, Mats Daniels |