Paul Pettersson

2008
47	EE	Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou: Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117
2007
46	EE	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61
45	EE	John Håkansson, Paul Pettersson: Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226
44	EE	Anders Hessel, Paul Pettersson: A Global Algorithm for Model-Based Test Suite Generation. Electr. Notes Theor. Comput. Sci. 190(2): 47-59 (2007)
43	EE	Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
42	EE	Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli: The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software 80(5): 655-667 (2007)
2006
41	EE	Olga Grinchtein, Bengt Jonsson, Paul Pettersson: Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449
40	EE	Anders Hessel, Paul Pettersson: Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131
39	EE	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
38	EE	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
37	EE	Jan Carlson, John Håkansson, Paul Pettersson: SaveCCM: An Analysable Component Model for Real-Time Systems. Electr. Notes Theor. Comput. Sci. 160: 127-140 (2006)
36	EE	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006)
2005
35		Paul Pettersson, Wang Yi: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Springer 2005
34		Paul Pettersson, Wang Yi: Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005)
2004
33	EE	Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson: Specifying and Generating Test Cases Using Observer Automata. FATES 2004: 125-139
32	EE	Anders Hessel, Paul Pettersson: A Test Case Generation Algorithm for Real-Time Systems. QSIC 2004: 268-273
2003
31	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
30	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
29	EE	Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72
28	EE	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239
27	EE	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems 25(2-3): 255-275 (2003)
2002
26	EE	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
25	EE	Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464
24	EE	Elena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82
23	EE	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
22		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)
2001
21	EE	Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
20	EE	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
19		Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
18	EE	Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001)
2000
17		Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22
16	EE	Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
15	EE	Fredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
1998
14	EE	Magnus Lindahl, Paul Pettersson, Wang Yi: Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297
1997
13		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459
12	EE	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. IEEE Real-Time Systems Symposium 1997: 14-24
11		Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579
10	EE	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997)
1996
9		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
8		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
1995
7		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Model-Checking for Real-Time Systems. FCT 1995: 62-88
6		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243
5		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586
4		Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 76-89
1994
3	EE	Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström, Bengt Wahrolén: DILEMMA: a tool for rapid manual translation. CHI Conference Companion 1994: 129-130
2	EE	Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén: DILEMMA - An Instant Lexicographer. COLING 1994: 82-84
1		Wang Yi, Paul Pettersson, Mats Daniels: Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258

Coauthor Index

1	Mikael Åkerholm	[42]
2	Tobias Amnell	[16] [22] [25] [29]
3	Gerd Behrmann	[16] [20] [21] [26] [38]
4	Johan Bengtsson	[6] [8] [9] [16] [23] [26]
5	Mikael Berndtsson	[46]
6	Johan Blom	[33]
7	Ed Brinksma	[21]
8	Jan Carlson	[37] [42]
9	Pedro R. D'Argenio	[16]
10	Mats Daniels	[1]
11	Alexandre David	[16] [26] [38] [39]
12	AnnMarie Ericsson	[46]
13	Ansgar Fehnker	[16] [20] [21]
14	Elena Fersman	[22] [24] [25] [28] [29] [36] [43]
15	Johan Fredriksson	[42]
16	W. O. David Griffioen	[9] [23]
17	Olga Grinchtein	[41]
18	John Håkansson	[37] [38] [39] [42] [45]
19	Hans Hansson	[42]
20	Martijn Hendriks	[38]
21	Anders Hessel	[30] [31] [32] [33] [40] [44] [47]
22	Thomas Hune	[16] [17] [19] [20] [21]
23	Bertrand Jeannet	[16]
24	Bengt Jonsson	[33] [41]
25	Hans Karlgren	[2] [3]
26	Jussi Karlgren	[2] [3]
27	Pavel Krcál	[43]
28	Kåre J. Kristoffersen	[9] [11] [23]
29	François Laroussinie	[11]
30	Kim Guldstrand Larsen	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [19] [20] [21] [23] [26] [27] [30] [31] [38] [39] [47]
31	Fredrik Larsson	[6] [8] [9] [12] [15] [23] [27]
32	Magnus Lindahl	[14] [18]
33	Marius Mikucionis	[47]
34	Leonid Mokrushin	[25] [28] [29] [36]
35	Anders Möller	[42]
36	M. Oliver Möller	[16]
37	Brian Nielsen	[30] [31] [47]
38	Magnus Nordström	[2] [3]
39	Judi Romijn	[20] [21]
40	Marco Seiriö	[46]
41	Arne Skou	[30] [31] [47]
42	Hongyan Sun	[22]
43	Massimo Tivoli	[42]
44	Frits W. Vaandrager	[20]
45	Bengt Wahrolén	[2] [3]
46	Carsten Weise	[16]
47	Wang Yi	[1] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [22] [23] [24] [25] [26] [27] [28] [29] [34] [35] [36] [38] [43]

Colors in the list of coauthors