-
2
-
-
85051228385
-
-
Last accessed on Nov. 2009
-
DIVINE project. http://divine.fi.muni.cz/. Last accessed on Nov. 2009.
-
DIVINE Project
-
-
-
3
-
-
84888242890
-
Preemptive Job-Shop SchedulingUsing Stopwatch Automata
-
Joost-Pieter Katoen & Perdita Stevens, editors, Springer-Verlag
-
Yasmina Abdeddäim & OdedMaler (2002): Preemptive Job-Shop SchedulingUsing Stopwatch Automata. In: Joost-Pieter Katoen & Perdita Stevens, editors: TACAS, Lecture Notes in Computer Science 2280. Springer- Verlag, pp. 113-126.
-
(2002)
TACAS, Lecture Notes in Computer Science 2280
, pp. 113-126
-
-
Abdeddäim, Y.1
Maler, O.2
-
4
-
-
0028413052
-
A Theory of Timed Automata
-
Rajeev Alur & David L. Dill (1994): A Theory of Timed Automata. Theor. Comput. Sci. 126(2), pp. 183-235.
-
(1994)
Theor. Comput. Sci
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
5
-
-
51549096502
-
Logics andModels of Real Time: A Survey
-
In: J.W. de Bakker, Cornelis Huizing, Willem P. de Roever & Grzegorz Rozenberg, editors, Springer-Verlag
-
Rajeev Alur & ThomasA. Henzinger (1991): Logics andModels of Real Time: A Survey. In: J.W. de Bakker, Cornelis Huizing, Willem P. de Roever & Grzegorz Rozenberg, editors: REX Workshop, Lecture Notes in Computer Science 600. Springer-Verlag, pp. 74-106.
-
(1991)
REX Workshop, Lecture Notes in Computer Science 600
, pp. 74-106
-
-
Alur, R.1
Henzinger ThomasA.2
-
6
-
-
33749594253
-
Cluster-Based LTL Model Checking of Large Systems
-
In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf & Willem P. de Roever, editors, Springer-Verlag
-
Jiri Barnat, Lubos Brim & Ivana Cerná (2005): Cluster-Based LTL Model Checking of Large Systems. In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf & Willem P. de Roever, editors: FMCO, Lecture Notes in Computer Science 4111. Springer-Verlag, pp. 259-279.
-
(2005)
FMCO, Lecture Notes in Computer Science 4111
, pp. 259-279
-
-
Barnat, J.1
Brim, L.2
Cerná, I.3
-
7
-
-
84958037228
-
UPPAAL - A Tool Suite for Automatic Verification of Real-Time Systems
-
In: Rajeev Alur, Thomas A. Henzinger & Eduardo D. Sontag, editors, Springer-Verlag
-
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson & Wang Yi (1995): UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In: Rajeev Alur, Thomas A. Henzinger & Eduardo D. Sontag, editors: Hybrid Systems, Lecture Notes in Computer Science 1066. Springer-Verlag, pp. 232-243.
-
(1995)
Hybrid Systems, Lecture Notes in Computer Science 1066
, pp. 232-243
-
-
Bengtsson, J.1
Guldstrand Larsen, K.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
8
-
-
35048861846
-
Timed Automata: Semantics, Algorithms and Tools
-
In: Jörg Desel, Wolfgang Reisig & Grzegorz Rozenberg, editors, Springer-Verlag
-
Johan Bengtsson & Wang Yi (2003): Timed Automata: Semantics, Algorithms and Tools. In: Jörg Desel, Wolfgang Reisig & Grzegorz Rozenberg, editors: Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science 3098. Springer-Verlag, pp. 87-124.
-
(2003)
Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science 3098
, pp. 87-124
-
-
Bengtsson, J.1
Yi, W.2
-
9
-
-
44649155854
-
Introducing Time in an Industrial Application of Model-Checking
-
In: Stefan Leue & Pedro Merino, editors, Springer-Verlag
-
Lionel van den Berg, Paul A. Strooper & Kirsten Winter (2007): Introducing Time in an Industrial Application of Model-Checking. In: Stefan Leue & Pedro Merino, editors: FMICS, Lecture Notes in Computer Science 4916. Springer-Verlag, pp. 56-67.
-
(2007)
FMICS, Lecture Notes in Computer Science 4916
, pp. 56-67
-
-
Van Den Berg, L.1
Strooper, P.A.2
Winter, K.3
-
10
-
-
84863757775
-
Parallel Model Checking
-
Lubos Brim (2004): Parallel Model Checking. ERCIM News 2004(58), pp. 35-36.
-
(2004)
ERCIM News
, vol.2004
, Issue.58
, pp. 35-36
-
-
Brim, L.1
-
11
-
-
84863769395
-
An Abstraction Technique for Real-time Verification
-
In: S. Ramesh & P. Sampath, editors, Springer-Verlag
-
Edmund M. Clarke, Flavio Lerda & Muralidhar Talupur (2007): An Abstraction Technique for Real-time Verification. In: S. Ramesh & P. Sampath, editors: Next Generation Desigh and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the General Motors Research and Development Workshop, Lecture Notes in Computer Science. Springer-Verlag, pp. 1-17.
-
(2007)
Next Generation Desigh and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the General Motors Research and Development Workshop, Lecture Notes in Computer Science
, pp. 1-17
-
-
Clarke, E.M.1
Lerda, F.2
Talupur, M.3
-
12
-
-
84944099472
-
Timing Assumptions and Verification of Finite-State Concurrent Systems
-
Joseph Sifakis, editor, Springer-Verlag
-
David L. Dill (1989): Timing Assumptions and Verification of Finite-State Concurrent Systems. In: Joseph Sifakis, editor: Automatic VerificationMethods for Finite State Systems, Lecture Notes in Computer Science 407. Springer-Verlag, pp. 197-212.
-
(1989)
Automatic VerificationMethods for Finite State Systems, Lecture Notes in Computer Science
, vol.407
, pp. 197-212
-
-
Dill, D.L.1
-
13
-
-
35048826323
-
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
-
In: Yassine Lakhnech & Sergio Yovine, editors, Springer-Verlag
-
Bruno Dutertre & Maria Sorea (2004): Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. In: Yassine Lakhnech & Sergio Yovine, editors: FORMATS/FTRTFT, Lecture Notes in Computer Science 3253. Springer-Verlag, pp. 199-214.
-
(2004)
FORMATS/FTRTFT, Lecture Notes in Computer Science 3253
, pp. 199-214
-
-
Dutertre, B.1
Sorea, M.2
-
14
-
-
84957102718
-
What Good Are Digital Clocks?
-
Werner Kuich, editor, Springer-Verlag
-
Thomas A. Henzinger, Zohar Manna & Amir Pnueli (1992): What Good Are Digital Clocks? In: Werner Kuich, editor: ICALP, Lecture Notes in Computer Science 623. Springer-Verlag, pp. 545-558.
-
(1992)
ICALP, Lecture Notes in Computer Science 623
, pp. 545-558
-
-
Henzinger, T.A.1
Manna, Z.2
Pnueli, A.3
-
16
-
-
35048885122
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
-
In: Kurt Jensen & Andreas Podelski, editors, Springer-Verlag
-
Pavel Krcál & Wang Yi (2004): Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In: Kurt Jensen & Andreas Podelski, editors: TACAS, Lecture Notes in Computer Science 2988. Springer-Verlag, pp. 236-250.
-
(2004)
TACAS, Lecture Notes in Computer Science 2988
, pp. 236-250
-
-
Krcál, P.1
Yi, W.2
-
17
-
-
33646426099
-
Real-Time Model Checking Is Really Simple
-
In: Dominique Borrione & Wolfgang J. Paul, editors, Springer-Verlag
-
Leslie Lamport (2005): Real-Time Model Checking Is Really Simple. In: Dominique Borrione & Wolfgang J. Paul, editors: CHARME, Lecture Notes in Computer Science 3725. Springer-Verlag, pp. 162-175.
-
(2005)
CHARME, Lecture Notes in Computer Science 3725
, pp. 162-175
-
-
Lamport, L.1
-
18
-
-
85051238003
-
Workflow Verification with DiVin e
-
Eindhoven, the Netherlands, November 2-6, 2009. Short paper
-
Nazia Leyla, Ahmed Mashiyat, Hao Wang & Wendy MacCaull (2009): Workflow Verification with DiVinE. In: Parallel and Distributed Methods in verifiCation, 8th InternationalWorkshop, PDMC 2009, Held as Part of the Formal Methods Week 2009, Eindhoven, the Netherlands, November 2-6, 2009. Short paper.
-
(2009)
Parallel and Distributed Methods in VerifiCation, 8th InternationalWorkshop, PDMC 2009, Held As Part of the Formal Methods Week 2009
-
-
Leyla, N.1
Mashiyat, A.2
Wang, H.3
Maccaull, W.4
-
20
-
-
0004156072
-
-
Ph.D. thesis, Department of Information and Computer Science, University of California, Irvine, CA
-
Philip M. Merlin (1974): A study of the recoverability of computing systems. Ph.D. thesis, Department of Information and Computer Science, University of California, Irvine, CA.
-
(1974)
A Study of the Recoverability of Computing Systems
-
-
Merlin, P.M.1
-
21
-
-
77954025496
-
Toward Web-based Careflow Management Systems
-
E-health: Towards System Interoperability through Process Integration and PerformanceManagement. Accepted
-
Keith Miller & Wendy MacCaull (2009): Toward Web-based Careflow Management Systems. Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue, E-health: Towards System Interoperability through Process Integration and PerformanceManagement. Accepted.
-
(2009)
Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue
-
-
Miller, K.1
Maccaull, W.2
-
22
-
-
35048827538
-
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
-
In: Jordi Cortadella & Wolfgang Reisig, editors, Springer-Verlag
-
Wojciech Penczek & Agata Pólrola (2004): Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. In: Jordi Cortadella & Wolfgang Reisig, editors: ICATPN, Lecture Notes in Computer Science 3099. Springer-Verlag, pp. 37-76.
-
(2004)
ICATPN, Lecture Notes in Computer Science 3099
, pp. 37-76
-
-
Penczek, W.1
Pólrola, A.2
-
23
-
-
0022075817
-
Depth-First Search is Inherently Sequential
-
John H. Reif (1985): Depth-First Search is Inherently Sequential. Inf. Process. Lett. 20(5), pp. 229-234.
-
(1985)
Inf. Process. Lett
, vol.20
, Issue.5
, pp. 229-234
-
-
Reif, J.H.1
-
24
-
-
0022987223
-
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
-
Moshe Y. Vardi & Pierre Wolper (1986): An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). In: LICS. IEEE Computer Society, pp. 332-344.
-
(1986)
LICS. IEEE Computer Society
, pp. 332-344
-
-
Vardi, M.Y.1
Wolper, P.2
-
26
-
-
85051185174
-
Timed Model Checking with Explicit-time Description Methods
-
Centre for Logic and Information, St. Francis Xavier University
-
Hao Wang & Wendy MacCaull (2009): Timed Model Checking with Explicit-time Description Methods. Technical Report StFX-CLI-TR-2009-03, Centre for Logic and Information, St. Francis Xavier University.
-
(2009)
Technical Report StFX-CLI-TR-2009-03
-
-
Wang, H.1
Maccaull, W.2
-
27
-
-
85051192933
-
Verifying Real-Time Systems using Explicit-time Description Methods
-
Eindhoven, the Netherlands, November 3, 2009
-
Hao Wang & Wendy MacCaull (2009): Verifying Real-Time Systems using Explicit-time Description Methods. In: 16th International Symposium on FormalMethodsWorkshop, Quantitative FormalMethods: Theory and Applications, QFM 2009, Eindhoven, the Netherlands, November 3, 2009.
-
(2009)
16th International Symposium on FormalMethodsWorkshop, Quantitative FormalMethods: Theory and Applications, QFM 2009
-
-
Wang, H.1
Maccaull, W.2
-
28
-
-
84896693998
-
KRONOS: A Verification Tool for Real-Time Systems
-
Sergio Yovine (1997): KRONOS: A Verification Tool for Real-Time Systems. STTT 1(1-2), pp. 123-133.
-
(1997)
STTT
, vol.1
, Issue.1-2
, pp. 123-133
-
-
Yovine, S.1
|