-
1
-
-
84855985397
-
-
Institute for Logic, Language and Computation, University of Amsterdam
-
M. Aiello, H. van Benthem, A Modal Walk Through Space, Tech. rep., Institute for Logic, Language and Computation, University of Amsterdam, 2001.
-
(2001)
A Modal Walk Through Space, Tech. Rep.
-
-
Aiello, M.1
Van Benthem, H.2
-
2
-
-
0028413052
-
A theory of timed automata
-
R. Alur, D. L. Dill, A theory of timed automata, Theor. Comput. Sci. 126(2) (1994) 183-235.
-
(1994)
Theor. Comput. Sci.
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
3
-
-
0028202370
-
A really temporal logic
-
R. Alur, T. A. Henzinger, A really temporal logic, J. ACM 41(1) (1994) 181-204.
-
(1994)
J. ACM
, vol.41
, Issue.1
, pp. 181-204
-
-
Alur, R.1
Henzinger, T.A.2
-
4
-
-
35048862279
-
A tutorial on UPPAAL
-
M. Bernardo, F. Corradini Eds., Springer-Verlag, Berlin
-
G. Behrmann, A. David, K. G. Larsen, A tutorial on UPPAAL, in: M. Bernardo, F. Corradini (Eds.), Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Lecture Notes in Computer Science, vol. 3185, Springer-Verlag, Berlin, 2004, pp. 200-236.
-
(2004)
Formal Methods for the Design of Real-time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Lecture Notes in Computer Science
, vol.3185
, pp. 200-236
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
-
5
-
-
35048861846
-
Timed automata: Semantics, algorithms and tools
-
J. Desel, W. Reisig, G. Rozenberg Eds., Springer, Berlin
-
J. Bengtsson, W. Yi, Timed automata: semantics, algorithms and tools, in: J. Desel, W. Reisig, G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science, vol. 3098, Springer, Berlin, 2003, pp. 87-124.
-
(2003)
Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science
, vol.3098
, pp. 87-124
-
-
Bengtsson, J.1
Yi, W.2
-
6
-
-
0036839238
-
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
-
DOI 10.1023/A:1020083231504
-
B. Bennett, A. Cohn, F. Wolter, M. Zakharyaschev, Multi-dimensional multi-modal logics as a framework for spatio-temporal reasoning, Appl. Intell. 17(3) (2002) 239-251. (Pubitemid 35227963)
-
(2002)
Applied Intelligence
, vol.17
, Issue.3
, pp. 239-251
-
-
Bennett, B.1
Cohn, A.G.2
Wolter, F.3
Zakharyaschev, M.4
-
8
-
-
84863918586
-
Kronos: A model-checking tool for real-time systems
-
Computer Aided Verification
-
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine, Kronos: a model-checking tool for real-time systems, in: in: A. J. Hu, M. Y. Vardi (Eds.), Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, vol. 1427, Springer-Verlag, Berlin, 1998, pp. 546-550. (Pubitemid 128092373)
-
(1998)
Lecture Notes in Computer Science
, Issue.1427
, pp. 546-550
-
-
Bozga, M.1
Daws, C.2
Maler, O.3
Olivero, A.4
Tripakis, S.5
Yovine, S.6
-
9
-
-
0142121530
-
A spatial logic for concurrency
-
L. Caires, L. Cardelli, A spatial logic for concurrency, Inform. Comput. 186(2) (2003) 194-235.
-
(2003)
Inform. Comput.
, vol.186
, Issue.2
, pp. 194-235
-
-
Caires, L.1
Cardelli, L.2
-
11
-
-
0033726683
-
Anytime, anywhere: Modal logics for mobile ambients
-
ACM Press
-
L. Cardelli, A. D. Gordon, Anytime, anywhere: modal logics for mobile ambients, in: POPL 2000, ACM Press, 2000, pp. 365-377.
-
(2000)
POPL 2000
, pp. 365-377
-
-
Cardelli, L.1
Gordon, A.D.2
-
12
-
-
0026285434
-
A calculus of durations
-
Zhou Chaochen, C. Hoare, A. Ravn, A calculus of durations, IPL 40(5) (1991) 269-276.
-
(1991)
IPL
, vol.40
, Issue.5
, pp. 269-276
-
-
Chaochen, Z.1
Hoare, C.2
Ravn, A.3
-
13
-
-
0003365630
-
An extended duration calculus for hybrid real-time systems
-
R. L. Grossman, A. Nerode, A. P. Ravn, H. Rischel Eds., Springer, Berlin
-
Z. Chaochen, A. Ravn, M. Hansen, An extended duration calculus for hybrid real-time systems, in: R. L. Grossman, A. Nerode, A. P. Ravn, H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer, Berlin, 1993, pp. 36-59.
-
(1993)
Hybrid Systems, Lecture Notes in Computer Science
, vol.736
, pp. 36-59
-
-
Chaochen, Z.1
Ravn, A.2
Hansen, M.3
-
14
-
-
84944210484
-
The decidability of model checking mobile ambients
-
Computer Science Logic
-
W. Charatonik, J.-M. Talbot, The decidability of model checking mobile ambients, in: L. Fribourg (Ed.), CSL, Lecture Notes in Computer Science, vol. 2142, Springer, Berlin, 2001, pp. 339-354. (Pubitemid 33332648)
-
(2001)
Lecture Notes in Computer Science
, Issue.2142
, pp. 339-354
-
-
Charatonik, W.1
Talbot, J.-M.2
-
15
-
-
84945269845
-
The complexity of model checking mobile ambients
-
Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
-
W. Charatonik, S. Dal-Zilio, A. D. Gordon, S. Mukhopadhyay, J.-M. Talbot, The complexity of model checking mobile ambients, in: F. Honsell, M. Miculan (Eds.), FoSSaCS, Lecture Notes in Computer Science, vol. 2030, Springer, Berlin, 2001, pp. 152-167. (Pubitemid 33254628)
-
(2001)
Lecture Notes in Computer Science
, Issue.2030
, pp. 152-167
-
-
Charatonik, W.1
Zilio, S.D.2
Gordon, A.D.3
Mukhopadhyay, S.4
Talbot, J.-M.5
-
16
-
-
0142124718
-
Model checking mobile ambients
-
W. Charatonik, S. Dal-Zilio, A. D. Gordon, S. Mukhopadhyay, J.-M. Talbot, Model checking mobile ambients, Theor. Comput. Sci. 308 (1-3) (2003) 277-331.
-
(2003)
Theor. Comput. Sci.
, vol.308
, Issue.1-3
, pp. 277-331
-
-
Charatonik, W.1
Dal-Zilio, S.2
Gordon, A.D.3
Mukhopadhyay, S.4
Talbot, J.-M.5
-
17
-
-
0001828076
-
On axiomatizability within a system
-
W. Craig, On axiomatizability within a system, J. Symb. Log. 18(1) (1953) 30-32.
-
(1953)
J. Symb. Log.
, vol.18
, Issue.1
, pp. 30-32
-
-
Craig, W.1
-
19
-
-
0034920712
-
PLC-automata: A new class of implementable real-time automata
-
DOI 10.1016/S0304-3975(00)00089-X, PII S030439750000089X
-
H. Dierks, PLC-automata: a new class of implementable real-time automata, Theor. Comput. Sci. 253(1) (2000) 61-93. (Pubitemid 32666109)
-
(2001)
Theoretical Computer Science
, vol.253
, Issue.1
, pp. 61-93
-
-
Dierks, H.1
-
20
-
-
0029205167
-
Complete proof systems for first order interval temporal logic
-
B. Dutertre, Complete proof systems for first order interval temporal logic, in: LICS, IEEE Computer Society, 1995, pp. 36-43.
-
(1995)
LICS, IEEE Computer Society
, pp. 36-43
-
-
Dutertre, B.1
-
21
-
-
3543103196
-
Model checking for combined logics with an application to mobile systems
-
M. Franceschet, A. Montanari, M. de Rijke, Model checking for combined logics with an application to mobile systems, Autom. Softw. Eng. 11(3) (2004) 289-321.
-
(2004)
Autom. Softw. Eng.
, vol.11
, Issue.3
, pp. 289-321
-
-
Franceschet, M.1
Montanari, A.2
De Rijke, M.3
-
22
-
-
21044455480
-
Model-checking dense-time Duration Calculus
-
DOI 10.1007/s00165-004-0032-y
-
M. Fränzle, Model-checking dense-time duration calculus, Formal Asp. Comput. 16(2) (2004) 121-139. (Pubitemid 40871628)
-
(2004)
Formal Aspects of Computing
, vol.16
, Issue.2
, pp. 121-139
-
-
Franzle, M.1
-
23
-
-
0004295027
-
-
Oxford University Press, Oxford
-
D. M. Gabbay, Fibring Logics, Oxford University Press, Oxford, 1999.
-
(1999)
Fibring Logics
-
-
Gabbay, D.M.1
-
24
-
-
0007995277
-
-
Elsevier, Amsterdam
-
D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Elsevier, Amsterdam, 2003.
-
(2003)
Many-dimensional Modal Logics: Theory and Applications
-
-
Gabbay, D.1
Kurucz, A.2
Wolter, F.3
Zakharyaschev, M.4
-
25
-
-
25844495131
-
Towards a qualitative theory of movement
-
A. Galton, Towards a qualitative theory of movement, in: Spatial Information Theory, 1995, pp. 377-396.
-
(1995)
Spatial Information Theory
, pp. 377-396
-
-
Galton, A.1
-
26
-
-
0011975194
-
Handbook of formal languages-beyond words
-
Springer, Berlin
-
D. Giammarresi, A. Restivo, Handbook of formal languages-beyond words, in: Two-Dimensional Languages, vol. 3, Springer, Berlin, 1997, pp. 215-267.
-
(1997)
Two-dimensional Languages
, vol.3
, pp. 215-267
-
-
Giammarresi, D.1
Restivo, A.2
-
27
-
-
0001540660
-
Duration calculus: Logical foundations
-
M. R. Hansen, Zhou Chaochen, Duration calculus: logical foundations, Formal Asp. Comput. 9(1997) 283-330. (Pubitemid 127524208)
-
(1997)
Formal Aspects of Computing
, vol.9
, Issue.3
, pp. 283-330
-
-
Hansen, M.R.1
Chaochen, Z.2
-
29
-
-
0031354378
-
Formal modeling and analysis of an audio/video protocol: An industrial case study using uppaa
-
K. Havelund, A. Skou, K. G. Larsen, K. Lund, Formal modeling and analysis of an audio/video protocol: an industrial case study using uppaa., in: IEEE Real-Time Systems Symposium, IEEE Computer Society, 1997, pp. 2-13.
-
(1997)
IEEE Real-time Systems Symposium, IEEE Computer Society
, pp. 2-13
-
-
Havelund, K.1
Skou, A.2
Larsen, K.G.3
Lund, K.4
-
30
-
-
0026882867
-
Symbolic model checking for real-time systems
-
T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Symbolic model checking for real-time systems, in: LICS, IEEE Computer Society, 1992, pp. 394-406. (Pubitemid 23561993)
-
(1992)
Proceedings - Symposium on Logic in Computer Science
, pp. 394-406
-
-
Henzinger Thomas, A.1
Nicollin Xavier2
Sifakis Joseph3
Yovine Sergio4
-
32
-
-
84949528609
-
The UniForM Workbench, a universal development environment for formal methods
-
J. Wing, J. Woodcock, J. Davies Eds., Springer, Berlin
-
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, A. Baer, The UniForM Workbench, a universal development environment for formal methods, in: J. Wing, J. Woodcock, J. Davies (Eds.), FM'99-Formal Methods, Lecture Notes in Computer Science, vol. 1709, Springer, Berlin, 1999, pp. 1186-1205.
-
(1999)
FM'99-formal Methods, Lecture Notes in Computer Science
, vol.1709
, pp. 1186-1205
-
-
Krieg-Brückner, B.1
Peleska, J.2
Olderog, E.-R.3
Baer, A.4
-
33
-
-
84947910163
-
Formal Design and Analysis of a Gear Controller
-
Tools and Algorithms for the Construction and Analysis of Systems
-
M. Lindahl, P. Pettersson, W. Yi, Formal design and analysis of a gear controller, in: B. Steffen (Ed.), TACAS, Lecture Notes in Computer Science, vol. 1384, Springer, Berlin, 1998, pp. 281-297. (Pubitemid 128055550)
-
(1998)
Lecture Notes in Computer Science
, Issue.1384
, pp. 281-297
-
-
Lindahl, M.1
Pettersson, P.2
Yi, W.3
-
34
-
-
35248891026
-
A spatio-temporal logic for the specification and refinement of mobile systems
-
M. Pezzè Ed., Springer, Berlin
-
S. Merz, M. Wirsing, J. Zappe, A spatio-temporal logic for the specification and refinement of mobile systems, in: M. Pezzè (Ed.), FASE 2003, Warsaw, Poland, Lecture Notes in Computer Science, vol. 2621, Springer, Berlin, 2003, pp. 87-1014.
-
(2003)
FASE 2003, Warsaw, Poland, Lecture Notes in Computer Science
, vol.2621
, pp. 87-1014
-
-
Merz, S.1
Wirsing, M.2
Zappe, J.3
-
36
-
-
33845927370
-
Specifying and deciding quantified discrete-time duration calculus formulae using dcvalid
-
P. Pandya, Specifying and deciding quantified discrete-time duration calculus formulae using dcvalid, Tech. rep., Tata Institute of Fundamental Research (2000).
-
(2000)
Tech. Rep., Tata Institute of Fundamental Research
-
-
Pandya, P.1
-
37
-
-
84958624929
-
Duration calculus of weakly monotonic time
-
Format Techniques in Real-Time and Fault-Tolerant Systems
-
P. K. Pandya, D. V. Hung, Duration calculus of weakly monotonic time, in: A. P. Ravn, H. Rischel (Eds.), FTRTFT'98, Lyngby, Denmark, vol. 1998, Lecture Notes in Computer Science, Springer, Berlin, 1998, pp. 55-64. (Pubitemid 128134925)
-
(1998)
Lecture Notes in Computer Science
, Issue.1486
, pp. 55-64
-
-
Pandya, P.K.1
Van Hung, D.2
-
39
-
-
0001930291
-
A spatial logic based on regions and connection
-
B. Nebel, C. Rich, W. Swartout Eds.
-
D. A. Randell, Z. Cui, A. Cohn, A spatial logic based on regions and connection, in: B. Nebel, C. Rich, W. Swartout (Eds.), KR'92, Morgan Kaufmann, San Mateo, California, 1992, pp. 165-176.
-
(1992)
KR'92, Morgan Kaufmann, San Mateo, California
, pp. 165-176
-
-
Randell, D.A.1
Cui, Z.2
Cohn, A.3
-
40
-
-
0022012413
-
A multiprocess network logic with temporal and spatial modalities
-
DOI 10.1016/0022-0000(85)90003-0
-
J. H. Reif, A. P. Sistla, A multiprocess network logic with temporal and spatial modalities, J. Comput. Syst. Sci. 30(1) (1985) 41-53. (Pubitemid 15480823)
-
(1985)
Journal of Computer and System Sciences
, vol.30
, Issue.1
, pp. 41-53
-
-
Reif, J.1
Sistla, A.P.2
-
42
-
-
24644482400
-
A calculus for shapes in time and space
-
Z. Liu, K. Araki Eds., Springer
-
A. Schäfer, A calculus for shapes in time and space, in: Z. Liu, K. Araki (Eds.), Theoretical Aspects of Computing, ICTAC 2004, Lecture Notes in Computer Science, vol. 3407, Springer, 2005, pp. 463-478.
-
(2005)
Theoretical Aspects of Computing, ICTAC 2004, Lecture Notes in Computer Science
, vol.3407
, pp. 463-478
-
-
Schäfer, A.1
-
43
-
-
33845930873
-
Axiomatisation and decidability of multi-dimensional duration calculus
-
J. Chomicki, D. Toman Eds.
-
A. Schäfer, Axiomatisation and decidability of multi-dimensional duration calculus, in: J. Chomicki, D. Toman (Eds.), Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, IEEE Computer Society, 2005, pp. 122-130.
-
(2005)
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, IEEE Computer Society
, pp. 122-130
-
-
Schäfer, A.1
-
44
-
-
84856012123
-
The spatial logic model checker user's manual
-
H. Vieira, L. Caires, The spatial logic model checker user's manual, Tech. rep., Departamento de Informatica, FCT/UNL, tR-DI/FCT/UNL-03/2004(2005).
-
(2005)
Tech. Rep., Departamento de Informatica, FCT/UNL, TR-DI/FCT/UNL-03/2004
-
-
Vieira, H.1
Caires, L.2
|