Johan Bengtsson

2003
11	EE	Johan Bengtsson, Wang Yi: On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503
10		Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson: Visual position tracking using dual quatemions with hand-eye motion constraints. ICRA 2003: 3491-3496
9	EE	Johan Bengtsson, Wang Yi: Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets 2003: 87-124
2002
8	EE	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
7		Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm: Force Control and Visual Servoing using Planar Surface Identification. ICRA 2002: 4211-4216
6	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)
2000
5	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
1998
4	EE	Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi: Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500
1996
3		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
2		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
1995
1		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

Coauthor Index

1	Tobias Amnell	[5]
2	Gerd Behrmann	[5] [8]
3	Pedro R. D'Argenio	[5]
4	Alexandre David	[5] [8]
5	Ansgar Fehnker	[5]
6	W. O. David Griffioen	[3] [6]
7	Thomas Hune	[5]
8	Bertrand Jeannet	[5]
9	Rolf Johansson	[7] [10]
10	Bengt Jonsson	[4]
11	Kåre J. Kristoffersen	[3] [6]
12	Kim Guldstrand Larsen	[1] [2] [3] [5] [6] [8]
13	Fredrik Larsson	[1] [2] [3] [6]
14	Johan Lilius	[4]
15	Henrik Malm	[7]
16	M. Oliver Möller	[5]
17	Tomas Olsson	[7] [10]
18	Paul Pettersson	[1] [2] [3] [5] [6] [8]
19	Anders Robertsson	[10]
20	Carsten Weise	[5]
21	Wang Yi	[1] [2] [3] [4] [5] [6] [8] [9] [11]

Colors in the list of coauthors