-
1
-
-
0030615525
-
Model-checking of real-time systems: A telecommunications application
-
Boston, Massachusetts, USA
-
R. Alur, L. Jagadeesan, J.J. Kott, J.E. von Olnhausen, Model-checking of real-time systems: a telecommunications application, in: Proc. 19th Internat. Conf. on Software Engineering, Boston, Massachusetts, USA, 1997, pp. 514-524.
-
(1997)
Proc. 19th Internat. Conf. on Software Engineering
, pp. 514-524
-
-
Alur, R.1
Jagadeesan, L.2
Kott, J.J.3
Von Olnhausen, J.E.4
-
2
-
-
58149326570
-
Axiomatizing probabilistic processes: ACP with generative probabilities
-
Baeten J.C.M., Bergstra J.A., Smolka S.A. Axiomatizing probabilistic processes. ACP with generative probabilities Inform. Comput. 121(2):1995;234-255.
-
(1995)
Inform. Comput.
, vol.121
, Issue.2
, pp. 234-255
-
-
Baeten, J.C.M.1
Bergstra, J.A.2
Smolka, S.A.3
-
3
-
-
84951056897
-
Symbolic model checking for probabilistic processes
-
Proc. 24th Internat. Coll. on Automata Languages and Programming, Springer, Berlin
-
C. Baier, E. Clark, V. Hartonas-Garmhausen, M. Kwiatkowska, M. Ryan, Symbolic model checking for probabilistic processes, in: Proc. 24th Internat. Coll. on Automata Languages and Programming, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997, pp. 430-440.
-
(1997)
Lecture Notes in Computer Science
, vol.1256
, pp. 430-440
-
-
Baier, C.1
Clark, E.2
Hartonas-Garmhausen, V.3
Kwiatkowska, M.4
Ryan, M.5
-
4
-
-
84958037228
-
UppAal: A tool suite for automatic verification of real-time systems
-
R. Alur, T. Henzinger, & E. Sontag. Hybrid Systems III. Berlin: Springer
-
Bengtsson J., Larsen K.G., Larsson F., Pettersson P., Yi W. UppAal. a tool suite for automatic verification of real-time systems Alur R., Henzinger T., Sontag E. Hybrid Systems III. Lecture Notes in Computer Science. Vol. 1066:1996;232-243 Springer, Berlin.
-
(1996)
Lecture Notes in Computer Science
, vol.1066
, pp. 232-243
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
5
-
-
21844505024
-
Model checking of probabilistic and nondeterministic systems
-
Thiagarajan P.S. Proc. 15th Ann. Conf. on Foundations of Software Technology and Theoretical Computer Science. Berlin: Springer
-
Bianco A., de Alfaro L. Model checking of probabilistic and nondeterministic systems. Thiagarajan P.S. Proc. 15th Ann. Conf. on Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science. Vol. 1026:1995;499-513 Springer, Berlin.
-
(1995)
Lecture Notes in Computer Science
, vol.1026
, pp. 499-513
-
-
Bianco, A.1
De Alfaro, L.2
-
6
-
-
0030654305
-
Bisimulation for labelled Markov processes
-
Warsaw, Poland
-
R. Blute, J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for labelled Markov processes, in: Proc. 12th IEEE Symp. on Logic in Computer Science, Warsaw, Poland, 1997.
-
(1997)
Proc. 12th IEEE Symp. on Logic in Computer Science
-
-
Blute, R.1
Desharnais, J.2
Edalat, A.3
Panangaden, P.4
-
7
-
-
85027609786
-
Testing preorders for probabilistic processes
-
W. Kuich. Automata, Languages and Programming (ICALP 92). Berlin: Springer
-
Cleaveland R., Smolka S., Zwarico A. Testing preorders for probabilistic processes. Kuich W. Automata, Languages and Programming (ICALP 92). Lecture Notes in Computer Science. Vol. 623:1992;708-719 Springer, Berlin.
-
(1992)
Lecture Notes in Computer Science
, vol.623
, pp. 708-719
-
-
Cleaveland, R.1
Smolka, S.2
Zwarico, A.3
-
8
-
-
84976740260
-
The complexity of probabilistic verification
-
Courcoubetis C., Yannakakis M. The complexity of probabilistic verification. J. ACM. 42(4):1995;857-907.
-
(1995)
J. ACM
, vol.42
, Issue.4
, pp. 857-907
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
10
-
-
2442609042
-
-
private communication.
-
L. de Alfaro, private communication.
-
-
-
De Alfaro, L.1
-
11
-
-
0001825813
-
Diagnosis with behavioral modes
-
Detroit, Michigan, USA, August
-
J. de Kleer, B.C. Williams, Diagnosis with behavioral modes, in: Proc. 11th Internat. Joint Conf. on Artificial Intelligence, Detroit, Michigan, USA, August 1989, pp. 1324-1330.
-
(1989)
Proc. 11th Internat. Joint Conf. on Artificial Intelligence
, pp. 1324-1330
-
-
De Kleer, J.1
Williams, B.C.2
-
13
-
-
2442598509
-
Logical characterization of simulation for Markov chains
-
M. Kwiatkowska (Ed.), The University of Birmingham, available as TR: CSR-99-8
-
J. Desharnais, Logical characterization of simulation for Markov chains, in: M. Kwiatkowska (Ed.), Probmiv99, Proc. Second Internat. Workshop on Probabilistic Methods in Verification, The University of Birmingham, 1999, pp. 33-48, available as TR: CSR-99-8.
-
(1999)
Probmiv99, Proc. Second Internat. Workshop on Probabilistic Methods in Verification
, pp. 33-48
-
-
Desharnais, J.1
-
14
-
-
85022932854
-
A logical characterization of bisimulation for labelled Markov processes
-
Indianapolis, IEEE Press, New York, June
-
J. Desharnais, A. Edalat, P. Panangaden, A logical characterization of bisimulation for labelled Markov processes, in: Proc. 13th IEEE Symp. on Logic in Computer Science, Indianapolis, IEEE Press, New York, June 1998, pp. 478-489.
-
(1998)
Proc. 13th IEEE Symp. on Logic in Computer Science
, pp. 478-489
-
-
Desharnais, J.1
Edalat, A.2
Panangaden, P.3
-
16
-
-
84888220414
-
Metrics for labeled Markov systems
-
Proc. CONCUR99, Springer, Berlin
-
J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Metrics for labeled Markov systems, in: Proc. CONCUR99, Lecture Notes in Computer Science, Springer, Berlin, 1999.
-
(1999)
Lecture Notes in Computer Science
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
17
-
-
0033698747
-
Approximation of labeled Markov processes
-
IEEE Computer Society Press, Silver Spring, MD, June
-
J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Approximation of labeled Markov processes, in: Proc. 15th Ann. IEEE Symp. on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, June 2000, pp. 95-106.
-
(2000)
Proc. 15th Ann. IEEE Symp. on Logic in Computer Science
, pp. 95-106
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
18
-
-
0036052667
-
The metric analogue of weak bisimulation for labelled Markov processes
-
Copenhagen, Denmark, July
-
J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, The metric analogue of weak bisimulation for labelled Markov processes, in: Proc. 17th Ann. IEEE Symp. on Logic in Computer Science, Copenhagen, Denmark, July 2002, pp. 413-422.
-
(2002)
Proc. 17th Ann. IEEE Symp. on Logic in Computer Science
, pp. 413-422
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
19
-
-
0038804142
-
Approximating labeled Markov processes
-
Desharnais J., Gupta V., Jagadeesan R., Panangaden P. Approximating labeled Markov processes. Inform. Comput. 184(1):2003;160-200.
-
(2003)
Inform. Comput.
, vol.184
, Issue.1
, pp. 160-200
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
20
-
-
0001437652
-
Bisimulation for probabilistic transition systems: A coalgebraic approach
-
de Vink E., Rutten J.J.M.M. Bisimulation for probabilistic transition systems. a coalgebraic approach Theoret. Comput. Sci. 221(1/2):1999;271-293.
-
(1999)
Theoret. Comput. Sci.
, vol.221
, Issue.1-2
, pp. 271-293
-
-
De Vink, E.1
Rutten, J.J.M.M.2
-
24
-
-
0004293978
-
Mathematical physics
-
Chicago: University of Chicago Press
-
Geroch R. Mathematical Physics. Chicago Lectures in Physics. 1985;University of Chicago Press, Chicago.
-
(1985)
Chicago Lectures in Physics
-
-
Geroch, R.1
-
25
-
-
0002741096
-
Algebraic reasoning for probabilistic concurrent systems
-
IFIP TC2, Sea of Galilee, Israel
-
A. Giacalone, C. Jou, S. Smolka, Algebraic reasoning for probabilistic concurrent systems, in: Proc. Working Conf. Programming Concepts and Methods, IFIP TC2, Sea of Galilee, Israel, 1990.
-
(1990)
Proc. Working Conf. Programming Concepts and Methods
-
-
Giacalone, A.1
Jou, C.2
Smolka, S.3
-
26
-
-
84957627066
-
Robust timed automata
-
O. Maler. Hybrid and Real-Time Systems. March; Berlin: Springer
-
Gupta V., Henzinger T.A., Jagadeesan R. Robust timed automata. Maler O. Hybrid and Real-Time Systems. Lecture Notes in Computer Science. Vol. 1201:March 1997;331-345 Springer, Berlin.
-
(1997)
Lecture Notes in Computer Science
, vol.1201
, pp. 331-345
-
-
Gupta, V.1
Henzinger, T.A.2
Jagadeesan, R.3
-
27
-
-
62649108583
-
A calculus for communicating systems with time and probabilities
-
IEEE Computer Society Press, Silver Spring, MD
-
H. Hansson, B. Jonsson, A calculus for communicating systems with time and probabilities, in: Proc. 11th IEEE Real-time Systems Symp., IEEE Computer Society Press, Silver Spring, MD, 1990, pp. 278-287.
-
(1990)
Proc. 11th IEEE Real-time Systems Symp.
, pp. 278-287
-
-
Hansson, H.1
Jonsson, B.2
-
28
-
-
0022760767
-
Probabilistic propositional temporal logics
-
Hart S., Sharir M. Probabilistic propositional temporal logics. Inform. Control. 70:1986;97-155.
-
(1986)
Inform. Control
, vol.70
, pp. 97-155
-
-
Hart, S.1
Sharir, M.2
-
29
-
-
0003581104
-
-
Ph.D. Thesis, University of Edinburgh, 1994 (Published as a Distinguished Dissertation by Cambridge University Press in)
-
J. Hillston, A compositional approach to performance modelling, Ph.D. Thesis, University of Edinburgh, 1994 (Published as a Distinguished Dissertation by Cambridge University Press in 1996).
-
(1996)
A Compositional Approach to Performance Modelling
-
-
Hillston, J.1
-
30
-
-
0001265433
-
Fractals and self-similarity
-
Hutchinson J.E. Fractals and self-similarity. Indiana Univ. Math. J. 30:1981;713-747.
-
(1981)
Indiana Univ. Math. J.
, vol.30
, pp. 713-747
-
-
Hutchinson, J.E.1
-
31
-
-
0030721924
-
Quantitative analysis and model checking
-
IEEE Press, New York
-
M. Huth, M. Kwiatkowska, Quantitative analysis and model checking, in: Proc. 12 IEEE Symp. on Logic in Computer Science, IEEE Press, New York, 1997, pp. 111-122.
-
(1997)
Proc. 12 IEEE Symp. on Logic in Computer Science
, pp. 111-122
-
-
Huth, M.1
Kwiatkowska, M.2
-
32
-
-
0024938825
-
A probabilistic powerdomain of evaluations
-
Asilomar, California, USA
-
C. Jones, G.D. Plotkin, A probabilistic powerdomain of evaluations, in: Proc. Fourth Ann. IEEE Symp. on Logic in Computer Science, Asilomar, California, USA, 1989, pp. 186-195.
-
(1989)
Proc. Fourth Ann. IEEE Symp. on Logic in Computer Science
, pp. 186-195
-
-
Jones, C.1
Plotkin, G.D.2
-
33
-
-
0029191445
-
Compositional testing preorders for probabilistic processes
-
San Diego, California, USA
-
B. Jonsson, W. Yi, Compositional testing preorders for probabilistic processes, in: Proc. 10th Ann. IEEE Symp. on Logic in Computer Science, San Diego, California, USA, 1995, pp. 431-441.
-
(1995)
Proc. 10th Ann. IEEE Symp. on Logic in Computer Science
, pp. 431-441
-
-
Jonsson, B.1
Yi, W.2
-
34
-
-
0026818736
-
Receptive process theory
-
Josephs M.B. Receptive process theory. Acta Inform. 29(1):1992;17-31.
-
(1992)
Acta Inform.
, vol.29
, Issue.1
, pp. 17-31
-
-
Josephs, M.B.1
-
35
-
-
34249875619
-
Equivalences, congruences, and complete axiomatizations for probabilistic processes
-
J.C.M. Baeten, & J.W. Klop. CONCUR 90 First Internat. Conf. on Concurrency Theory. Berlin: Springer
-
Jou C.-C., Smolka S.A. Equivalences, congruences, and complete axiomatizations for probabilistic processes. Baeten J.C.M., Klop J.W. CONCUR 90 First Internat. Conf. on Concurrency Theory. Lecture Notes in Computer Science. Vol. 458:1990;Springer, Berlin.
-
(1990)
Lecture Notes in Computer Science
, vol.458
-
-
Jou, C.-C.1
Smolka, S.A.2
-
36
-
-
0020732231
-
A probabilistic PDL
-
Kozen D. A probabilistic PDL. J. Comput. Systems Sci. 30(2):1985;162-178.
-
(1985)
J. Comput. Systems Sci.
, vol.30
, Issue.2
, pp. 162-178
-
-
Kozen, D.1
-
37
-
-
84947901147
-
Probabilistic metric semantics for a simple language with recursion
-
W. Penczek, & A. Szalas. Proc. 21st Internat. Symp. on Math. Foundations of Computer Science. Berlin: Springer
-
Kwiatkowska M., Norman G.J. Probabilistic metric semantics for a simple language with recursion. Penczek W., Szalas A. Proc. 21st Internat. Symp. on Math. Foundations of Computer Science. Lecture Notes in Computer Science. Vol. 1113:1996;419-430 Springer, Berlin.
-
(1996)
Lecture Notes in Computer Science
, vol.1113
, pp. 419-430
-
-
Kwiatkowska, M.1
Norman, G.J.2
-
38
-
-
0006470244
-
A testing equivalence for reactive probabilistic processes
-
I. Castelliani, & C. Palamidessi. Proc. Fifth Internat. Workshop on Expressiveness in Concurrency. Amsterdam: Elsevier
-
Kwiatkowska M., Norman G.J. A testing equivalence for reactive probabilistic processes. Castelliani I., Palamidessi C. Proc. Fifth Internat. Workshop on Expressiveness in Concurrency. Electronic Notes in Theoretical Computer Science. Vol. 16:1998;Elsevier, Amsterdam.
-
(1998)
Electronic Notes in Theoretical Computer Science
, vol.16
-
-
Kwiatkowska, M.1
Norman, G.J.2
-
39
-
-
0026222347
-
Bisimulation through probablistic testing
-
Larsen K.G., Skou A. Bisimulation through probablistic testing. Inform. Comput. 94:1991;1-28.
-
(1991)
Inform. Comput.
, vol.94
, pp. 1-28
-
-
Larsen, K.G.1
Skou, A.2
-
40
-
-
0032218226
-
A probabilistic poly-time framework for protocol analysis
-
San Francisco
-
P.D. Lincoln, J.C. Mitchell, M. Mitchell, A. Scedrov, A probabilistic poly-time framework for protocol analysis, in: Proc. of the 5th ACM Conference on Computer and Communication Security (CCS-5), San Francisco, 1998, pp. 112-121.
-
(1998)
Proc. of the 5th ACM Conference on Computer and Communication Security (CCS-5)
, pp. 112-121
-
-
Lincoln, P.D.1
Mitchell, J.C.2
Mitchell, M.3
Scedrov, A.4
-
41
-
-
0001383866
-
An introduction to input/output automata
-
Lynch N.A., Tuttle M.R. An introduction to input/output automata. CWI Quart. 2(3):1989;219-246.
-
(1989)
CWI Quart.
, vol.2
, Issue.3
, pp. 219-246
-
-
Lynch, N.A.1
Tuttle, M.R.2
-
42
-
-
0005439729
-
Stochastic petri nets: An elementary introduction
-
Springer, Berlin
-
M.A. Marsan, Stochastic petri nets: an elementary introduction, in: Advances in Petri Nets 1989, Springer, Berlin, 1989, pp. 1-29.
-
(1989)
Advances in Petri Nets 1989
, pp. 1-29
-
-
Marsan, M.A.1
-
45
-
-
0004181981
-
-
Ph.D. Thesis, Department of Electrical Engineering and Computer Science, MIT, Also appears as Technical Report MIT/LCS/TR-676
-
R. Segala, Modeling and verification of randomized distributed real-time systems, Ph.D. Thesis, Department of Electrical Engineering and Computer Science, MIT, 1995, Also appears as Technical Report MIT/LCS/TR-676.
-
(1995)
Modeling and Verification of Randomized Distributed Real-time Systems
-
-
Segala, R.1
-
46
-
-
0026189543
-
On the relationship between process algebra and input/output automata
-
IEEE Computer Society Press, Silver Spring, MD, July
-
F.W. Vaandrager, On the relationship between process algebra and input/output automata, in: Proc. Sixth Ann. IEEE Symp. on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, July 1991, pp. 387-398.
-
(1991)
Proc. Sixth Ann. IEEE Symp. on Logic in Computer Science
, pp. 387-398
-
-
Vaandrager, F.W.1
-
47
-
-
2442609043
-
-
private communication
-
F. van Breugel, private communication.
-
-
-
Van Breugel, F.1
-
48
-
-
2442447628
-
-
private communication
-
van Breugel, private communication.
-
-
-
Van Breugel, F.1
-
49
-
-
35248840029
-
An intrinsic characterization of approximate probabilistic bisimilarity
-
Springer, Berlin
-
F. van Breugel, M. Mislove, J. Ouaknine, J. Worrell, An intrinsic characterization of approximate probabilistic bisimilarity, in: Proc. FOSSACS 03, Lecture Notes in Computer Science, Vol. 2620, Springer, Berlin, 2003.
-
(2003)
Proc. FOSSACS 03, Lecture Notes in Computer Science
, vol.2620
-
-
Van Breugel, F.1
Mislove, M.2
Ouaknine, J.3
Worrell, J.4
-
50
-
-
84944050216
-
An algorithm for quantitative verification of probabilistic systems
-
K.G. Larsen, & M. Nielsen. Proc. 12th Internat. Conf. on Concurrency Theory - CONCUR'01. Berlin: Springer
-
van Breugel F., Worrell J. An algorithm for quantitative verification of probabilistic systems. Larsen K.G., Nielsen M. Proc. 12th Internat. Conf. on Concurrency Theory - CONCUR'01. Lecture Notes in Computer Science. Vol. 2154:2001;336-350 Springer, Berlin.
-
(2001)
Lecture Notes in Computer Science
, vol.2154
, pp. 336-350
-
-
Van Breugel, F.1
Worrell, J.2
-
51
-
-
0005411573
-
Towards quantitative verification of probabilistic systems
-
Springer, Berlin
-
F. van Breugel, J. Worrell, Towards quantitative verification of probabilistic systems, in: Proc. 28th Internat. Coll. on Automata, Languages and Programming. Springer, Berlin, 2001.
-
(2001)
Proc. 28th Internat. Coll. on Automata, Languages and Programming
-
-
Van Breugel, F.1
Worrell, J.2
-
52
-
-
0006419926
-
Reactive, generative, and stratified models of probabilistic processes
-
van Glabbeek R., Smolka S.A., Steffen B.U. Reactive, generative, and stratified models of probabilistic processes. Inform. Comput. 121(1):1995;59-80.
-
(1995)
Inform. Comput.
, vol.121
, Issue.1
, pp. 59-80
-
-
Van Glabbeek, R.1
Smolka, S.A.2
Steffen, B.U.3
-
54
-
-
0031125422
-
Composition and behaviors for probabilistic I/O automata
-
Wu S.-H., Smolka S.A., Stark E.W. Composition and behaviors for probabilistic I/O automata. Theoret. Comput. Sci. 176(1-2):1997;1-36.
-
(1997)
Theoret. Comput. Sci.
, vol.176
, Issue.1-2
, pp. 1-36
-
-
Wu, S.-H.1
Smolka, S.A.2
Stark, E.W.3
|