Search the dblp DataBase
Johan Bengtsson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Johan Bengtsson , Wang Yi Timed Automata: Semantics, Algorithms and Tools. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:87-124 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:244-256 [Conf ] Johan Bengtsson , Bengt Jonsson , Johan Lilius , Wang Yi Partial Order Reductions for Timed Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 1998, pp:485-500 [Conf ] Gerd Behrmann , Johan Bengtsson , Alexandre David , Kim Guldstrand Larsen , Paul Pettersson , Wang Yi UPPAAL Implementation Secrets. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2002, pp:3-22 [Conf ] Johan Bengtsson , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1995, pp:232-243 [Conf ] Johan Bengtsson , Wang Yi On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP ] ICFEM, 2003, pp:491-503 [Conf ] Tomas Olsson , Johan Bengtsson , Rolf Johansson , Henrik Malm Force Control and Visual Servoing using Planar Surface Identification. [Citation Graph (0, 0)][DBLP ] ICRA, 2002, pp:4211-4216 [Conf ] Tomas Olsson , Johan Bengtsson , Anders Robertsson , Rolf Johansson Visual position tracking using dual quatemions with hand-eye motion constraints. [Citation Graph (0, 0)][DBLP ] ICRA, 2003, pp:3491-3496 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] MOVEP, 2000, pp:99-124 [Conf ] Johan Bengtsson , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi UPPAAL in 1995. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:431-434 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2002, v:52, n:, pp:163-181 [Journal ] Search in 0.001secs, Finished in 0.002secs