Paul Pettersson

ORCID

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 10

Top Venues

Publications

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

Paul Pettersson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Pettersson