-
1
-
-
84958752919
-
TReX: A Tool for Reachability Analysis of Complex Systems
-
G. Berry, H. Comon, and A. Finkel, editors, Proceedings of CAV 2001, number 2102 Springer
-
A. Annichini, A. Bouajjani, and M. Sighireanu. TReX: A Tool for Reachability Analysis of Complex Systems. In G. Berry, H. Comon, and A. Finkel, editors, Proceedings of CAV 2001, number 2102 in LNCS. Springer, 2001.
-
(2001)
LNCS
-
-
Annichini, A.1
Bouajjani, A.2
Sighireanu, M.3
-
3
-
-
84957368769
-
Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing"
-
J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, Graz, Austria, September Springer
-
H. Dierks and C. Dietz. Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing". In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, volume 1313 of LNCS, pages 20-39, Graz, Austria, September 1997. Springer.
-
(1997)
LNCS
, vol.1313
, pp. 20-39
-
-
Dierks, H.1
Dietz, C.2
-
4
-
-
84896819101
-
HYTECH: A model checker for hybrid systems
-
December
-
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. STTT, 1(1+2):110-122, December 1997.
-
(1997)
STTT
, vol.1
, Issue.1-2
, pp. 110-122
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
5
-
-
0008671845
-
-
September
-
N.C. Heintze, J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. The CLP(R) Programmer's Manual, Version 1.2, September 1992.
-
(1992)
The CLP(R) Programmer's Manual, Version 1.2
-
-
Heintze, N.C.1
Jaffar, J.2
Michaylov, S.3
Stuckey, P.J.4
Yap, R.H.C.5
-
8
-
-
0001540660
-
Duration Calculus: Logical Foundations
-
M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. FAC, 9:283-330, 1997.
-
(1997)
FAC
, vol.9
, pp. 283-330
-
-
Hansen, M.R.1
Chaochen, Z.2
-
9
-
-
4243532938
-
Constraint logic programming: A survey
-
May-July
-
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503-582, May-July 1994.
-
(1994)
The Journal of Logic Programming
, vol.19-20
, pp. 503-582
-
-
Jaffar, J.1
Maher, M.J.2
-
10
-
-
0001870215
-
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
-
Kluwer Academic, November
-
F. Laroussinie and K.G. Larsen. CMC: A Tool for Compositional Model-Checking of Real-Time Systems. In Proceedings of IFIP Joint Int. Conf. Formal Description Techniques & Protocol Specification, Testing, and Verification (FORTE-PSTV'98), pages 439-456. Kluwer Academic, November 1998.
-
(1998)
Proceedings of IFIP Joint Int. Conf. Formal Description Techniques & Protocol Specification, Testing, and Verification (FORTE-PSTV'98)
, pp. 439-456
-
-
Laroussinie, F.1
Larsen, K.G.2
-
11
-
-
84958598850
-
Partition Refinement in Real-Time Model Checking
-
A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September Springer
-
R. Lutje Spelberg, H. Toetenel, and M. Ammerlaan. Partition Refinement in Real-Time Model Checking. In A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of LNCS, pages 143-157, Lyngby, Denmark, September 1998. Springer.
-
(1998)
LNCS
, vol.1486
-
-
Lutje Spelberg, R.1
Toetenel, H.2
Ammerlaan, M.3
-
12
-
-
35248818970
-
-
Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, (in German)
-
C. Mrugalla. Transformation of phase automata into timed automata. Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 2000. (in German).
-
(2000)
Transformation of Phase Automata into Timed Automata
-
-
Mrugalla, C.1
-
13
-
-
0009067912
-
Refining System Requirements to Program Specifications
-
C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, Wiley
-
E.-R. Olderog, A.P. Ravn, and J.U. Skakkebæk. Refining System Requirements to Program Specifications. In C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, volume 5 of Trends in Software, pages 107-134. Wiley, 1996.
-
(1996)
Trends in Software
, vol.5
, pp. 107-134
-
-
Olderog, E.-R.1
Ravn, A.P.2
Skakkebæk, J.U.3
-
14
-
-
35248873009
-
-
Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, (in German)
-
A. Schäfer. Fault tree analysis and real-time model-checking. Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 2001. (in German).
-
(2001)
Fault Tree Analysis and Real-time Model-checking
-
-
Schäfer, A.1
|