Johan Bengtsson

16 papers A* 3A 1B 2C 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice.
CoRR
Markus Borg, Johan Bengtsson, Harald Österling, Alexander Hagelborn, Isabella Gagner, Piotr Tomaszewski
2022 B conf
Quality assurance of generative dialog models in an evolving conversational agent used for Swedish language practice.
CAIN
Markus Borg, Johan Bengtsson, Harald Österling, Alexander Hagelborn, Isabella Gagner, Piotr Tomaszewski
2007 J jnl
Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics - a survey.
Int. J. Control
Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestål, Bengt Johansson
2004 C conf
Control of homogeneous charge compression ignition (HCCI) engine dynamics.
ACC
Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestål, Bengt Johansson
2004 — conf
Modeling of HCCI engine combustion for control analysis.
CDC
Johan Bengtsson, Magnus Gäfvert, Petter Strandh
2003 C conf
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.
ICFEM
Johan Bengtsson, Wang Yi
2003 — conf
Timed Automata: Semantics, Algorithms and Tools.
Lectures on Concurrency and Petri Nets
Johan Bengtsson, Wang Yi
2003 A* conf
Visual position tracking using dual quatemions with hand-eye motion constraints.
ICRA
Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson
2002 J jnl
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebraic Methods Program.
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2002 A* conf
Force Control and Visual Servoing using Planar Surface Identification.
ICRA
Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm
2002 — conf
UPPAAL Implementation Secrets.
FTRTFT
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2000 — conf
UPPAAL - Now, Next, and Future.
MOVEP
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
1998 B conf
Partial Order Reductions for Timed Systems.
CONCUR
Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
1996 A conf
UPPAAL in 1995.
TACAS
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1996 A* conf
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
CAV
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1995 — conf
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Hybrid Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi