Johan Bengtsson

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 2

Top Topics

Conversational Agent

Natural Language Interfaces

Quality Assurance

Probabilistic Model

Top Venues

Publications

Markus Borg, Johan Bengtsson, Harald Österling, Alexander Hagelborn, Isabella Gagner, Piotr Tomaszewski
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice. CoRR (2022)
Markus Borg, Johan Bengtsson, Harald Österling, Alexander Hagelborn, Isabella Gagner, Piotr Tomaszewski
Quality assurance of generative dialog models in an evolving conversational agent used for Swedish language practice. CAIN (2022)
Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestal, Bengt Johansson
Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics - a survey. Int. J. Control 80 (11) (2007)
Johan Bengtsson, Magnus Gäfvert, Petter Strandh
Modeling of HCCI engine combustion for control analysis. CDC (2004)
Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestal, Bengt Johansson
Control of homogeneous charge compression ignition (HCCI) engine dynamics. ACC (2004)
Johan Bengtsson, Wang Yi
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM (2003)
Johan Bengtsson, Wang Yi
Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets (2003)
Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson
Visual position tracking using dual quatemions with hand-eye motion constraints. ICRA (2003)
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. Algebraic Methods Program. (2002)
Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm
Force Control and Visual Servoing using Planar Surface Identification. ICRA (2002)
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
UPPAAL Implementation Secrets. FTRTFT (2002)
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)
Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
Partial Order Reductions for Timed Systems. CONCUR (1998)
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)
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
UPPAAL in 1995. TACAS (1996)
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)