Johan Bengtsson

According to our database, Johan Bengtsson authored at least 16 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

2021

Magnets for low Emittance Rings: An Overview.

Pierre Schnizer, Johan Bengtsson

Dataset, November, 2021

2007

Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics - a survey.

Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestal, Bengt Johansson

Int. J. Control, 2007

2004

Modeling of HCCI engine combustion for control analysis.

Johan Bengtsson, Magnus Gäfvert, Petter Strandh

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Control of homogeneous charge compression ignition (HCCI) engine dynamics.

Johan Bengtsson, Petter Strandh, Rolf Johansson, Per Tunestal, Bengt Johansson

Proceedings of the 2004 American Control Conference, 2004

2003

Visual position tracking using dual quatemions with hand-eye motion constraints.

Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.

Johan Bengtsson, Wang Yi

Proceedings of the Formal Methods and Software Engineering, 2003

Timed Automata: Semantics, Algorithms and Tools.

Johan Bengtsson, Wang Yi

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Automated verification of an audio-control protocol using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

J. Log. Algebraic Methods Program., 2002

Force Control and Visual Servoing using Planar Surface Identification.

Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

UPPAAL Implementation Secrets.

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2000

UPPAAL - Now, Next, and Future.

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

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1998

Partial Order Reductions for Timed Systems.

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996

UPPAAL in 1995.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Hybrid Systems III: Verification and Control, 1995