Person: Paul Pettersson

DBLP: Pettersson:Paul

Contributed to:

2014

2013

2013

2012

2011

2010

2009

2008

2008

2007

2004

2003

2003

2002

2001

2000

1998

1997

1996

1996

1997

2016

Wrote 23 papers:

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification

Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.

ICTSS-2013-EnoiuSP #diagrams #logic #testing #using

Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.

SEFM-2013-SuryadevaraSMP #behaviour #using #verification

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.

FASE-2012-HatvaniPS #adaptation #automaton #embedded #framework #verification

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.

ECSA-2011-JohnsenPL #architecture #specification #verification

An Architecture-Based Verification Technique for AADL Specifications (AJ, PP, KL), pp. 105–113.

CBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap

Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.

ICSE-2009-SentillesPNNPC #analysis #component #design #embedded #implementation #named

Save-IDE — A tool for design, analysis and implementation of component-based embedded systems (SS, AP, DN, TN, PP, IC), pp. 607–610.

ASE-2008-SentillesPCH #component #development #embedded #ide #named #predict

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems (SS, PP, IC, JH), pp. 493–494.

ICST-2008-SeceleanuPH #resource management #scheduling

Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.

MBT-2007-HesselP #algorithm #generative #modelling #testing

A Global Algorithm for Model-Based Test Suite Generation (AH, PP), pp. 47–59.

FATES-2004-BlomHJP #automaton #generative #specification #testing #using

Specifying and Generating Test Cases Using Observer Automata (JB, AH, BJ, PP), pp. 125–139.

FATES-2003-HesselLNPS #generative #realtime #testing #using

Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.

TACAS-2003-FersmanMPY #analysis #scheduling #using

Schedulability Analysis Using Two Clocks (EF, LM, PP, WY), pp. 224–239.

TACAS-2002-AmnellFMPY #embedded #implementation #modelling #named

TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.

TACAS-2002-FersmanPY #automaton #decidability #process #scheduling

Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.

CAV-2001-LarsenBBFHPR #automaton #performance #reachability

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata (KGL, GB, EB, AF, TH, PP, JR), pp. 493–505.

TACAS-2000-LarssonPY #model checking #on the #problem #traversal

On Memory-Block Traversal Problems in Model-Checking Timed-Systems (FL, PP, WY), pp. 127–141.

TACAS-1998-LindahlPY #analysis #design

Formal Design and Analysis of a Gear Controller (ML, PP, WY), pp. 281–297.

CAV-1997-LarsenPY #named

UPPAAL: Status & Developments (KGL, PP, WY), pp. 456–459.

CAV-1996-BengtssonGKLLPY #protocol #using #verification

Verification of an Audio Protocol with Bus Collision Using UPPAAL (JB, WODG, KJK, KGL, FL, PP, WY), pp. 244–256.

TACAS-1996-BengtssonLLPY

UPPAAL in 1995 (JB, KGL, FL, PP, WY), pp. 431–434.

TAPSOFT-1997-KristoffersenLLPY #composition #protocol #proving #realtime

A Compositional Proof of a Real-Time Mutual Exclusion Protocol (KJK, FL, KGL, PP, WY0), pp. 565–579.

QoSA-2016-JohnsenLHPT #architecture #assurance #framework #named #quality

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.