2017

Analyzing a wind turbine system

Cristina Cerschi Seceleanu M. Johansson J. Suryadevara Gaetana Sapienza Tiberiu Seceleanu S. -E Ellevseth Paul Pettersson

2017

Using mutation to design tests for aspect-oriented models

Birgitta Lindström Jeff Offutt Sundmark Daniel Sten F. Andler Paul Pettersson

2016

Automated Test Generation using Model-Checking: An Industrial Evaluation

Eduard Paul Enoiu Adnan Causevic Thomas Ostrand Elaine Weyuker Daniel Sundmark Paul Pettersson

2015

Foreword

Cristina Seceleanu Paul Pettersson

2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani Alexandre David Cristina Seceleanu Paul Pettersson

2013

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata

Leo Hatvani Cristina Seceleanu Paul Pettersson

2013

A Methodology for Formal Analysis and Verification of EAST-ADL Models

Eun-Young Kang Eduard Paul Enoiu Raluca Marinescu Cristina Seceleanu Pierre Yves Schnobbens Paul Pettersson

2011

Developing UPPAAL over 15 years

Gerd Berhmann Alexandre David Kim Guldstrand Larsen Paul Pettersson Wang Yi

2011

A Formal Analysis Framework for AADL

Stefan Björnander Cristina Seceleanu Kristina Lundqvist Paul Pettersson

2010

Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES

Mikael Åsberg Thomas Nolte Paul Pettersson

2009

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

Davor Slutej J. Håkansson Jagadish Suryadevara Cristina Seceleanu Paul Pettersson

2007

Task Automata

Elena Fersman Pavel Krcal Paul Pettersson Wang Yi

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

2006

Schedulability Analysis of Fixed Priority Systems using Timed Automata

Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi

2010

Real-Time Systems

Hans Hansson Jan Carlson Damir Isovic Kristina Lundqvist Thomas Nolte Martin Ouimet Paul Pettersson Sasikumar Punnekkat Cristina Seceleanu

2015

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

Raluca Marinescu Cristina Seceleanu H. Le Guen Paul Pettersson

2013

Using Logic Coverage to Improve Testing Function Block Diagrams

Eduard Paul Enoiu Daniel Sundmark Paul Pettersson

2013

Tools for Model-Checking Timed Systems

A. David G. Behrmann P. Bulychev J. Byg T. Chatain K. G. Larsen Paul Pettersson J. I. Rasmussen J. Srba W. Yi K. Y. Joergensen D. Lime M. Magnin O. H. Roux L. -M Traonouez

2013

Software Engineering and Formal Methods

Jagadish Suryadevara Cristina Seceleanu Frederic Mallet Paul Pettersson

2012

Checking Correctness of Services Modeled as Priced Timed Automata

Aida Causevic Cristina Seceleanu Paul Pettersson

2012

Adaptive task automata

Leo Hatvani Paul Pettersson Cristina Seceleanu

2011

Quality of service-oriented software systems (QUASOSS 2010)

H. Koziolek S. Becker J. Happe Paul Pettersson

2010

Modeling and Reasoning about Service Behaviors and their Compositions

Aida Causevic Cristina Seceleanu Paul Pettersson

2010

Bridging the Semantic Gap between Abstract Models of Embedded Systems

Jagadish Suryadevara Eun-Young Kang Cristina Seceleanu Paul Pettersson

2010

Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems

Guillermo Rodriguez-Navas Julian Proenza Hans Hansson Paul Pettersson

2008

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

Alexandre David Gerd Berhmann Kim Guldstrand Larsen Paul Pettersson Jacob Illum Rasmussen Wang Yi Morgan Magnin

2008

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

John Håkansson Jan Carlson Aurelien Monot Paul Pettersson Davor Slutej

2008

Testing Real-time systems using UPPAAL

Anders Hessel Kim Guldstrand Larsen Marius Mikuèionis Brian Nielsen Paul Pettersson Arne Skou

2017

Experience Report

Andreas Johnsen Kristina Lundqvist Paul Pettersson Kaj Hänninen Martin Torelm

2017

Risk-based decision-making fallacies

Andreas Johnsen Gordana Dodig-Crnkovic Kristina Lundqvist Kaj Hänninen Paul Pettersson

2017

AQAT

Andreas Johnsen Kristina Lundqvist Kaj Hänninen Paul Pettersson

