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 Daniel Sundmark 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

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

2013

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata

Leo Hatvani Cristina Seceleanu 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

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

2017

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

Eduard Paul Enoiu Sundmark Daniel Adnan Causevic Paul Pettersson

2017

Risk-based decision-making fallacies

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

2017

Experience Report

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

2017

AQAT

Andreas Johnsen Kristina Lundqvist Kaj Hänninen Paul Pettersson

2016

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

Eduard Paul Enoiu Daniel Sundmark Adnan Causevic Robert Feldt Paul Pettersson

2016

AQAF

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

2016

A Controlled Experiment in Testing of Safety-Critical Embedded Software

Eduard Paul Enoiu Adnan Causevic Daniel Sundmark 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

A Model-Based Testing Framework for Automotive Embedded Systems

Raluca Marinescu Mehrdad Saadatmand Alessio Bucaioni Cristina Seceleanu Paul Pettersson

2014

Wind Turbine System

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

2014

Regression verification of AADL models through slicing of system dependence graphs

Andreas Johnsen Lundqvist Kristina Paul Pettersson Kaj Hänninen

2014

Distributed energy management case study

Adnan Causevic Cristina Seceleanu Paul Pettersson

2013

Verifying MARTE/CCSL mode behaviors using UPPAAL

Jagadish Suryadevara Cristina Seceleanu F. Mallet Paul Pettersson

2013

MOS

Eduard Paul Enoiu Kivanc Doganay Markus Bohlin Daniel Sundmark Paul Pettersson

2013

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

Eduard Paul Enoiu Daniel Sundmark Paul Pettersson

2013

An Analyzable Model of Automated Service Negotiation

Aida Causevic Cristina Seceleanu 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

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

Paul Pettersson

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

ABV

Stefan Björnander Cristina Seceleanu Kristina Lundqvist Paul Pettersson

2011

An Architecture-Based Verification Technique for AADL Specifications

Andreas Johnsen Paul Pettersson Kristina Lundqvist

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

EAST-ADL Tailored Testing

Raluca Marinescu Mehrdad Saadatmand Alessio Bucaioni 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

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