-
1
-
-
0028413052
-
A theory of timed automata
-
Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183-235
-
(1994)
Theor Comput Sci
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
2
-
-
0027308411
-
Parametric real-time reasoning. In: Proceedings of the twentyfifth annual ACM symposium on theory of computing
-
ACM, New York
-
Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: Proceedings of the twentyfifth annual ACM symposium on theory of computing, STOC'93. ACM, New York, pp 592-601
-
(1993)
STOC
, vol.93
, pp. 592-601
-
-
Alur, R.1
Henzinger, T.A.2
Vardi, M.Y.3
-
4
-
-
70349559621
-
An inverse method for parametric timed automata
-
André É., Chatain Th, Encrenaz E, Fribourg L (2009) An inverse method for parametric timed automata. Int J Found Comput Sci 20(5):819-836
-
(2009)
Int J Found Comput Sci
, vol.20
, Issue.5
, pp. 819-836
-
-
André, É.1
Chatain, Th.2
Encrenaz, E.3
Fribourg, L.4
-
5
-
-
78049299101
-
Behavioral cartography of timed automata
-
Kučera A, Potapov I,Springer, Berlin
-
André É., Fribourg L (2010) Behavioral cartography of timed automata. In: Kučera A, Potapov I (eds) Proceedings of the 4th workshop on reachability problems in computational models (RP'10). Lecture notes in computer science, vol 6227. Springer, Berlin, pp 76-90
-
(2010)
Proceedings of the 4th Workshop on Reachability Problems in Computational Models (RP'10). Lecture Notes in Computer Science
, vol.6227
, pp. 76-90
-
-
André, É.1
Fribourg, L.2
-
6
-
-
84866000742
-
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems
-
Springer, Berlin
-
André É., Fribourg L, Kühne U, Soulat R (2012) IMITATOR 2.5: A tool for analyzing robustness in scheduling problems. In: 18th international symposium on formal methods (FM'12). Lecture notes in computer science, vol 7436. Springer, Berlin, pp 33-36
-
(2012)
18th International Symposium on Formal Methods (FM'12). Lecture Notes in Computer Science
, vol.7436
, pp. 33-36
-
-
André, É.1
Fribourg, L.2
Kühne, U.3
Soulat, R.4
-
7
-
-
78049266132
-
An extension of the inverse method to probabilistic timed automata
-
Roggenbach M,European Association of Software Science and Technology
-
André É., Fribourg L, Sproston J (2009) An extension of the inverse method to probabilistic timed automata. In: Roggenbach M (ed) AVoCS'09, electronic communications of the EASST, vol 23. European Association of Software Science and Technology
-
(2009)
AVoCS'09, Electronic Communications of the EASST
, vol.23
-
-
André, É.1
Fribourg, L.2
Sproston, J.3
-
8
-
-
56649094544
-
Computing expected absorption times for parametric determinate probabilistic timed automata
-
IEEE Comput Soc, Los Alamitos
-
Chamseddine N, Duflot M, Fribourg L, Picaronny C, Sproston J (2008) Computing expected absorption times for parametric determinate probabilistic timed automata. In: Proceedings of the 5th international conference on quantitative evaluation of systems (QEST'08). IEEE Comput Soc, Los Alamitos, pp 254- 263
-
(2008)
Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST'08).
, pp. 254-263
-
-
Chamseddine, N.1
Duflot, M.2
Fribourg, L.3
Picaronny, C.4
Sproston, J.5
-
9
-
-
24644502200
-
Symbolic and parametric model checking of discrete-Time Markov chains
-
Springer, Berlin
-
Daws C (2004) Symbolic and parametric model checking of discrete-time Markov chains. In: Proc. ICTAC'04. LNCS, vol 3407. Springer, Berlin, pp 280-294
-
(2004)
Proc. ICTAC'04. LNCS
, vol.3407
, pp. 280-294
-
-
Daws, C.1
-
11
-
-
67249124193
-
Approximate parameter synthesis for probabilistic time-Bounded reachability
-
IEEE Press,New York
-
Han T, Katoen JP, Mereacre A (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proc. RTSS'08. IEEE Press, New York, pp 173-182
-
(2008)
Proc. RTSS'08.
, pp. 173-182
-
-
Han, T.1
Katoen, J.P.2
Mereacre, A.3
-
12
-
-
33745802027
-
-
TACAS'06, LNCS, Springer, Berlin
-
Hinton A, Kwiatkowska M, Norman G, Parker D (2006) PRISM: a tool for automatic verification of probabilistic systems. In: TACAS'06, LNCS, vol 3920. Springer, Berlin, pp 441-444
-
(2006)
PRISM: A Tool for Automatic Verification of Probabilistic Systems
, vol.3920
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
15
-
-
70350459891
-
Stochastic games for verification of probabilistic timed automata
-
Springer, Berlin
-
Kwiatkowska M, Norman G, Parker D (2009) Stochastic games for verification of probabilistic timed automata. In: FORMATS'09. LNCS, vol 5813. Springer, Berlin, pp 212-227
-
(2009)
FORMATS'09. LNCS
, vol.5813
, pp. 212-227
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
16
-
-
33746043408
-
Performance analysis of probabilistic timed automata using digital clocks
-
DOI 10.1007/s10703-006-0005-2
-
Kwiatkowska M, Norman G, Parker D, Sproston J (2006) Performance analysis of probabilistic timed automata using digital clocks. Form Methods Syst Des 29:33-78 (Pubitemid 44075773)
-
(2006)
Formal Methods in System Design
, vol.29
, Issue.1
, pp. 33-78
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
Sproston, J.4
-
17
-
-
0037036274
-
Automatic verification of real-Time systems with discrete probability distributions
-
DOI 10.1016/S0304-3975(01)00046-9, PII S0304397501000469
-
Kwiatkowska M, Norman G, Segala R, Sproston J (2002) Automatic verification of real-time systems with discrete probability distributions. Theor Comput Sci 282:101-150 (Pubitemid 34715712)
-
(2002)
Theoretical Computer Science
, vol.282
, Issue.1
, pp. 101-150
-
-
Kwiatkowska, M.1
Norman, G.2
Segala, R.3
Sproston, J.4
-
18
-
-
84943236166
-
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol
-
Springer, Berlin
-
Kwiatkowska M, Norman G, Sproston J (2002) Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In: Proc. PAPM/PROBMIV'02. LNCS, vol 2399. Springer, Berlin, pp 169-187
-
(2002)
Proc. PAPM/PROBMIV'02. LNCS
, vol.2399
, pp. 169-187
-
-
Kwiatkowska, M.1
Norman, G.2
Sproston, J.3
-
19
-
-
0038413979
-
Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol
-
Kwiatkowska M, Norman G, Sproston J (2003) Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol. Form Asp Comput 14(3):295-318
-
(2003)
Form Asp Comput
, vol.14
, Issue.3
, pp. 295-318
-
-
Kwiatkowska, M.1
Norman, G.2
Sproston, J.3
-
20
-
-
84862908408
-
Symbolic model checking for probabilistic timed automata
-
DOI 10.1016/j.ic.2007.01.004, PII S0890540107000077
-
Kwiatkowska M, Norman G, Sproston J, Wang F (2007) Symbolic model checking for probabilistic timed automata. Inf Comput 205(7):1027-1077 (Pubitemid 46765041)
-
(2007)
Information and Computation
, vol.205
, Issue.7
, pp. 1027-1077
-
-
Kwiatkowska, M.1
Norman, G.2
Sproston, J.3
Wang, F.4
-
21
-
-
33947144573
-
Parametric probabilistic transition systems for system design and analysis
-
DOI 10.1007/s00165-006-0015-2
-
Lanotte R, Maggiolo-Schettini A, Troina A (2007) Parametric probabilistic transition systems for system design and analysis. Form Asp Comput 19(1):93-109 (Pubitemid 46407480)
-
(2007)
Formal Aspects of Computing
, vol.19
, Issue.1
, pp. 93-109
-
-
Lanotte, R.1
Maggiolo-Schettini, A.2
Troina, A.3
-
23
-
-
84902542320
-
-
PRISM Web page: Prism web page
-
PRISM Web page: Prism web page. http://www.prismmodelchecker.org/
-
-
-
|