Paul Pettersson

	2009
58		Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson: REMES: A Resource Model for Embedded Systems. ICECCS 2009: 84-94
57		Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic: Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. ICSE 2009: 607-610
56		Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson: Analyzing a Pattern-Based Model of a Real-Time Turntable System. Electr. Notes Theor. Comput. Sci. 253(1): 161-178 (2009)
	2008
55		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		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		Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295
52		Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: CORCS 2008 Workshop Organization. COMPSAC 2008: 1296
51		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		Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson: Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111
49		Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
48		Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov: Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA 2008: 153-160
	2007
47		AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61
46		John Håkansson, Paul Pettersson: Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226
45		Anders Hessel, Paul Pettersson: A Global Algorithm for Model-Based Test Suite Generation. Electr. Notes Theor. Comput. Sci. 190(2): 47-59 (2007)
44		Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
43		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		Olga Grinchtein, Bengt Jonsson, Paul Pettersson: Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449
41		Anders Hessel, Paul Pettersson: Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131
40		Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
39		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
38		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		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		Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson: Specifying and Generating Test Cases Using Observer Automata. FATES 2004: 125-139
33		Anders Hessel, Paul Pettersson: A Test Case Generation Algorithm for Real-Time Systems. QSIC 2004: 268-273
	2003
32		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		Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
30		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		Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239
28		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		Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
26		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		Elena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82
24		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		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		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		Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001)
	2000
18		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		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		Fredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
	1998
14		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		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		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		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		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] [57]
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] [56]
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	Thomas Nolte	[57]
53	Magnus Nordström	[2] [3]
54	Dag Nyström	[57]
55	Anders Pettersson	[57]
56	Judi Romijn	[21] [22]
57	Norman F. Schneidewind	[49]
58	Cristina Cerschi Seceleanu	[50] [52] [53] [56] [58]
59	Marco Seiriö	[47]
60	Séverine Sentilles	[55] [57]
61	Krzysztof Sierszecki	[48]
62	Arne Skou	[31] [32] [51]
63	Davor Slutej	[54] [56]
64	Hongyan Sun	[23]
65	Jagadish Suryadevara	[56]
66	Chris B. Thomasen	[18]
67	Massimo Tivoli	[43]
68	Frits W. Vaandrager	[21]
69	Aneta Vulgarakis	[58]
70	Bengt Wahrolén	[2] [3]
71	Carsten Weise	[16]
72	W. Eric Wong	[49]
73	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