Paul Pettersson

2008
55	EE	Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson: Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. ASE 2008: 493-494
54	EE	John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257
53	EE	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295
52	EE	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: CORCS 2008 Workshop Organization. COMPSAC 2008: 1296
51	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
50	EE	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111
49	EE	Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
48	EE	Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov: Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA 2008: 153-160
2007
47	EE	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61
46	EE	John Håkansson, Paul Pettersson: Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226
45	EE	Anders Hessel, Paul Pettersson: A Global Algorithm for Model-Based Test Suite Generation. Electr. Notes Theor. Comput. Sci. 190(2): 47-59 (2007)
44	EE	Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
43	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
42	EE	Olga Grinchtein, Bengt Jonsson, Paul Pettersson: Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449
41	EE	Anders Hessel, Paul Pettersson: Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131
40	EE	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
39	EE	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
38	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)
37	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
36		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
35		Paul Pettersson, Wang Yi: Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005)
2004
34	EE	Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson: Specifying and Generating Test Cases Using Observer Automata. FATES 2004: 125-139
33	EE	Anders Hessel, Paul Pettersson: A Test Case Generation Algorithm for Real-Time Systems. QSIC 2004: 268-273
2003
32	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
31	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
30	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
29	EE	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239
28	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
27	EE	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
26	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
25	EE	Elena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82
24	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)
23		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)
2001
22	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
21	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
20		Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
19	EE	Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001)
2000
18	EE	Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen: Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155
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	[43]
2	Tobias Amnell	[16] [23] [26] [30]
3	Christo Angelov	[48]
4	Gerd Behrmann	[16] [21] [22] [27] [39]
5	Johan Bengtsson	[6] [8] [9] [16] [24] [27]
6	Mikael Berndtsson	[47]
7	Johan Blom	[34]
8	Ed Brinksma	[22]
9	Jan Carlson	[38] [43] [54]
10	Ivica Crnkovic	[55]
11	Pedro R. D'Argenio	[16]
12	Mats Daniels	[1]
13	Alexandre David	[16] [27] [39] [40]
14	AnnMarie Ericsson	[47]
15	Ansgar Fehnker	[16] [21] [22]
16	Elena Fersman	[23] [25] [26] [29] [30] [37] [44]
17	Johan Fredriksson	[43]
18	W. O. David Griffioen	[9] [24]
19	Olga Grinchtein	[42]
20	John Håkansson	[38] [39] [40] [43] [46] [54] [55]
21	Hans Hansson	[43] [50] [52] [53]
22	Martijn Hendriks	[39]
23	Anders Hessel	[31] [32] [33] [34] [41] [45] [51]
24	Michael G. Hinchey (Mike Hinchey)	[49]
25	Thomas Hune	[16] [17] [20] [21] [22]
26	Torsten K. Iversen	[18]
27	Bertrand Jeannet	[16]
28	Bengt Jonsson	[34] [42]
29	Karama Kanoun	[49]
30	Hans Karlgren	[2] [3]
31	Jussi Karlgren	[2] [3]
32	Xu Ke	[48]
33	Pavel Krcál	[44]
34	Kåre J. Kristoffersen	[9] [11] [18] [24]
35	François Laroussinie	[11]
36	Kim Guldstrand Larsen	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [18] [20] [21] [22] [24] [27] [28] [31] [32] [39] [40] [51]
37	Fredrik Larsson	[6] [8] [9] [12] [15] [24] [28]
38	Morten Laursen	[18]
39	Magnus Lindahl	[14] [19]
40	Mikael Lindvall	[49]
41	Michael R. Lyu	[49]
42	Rune G. Madsen	[18]
43	Tiziana Margaria (Tiziana Margaria-Steffen)	[49]
44	Veena B. Mendiratta	[49]
45	Marius Mikucionis	[51]
46	Leonid Mokrushin	[26] [29] [30] [37]
47	Anders Möller	[43]
48	M. Oliver Möller	[16]
49	Aurelien Monot	[54]
50	Steffen K. Mortensen	[18]
51	Brian Nielsen	[31] [32] [51]
52	Magnus Nordström	[2] [3]
53	Judi Romijn	[21] [22]
54	Norman F. Schneidewind	[49]
55	Cristina Cerschi Seceleanu	[50] [52] [53]
56	Marco Seiriö	[47]
57	Séverine Sentilles	[55]
58	Krzysztof Sierszecki	[48]
59	Arne Skou	[31] [32] [51]
60	Davor Slutej	[54]
61	Hongyan Sun	[23]
62	Chris B. Thomasen	[18]
63	Massimo Tivoli	[43]
64	Frits W. Vaandrager	[21]
65	Bengt Wahrolén	[2] [3]
66	Carsten Weise	[16]
67	Eric Wong	[49]
68	Wang Yi	[1] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [19] [23] [24] [25] [26] [27] [28] [29] [30] [35] [36] [37] [39] [44]

Colors in the list of coauthors