Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 157 (showing 1 - 50)

Doctoral Thesis (1)

Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice (Feb 1999)
Paul Pettersson

Book (4)

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue (Jan 2015)
Cristina Seceleanu, Paul Pettersson
Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) (JLAP-NWPT)

Real-Time Systems (Feb 2010)
Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet , Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu

Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT04), October 6-8, 2004 (Jan 2005)
Paul Pettersson, Wang Yi

Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005 (Jan 2005)
Paul Pettersson, Wang Yi

Book chapter (1)

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015)
Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson
Advances in Computers, vol.98 (AC)

Collection (Editor) (4)

Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems (Jun 2009)
Julián Proenza , Hans Hansson, Paul Pettersson
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

Tools for Model-Checking (Jan 2009)
Alexandre David , Gerd Berhmann , Peter Bulychev , Joakim Byg , Thomas Chatain , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Jiri Srba , Wang Yi , Kenneth Y. Joergensen , Didier Lime , Morgan Magnin , Olivier H. Roux , Louis-Marie Tranonouez
Formal Approaches for Communicating Embedded Systems

Testing Real-time systems using UPPAAL (Jan 2008)
Anders Hessel, Kim Guldstrand Larsen , Marius Mikuèionis , Brian Nielsen , Paul Pettersson, Arne Skou
Formal Methods and Testing

Outils pour le Model-Checking de Systèmes Temporisés (Jan 2008)
Alexandre David , Gerd Berhmann , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Wang Yi , Morgan Magnin
Approches formelles des systèmes embarqués communicant

Journal article (19)

Using mutation to design tests for aspect-oriented models (Jan 2017)
Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson
Information and Software Technology (IST)

Analyzing a wind turbine system: From simulation to formal verification (Oct 2016)
Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Science of Computer Programming, Elsevier (SCICO)

Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014)
Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson
International Journal on Software Tools for Technology Transfer (STTT)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)

A Formal Analysis Framework for AADL (Nov 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
The Journal of Science and Technology

Developing UPPAAL over 15 years (Feb 2011)
Gerd Berhmann , Alexandre David , Kim Guldstrand Larsen , Paul Pettersson, Wang Yi
Software - Practice and Experience

Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES (Dec 2010)
Mikael Åsberg, Thomas Nolte, Paul Pettersson
Journal of Convergence (Consumer Electronics)

Task Automata: Schedulability, Decidability and Undecidability (Aug 2007)
Elena Fersman , Pavel Krcal , Paul Pettersson, Wang Yi
International Journal of Information and Computation

The SAVE approach to component-based development of vehicular systems (May 2007)
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson , Anders Möller, Paul Pettersson, Massimo Tivoli
Journal of Systems and Software

Schedulability Analysis of Fixed Priority Systems using Timed Automata (Mar 2006)
Elena Fersman , Leonid Mokrushin , Paul Pettersson, Wang Yi
Theoretical Computer Science

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (Sep 2003)
Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi
Real-Time Systems - The International Journal of Time-Critical Computing Systems

Automated Analysis of an Audio Control Protocol Using UPPAAL, (Jul 2002)
Johan Bengtsson , W.O.David Griffioen , Kåre J. Kristofferssen , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson, Wang Yi
Journal of Logic and Algebraic Programming,

Code Synthesis for Timed Automata, (May 2002)
Tobias Amnell , Elena Fersman , Paul Pettersson, Hongyan Sun , Wang Yi
Nordic Journal of Computing

Guided Synthesis of Control Programs Using UPPAAL (May 2001)
Thomas Hune , Kim Guldstrand Larsen , Paul Pettersson
In Nordic Journal of Computing

Formal Design and Analysis of a Gear Controller (May 2001)
Magnus Lindahl , Paul Pettersson, Wang Yi
Springer International Journal of Software Tools for Technology Transfer

UPPAAL2K (Apr 1999)
Kim Guldstrand Larsen , Paul Pettersson
European Association for Theoretical Computer Science Bulletin

UPPAAL in a Nutshell (May 1997)
Kim Guldstrand Larsen , Paul Pettersson, Wang Yi
In Springer International Journal of Software Tools for Technology Transfer,

Conference/Workshop Paper (100)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) (ISSRE'17)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) (ISSRE'17)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Mutation-Based Test Generation for PLC Embedded Software using Model Checking (Oct 2016) -- Best Paper Award--
Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt , Paul Pettersson
The International Conference on Testing Software and Systems (ICTSS)

A Controlled Experiment in Testing of Safety-Critical Embedded Software (Apr 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
IEEE International Conference on Software Testing, Verification and Validation (ICST)

AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson
12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)

Mutating Aspect-Oriented Models to Test Cross-Cutting Concerns (Apr 2015)
Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark
10th International Workshop on Mutation Analysis (Mutation 2015)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Nov 2014)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Sep 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Pre-proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)

A Model-Based Testing Framework for Automotive Embedded Systems (Aug 2014)
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Regression Verification of AADL Models through Slicing of System Dependence Graphs (Jun 2014)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)

Using Logic Coverage to Improve Testing Function Block Diagrams (Nov 2013)
Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
International Conference on Testing Software and Systems (ICTSS2013)

Wind Turbine System : An Industrial Case Study in Formal Modeling and Verification (Oct 2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)

Verifying MARTE/CCSL Mode Behaviors using UPPAAL (Sep 2013)
Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet , Paul Pettersson
11th International Conference on Software Engineering and Formal Methods

MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams (May 2013)
Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson
35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering

Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker (Apr 2013)
Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012)

An Analyzable Model of Automated Service Negotiation (Mar 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
IEEE SOSE 2013: 7th International Symposium on Service Oriented System Engineering

An Integrated Framework for Component-based Analysis of Architectural System Models (Nov 2012)
Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS12) Doctoral Workshop

Checking Correctness of Services Modeled as Priced Timed Automata (Oct 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)

Items per page: