Paul Pettersson

发表

Verification of an industrial rule-based manufacturing system using REX

AnneMarie Ericsson, Mikael Berndtsson, Paul Pettersson, 2008 .

Kim G. Larsen, Jirí Srba, Paul Pettersson, 2013, Communicating Embedded Systems.

A Model-Based Testing Framework for Automotive Embedded Systems

Paul Pettersson, Alessio Bucaioni, Mehrdad Saadatmand, 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

Timed Automata with Asynchronous Processes: Schedulability and Decidability

Wang Yi, Paul Pettersson, Elena Fersman, 2002, TACAS.

UPPAAL Implementation Secrets

Wang Yi, Kim G. Larsen, Paul Pettersson, 2002, FTRTFT.

Towards WCET Analysis of Multicore Architectures Using UPPAAL

Björn Lisper, Paul Pettersson, Andreas Ermedahl, 2010, WCET.

DILEMMA - An Instant Lexicographer pdf

Paul Pettersson, Hans Karlgren, Jussi Karlgren, 1994, COLING.

TIMES - A Tool for Modelling and Implementation of Embedded Systems

Wang Yi, Paul Pettersson, Leonid Mokrushin, 2002, TACAS.

Pattern-Driven Support for Designing Component-Based Architectural Models

Paul Pettersson, Cristina Cerschi Seceleanu, Jagadish Suryadevara, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

Time-Optimal Test Cases for Real-Time Systems

Kim G. Larsen, Brian Nielsen, Paul Pettersson, 2003, FORMATS.

Schedulability analysis of fixed-priority systems using timed automata

Wang Yi, Paul Pettersson, Leonid Mokrushin, 2006, Theor. Comput. Sci..

On Memory-Block Traversal Problems in Model Checking Timed Systems

Wang Yi, Paul Pettersson, Fredrik Larsson, 2000 .

Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES

Thomas Nolte, Paul Pettersson, Mikael Åsberg, 2010 .

Outils pour le Model-Checking de Systèmes Temporisés

Paul Pettersson, Wang Yi, Jacob Illum Rasmussen, 2008 .

Behavioral Modeling and Refinement of Services

Paul Pettersson, Cristina Seceleanu, Aida Causevic, 2009 .

Inference of Event-Recording Automata Using Timed Decision Trees

Bengt Jonsson, Paul Pettersson, Olga Grinchtein, 2006, CONCUR.

Modeling and Reasoning about Service Behaviors and Their Compositions

Paul Pettersson, Cristina Cerschi Seceleanu, Aida Causevic, 2010, ISoLA.

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

Séverine Sentilles, Ivica Crnkovic, John Håkansson, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

ProCom : Formal Semantics

Paul Pettersson, Jan Carlson, Cristina Seceleanu, 2009 .

Model-Checking with Insufficient Memory Resources

Paul Pettersson, Birgitta Lindström, P. Pettersson, 2006 .

Developing A-GPS as a Student Project

Andreas Hasselberg, Paul Pettersson, Leonid Mokrushin, 2006 .

Software Engineering and Formal Methods

Paul Pettersson, Frédéric Mallet, Cristina Seceleanu, 2013, ICSE 2013.

Experimental Batch Plant - CS1 Using Timed Automata and UPPAAL

Kim Guldstrand Larsen, Paul Pettersson, Carsten Weise, 1999 .

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL

Paul Pettersson, Kaj Hänninen, Kristina Lundqvist, 2016, 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA).

Real-Time Tools

Paul Pettersson, S Yovine, 2001 .

SaveCCM: An Analysable Component Model for Real-Time Systems

John Håkansson, Paul Pettersson, Jan Carlson, 2006, FACS.

Prototyping Hierarchically Scheduled Systems Using Task Automata and TIMES

Thomas Nolte, Paul Pettersson, Mikael Åsberg, 2010, 2010 5th International Conference on Embedded and Multimedia Computing.

Time-Optimal Real-Time Test Case Generation Using Uppaal

Kim G. Larsen, Brian Nielsen, Paul Pettersson, 2003, FATES.

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT

Pierre-Yves Schobbens, Eun-Young Kang, Paul Pettersson, 2011, SAFECOMP.

UPPAAL: Status and Developments

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 1997 .

Diagnostic Model-Checking for Real-Time Systems

Wang Yi, Kim G. Larsen, Paul Pettersson, 1995, Hybrid Systems.

Formal Methods and Testing

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2008 .

Automated Verification of AADL-Specifications Using UPPAAL

Paul Pettersson, Kristina Lundqvist, Omar Jaradat, 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems

Paul Pettersson, Kaj Hänninen, Kristina Lundqvist, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

Paul Pettersson, Christo Angelov, Krzysztof Sierszecki, 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

Validating the Design Model of an Autonomous Truck System

Paul Pettersson, Cristina Seceleanu, Jagadish Suryadevara, 2009 .

Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT

Paul Pettersson, Eduard Paul Enoiu, Raluca Marinescu, 2012 .

Generating Trace-Sets for Model-based Testing

Paul Pettersson, A. Jefferson Offutt, Birgitta Lindström, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling

Thomas Nolte, Paul Pettersson, Mikael Asberg, 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

Using Logic Coverage to Improve Testing Function Block Diagrams

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2013, ICTSS.

Automatic verification of real-time communicating systems by constraint-solving

Wang Yi, Paul Pettersson, Mats Daniels, 1994, FORTE.

Automated Analysis of an Audio Control Protocol Using UPPAAL

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 2002 .

Message from the CORCS 2008 Workshop Organizers

Cristina Seceleanu, Paul Pettersson, Hans Hansson, 2008, COMPSAC.

UPPAAL in 1995

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, TACAS.

Proceedings of the 1st international workshop on Quality of service-oriented software systems

Heiko Koziolek, Paul Pettersson, Petr Hnetynka, 2009, FSE 2009.

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems

Paul Pettersson, Cristina Cerschi Seceleanu, Leo Hatvani, 2012, FASE.

An integrated tool for trade-off analysis of quality-of-service attributes

Paul Pettersson, Cristina Seceleanu, Anton Jansen, 2010, QUASOSS '10.

Formal Modeling and Analysis of Timed Systems, Third International Conference

Yi Wang, Paul Pettersson, 2005 .

Cover - A Test-Case Generation Tool for Timed Systems

Paul Pettersson, Anders Hessel, P. Pettersson, 2007 .

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, Hybrid Systems.

Uppaal in a nutshell

Wang Yi, Kim G. Larsen, Paul Pettersson, 1997, International Journal on Software Tools for Technology Transfer.

UPPAAL 4.0

Wang Yi, Kim G. Larsen, John Håkansson, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Using mutation to design tests for aspect-oriented models

Daniel Sundmark, Paul Pettersson, A. Jefferson Offutt, 2017, Inf. Softw. Technol..

Uppsala Underdogs - A Robot Soccer Project

Paul Pettersson, Martin Andersson, Leonid Mokrushin, 2006 .

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability

Paul Pettersson, Cristina Cerschi Seceleanu, Aida Causevic, 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue

Paul Pettersson, Cristina Seceleanu, 2015 .

Formal design and analysis of a gear controller

Wang Yi, Paul Pettersson, Magnus Lindahl, 1998, International Journal on Software Tools for Technology Transfer.

Model Checking Timed Automata with Priorities Using DBM Subtraction

Kim G. Larsen, John Håkansson, Paul Pettersson, 2006, FORMATS.

Tools for Real-Time UML: Formal Verification and Code Synthesis

Wang Yi, Paul Pettersson, Elena Fersman, 2001 .

The SAVE approach to component-based development of vehicular systems

John Håkansson, Hans A. Hansson, Paul Pettersson, 2007, J. Syst. Softw..

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

Kim Guldstrand Larsen, Paul Pettersson, Carsten Weise, 1999 .

Automated verification of an audio-control protocol using UPPAAL

Wang Yi, Kim G. Larsen, Paul Pettersson, 2002, J. Log. Algebraic Methods Program..

CORCS 2008 Workshop Organization

Hans A. Hansson, Paul Pettersson, Cristina Cerschi Seceleanu, 2008, COMPSAC.

Guided Synthesis of Control Programs Using UPPAAL

Kim G. Larsen, Paul Pettersson, Thomas Hune, 2000, Nord. J. Comput..

Model-Based Testing of a WAP Gateway: An Industrial Case-Study

Paul Pettersson, Anders Hessel, P. Pettersson, 2006, FMICS/PDMC.

Formal Design and Analysis of a Gear Controller

Wang Yi, Paul Pettersson, Magnus Lindahl, 1998, TACAS.

Automated test generation using model checking: an industrial evaluation

Elaine J. Weyuker, Daniel Sundmark, Thomas J. Ostrand, 2014, International Journal on Software Tools for Technology Transfer.

Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems

Steffen Becker, Heiko Koziolek, Jens Happe, 2010, IWQoS 2010.

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Paul Pettersson, Frédéric Mallet, Cristina Cerschi Seceleanu, 2013, SEFM.

AAAI Spring Symposium Model-Based Validation of Intelligence

Paul Pettersson, Gerd Behrmann, Ansgar Fehnker, 2001 .

Checking Correctness of Services Modeled as Priced Timed Automata

Paul Pettersson, Cristina Cerschi Seceleanu, Aida Causevic, 2012, ISoLA.

An Analysis Tool for UML Models with SPT Annotations

Yi Wang, John Håkansson, Paul Pettersson, 2004 .

Code Synthesis for Timed Automata

Wang Yi, Paul Pettersson, Elena Fersman, 2003 .

Efficient Guiding Towards Cost-Optimality in UPPAAL

Kim Guldstrand Larsen, Paul Pettersson, Gerd Behrmann, 2001 .

Modeling and analysis of adaptive embedded systems using adaptive task automata

Paul Pettersson, Cristina Cerschi Seceleanu, Leo Hatvani, 2013, SIGBED.

The PROGRESS Centre for Predictable Embedded Software Systems - Half-time report (edited version)

Ivica Crnkovic, Mikael Sjödin, Thomas Nolte, 2010 .

REMES: A Resource Model for Embedded Systems

Paul Pettersson, Cristina Cerschi Seceleanu, Aneta Vulgarakis, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Paul Pettersson, Gerd Behrmann, Judi Romijn, 1998, TACAS.

Schedulability Analysis Using Two Clocks

Wang Yi, Paul Pettersson, Leonid Mokrushin, 2003, TACAS.

New Generation of UPPAAL

Wang Yi, Paul Pettersson, Fredrik Larsson, 1998 .

Specifying and Generating Test Cases Using Observer Automata

Bengt Jonsson, Paul Pettersson, Anders Hessel, 2004, FATES.

Architecture-Based Regression Verification of AADL Specifications

Paul Pettersson, Kristina Lundqvist, Andreas Johnsen, 2013 .

Model-checking real-time control programs: verifying LEGO MINDSTORMSTM systems using UPPAAL

Kim G. Larsen, Paul Pettersson, Kåre J. Kristoffersen, 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

Guided Synthesis of Control Programs using UPPAAL for VHS Case Study 5

Paul Pettersson, Kim Guldstrand Larsen, Thomas Hune, 1999 .

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems

Wang Yi, Kim G. Larsen, Paul Pettersson, 2003, Real-Time Systems.

Bridging the Semantic Gap between Abstract Models of Embedded Systems

Eun-Young Kang, Paul Pettersson, Cristina Cerschi Seceleanu, 2010, CBSE.

Tools for Model-based Testing of Requirements-based Designs

Paul Pettersson, Raluca Marinescu, Cristina Seceleanu, 2014 .

Minimum-Cost Reachability for Priced Timed Automata

Kim G. Larsen, Frits W. Vaandrager, Paul Pettersson, 2001, HSCC.

Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck

Paul Pettersson, Shuhao Li, 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

Partial Order Reduction for Verification of Real-Time Components

John Håkansson, Paul Pettersson, P. Pettersson, 2007, FORMATS.

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

Wang Yi, Paul Pettersson, Fredrik Larsson, 2000, TACAS.

Testing Real-Time Systems Using UPPAAL

Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2008, Formal Methods and Testing.

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions

Paul Pettersson, Cristina Cerschi Seceleanu, Aida Causevic, 2014, ISoLA.

Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Yi Wang, Paul Pettersson, 2005, FORMATS.

Formal reasoning of resource-aware services

Paul Pettersson, Cristina Seceleanu, Aida Causevic, 2010 .

A Formal Analysis Framework for AADL

Paul Pettersson, Kristina Lundqvist, Cristina Seceleanu, 2011 .

Guiding and Cost-Optimality in UPPAAL

Kim Guldstrand Larsen, Paul Pettersson, Gerd Behrmann, 2001 .

Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

Paul Pettersson, 1999 .

Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C

Thomas Nolte, Paul Pettersson, Mikael Åsberg, 2013 .

Quality of Service-Oriented Software Systems (QUASOSS 2010)

