-
1
-
-
0010314272
-
Uppaal - Now, Next, and Future
-
F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors, in Lecture Notes in Computer Science, Springer-Verlag
-
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D’Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, and Wang Yi. Uppaal - Now, Next, and Future. In F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors, Modelling and Verification of Parallel Processes, number 2067 in Lecture Notes in Computer Science, pages 100-125. Springer-Verlag, 2001.
-
(2001)
Modelling and Verification of Parallel Processes
, Issue.2067
, pp. 100-125
-
-
Amnell, T.1
Behrmann, G.2
Bengtsson, J.3
D’Argenio, P.R.4
David, A.5
Fehnker, A.6
Hune, T.7
Jeannet, B.8
Larsen, K.G.9
Oliver Möller, M.10
Pettersson, P.11
Weise, C.12
Yi, W.13
-
2
-
-
84947923383
-
Model checking via reachability testing for timed automata
-
Bernhard Steffen, editor, Springer
-
Luca Aceto, Augusto Burgueno, and Kim G. Larsen. Model checking via reachability testing for timed automata. In Bernhard Steffen, editor, Proc. 4th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98), volume 1384 of Lecture Notes in Computer Science, pages 263-280. Springer, 1998.
-
(1998)
Proc. 4th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98), volume 1384 of Lecture Notes in Computer Science
, pp. 263-280
-
-
Aceto, L.1
Burgueno, A.2
Larsen, K.G.3
-
3
-
-
84863918586
-
Kronos: A model-Checking Tool for Real-Time Systems
-
Lecture Notes in Computer Science, Springer-Verlag
-
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. Kronos: A model-Checking Tool for Real-Time Systems. In Proc. of the 10th Int. Conf. on Computer Aided Verification, number 1427 in Lecture Notes in Computer Science, pages 546-550. Springer-Verlag, 1998.
-
(1998)
Proc. of the 10th Int. Conf. on Computer Aided Verification
, Issue.1427
, pp. 546-550
-
-
Bozga, M.1
Daws, C.2
Maler, O.3
Olivero, A.4
Tripakis, S.5
Yovine, S.6
-
6
-
-
3543102698
-
-
PhD thesis, Faculty of Science and Technology, Uppsala University
-
Johan Bengtsson. Clocks, DBMs and STates in Timed Systems. PhD thesis, Faculty of Science and Technology, Uppsala University, 2002.
-
(2002)
Clocks, DBMs and STates in Timed Systems
-
-
Bengtsson, J.1
-
7
-
-
84903129019
-
Efficient guiding towards cost-optimality in uppaal
-
Springer-Verlag
-
Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Larsen, Paul Petterson, and Judi Romijn. Efficient guiding towards cost-optimality in uppaal. In Proc. of TACAS’2001, Lecture Notes in Computer Science. Springer-Verlag, 2001.
-
(2001)
Proc. of TACAS’2001, Lecture Notes in Computer Science
-
-
Behrmann, G.1
Fehnker, A.2
Hune, T.S.3
Larsen, K.4
Petterson, P.5
Romijn, J.6
-
8
-
-
84957375295
-
Verification of an Audio Protocol with Bus Collision Using Uppaal
-
Rajeev Alur and Thomas A. Henzinger, editors, in Lecture Notes in Computer Science, Springer-Verlag, July
-
Johan Bengtsson, W.O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. In Rajeev Alur and Thomas A. Henzinger, editors, Proc. of the 8th Int. Conf. on Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 244-256. Springer-Verlag, July 1996.
-
(1996)
Proc. of the 8th Int. Conf. on Computer Aided Verification
, Issue.1102
, pp. 244-256
-
-
Bengtsson, J.1
David Griffioen, W.O.2
Kristoffersen, K.J.3
Larsen, K.G.4
Larsson, F.5
Pettersson, P.6
Yi, W.7
-
9
-
-
0000262694
-
Distributed timed model checking - How the search order matters
-
Lecture Notes in Computer Science, Chicago, Juli, Springer-Verlag
-
Gerd Behrmann, Thomas Hune, and Frits Vaandrager. Distributed timed model checking - How the search order matters. In Proc. of 12th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Chicago, Juli 2000. Springer-Verlag.
-
(2000)
Proc. of 12th International Conference on Computer Aided Verification
-
-
Behrmann, G.1
Hune, T.2
Vaandrager, F.3
-
10
-
-
84958764157
-
Uppaal in 1995
-
Lecture Notes in Computer Science, Springer-Verlag, March
-
nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes in Computer Science, pages 431-434. Springer-Verlag, March 1996.
-
(1996)
nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems
, Issue.1055
, pp. 431-434
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
11
-
-
84947274672
-
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
-
Lecture Notes in Computer Science. Springer-Verlag
-
Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. In Proc. of the 11th Int. Conf. on Computer Aided Verification, number 1633 in Lecture Notes in Computer Science. Springer-Verlag, 1999.
-
(1999)
Proc. of the 11th Int. Conf. on Computer Aided Verification
, Issue.1633
-
-
Behrmann, G.1
Larsen, K.G.2
Pearson, J.3
Weise, C.4
Yi, W.5
-
12
-
-
0022769976
-
Graph-Based Algorithms for Boolean Function Manipulation
-
Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Computers, 1986.
-
(1986)
IEEE Trans. on Computers
-
-
Bryant, R.E.1
-
16
-
-
84944099472
-
Timing Assumptions and Verification of Finite-State Concurrent Systems
-
J. Sifakis, editor, in Lecture Notes in Computer Science, Springer-Verlag
-
David Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In J. Sifakis, editor, Proc. of Automatic Verification Methods for Finite State Systems, number 407 in Lecture Notes in Computer Science, pages 197-212. Springer-Verlag, 1989.
-
(1989)
Proc. of Automatic Verification Methods for Finite State Systems
, Issue.407
, pp. 197-212
-
-
Dill, D.1
-
17
-
-
84947909489
-
Model checking of real-time reachability properties using abstractions
-
Bernard Steffen, editor, in Lecture Notes in Computer Science, Springer-Verlag
-
th Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1384 in Lecture Notes in Computer Science, pages 313-329. Springer-Verlag, 1998.
-
(1998)
th Workshop on Tools and Algorithms for the Construction and Analysis of Systems
, Issue.1384
, pp. 313-329
-
-
Daws, C.1
Tripakis, S.2
-
18
-
-
0029488677
-
Two examples of verification of multirate timed automata with Kronos
-
IEEE Computer Society Press, December
-
th IEEE Real-Time Systems Symposium, pages 66-75. IEEE Computer Society Press, December 1995.
-
(1995)
th IEEE Real-Time Systems Symposium
, pp. 66-75
-
-
Daws, C.1
Yovine, S.2
-
21
-
-
38149018119
-
Formal verification of a power controller using the real-time model checker uppaal
-
Klaus Havelund, Kim G. Larsen, and Arne Skou. Formal verification of a power controller using the real-time model checker uppaal. In Proceedings of AMST 1999, volume 1601 of Lecture Notes in Computer Science, pages 277-298, 1999.
-
(1999)
Proceedings of AMST 1999, volume 1601 of Lecture Notes in Computer Science
, pp. 277-298
-
-
Havelund, K.1
Larsen, K.G.2
Skou, A.3
-
22
-
-
0018005391
-
Communicating Sequential Processes
-
C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8): 666-677, 1978.
-
(1978)
Communications of the ACM
, vol.21
, Issue.8
, pp. 666-677
-
-
Hoare, C.A.R.1
-
24
-
-
18944406629
-
Modeling a language for embedded systems in timed automata
-
Technical Report RS-00-17, BRICS, Basic Research in computer Science, August
-
Thomas S. Hune. Modeling a language for embedded systems in timed automata. Technical Report RS-00-17, BRICS, Basic Research in computer Science, August 2000. 26 pp. Earlier version entitled Modelling a Real-Time Language appeared in FMICS99, pages 259-282.
-
(2000)
Earlier version entitled Modelling a Real-Time Language appeared in FMICS99
-
-
Hune, T.S.1
-
25
-
-
84884692204
-
Model-Checking Real-Time Control Programs -Verifying LEGO Mindstorms Systems Using uppaal
-
IEEE Computer Society Press, June
-
th Euromicro Conference on Real-Time Systems, pages 147-155. IEEE Computer Society Press, June 2000.
-
(2000)
th Euromicro Conference on Real-Time Systems
, pp. 147-155
-
-
Iversen, T.K.1
Kristoffersen, K.J.2
Larsen, K.G.3
Laursen, M.4
Madsen, R.G.5
Mortensen, S.K.6
Pettersson, P.7
Thomasen, C.B.8
-
26
-
-
84974707253
-
Scaling up Uppaal - Automatic verification of real-time systems using compositionality and abstraction
-
Henrik Ejersbo Jensen, Kim G. Larsen, and Arne Skou. Scaling up Uppaal - automatic verification of real-time systems using compositionality and abstraction. In Proceedings of FTRTFT 2000, volume 1926 of Lecture Notes in Computer Science, pages 19-30, 2000.
-
(2000)
Proceedings of FTRTFT 2000, volume 1926 of Lecture Notes in Computer Science
, pp. 19-30
-
-
Jensen, H.E.1
Larsen, K.G.2
Skou, A.3
-
27
-
-
84976735431
-
Tentative steps toward a development method for interfering programs
-
C. Jones. Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 5(4): 596-620, 1983.
-
(1983)
ACM Transactions on Programming Languages and Systems
, vol.5
, Issue.4
, pp. 596-620
-
-
Jones, C.1
-
28
-
-
0023288130
-
A Fast Mutual Exclusion Algorithm
-
February, Also appeared as SRC Research Report 7
-
Leslie Lamport. A Fast Mutual Exclusion Algorithm. ACM Trans. on Computer Systems, 5(1): 1-11, February 1987. Also appeared as SRC Research Report 7.
-
(1987)
ACM Trans. on Computer Systems
, vol.5
, Issue.1
, pp. 1-11
-
-
Lamport, L.1
-
33
-
-
84896693115
-
Uppaal in a Nutshell
-
October
-
Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2): 134-152, October 1997.
-
(1997)
Int. Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
34
-
-
0000052847
-
Clock Difference Diagrams
-
Kim G. Larsen, Carsten Weise, Wang Yi, and Justin Pearson. Clock Difference Diagrams. Nordic Journal of Computing, 6(3): 271-298, 1999.
-
(1999)
Nordic Journal of Computing
, vol.6
, Issue.3
, pp. 271-298
-
-
Larsen, K.G.1
Weise, C.2
Yi, W.3
Pearson, J.4
-
36
-
-
84956856293
-
Difference decision diagrams
-
Madrid, Spain, September
-
J. Møller, J. Lichtenberg, H. R. Andersen, and H. Hulgaard. Difference decision diagrams. In Proceedings 13th International Conference on Computer Science Logic, volume 1683 of Lecture Notes in Computer Science, pages 111-125, Madrid, Spain, September 1999.
-
(1999)
Proceedings 13th International Conference on Computer Science Logic, volume 1683 of Lecture Notes in Computer Science
, pp. 111-125
-
-
Møller, J.1
Lichtenberg, J.2
Andersen, H.R.3
Hulgaard, H.4
-
37
-
-
0042078746
-
Fully symbolic model checking of timed systems using difference decision diagrams
-
Trento, Italy, July
-
J. Møller, J. Lichtenberg, H. R. Andersen, and H. Hulgaard. Fully symbolic model checking of timed systems using difference decision diagrams. In Proceedings First International Workshop on Symbolic Model Checking, Trento, Italy, July 1999.
-
(1999)
Proceedings First International Workshop on Symbolic Model Checking, volume 23-2 of Electronic Notes in Theoretical Computer Science
-
-
Møller, J.1
Lichtenberg, J.2
Andersen, H.R.3
Hulgaard, H.4
-
38
-
-
0017173886
-
An Axiomatic Proof Technique for Parallel Programs I
-
S. Owicki and D. Gries. An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica, 6(4): 319-340, 1976.
-
(1976)
Acta Informatica
, vol.6
, Issue.4
, pp. 319-340
-
-
Owicki, S.1
Gries, D.2
|