The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johan Bengtsson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johan Bengtsson, Wang Yi
    Timed Automata: Semantics, Algorithms and Tools. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:87-124 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:244-256 [Conf]
  3. Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
    Partial Order Reductions for Timed Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:485-500 [Conf]
  4. Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    UPPAAL Implementation Secrets. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:3-22 [Conf]
  5. Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:232-243 [Conf]
  6. Johan Bengtsson, Wang Yi
    On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:491-503 [Conf]
  7. Tomas Olsson, Johan Bengtsson, Rolf Johansson, Henrik Malm
    Force Control and Visual Servoing using Planar Surface Identification. [Citation Graph (0, 0)][DBLP]
    ICRA, 2002, pp:4211-4216 [Conf]
  8. Tomas Olsson, Johan Bengtsson, Anders Robertsson, Rolf Johansson
    Visual position tracking using dual quatemions with hand-eye motion constraints. [Citation Graph (0, 0)][DBLP]
    ICRA, 2003, pp:3491-3496 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:99-124 [Conf]
  10. Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    UPPAAL in 1995. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:431-434 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:163-181 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002