The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kim Guldstrand Larsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kim Guldstrand Larsen
    Verification of Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:39-42 [Conf]
  2. Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
    Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:277-298 [Conf]
  3. Kim Guldstrand Larsen
    Modal Specifications. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:232-246 [Conf]
  4. Gérard Boudol, Kim Guldstrand Larsen
    Graphical versus Logical Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:57-71 [Conf]
  5. Kim Guldstrand Larsen
    Proof System for Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:215-230 [Conf]
  6. Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard, Kim Guldstrand Larsen
    Introducing synchronisation in deterministic network models. [Citation Graph (0, 0)][DBLP]
    CAINE, 2006, pp:236-243 [Conf]
  7. Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard, Kim Guldstrand Larsen
    Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2005, pp:326-332 [Conf]
  8. Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
    To Store or Not to Store. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:433-445 [Conf]
  9. Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Efficient Timed Reachability Analysis Using Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:341-353 [Conf]
  10. 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]
  11. Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
    Timed Modal Specification - Theory and Tools. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:253-267 [Conf]
  12. Uno Holmer, Kim Guldstrand Larsen, Wang Yi
    Deciding Properties of Regular Real Time Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:443-453 [Conf]
  13. Kim Guldstrand Larsen
    Efficient Local Correctness Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:30-43 [Conf]
  14. Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
    As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:493-505 [Conf]
  15. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    UPPAAL: Status & Developments. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:456-459 [Conf]
  16. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    Efficient On-the-Fly Algorithms for the Analysis of Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:66-80 [Conf]
  17. Franck Cassez, Kim Guldstrand Larsen
    The Impressive Power of Stopwatches. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:138-152 [Conf]
  18. Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen
    Model Construction for Implicit Specifications in Model Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:247-261 [Conf]
  19. François Laroussinie, Kim Guldstrand Larsen
    Compositional Model Checking of Real Time Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:27-41 [Conf]
  20. Kim Guldstrand Larsen
    Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:33-56 [Conf]
  21. Kim Guldstrand Larsen, Arne Skou
    Compositional Verification of Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:456-471 [Conf]
  22. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
    Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  23. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    The Methodology of Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:405-435 [Conf]
  24. Kim Guldstrand Larsen
    Resource-Efficient Scheduling for Real Time Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:16-19 [Conf]
  25. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
    Testing real-time embedded software using UPPAAL-TRON: an industrial case study. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:299-306 [Conf]
  26. Hans Hüttel, Kim Guldstrand Larsen
    The Use of Static Constructs in A Modal Process Logic. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:163-180 [Conf]
  27. Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
    Color-Blind Specifications for Transformations of Reactive Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:160-174 [Conf]
  28. Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
    Time-Optimal Real-Time Test Case Generation Using Uppaal. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:114-130 [Conf]
  29. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
    Online Testing of Real-time Systems Using Uppaal. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:79-94 [Conf]
  30. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    Model-Checking for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:62-88 [Conf]
  31. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    Interface Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:82-97 [Conf]
  32. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
    Priced Timed Automata: Algorithms and Applications. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:162-182 [Conf]
  33. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
    Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:81-94 [Conf]
  34. Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
    Model Checking Timed Automata with Priorities Using DBM Subtraction. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:128-142 [Conf]
  35. Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
    Adding Symmetry Reduction to Uppaal. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:46-59 [Conf]
  36. Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
    Time-Optimal Test Cases for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:234-245 [Conf]
  37. Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
    Generality in design and compositional verification using TAV. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:449-464 [Conf]
  38. François Laroussinie, Kim Guldstrand Larsen
    CMC: A Tool for Compositional Model-Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:439-456 [Conf]
  39. Kim Guldstrand Larsen, Jacob Illum Rasmussen
    Optimal Conditional Reachability for Multi-priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:234-249 [Conf]
  40. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
    Optimal Strategies in Priced Timed Game Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:148-160 [Conf]
  41. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
    Almost Optimal Strategies in One Clock Priced Timed Games. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:345-356 [Conf]
  42. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
    The Power of Reachability Testing for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:245-256 [Conf]
  43. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1992, pp:302-315 [Conf]
  44. Finn Verner Jensen, Kim Guldstrand Larsen
    Recursively Defined Domains and Their Induction Principles. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:225-245 [Conf]
  45. 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]
  46. Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
    Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:19-30 [Conf]
  47. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
    Minimum-Cost Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:147-161 [Conf]
  48. 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]
  49. Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
    Staying Alive as Cheaply as Possible. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:203-218 [Conf]
  50. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    Diagnostic Model-Checking for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:575-586 [Conf]
  51. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:604-615 [Conf]
  52. Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann
    Automatic Synthesis of Real Time Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:535-546 [Conf]
  53. Klaus Havelund, Kim Guldstrand Larsen
    The Fork Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:544-557 [Conf]
  54. Kim Guldstrand Larsen
    A Context Dependent Equivalence between Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:373-382 [Conf]
  55. Kim Guldstrand Larsen
    The Expressive Power of Implicit Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:204-216 [Conf]
  56. Kim Guldstrand Larsen, Robin Milner
    Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:126-135 [Conf]
  57. Kim Guldstrand Larsen, Liu Xinxin
    Compositionality Through an Operational Semantics of Contexts. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:526-539 [Conf]
  58. Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
    Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  59. Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
    T-UPPAAL: Online Model-based Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:396-397 [Conf]
  60. Bengt Jonsson, Kim Guldstrand Larsen
    Specification and Refinement of Probabilistic Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:266-277 [Conf]
  61. Kim Guldstrand Larsen, Bent Thomsen
    A Modal Process Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:203-210 [Conf]
  62. Kim Guldstrand Larsen, Liu Xinxin
    Equation Solving Using Modal Transition Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:108-117 [Conf]
  63. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:519-528 [Conf]
  64. François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
    From Timed Automata to Logic - and Back. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:529-539 [Conf]
  65. Kim Guldstrand Larsen, Bent Thomsen
    Compositional Proofs by Partial Specification of Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:414-423 [Conf]
  66. Kim Guldstrand Larsen, Wang Yi
    Time Abstracted Bisimiulation: Implicit Specifications and Decidability. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:160-176 [Conf]
  67. 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]
  68. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:3-12 [Conf]
  69. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
    Reachability Analysis of Probabilistic Systems by Successive Refinements. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:39-56 [Conf]
  70. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
    Reduction and Refinement Strategies for Probabilistic Analysis. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:57-76 [Conf]
  71. Kim Guldstrand Larsen, Arne Skou
    Bisimulation Through Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:344-352 [Conf]
  72. Klaus Havelund, Kim Guldstrand Larsen
    A refinement logic for the fork calculus. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:5-20 [Conf]
  73. Wang Yi, Kim Guldstrand Larsen
    Testing Probabilistic and Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:47-61 [Conf]
  74. Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
    Automatic verification of real-tim systems using epsilon. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:323-330 [Conf]
  75. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
    UPPAAL 4.0. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:125-126 [Conf]
  76. Kim Guldstrand Larsen
    Compositional Theories Based on an Operational Semantics of Contexts. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:487-518 [Conf]
  77. Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund
    Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:2-13 [Conf]
  78. Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Efficient verification of real-time systems: compact data structure and state-space reduction. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:14-24 [Conf]
  79. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    Compositional and Symbolic Model-Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:76-89 [Conf]
  80. Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero
    An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:815-820 [Conf]
  81. Glynn Winskel, Kim Guldstrand Larsen
    Using Information Systems to Solve Recursive Domain Equations Effectively. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:109-129 [Conf]
  82. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
    A Tutorial on Uppaal. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:200-236 [Conf]
  83. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    Unification & Sharing in Timed Automata Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:225-229 [Conf]
  84. Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen
    Model Checking via Reachability Testing for Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:263-280 [Conf]
  85. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:163-177 [Conf]
  86. Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
    Static Guard Analysis in Timed Automata Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:254-277 [Conf]
  87. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
    Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:312-326 [Conf]
  88. 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]
  89. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    A Constraint Oriented Proof Methodology Based on Modal Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:17-40 [Conf]
  90. Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
    Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:201-216 [Conf]
  91. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
    Resource-Optimal Scheduling Using Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:220-235 [Conf]
  92. Bengt Jonsson, Kim Guldstrand Larsen
    On the Complexity of Equation Solving in Process Algebra. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:381-396 [Conf]
  93. Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    A Compositional Proof of a Real-Time Mutual Exclusion Protocol. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:565-579 [Conf]
  94. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    A Tool Architecture for the Next Generation of Uppaal. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:352-366 [Conf]
  95. Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
    Practical Verification of Embedded Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:5, pp:68-75 [Journal]
  96. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
    Synthesis of Optimal Strategies Using HyTech. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:1, pp:11-31 [Journal]
  97. Martijn Hendriks, Kim Guldstrand Larsen
    Exact Acceleration of Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  98. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:2, pp:225-244 [Journal]
  99. Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
    Generality in Design and Compositional Verification Using TAV. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:3, pp:239-258 [Journal]
  100. Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
    Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:1, pp:5-23 [Journal]
  101. Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
    On using priced timed automata to achieve optimal scheduling. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:97-114 [Journal]
  102. Kim Guldstrand Larsen, Robin Milner
    A Compositional Protocol Verification Using Relativized Bisimulation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:99, n:1, pp:80-108 [Journal]
  103. Kim Guldstrand Larsen, Arne Skou
    Bisimulation through Probabilistic Testing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:94, n:1, pp:1-28 [Journal]
  104. Kim Guldstrand Larsen, Glynn Winskel
    Using Information Systems to Solve Recursive Domain Equations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:91, n:2, pp:232-258 [Journal]
  105. Kim Guldstrand Larsen, Wang Yi
    Time-abstracted Bisimulation: Implicit Specifications and Decidability. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:134, n:2, pp:75-101 [Journal]
  106. Zoltán Ésik, Kim Guldstrand Larsen
    Regular languages definable by Lindström quantifiers. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:3, pp:179-241 [Journal]
  107. 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]
  108. Kim Guldstrand Larsen, Liu Xinxin
    Compositionality through an Operational Semantics of Contexts. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:6, pp:761-795 [Journal]
  109. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Synthesizing Distinguishing Formulae for Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:3, pp:338-357 [Journal]
  110. Klaus Havelund, Kim Guldstrand Larsen
    The Fork Calculus. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:3, pp:346-363 [Journal]
  111. Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
    Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:43-64 [Journal]
  112. Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:271-298 [Journal]
  113. Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2003, v:25, n:2-3, pp:255-275 [Journal]
  114. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
    Optimal scheduling using priced timed automata. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:34-40 [Journal]
  115. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    UPPAAL in a Nutshell. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:134-152 [Journal]
  116. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:64-85 [Journal]
  117. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
    Lower and upper bounds in zone-based abstractions of timed automata. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:204-215 [Journal]
  118. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
    The power of reachability testing for timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:300, n:1-3, pp:411-475 [Journal]
  119. Gérard Boudol, Kim Guldstrand Larsen
    Graphical Versus Logical Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:106, n:1, pp:3-20 [Journal]
  120. Finn Verner Jensen, Kim Guldstrand Larsen
    Recursively Defined Doains and their Induction Principles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:29-51 [Journal]
  121. Kim Guldstrand Larsen
    A Context Dependent Equivalence Between Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:184-215 [Journal]
  122. Kim Guldstrand Larsen
    Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:72, n:2&3, pp:265-288 [Journal]
  123. Kim Guldstrand Larsen
    The Expressive Power of Implicit Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:119-147 [Journal]
  124. Kim Guldstrand Larsen, Bent Thomsen
    Partial Specifications and Compositional Verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:88, n:1, pp:15-32 [Journal]
  125. Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
    Timed Control with Observation Based and Stuttering Invariant Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:192-206 [Conf]
  126. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    UPPAAL-Tiga: Time for Playing Games! [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:121-125 [Conf]
  127. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    On Modal Refinement and Consistency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:105-119 [Conf]
  128. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    Modal I/O Automata for Interface and Product Line Theories. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:64-79 [Conf]
  129. Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
    Automatic Abstraction Refinement for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:114-129 [Conf]
  130. Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
    Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:227-240 [Conf]
  131. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
    Model-Checking One-Clock Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:108-122 [Conf]
  132. Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
    Complexity in Simplicity: Flexible Agent-Based State Space Exploration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:231-245 [Conf]

  133. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]


  134. A Game-Theoretic Approach to Real-Time System Testing. [Citation Graph (, )][DBLP]


  135. Scenario-based analysis and synthesis of real-time systems using uppaal. [Citation Graph (, )][DBLP]


  136. Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. [Citation Graph (, )][DBLP]


  137. Verifying Real-Time Systems against Scenario-Based Requirements. [Citation Graph (, )][DBLP]


  138. Model-Based GUI Testing Using Uppaal at Novo Nordisk. [Citation Graph (, )][DBLP]


  139. Infinite Runs in Weighted Timed Automata with Energy Constraints. [Citation Graph (, )][DBLP]


  140. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. [Citation Graph (, )][DBLP]


  141. Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]


  142. Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. [Citation Graph (, )][DBLP]


  143. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. [Citation Graph (, )][DBLP]


  144. Fast Directed Model Checking Via Russian Doll Abstraction. [Citation Graph (, )][DBLP]


  145. Teaching Concurrency: Theory in Practice. [Citation Graph (, )][DBLP]


  146. Verification and Performance Analysis for Embedded Systems. [Citation Graph (, )][DBLP]


  147. Testing Real-Time Systems Using UPPAAL. [Citation Graph (, )][DBLP]


  148. Model-based schedulability analysis of safety critical hard real-time Java programs. [Citation Graph (, )][DBLP]


  149. Timed Testing under Partial Observability. [Citation Graph (, )][DBLP]


  150. Symbolic and Compositional Reachability for Timed Automata. [Citation Graph (, )][DBLP]


  151. Model Checking One-clock Priced Timed Automata [Citation Graph (, )][DBLP]


  152. Cooperative Testing of Timed Systems. [Citation Graph (, )][DBLP]


  153. Discount-Optimal Infinite Runs in Priced Timed Automata. [Citation Graph (, )][DBLP]


  154. EXPTIME-complete Decision Problems for Modal and Mixed Specifications. [Citation Graph (, )][DBLP]


  155. Discounting in Time. [Citation Graph (, )][DBLP]


Search in 0.349secs, Finished in 0.356secs
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