2017

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

Eduard Paul Enoiu Sundmark Daniel Adnan Causevic Paul Pettersson

2016

A Controlled Experiment in Testing of Safety-Critical Embedded Software

Eduard Paul Enoiu Adnan Causevic Daniel Sundmark Paul Pettersson

2016

AQAF

Andreas Johnsen Kristina Lundqvist Kaj Hänninen Paul Pettersson M. Torelm

2016

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

Eduard Paul Enoiu Daniel Sundmark Adnan Causevic Robert Feldt Paul Pettersson

2015

Mutating aspect-oriented models to test cross-cutting concerns

B. Lindström S. F. Andler J. Offutt Paul Pettersson D. Sundmark

2014

Distributed energy management case study

Adnan Causevic Cristina Seceleanu Paul Pettersson

2014

Regression verification of AADL models through slicing of system dependence graphs

Andreas Johnsen Lundqvist Kristina Paul Pettersson Kaj Hänninen

2014

Wind Turbine System

Jagadish Suryadevara Gaetana Sapienza Cristina Seceleanu Tiberiu Seceleanu Stein-Erik Elleveseth Paul Pettersson

2014

A Model-Based Testing Framework for Automotive Embedded Systems

Raluca Marinescu Mehrdad Saadatmand Alessio Bucaioni Cristina Seceleanu Paul Pettersson

2013

MOS

Eduard Paul Enoiu Kivanc Doganay Markus Bohlin Daniel Sundmark Paul Pettersson

2013

Verifying MARTE/CCSL mode behaviors using UPPAAL

Jagadish Suryadevara Cristina Seceleanu F. Mallet Paul Pettersson

2013

An Analyzable Model of Automated Service Negotiation

Aida Causevic Cristina Seceleanu Paul Pettersson

2013

Model-based test suite generation for function block diagrams using the UPPAAL model checker

Eduard Paul Enoiu Daniel Sundmark Paul Pettersson

2012

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

Raluca Marinescu Cristina Seceleanu Paul Pettersson

2012

ViTAL

Eduard Paul Enoiu Raluca Marinescu Cristina Seceleanu Pettersson Paul

2012

Automated Verification of AADL-Specifications Using UPPAAL

Andreas Johnsen Kristina Lundqvist Paul Pettersson Omar Jaradat

2011

Validation of embedded systems behavioral models on a component-based Ericsson Nikola Tesla demonstrator

Aneta Vulgarakis Cristina Seceleanu Paul Pettersson Ivan Skuliber Darko Huljenić

2011

Pattern-driven support for designing component-based architectural models.

Jagadish Suryadevara Cristina Seceleanu Paul Pettersson

2011

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

Mikael Åsberg Paul Pettersson Thomas Nolte

2011

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

Eun-Young Kang Pierre Yves Schnobbens Paul Pettersson

2011

Formal Methods Applied in Industry On the Commercialisation of the UPPAAL tool

Paul Pettersson

2011

An Architecture-Based Verification Technique for AADL Specifications

Andreas Johnsen Paul Pettersson Kristina Lundqvist

2011

ABV

Stefan Björnander Cristina Seceleanu Kristina Lundqvist Paul Pettersson

2010

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

Leo Hatvani Anton Jansen Cristina Seceleanu Paul Pettersson

2010

Prototyping Hierarchically Scheduled Systems using Task Automata and TIMES

Mikael Åsberg Thomas Nolte Paul Pettersson

2010

Towards WCET Analysis of Multicore Architectures using UPPAAL

Andreas Gustavsson Andreas Ermedahl Björn Lisper Paul Pettersson

2010

Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck

Shuhao Li Paul Pettersson

2009

REMES: A Resource Model for Embedded Systems

Cristina Seceleanu Aneta Vulgarakis Paul Pettersson

2009

Validating the Design Model of an Autonomous Truck System

Jagadish Suryadevara Paul Pettersson Cristina Seceleanu

2009

Formal semantics of the ProCom real-time component model

Aneta Vulgarakis Jagadish Suryadevara Jan Carlson Cristina Seceleanu Paul Pettersson

2009

Behavioral Modeling and Refinement of Services

Aida Causevic Cristina Seceleanu Paul Pettersson

2009

Save-IDE – A Tool for Design, Analysis andImplementation of Component-based Embedded Systems

