Johan Bengtsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CAIN | Quality assurance of generative dialog models in an evolving conversational agent used for Swedish language practice. | Markus Borg, Johan Bengtsson, Harald sterling, Alexander Hagelborn, Isabella Gagner, Piotr Tomaszewski |
| 2003 | ICFEM | On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. | Johan Bengtsson, Wang Yi |
| 2003 | ICRA | Visual position tracking using dual quatemions with hand-eye motion constraints. | Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson |
| 2002 | ICRA | Force Control and Visual Servoing using Planar Surface Identification. | Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm |
| 1998 | CONCUR | Partial Order Reductions for Timed Systems. | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | TACAS | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |