DILEMMA: a tool for rapid manual translation. - Jussi Karlgren; Hans Karlgren; Paul Pettersson; Magnus Nordström; Bengt Wahrolén (CHI Conference Companion, 1994)

DILEMMA - An Instant Lexicographer. - Hans Karlgren; Jussi Karlgren; Magnus Nordström; Paul Pettersson; Bengt Wahrolén (COLING, 1994)

Automatic verification of real-time communicating systems by constraint-solving. - Wang Yi 001; Paul Pettersson; Mats Daniels (FORTE, 1994)

Model-Checking for Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FCT, 1995)

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

Diagnostic Model-Checking for Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

Compositional and Symbolic Model-Checking of Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (RTSS, 1995)

Verification of an Audio Protocol with Bus Collision Using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (CAV, 1996)

UPPAAL in 1995. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 1996)

UPPAAL: Status & Developments. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (CAV, 1997)

Efficient verification of real-time systems: compact data structure and state-space reduction. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (RTSS, 1997)

A Compositional Proof of a Real-Time Mutual Exclusion Protocol. - Kåre J. Kristoffersen; François Laroussinie; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (TAPSOFT, 1997)

UPPAAL in a Nutshell. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 1997)

Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. - Torsten K. Iversen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Morten Laursen; Rune G. Madsen; Steffen K. Mortensen; Paul Pettersson; Chris B. Thomasen (ECRTS, 2000)

UPPAAL - Now, Next, and Future. - Tobias Amnell; Gerd Behrmann; Johan Bengtsson; Pedro R. D'Argenio; Alexandre David; Ansgar Fehnker; Thomas Hune; Bertrand Jeannet; Kim Guldstrand Larsen; M. Oliver Möller; Paul Pettersson; Carsten Weise; et al. (MOVEP, 2000)

On Memory-Block Traversal Problems in Model-Checking Timed-Systems. - Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 2000)

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 (CAV, 2001)

UPPAAL - present and future. - Gerd Behrmann; Kim G. Larsen; Oliver Möller; Alexandre David; Paul Pettersson; Wang Yi 001 (CDC, 2001)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Efficient Guiding Towards Cost-Optimality in UPPAAL. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim G. Larsen; Paul Pettersson; Judi Romijn (TACAS, 2001)

Guided Synthesis of Control Programs Using UPPAAL. - Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson (Nord. J. Comput., 2001)

Formal design and analysis of a gear controller. - Magnus Lindahl; Paul Pettersson; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 2001)

UPPAAL Implementation Secrets. - Gerd Behrmann; Johan Bengtsson; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FTRTFT, 2002)

TIMES - A Tool for Modelling and Implementation of Embedded Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Timed Automata with Asynchronous Processes: Schedulability and Decidability. - Elena Fersman; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Automated verification of an audio-control protocol using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (J. Log. Algebraic Methods Program., 2002)

Code Synthesis for Timed Automata. - Tobias Amnell; Elena Fersman; Paul Pettersson; Hongyan Sun; Wang Yi 001 (Nord. J. Comput., 2002)

Time-Optimal Real-Time Test Case Generation Using Uppaal. - Anders Hessel; Kim Guldstrand Larsen; Brian Nielsen; Paul Pettersson; Arne Skou (FATES, 2003)

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (FORMATS, 2003)

Time-Optimal Test Cases for Real-Time Systems. - Anders Hessel; Kim Guldstrand Larsen; Brian Nielsen; Paul Pettersson; Arne Skou (FORMATS, 2003)

Schedulability Analysis Using Two Clocks. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2003)

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Real Time Syst., 2003)

Specifying and Generating Test Cases Using Observer Automata. - Johan Blom; Anders Hessel; Bengt Jonsson 001; Paul Pettersson (FATES, 2004)

A Test Case Generation Algorithm for Real-Time Systems. - Anders Hessel; Paul Pettersson (QSIC, 2004)

SaveCCM: An Analysable Component Model for Real-Time Systems. - Jan Carlson; John Håkansson; Paul Pettersson (FACS, 2005)

Guest Editors' Foreword. - Paul Pettersson; Wang Yi 001 (Nord. J. Comput., 2005)

Inference of Event-Recording Automata Using Timed Decision Trees. - Olga Grinchtein; Bengt Jonsson 001; Paul Pettersson (CONCUR, 2006)

Model-Based Testing of a WAP Gateway: An Industrial Case-Study. - Anders Hessel; Paul Pettersson (FMICS/PDMC, 2006)