Séverine Sentilles Anders Pettersson Dag Nyström thomas Nolte Paul Pettersson Ivica Crnkovic

2008

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

Xu Ke Paul Pettersson Krzysztof Sierszecki Christo Angelov

2008

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

Aida Causevic Paul Pettersson Cristina Seceleanu

2008

Save-IDE - An Integrated development environment for building predictable component-based embedded systems

Séverine Sentilles Paul Pettersson Ivica Crnkovic John Håkansson

2008

Scheduling Timed Modules for Correct Resource Sharing

Cristina Seceleanu Paul Pettersson Hans Hansson

2008

Verification of an industrial rule-based manufacturing system using REX

AnneMarie Ericsson Mikael Berndtsson Paul Pettersson Lena Pettersson

2007

Generating Trace-Sets for Model-based Testing

Birgitta Lindström Paul Pettersson Jeff Offutt

2007

Partial Order Reduction for Verification of Real-Time Components

John Håkansson Paul Pettersson

2007

Cover - A Test-Case Generation Tool for Timed Systems

Anders Hessel Paul Pettersson

2007

Seamless Formal Verification of Complex Event Processing Applications

AnneMarie Ericsson Paul Pettersson Mikael Berndtsson Marco Seiriö

2007

A Global Algorithm for Model-Based Test Suite Generation

Anders Hessel Paul Pettersson

2006

Handling Subsystems using the SaveComp Component Technology

Mikael Åkerholm Jan Carlson Johan Fredriksson Hans Hansson Mikael Sjödin Thomas Nolte John Håkansson Paul Pettersson

2006

Inference of Event-Recording Automata using Timed Decision Trees

Olga Grinchtein Bengt Jonsson Paul Pettersson

2006

Model Checking Timed Automata with Priorities using DBM Subtraction

Alexandre David John Håkansson Kim Guldstrand Larsen Paul Pettersson

2006

Model-based Testing of a WAP Gateway

Anders Hessel Paul Pettersson

2006

UPPAAL 4.0

Gerd Berhmann Alexandre David Kim Guldstrand Larsen John Håkansson Paul Pettersson Yi Wang Martijn Hendriks

Architecture-Based Regression Verification of AADL Specifications

Andreas Johnsen Kristina Lundqvist Paul Pettersson

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

Eduard Paul Enoiu Daniel Sundmark Adnan Causevic Paul Pettersson

2015

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

2011

Proceedings of the 23rd Nordic Workshop on Programming Theory

2014

Tools for Model-based Testing of Requirements-based Designs

Raluca Marinescu Cristina Seceleanu Helene Le Guen Paul Pettersson

2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani Alexandre David Cristina Seceleanu Paul Pettersson

2013

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

Mikael Åsberg Paul Pettersson Thomas Nolte

2013

EAST-ADL Tailored Testing

Raluca Marinescu Mehrdad Saadatmand Alessio Bucaioni Cristina Seceleanu Paul Pettersson

2013

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

Aida Causevic Cristina Seceleanu Paul Pettersson

2012

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

Eduard Paul Enoiu Raluca Marinescu Cristina Seceleanu Paul Pettersson

2012

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata

Aida Causevic Cristina Seceleanu Paul Pettersson

2011

The Architecture Analysis and Design Language and the Behavior Annex

Stefan Björnander Cristina Seceleanu Kristina Lundqvist Paul Pettersson

2010

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

Hans Hansson Thomas Nolte Jakob Axelsson Mats Björkman Jan Carlson Ivica Crnkovic Björn Lisper Kristina Lundqvist Christer Norström Paul Pettersson Sasikumar Punnekkat Mikael Sjödin

2010

Formal reasoning of resource-aware services

Aida Causevic Cristina Seceleanu Paul Pettersson

2009

ProCom

Jagadish Suryadevara Aneta Vulgarakis Jan Carlson Cristina Seceleanu Paul Pettersson

2008

REMES

Paul Pettersson Cristina Seceleanu Aneta Vulgarakis

2007

The SaveCCM Language Reference Manual

Mikael Åkerholm Jan Carlson John Håkansson Hans Hansson Mikael Sjödin Thomas Nolte Paul Pettersson

2006

Model-Checking with Insufficient Memory Resources

Birgitta Lindström Paul Pettersson