Steffen Becker, Heiko Koziolek, Jens Happe, 2010, MoDELS Workshops.

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)

Wang Yi, Paul Pettersson, 2006 .

Efficient verification of real-time systems: compact data structure and state-space reduction

Wang Yi, Kim G. Larsen, Paul Pettersson, 1997, Proceedings Real-Time Systems Symposium.

Minimal DBM Substraction

Kim Guldstrand Larsen, Paul Pettersson, Alexandre David, 2004 .

Now, Next, and Future

Bertrand Jeannet, Paul Pettersson, Wang Yi, 2001 .

Model-Based Testing of a WAP Gateway:

Paul Pettersson, Anders Hessel, 2006 .

UPPAAL: Status & Developments

Wang Yi, Kim G. Larsen, Paul Pettersson, 1997, CAV.

Modelling and Analysis of a Steam Generator using Uppaal

Paul Pettersson, Kare Jelling Kristo Ersen, 1995 .

Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems

Wang Yi, Paul Pettersson, 2005 .

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Paul Pettersson, Alexandre David, Cristina Cerschi Seceleanu, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

An Analyzable Model of Automated Service Negotiation

Paul Pettersson, Cristina Cerschi Seceleanu, Aida Causevic, 2013, 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering.

Developing UPPAAL over 15 years

Wang Yi, Kim G. Larsen, Paul Pettersson, 2011, Softw. Pract. Exp..

Seamless formal verification of complex event processing applications

Mikael Berndtsson, Paul Pettersson, AnnMarie Ericsson, 2007, DEBS '07.

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)

Paul Pettersson, Kristina Lundqvist, Cristina Cerschi Seceleanu, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

Kim G. Larsen, Paul Pettersson, Gerd Behrmann, 2001, CAV.

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool

Paul Pettersson, P. Pettersson, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference.

Formal Semantics of the ProCom Real-Time Component Model

Paul Pettersson, Jan Carlson, Cristina Cerschi Seceleanu, 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

A Global Algorithm for Model-Based Test Suite Generation

Paul Pettersson, Anders Hessel, 2007, Electron. Notes Theor. Comput. Sci..

A Comparative Study of Manual and Automated Testing in Industrial Embedded Software

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2016, ICTSS 2016.

A test case generation algorithm for real-time systems

Paul Pettersson, Anders Hessel, 2004 .

A tool for rapid manual translation

Paul Pettersson, Magnus Nordstroem, 1993 .

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool

Paul Pettersson, Kaj Hänninen, Kristina Lundqvist, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).

Foreword

Paul Pettersson, Cristina Cerschi Seceleanu, 2015, J. Log. Algebraic Methods Program..

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs

Paul Pettersson, Raluca Marinescu, Cristina Cerschi Seceleanu, 2015, Adv. Comput..

Compositional and symbolic model-checking of real-time systems

Wang Yi, Kim G. Larsen, Paul Pettersson, 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Daniel Sundmark, Robert Feldt, Paul Pettersson, 2016, ICTSS.

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems

Séverine Sentilles, Ivica Crnkovic, Thomas Nolte, 2009, 2009 IEEE 31st International Conference on Software Engineering.

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 2003 .

Guided Synthesis of Control Programs for a Batch Plant using UPPAAL

Paul Pettersson, Kim Guldstrand Larsen, Thomas Hune, 2000 .

A test case generation algorithm for real-time systems

Paul Pettersson, Anders Hessel, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..

Handling Subsystems using the SaveComp Component Technology

Mikael Sjödin, Thomas Nolte, John Håkansson, 2006 .

An Architecture-Based Verification Technique for AADL Specifications

Paul Pettersson, Kristina Lundqvist, Andreas Johnsen, 2011, ECSA.

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Regression verification of AADL models through slicing of system dependence graphs

Paul Pettersson, Kaj Hänninen, Kristina Lundqvist, 2014, QoSA '14.

Mutating aspect-oriented models to test cross-cutting concerns

Daniel Sundmark, Paul Pettersson, A. Jefferson Offutt, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Task automata: Schedulability, decidability and undecidability

Wang Yi, Paul Pettersson, Elena Fersman, 2007, Inf. Comput..

Cover - A Real-Time Test Case Generation Tool

Paul Pettersson, Anders Hessel, 2007 .

EAST-ADL Tailored Testing : From System Models to Executable Test Cases

Paul Pettersson, Alessio Bucaioni, Mehrdad Saadatmand, 2013 .

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

John Håkansson, Paul Pettersson, Jan Carlson, 2008, ATVA.

A Controlled Experiment in Testing of Safety-Critical Embedded Software

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems

Julian Proenza, Paul Pettersson, Guillermo Rodriguez-Navas, 2010 .

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Wang Yi, Paul Pettersson, François Laroussinie, 1996 .

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough

Paul Pettersson, Gordana Dodig Crnkovic, Kaj Hänninen, 2017, 2017 IEEE International Conference on Software Architecture Workshops (ICSAW).

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Wang Yi, Paul Pettersson, Leonid Mokrushin, 2003, FORMATS.

Project Avatar Developing a Distributed Mobile Phone Game

Paul Pettersson, Leonid Mokrushin, Daniel Johansson, 2006 .

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata

Paul Pettersson, Cristina Seceleanu, Aida Causevic, 2012 .

Verification of an Audio Protocol with Bus Collision Using UPPAAL

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, CAV.

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification

Paul Pettersson, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, 2013, FTSCS.

A methodology for formal analysis and verification of EAST-ADL models

Pierre-Yves Schobbens, Eun-Young Kang, Paul Pettersson, 2013, Reliab. Eng. Syst. Saf..

An Integrated Framework for Component-based Analysis of Architectural System Models

Paul Pettersson, Raluca Marinescu, Cristina Seceleanu, 2012, ICTSS 2012.

Scheduling Timed Modules for Correct Resource Sharing

Hans A. Hansson, Paul Pettersson, Cristina Cerschi Seceleanu, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Analyzing a wind turbine system: From simulation to formal verification

Paul Pettersson, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, 2017, Sci. Comput. Program..

Anything You Want to Ask about Software Reliability Engineering

Tiziana Margaria, Norman F. Schneidewind, Michael R. Lyu, 2006, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

The SaveCCM Language Reference Manual

Hans Hansson, Mikael Sjödin, John Håkansson, 2007 .

Dilemma: a tool to ensure quality of new translations by using previous ones

Paul Pettersson, Hans Karlgren, Jussi Karlgren, 1994 .

Proceedings for International Workshop on Distributed Systems Verification and Validation

Paul Pettersson, Kim Guldstrand Larsen, T. Hune, 2000 .

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT

Paul Pettersson, Eduard Paul Enoiu, Raluca Marinescu, 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Wang Yi, Kim G. Larsen, Paul Pettersson, 1996, TAPSOFT.

Compositional and Symbolic Model-Checking of Real-Time Systems

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 1996 .

Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

Kim Guldstrand Larsen, Paul Pettersson, Kåre J. Kristoffersen, 1999 .

MOS: An integrated model-based and search-based testing tool for Function Block Diagrams

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2013, 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE).

DILEMMA: a tool for rapid manual translation

Paul Pettersson, Hans Karlgren, Jussi Karlgren, 1994, CHI '94.

Workshop on Real-Time Tools

Wang Yi, Paul Pettersson, 2002 .

Analyzing a Pattern-Based Model of a Real-Time Turntable System

John Håkansson, Paul Pettersson, Cristina Cerschi Seceleanu, 2009, FESCA@ETAPS.

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator

Darko Huljenic, Paul Pettersson, Cristina Cerschi Seceleanu, 2011, 2011 11th International Conference on Quality Software.

A Comparative Study of Manual and Automated Testing for Industrial Control Software

Daniel Sundmark, Paul Pettersson, Eduard Paul Enoiu, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Brian Nielsen, Paul Pettersson, Arne Skou, 2004 .

UPPAAL - Now, Next, and Future

Wang Yi, Kim G. Larsen, Bertrand Jeannet, 2000, MOVEP.

The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics

Paul Pettersson, Kristina Lundqvist, Cristina Seceleanu, 2011 .

UPPAAL in 1995

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 1996, TACAS.

Kelb — A Real-Time Programming Environment for the Sony AIBO

Paul Pettersson, Leonid Mokrushin, Olof Sivertsson, 2004 .

Formal Veriication of a Tdma Protocol Startup Mechanism

Paul Pettersson, 1999 .

TIMES-A Tool for Modelling and Implementation ofEmbedded

Paul Pettersson, Leonid Mokrushin, Elena Fersman, 2002 .

Modellchecking for Realltime Systems ?

Wang Yi, Kim G. Larsen, Paul Pettersson, 1995 .