Paul Pettersson

117 papers A* 5A 16B 17C 4Journal 22Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Training-Free Quantum Architecture Search Under Realistic Noise via Expressibility-Guided Evolution. Entropy Seyed Ali Mousavi, Seyedhamidreza Mousavi, Paul Pettersson, Masoud Daneshtalab
2025	—	`conf`	All About Time. Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	—	`conf`	LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems. AISoLA Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025	J	`jnl`	LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems. CoRR Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025	—	`ed.`	Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	—	`conf`	To Sifu - Supervision, Mentorship and Lifelong Bond. Real Time and Such Elena Fersman, Paul Pettersson
2023	—	`book`	Confessions of an AI Brain Elena Fersman, Paul Pettersson, Athanasios Karapantelakis
2017	A	`conf`	A Comparative Study of Manual and Automated Testing for Industrial Control Software. ICST Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson
2017	A	`conf`	AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2017	J	`jnl`	Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
2017	A	`conf`	Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. ISSRE Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
2017	—	`conf`	Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. ICSA Workshops Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2017	J	`jnl`	Using mutation to design tests for aspect-oriented models. Inf. Softw. Technol. Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson
2016	A	`conf`	A Controlled Experiment in Testing of Safety-Critical Embedded Software. ICST Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
2016	—	`conf`	AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
2016	J	`jnl`	Automated test generation using model checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. Eduard Paul Enoiu, Adnan Causevic, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson
2016	C	`conf`	Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. ICTSS Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson
2015	J	`jnl`	Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson
2015	J	`jnl`	Foreword. J. Log. Algebraic Methods Program. Cristina Cerschi Seceleanu, Paul Pettersson
2015	—	`conf`	Mutating aspect-oriented models to test cross-cutting concerns. ICST Workshops Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark
2014	—	`conf`	A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson
2014	J	`jnl`	Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson
2014	—	`conf`	Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. ISoLA (2) Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
2014	—	`conf`	Regression verification of AADL models through slicing of system dependence graphs. QoSA Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
2013	J	`jnl`	A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
2013	—	`conf`	An Analyzable Model of Automated Service Negotiation. SOSE Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
2013	—	`conf`	MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. CMSBSE@ICSE Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson
2013	—	`conf`	Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. ICST Workshops Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
2013	J	`jnl`	Modeling and analysis of adaptive embedded systems using adaptive task automata. SIGBED Rev. Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2013	C	`conf`	Using Logic Coverage to Improve Testing Function Block Diagrams. ICTSS Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
2013	B	`conf`	Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson
2013	—	`conf`	Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
2012	B	`conf`	Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu
2012	—	`conf`	Automated Verification of AADL-Specifications Using UPPAAL. HASE Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
2012	—	`conf`	Checking Correctness of Services Modeled as Priced Timed Automata. ISoLA (2) Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
2012	B	`conf`	ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson
2011	B	`conf`	ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson
2011	B	`conf`	An Architecture-Based Verification Technique for AADL Specifications. ECSA Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
2011	J	`jnl`	Developing UPPAAL over 15 years. Softw. Pract. Exp. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2011	B	`conf`	Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. COMPSAC Paul Pettersson
2011	B	`conf`	Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling. ECRTS Mikael Asberg, Paul Pettersson, Thomas Nolte
2011	—	`conf`	Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
2011	—	`conf`	Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. QSIC Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic
2011	B	`conf`	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
2010	—	`conf`	An integrated tool for trade-off analysis of quality-of-service attributes. QUASOSS@MoDELS Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson
2010	—	`conf`	Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson
2010	—	`conf`	Modeling and Reasoning about Service Behaviors and Their Compositions. ISoLA (2) Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
2010	—	`ed.`	Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS '10, Oslo, Norway, October 4, 2010 QUASOSS@MoDELS Steffen Becker, Jens Happe, Heiko Koziolek, Paul Pettersson
2010	—	`conf`	Quality of Service-Oriented Software Systems (QUASOSS 2010). MoDELS (Workshops) Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson
2010	—	`conf`	Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson
2010	C	`conf`	Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. ETFA Shuhao Li, Paul Pettersson
2009	—	`conf`	Analyzing a Pattern-Based Model of a Real-Time Turntable System. FESCA@ETAPS Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
2009	—	`conf`	Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson
2009	—	`ed.`	Proceedings of the 1st international workshop on Quality of service-oriented software systems, QUASOSS '09, Amsterdam, The Netherlands, August 25, 2009 QUASOSS@ESEC/FSE Heiko Koziolek, Paul Pettersson, Petr Hnetynka
2009	B	`conf`	REMES: A Resource Model for Embedded Systems. ICECCS Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson
2009	A*	`conf`	Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. ICSE Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
2008	—	`conf`	Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. CIMCA/IAWTIC/ISE Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu
2008	A	`conf`	Anything You Want to Ask about Software Reliability Engineering. ISSRE Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong
2008	B	`conf`	CORCS 2008 Workshop Organization. COMPSAC Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2008	B	`conf`	Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
2008	B	`conf`	Message from the CORCS 2008 Workshop Organizers. COMPSAC Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2008	A*	`conf`	Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. ASE Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson
2008	A	`conf`	Scheduling Timed Modules for Correct Resource Sharing. ICST Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
2008	—	`conf`	Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
2008	B	`conf`	Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov
2007	—	`conf`	A Global Algorithm for Model-Based Test Suite Generation. MBT Anders Hessel, Paul Pettersson
2007	A	`conf`	Generating Trace-Sets for Model-based Testing. ISSRE Birgitta Lindström, Paul Pettersson, Jeff Offutt
2007	—	`conf`	Partial Order Reduction for Verification of Real-Time Components. FORMATS John Håkansson, Paul Pettersson
2007	—	`conf`	Seamless formal verification of complex event processing applications. DEBS AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö
2007	J	`jnl`	Task automata: Schedulability, decidability and undecidability. Inf. Comput. Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi
2007	J	`jnl`	The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
2006	B	`conf`	Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR Olga Grinchtein, Bengt Jonsson, Paul Pettersson
2006	—	`conf`	Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
2006	—	`conf`	Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC Anders Hessel, Paul Pettersson
2006	J	`jnl`	Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2006	—	`conf`	UPPAAL 4.0. QEST Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
2005	—	`ed.`	Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings FORMATS Paul Pettersson, Wang Yi
2005	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Paul Pettersson, Wang Yi
2005	—	`conf`	SaveCCM: An Analysable Component Model for Real-Time Systems. FACS Jan Carlson, John Håkansson, Paul Pettersson
2004	—	`conf`	A Test Case Generation Algorithm for Real-Time Systems. QSIC Anders Hessel, Paul Pettersson
2004	—	`conf`	Specifying and Generating Test Cases Using Observer Automata. FATES Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
2003	J	`jnl`	Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2003	A	`conf`	Schedulability Analysis Using Two Clocks. TACAS Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2003	—	`conf`	TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2003	—	`conf`	Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
2003	—	`conf`	Time-Optimal Test Cases for Real-Time Systems. FORMATS Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
2002	J	`jnl`	Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2002	J	`jnl`	Code Synthesis for Timed Automata. Nord. J. Comput. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
2002	A	`conf`	TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2002	A	`conf`	Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS Elena Fersman, Paul Pettersson, Wang Yi
2002	—	`conf`	UPPAAL Implementation Secrets. FTRTFT Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2001	A*	`conf`	As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
2001	A	`conf`	Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
2001	J	`jnl`	Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. Magnus Lindahl, Paul Pettersson, Wang Yi
2001	J	`jnl`	Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
2001	—	`conf`	Minimum-Cost Reachability for Priced Timed Automata. HSCC Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
2001	—	`conf`	UPPAAL - present and future. CDC Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
2000	—	`conf`	Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
2000	B	`conf`	Model-checking real-time control programs: verifying Lego(R) Mindstorms ECRTS Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen
2000	A	`conf`	On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS Fredrik Larsson, Paul Pettersson, Wang Yi
2000	—	`conf`	UPPAAL - Now, Next, and Future. MOVEP 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, Wang Yi
1998	A	`conf`	Formal Design and Analysis of a Gear Controller. TACAS Magnus Lindahl, Paul Pettersson, Wang Yi
1997	—	`conf`	A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1997	A	`conf`	Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1997	J	`jnl`	UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1997	A*	`conf`	UPPAAL: Status & Developments. CAV Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1996	A	`conf`	UPPAAL in 1995. TACAS Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1996	A*	`conf`	Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1995	A	`conf`	Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	—	`conf`	Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	B	`conf`	Model-Checking for Real-Time Systems. FCT Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	—	`conf`	UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1994	C	`conf`	Automatic verification of real-time communicating systems by constraint-solving. FORTE Wang Yi, Paul Pettersson, Mats Daniels
1994	B	`conf`	DILEMMA - An Instant Lexicographer. COLING Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén
1994	—	`conf`	DILEMMA: a tool for rapid manual translation. CHI Conference Companion Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström, Bengt Wahrolén
1994	J	`jnl`	Dilemma - An Instant Lexicographer. CoRR Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén