UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

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 001 (CAV, 1996)

UPPAAL in 1995. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 1996)

Partial Order Reductions for Timed Systems. - Johan Bengtsson; Bengt Jonsson 001; Johan Lilius; Wang Yi 001 (CONCUR, 1998)

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; et al. (MOVEP, 2000)

UPPAAL Implementation Secrets. - Gerd Behrmann; Johan Bengtsson; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FTRTFT, 2002)

Force Control and Visual Servoing using Planar Surface Identification. - Tomas Olsson; Johan Bengtsson; Rolf Johansson 001; Henrik Malm (ICRA, 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 001 (J. Log. Algebraic Methods Program., 2002)

Timed Automata: Semantics, Algorithms and Tools. - Johan Bengtsson; Wang Yi 001 (Lectures on Concurrency and Petri Nets, 2003)

On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. - Johan Bengtsson; Wang Yi 001 (ICFEM, 2003)

Visual position tracking using dual quatemions with hand-eye motion constraints. - Tomas Olsson; Johan Bengtsson; Anders Robertsson; Rolf Johansson 001 (ICRA, 2003)

Control of homogeneous charge compression ignition (HCCI) engine dynamics. - Johan Bengtsson; Petter Strandh; Rolf Johansson 001; Per Tunestål; Bengt Johansson (ACC, 2004)

Modeling of HCCI engine combustion for control analysis. - Johan Bengtsson; Magnus Gäfvert; Petter Strandh (CDC, 2004)

Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics - a survey. - Johan Bengtsson; Petter Strandh; Rolf Johansson 001; Per Tunestål; Bengt Johansson (Int. J. Control, 2007)

Magnets for low Emittance Rings: An Overview. - Pierre Schnizer; Johan Bengtsson (IEEE DataPort, 2021)

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 (CAIN, 2022)