-
2
-
-
1142294722
-
Standard ML of New Jersey
-
Springer Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming
-
A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming, Vol. 528 of Lecture Notes in Computer Science, pages 1-13. Springer, 1991.
-
(1991)
Lecture Notes in Computer Science
, vol.528
, pp. 1-13
-
-
Appel, A.W.1
MacQueen, D.B.2
-
3
-
-
84892317968
-
-
Bang & Olufsen. www.bang-olufsen.com.
-
-
-
-
5
-
-
35248862117
-
To store or not to store
-
Springer
-
G. Behrmann, K. G. Larsen, and R. Pelánek. To store or not to store. In Proc. of Computer-Aided Verification (CAV'03), Vol. 2725 of Lecture Notes in Computer Science, pages 433-445. Springer, 2003.
-
(2003)
Proc. of Computer-aided Verification (CAV'03), Vol. 2725 of Lecture Notes in Computer Science
, pp. 433-445
-
-
Behrmann, G.1
Larsen, K.G.2
Pelánek, R.3
-
6
-
-
0004009347
-
-
Society for Research into Higher Education and Open University Press, 2nd edition
-
J. Biggs. Teaching for Quality Learning at University. The Society for Research into Higher Education and Open University Press, 2nd edition, 2003.
-
(2003)
Teaching for Quality Learning at University
-
-
Biggs, J.1
-
8
-
-
0742307439
-
Exploiting equivalence reduction and the sweep-line method for detecting terminal states
-
J. Billington, G. Gallasch, L. M. Kristensen, and T. Mailund. Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans, 34(1):23-38, 2004.
-
(2004)
IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans
, vol.34
, Issue.1
, pp. 23-38
-
-
Billington, J.1
Gallasch, G.2
Kristensen, L.M.3
Mailund, T.4
-
11
-
-
84892310010
-
-
BRITNeY Suite homepage. wiki.cs.au.dk/britney/.
-
-
-
-
12
-
-
33750115329
-
Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks
-
IEEE Computer Society
-
J. Brøndsted and L. M. Kristensen. Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks. In Proc. of 39th Annual Simulation Symposium, pages 68-79. IEEE Computer Society, 2006.
-
(2006)
Proc. of 39th Annual Simulation Symposium
, pp. 68-79
-
-
Brøndsted, J.1
Kristensen, L.M.2
-
13
-
-
0022769976
-
Graph based algorithms for boolean function manipulation
-
R. E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
14
-
-
0003450426
-
-
Springer
-
B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, L. Petrucci A. Petit, and P. Schnoebelen. Systems and Software Verification. Springer, 2001.
-
(2001)
Systems and Software Verification
-
-
Bérard, B.1
Bidoit, M.2
Finkel, A.3
Laroussinie, F.4
Petrucci, L.5
Petit, A.6
Schnoebelen, P.7
-
18
-
-
84903134392
-
A sweep-line method for state space exploration
-
Springer
-
S. Christensen, L. M. Kristensen, and T. Mailund. A sweep-line method for state space exploration. In Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), Vol. 2031 of Lecture Notes in Computer Science, pages 450-464. Springer, 2001.
-
(2001)
Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), Vol. 2031 of Lecture Notes in Computer Science
, pp. 450-464
-
-
Christensen, S.1
Kristensen, L.M.2
Mailund, T.3
-
19
-
-
84947253941
-
Condensed state spaces for timed Petri nets
-
Springer
-
S. Christensen, L. M. Kristensen, and T. Mailund. Condensed state spaces for timed Petri nets. In Proc. of 22nd International Conference on Application and Theory of Petri Nets, Vol. 2075 of Notes in Computer Science, pages 101-120. Springer, 2001.
-
(2001)
Proc. of 22nd International Conference on Application and Theory of Petri Nets, Vol. 2075 of Notes in Computer Science
, pp. 101-120
-
-
Christensen, S.1
Kristensen, L.M.2
Mailund, T.3
-
20
-
-
84863922302
-
Symmetry reductions in model checking
-
Springer Proc. of Computer-aided Verification (CAV'98)
-
E. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla. Symmetry Reductions in Model Checking. In Proc. of Computer-Aided Verification (CAV'98), Vol. 1427 of Lecture Notes in Computer Science, pages 147-159. Springer, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1427
, pp. 147-159
-
-
Clarke, E.1
Emerson, E.A.2
Jha, S.3
Sistla, A.P.4
-
22
-
-
0022706656
-
Automatic verification of finite state concurrent systems using temporal logic
-
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
23
-
-
0030212139
-
Exploiting symmetries in temporal logic model checking
-
Kluwer Academic Publishers
-
E. M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting symmetries in temporal logic model checking. Formal Methods in System Design, 9 (1-2):77-104, Kluwer Academic Publishers, 1996.
-
(1996)
Formal Methods in System Design
, vol.9
, Issue.1-2
, pp. 77-104
-
-
Clarke, E.M.1
Enders, R.2
Filkorn, T.3
Jha, S.4
-
25
-
-
84892222902
-
-
CPN Tools homepage. www.cs.au.dk/CPNTools.
-
-
-
-
26
-
-
84892339791
-
-
CPN Group, at University of Aarhus, homepage. www.cs.au.dk/CPnets.
-
-
-
-
28
-
-
84892344406
-
-
Design/CPN homepage. www.daimi.au.dk/designCPN.
-
-
-
-
30
-
-
0002477281
-
Place/transition nets
-
Springer Lectures on Petri Nets I: Basic Models
-
J. Desel and W. Reisig. Place/transition Nets. In Lectures on Petri Nets I: Basic Models, Vol. 1491 of Lecture Notes in Computer Science, pages 122-173. Springer, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1491
, pp. 122-173
-
-
Desel, J.1
Reisig, W.2
-
32
-
-
84892200459
-
-
Edinburgh Concurrency Workbench homepage. www.dcs.ed.ac.uk/home/cwb/ index.html.
-
-
-
-
38
-
-
84969334919
-
Quantitative temporal reasoning
-
Springer
-
E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In Proc. of Computer-Aided Verification (CAV'90), Vol. 531 of Lecture Notes in Computer Science, pages 136-145. Springer, 1990.
-
(1990)
Proc. of Computer-aided Verification (CAV'90), Vol. 531 of Lecture Notes in Computer Science
, pp. 136-145
-
-
Emerson, E.A.1
Mok, A.K.2
Sistla, A.P.3
Srinivasan, J.4
-
39
-
-
0030215699
-
Symmetry and model checking
-
Kluwer Academic Publishers
-
E. A. Emerson and A. P. Sistla. Symmetry and model checking. Formal Methods in System Design, 9 (1-2):105-131, Kluwer Academic Publishers, 1996.
-
(1996)
Formal Methods in System Design
, vol.9
, Issue.1-2
, pp. 105-131
-
-
Emerson, E.A.1
Sistla, A.P.2
-
40
-
-
84892320407
-
-
Examples of Industrial Use of CP-nets. www.cs.au.dk/CPnets/industrialex.
-
-
-
-
41
-
-
84892353048
-
-
Formal Systems - FDR2. www.fsel.com/software.html.
-
-
-
-
43
-
-
84892341188
-
-
vsProc. of 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Department of Computer Science, University of Aarhus, DAIMI PB-560
-
v1G. E. Gallasch, L. M. Kristensen, and T. Mailund. Sweep-Line state space exploration for coloured Petri nets. In vsProc. of 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 101-120. Department of Computer Science, University of Aarhus, 2002. DAIMI PB-560.
-
(2002)
Sweep-line State Space Exploration for Coloured Petri Nets
, pp. 101-120
-
-
Kristensen, L.M.1
Mailund, T.2
-
45
-
-
0040629117
-
Predicate/transition nets
-
K. Jensen and G. Rozenberg eds., Springer
-
H. Genrich. Predicate/transition Nets. In K. Jensen and G. Rozenberg (eds.), High-level Petri Nets: Theory and Application, pages 3-43. Springer, 1991.
-
(1991)
High-level Petri Nets: Theory and Application
, pp. 3-43
-
-
Genrich, H.1
-
47
-
-
84995331101
-
A partial order approach to branching time logic model checking
-
IEEE
-
R. Gerth, R. Kuiper, D. Peled, and W. Penczek. A partial order approach to branching time logic model checking. In Proc. of 3rd Israel Symposium on the Theory of Computing and Systems, pages 130-140. IEEE, 1995.
-
(1995)
Proc. of 3rd Israel Symposium on the Theory of Computing and Systems
, pp. 130-140
-
-
Gerth, R.1
Kuiper, R.2
Peled, D.3
Penczek, W.4
-
48
-
-
84892284812
-
-
Gnuplot tool homepage. www.gnuplot.info.
-
-
-
-
50
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
57
-
-
0030211668
-
Better verification through symmetry
-
Kluwer Academic Publishers
-
C. N. Ip and D. L. Dill. Better verification through symmetry. Formal Methods in System Design, 9 (1-2):41-75, Kluwer Academic Publishers, 1996.
-
(1996)
Formal Methods in System Design
, vol.9
, Issue.1-2
, pp. 41-75
-
-
Ip, C.N.1
Dill, D.L.2
-
59
-
-
0000098171
-
Coloured Petri nets and the invariant method
-
K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317-336, 1981.
-
(1981)
Theoretical Computer Science
, vol.14
, pp. 317-336
-
-
Jensen, K.1
-
62
-
-
0030215698
-
Condensed state spaces for symmetrical coloured Petri nets
-
Kluwer Academic Publishers
-
K. Jensen. Condensed state spaces for symmetrical coloured Petri nets. Formal Methods in System Design, 9 (1-2):7-40, Kluwer Academic Publishers, 1996.
-
(1996)
Formal Methods in System Design
, vol.9
, Issue.1-2
, pp. 7-40
-
-
Jensen, K.1
-
73
-
-
37549010831
-
Model-based development of a course of action scheduling tool
-
L. M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell, and G. E. Gallasch. Model-based development of a course of action scheduling tool. In Proc. of 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools, DAIMI PB-579, pages 1-26, 2006.
-
(2006)
Proc. of 7th Workshop and Tutorial on Practical use of Coloured Petri Nets and CPN Tools, DAIMI PB-579
, pp. 1-26
-
-
Kristensen, L.M.1
Mechlenborg, P.2
Zhang, L.3
Mitchell, B.4
Gallasch, G.E.5
-
74
-
-
37549002868
-
Model-based development of a course of action scheduling tool
-
L. M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell, and G. E. Gallash. Model-based development of a course of action scheduling tool. International Journal on Software Tools for Technology Transfer, 10(1):5-14, 2007.
-
(2007)
International Journal on Software Tools for Technology Transfer
, vol.10
, Issue.1
, pp. 5-14
-
-
Kristensen, L.M.1
Mechlenborg, P.2
Zhang, L.3
Mitchell, B.4
Gallash, G.E.5
-
75
-
-
34250215844
-
Application of coloured Petri nets in system development
-
Springer
-
L. M. Kristensen, J. B. Jørgensen, and K. Jensen. Application of coloured Petri nets in system development. In Proc. of 4th Advanced Course on Petri Nets Lectures on Concurrency and Petri Nets - Advances in Petri Nets, Vol. 3098 of Lecture Notes in Computer Science, pages 626-685. Springer, 2004.
-
(2004)
Proc. of 4th Advanced Course on Petri Nets Lectures on Concurrency and Petri Nets - Advances in Petri Nets, Vol. 3098 of Lecture Notes in Computer Science
, pp. 626-685
-
-
Kristensen, L.M.1
Jørgensen, J.B.2
Jensen, K.3
-
76
-
-
84896693115
-
UppAal in a nutshell
-
K. G. Larsen, P. Petterson, and W. Yi. UppAal in a nutshell. International Journal on Software Tools for Technology Transfer, 1 (1+ 2):134-152, 1997.
-
(1997)
International Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.G.1
Petterson, P.2
Yi, W.3
-
79
-
-
33646190306
-
Exploiting stabilizers and parallelism in state space generation with the symmetry method
-
IEEE Computer Society
-
L. Lorentsen and L. M. Kristensen. Exploiting stabilizers and parallelism in state space generation with the symmetry method. In Proc. of ICACSD'01, pages 211-220. IEEE Computer Society, 2001.
-
(2001)
Proc. of ICACSD'01
, pp. 211-220
-
-
Lorentsen, L.1
Kristensen, L.M.2
-
80
-
-
84892354709
-
-
IETF MANET Working Group homepage. www.ietf.org/html.charters/manet- charter.html.
-
-
-
-
83
-
-
0003954103
-
-
Prentice Hall International Series in Computer Science. Prentice-Hall
-
R. Milner. Communication and Concurrency, Prentice Hall International Series in Computer Science. Prentice-Hall, 1989.
-
(1989)
Communication and Concurrency
-
-
Milner, R.1
-
88
-
-
84892297352
-
-
Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM
-
C. A. Petri. Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962.
-
(1962)
Kommunikation mit Automaten
, Issue.2
-
-
Petri, C.A.1
-
95
-
-
84892319536
-
-
SceneBeans homepage. www-dse.doc.ic.ac.uk/Software/SceneBeans/.
-
-
-
-
96
-
-
84892226721
-
-
SPIN tool homepage. spinroot.com/.
-
-
-
-
97
-
-
84892216403
-
-
The Standard ML Basis Library. www.standardml.org/Basis/, 2004.
-
(2004)
-
-
-
101
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
R. E. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal of Computing, 1(2):146-160, 1972.
-
(1972)
SIAM Journal of Computing
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.E.1
-
103
-
-
84892198753
-
-
VisualState homepage. www.iar.com.
-
-
-
-
108
-
-
38149024896
-
The Comback method - Extending hash compaction with backtracking
-
Springer
-
M. Westergaard, L. M. Kristensen, G. S. Brodal, and L. A. Arge. The Comback method - extending hash compaction with backtracking. In Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 4546 of Lecture Notes in Computer Science, pages 445-464. Springer, 2007.
-
(2007)
Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 4546 of Lecture Notes in Computer Science
, pp. 445-464
-
-
Westergaard, M.1
Kristensen, L.M.2
Brodal, G.S.3
Arge, L.A.4
-
112
-
-
3042705836
-
A coloured Petri net based tool for course of action development and analysis
-
Australian Computer Society
-
L. Zhang, L. M. Kristensen, C. Janczura, G. Gallasch, and J. Billington. A coloured Petri net based tool for course of action development and analysis. In Proc. of Workshop on Formal Methods Applied to Defence Systems, Vol. 12 of Conferences in Research and Practice in Information Technology, pages 125-134. Australian Computer Society, 2001.
-
(2001)
Proc. of Workshop on Formal Methods Applied to Defence Systems, Vol. 12 of Conferences in Research and Practice in Information Technology
, pp. 125-134
-
-
Zhang, L.1
Kristensen, L.M.2
Janczura, C.3
Gallasch, G.4
Billington, J.5
|