Model Checking Timed Automata with Priorities Using DBM Subtraction. - Alexandre David; John Håkansson; Kim Guldstrand Larsen; Paul Pettersson (FORMATS, 2006)

UPPAAL 4.0. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; John Håkansson; Paul Pettersson; Wang Yi 001; Martijn Hendriks (QEST, 2006)

Schedulability analysis of fixed-priority systems using timed automata. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (Theor. Comput. Sci., 2006)

Seamless formal verification of complex event processing applications. - AnnMarie Ericsson; Paul Pettersson; Mikael Berndtsson; Marco Seiriö (DEBS, 2007)

Partial Order Reduction for Verification of Real-Time Components. - John Håkansson; Paul Pettersson (FORMATS, 2007)

Generating Trace-Sets for Model-based Testing. - Birgitta Lindström; Paul Pettersson; Jeff Offutt (ISSRE, 2007)

A Global Algorithm for Model-Based Test Suite Generation. - Anders Hessel; Paul Pettersson (MBT, 2007)

Task automata: Schedulability, decidability and undecidability. - Elena Fersman; Pavel Krcál; Paul Pettersson; Wang Yi 001 (Inf. Comput., 2007)

The SAVE approach to component-based development of vehicular systems. - Mikael Åkerholm; Jan Carlson; Johan Fredriksson; Hans Hansson; John Håkansson; Anders Möller; Paul Pettersson; Massimo Tivoli (J. Syst. Softw., 2007)

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. - John Håkansson; Jan Carlson; Aurelien Monot; Paul Pettersson; Davor Slutej (ATVA, 2008)

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. - Aida Causevic; Paul Pettersson; Cristina Cerschi Seceleanu (CIMCA/IAWTIC/ISE, 2008)

Message from the CORCS 2008 Workshop Organizers. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (COMPSAC, 2008)

CORCS 2008 Workshop Organization. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (COMPSAC, 2008)

Testing Real-Time Systems Using UPPAAL. - Anders Hessel; Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen; Paul Pettersson; Arne Skou (Formal Methods and Testing, 2008)

Scheduling Timed Modules for Correct Resource Sharing. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (ICST, 2008)

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 (ISSRE, 2008)

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. - Séverine Sentilles; Paul Pettersson; Ivica Crnkovic; John Håkansson (ASE, 2008)

Verification of COMDES-II Systems Using UPPAAL with Model Transformation. - Xu Ke; Paul Pettersson; Krzysztof Sierszecki; Christo Angelov (RTCSA, 2008)

Formal Semantics of the ProCom Real-Time Component Model. - Aneta Vulgarakis; Jagadish Suryadevara; Jan Carlson; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2009)

REMES: A Resource Model for Embedded Systems. - Cristina Cerschi Seceleanu; Aneta Vulgarakis; Paul Pettersson (ICECCS, 2009)

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. - Séverine Sentilles; Anders Pettersson; Dag Nyström; Thomas Nolte; Paul Pettersson; Ivica Crnkovic (ICSE, 2009)

Analyzing a Pattern-Based Model of a Real-Time Turntable System. - Davor Slutej; John Håkansson; Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (FESCA@ETAPS, 2009)

Bridging the Semantic Gap between Abstract Models of Embedded Systems. - Jagadish Suryadevara; Eun-Young Kang 001; Cristina Cerschi Seceleanu; Paul Pettersson (CBSE, 2010)

Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. - Shuhao Li; Paul Pettersson (ETFA, 2010)

Modeling and Reasoning about Service Behaviors and Their Compositions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2010)

An integrated tool for trade-off analysis of quality-of-service attributes. - Leo Hatvani; Anton Jansen; Cristina Seceleanu; Paul Pettersson (QUASOSS@MoDELS, 2010)

Quality of Service-Oriented Software Systems (QUASOSS 2010). - Heiko Koziolek; Steffen Becker 001; Jens Happe; Paul Pettersson (MoDELS (Workshops), 2010)

Towards WCET Analysis of Multicore Architectures Using UPPAAL. - Andreas Gustavsson; Andreas Ermedahl; Björn Lisper; Paul Pettersson (WCET, 2010)

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. - Paul Pettersson (COMPSAC, 2011)

Pattern-Driven Support for Designing Component-Based Architectural Models. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (ECBS, 2011)

Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling. - Mikael Asberg; Paul Pettersson; Thomas Nolte (ECRTS, 2011)

An Architecture-Based Verification Technique for AADL Specifications. - Andreas Johnsen; Paul Pettersson; Kristina Lundqvist (ECSA, 2011)

ABV - A Verifier for the Architecture Analysis and Design Language (AADL). - Stefan Björnander; Cristina Cerschi Seceleanu; Kristina Lundqvist; Paul Pettersson (ICECCS, 2011)

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. - Aneta Vulgarakis; Cristina Cerschi Seceleanu; Paul Pettersson; Ivan Skuliber; Darko Huljenic (QSIC, 2011)

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. - Eun-Young Kang 001; Pierre-Yves Schobbens; Paul Pettersson (SAFECOMP, 2011)

Developing UPPAAL over 15 years. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Softw. Pract. Exp., 2011)

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. - Leo Hatvani; Paul Pettersson; Cristina Cerschi Seceleanu (FASE, 2012)

Automated Verification of AADL-Specifications Using UPPAAL. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Omar Jaradat (HASE, 2012)

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. - Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Paul Pettersson (ICECCS, 2012)

Checking Correctness of Services Modeled as Priced Timed Automata. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. - Jagadish Suryadevara; Gaetana Sapienza; Cristina Cerschi Seceleanu; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (FTSCS, 2013)

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 (CMSBSE@ICSE, 2013)

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. - Eduard Paul Enoiu; Daniel Sundmark; Paul Pettersson (ICST Workshops, 2013)

Using Logic Coverage to Improve Testing Function Block Diagrams. - Eduard Paul Enoiu; Daniel Sundmark; Paul Pettersson (ICTSS, 2013)

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Frédéric Mallet; Paul Pettersson (SEFM, 2013)

An Analyzable Model of Automated Service Negotiation. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (SOSE, 2013)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

Modeling and analysis of adaptive embedded systems using adaptive task automata. - Leo Hatvani; Cristina Cerschi Seceleanu; Paul Pettersson (SIGBED Rev., 2013)

A Model-Based Testing Framework for Automotive Embedded Systems. - Raluca Marinescu; Mehrdad Saadatmand; Alessio Bucaioni; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2014)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2014)

Regression verification of AADL models through slicing of system dependence graphs. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen (QoSA, 2014)

Adaptive Task Automata with Earliest-Deadline-First Scheduling. - Leo Hatvani; Alexandre David; Cristina Cerschi Seceleanu; Paul Pettersson (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Mutating aspect-oriented models to test cross-cutting concerns. - Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Daniel Sundmark (ICST Workshops, 2015)

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. - Raluca Marinescu; Cristina Seceleanu; Hélène Le Guen; Paul Pettersson (Adv. Comput., 2015)

Foreword. - Cristina Cerschi Seceleanu; Paul Pettersson (J. Log. Algebraic Methods Program., 2015)

A Controlled Experiment in Testing of Safety-Critical Embedded Software. - Eduard Paul Enoiu; Adnan Causevic; Daniel Sundmark; Paul Pettersson (ICST, 2016)

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. - Eduard Paul Enoiu; Daniel Sundmark; Adnan Causevic; Robert Feldt; Paul Pettersson (ICTSS, 2016)

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (QoSA, 2016)

Automated test generation using model checking: an industrial evaluation. - Eduard Paul Enoiu; Adnan Causevic; Thomas J. Ostrand; Elaine J. Weyuker; Daniel Sundmark; Paul Pettersson (Int. J. Softw. Tools Technol. Transf., 2016)

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. - Andreas Johnsen; Gordana Dodig Crnkovic; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ICSA Workshops, 2017)

A Comparative Study of Manual and Automated Testing for Industrial Control Software. - Eduard Paul Enoiu; Daniel Sundmark; Adnan Causevic; Paul Pettersson (ICST, 2017)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ISSRE, 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (ISSRE, 2017)

Using mutation to design tests for aspect-oriented models. - Birgitta Lindström; Jeff Offutt; Daniel Sundmark; Sten F. Andler; Paul Pettersson (Inf. Softw. Technol., 2017)

Analyzing a wind turbine system: From simulation to formal verification. - Cristina Seceleanu; Morgan E. Johansson; Jagadish Suryadevara; Gaetana Sapienza; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (Sci. Comput. Program., 2017)

Confessions of an AI Brain - Elena Fersman; Paul Pettersson; Athanasios Karapantelakis (Springer, 2023)

To Sifu - Supervision, Mentorship and Lifelong Bond. - Elena Fersman; Paul Pettersson (Real Time and Such, 2025)

All About Time. - Susanne Graf; Paul Pettersson; Bernhard Steffen (Real Time and Such, 2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems. - Khashayar Etemadi; Marjan Sirjani; Mahshid Helali Moghadam; Per Erik Strandberg; Paul Pettersson (CoRR, 2025)