-
1
-
-
0001847686
-
Domain theory
-
S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Oxford Univ. Press
-
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1-168. Oxford Univ. Press, 1994.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 1-168
-
-
Abramsky, S.1
Jung, A.2
-
4
-
-
84878626595
-
Norm fuctions for probabilistic bisimulations with delays
-
J. Tiuryn, editor, Proceedings of 3rd International Conference on Foundations of Science and Computation Structures (FOSSACS), Berlin, Germany, March 2000
-
C. Baier and M. I. A. Stoelinga. Norm fuctions for probabilistic bisimulations with delays. In J. Tiuryn, editor, Proceedings of 3rd International Conference on Foundations of Science and Computation Structures (FOSSACS), Berlin, Germany, March 2000, volume 1784 of Lecture Notes in Computer Science, pages 1-16, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1784
, pp. 1-16
-
-
Baier, C.1
Stoelinga, M.I.A.2
-
5
-
-
18944377173
-
Computing probability bounds for linear time formulas over concurrent probabilistic systems
-
M. Kwiatkowska, C. Baier, M. Huth and M. Ryan, editors, Elsevier Science Publishers
-
C. Baier, M. Kwiatkowska, and G. Norman. Computing probability bounds for linear time formulas over concurrent probabilistic systems. In M. Kwiatkowska, C. Baier, M. Huth and M. Ryan, editors, Electronic Notes in Theoretical Computer Science, volume 22. Elsevier Science Publishers, 2000.
-
(2000)
Electronic Notes in Theoretical Computer Science
, vol.22
-
-
Baier, C.1
Kwiatkowska, M.2
Norman, G.3
-
7
-
-
84957073398
-
Model Checking Partial State Spaces with 3-Valued Temporal Logics
-
Proceedings of the 11th Conference on Computer Aided Verification, Springer Verlag, July
-
G. Bruns and P. Godefroid. Model Checking Partial State Spaces with 3-Valued Temporal Logics. In Proceedings of the 11th Conference on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pages 274-287. Springer Verlag, July 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1633
, pp. 274-287
-
-
Bruns, G.1
Godefroid, P.2
-
8
-
-
84885220303
-
Generalized Model Checking: Reasoning about Partial State Spaces
-
Proceedings of CONCUR'2000 (11th International Conference on Concurrency Theory), Springer Verlag, August
-
G. Bruns and P. Godefroid. Generalized Model Checking: Reasoning about Partial State Spaces. In Proceedings of CONCUR'2000 (11th International Conference on Concurrency Theory), volume 1877 of Lecture Notes in Computer Science, pages 168-182. Springer Verlag, August 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1877
, pp. 168-182
-
-
Bruns, G.1
Godefroid, P.2
-
9
-
-
0026913667
-
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
-
September
-
R. R. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.R.1
-
11
-
-
84874725869
-
Decision algorithms for probabilistic bisimulation
-
Proceedings of the 13th International Conference on Concurrency Theory (CONCUR'02), Brno, Czech Republic, August Springer Verlag
-
S. Cattani and R. Segala. Decision algorithms for probabilistic bisimulation. In Proceedings of the 13th International Conference on Concurrency Theory (CONCUR'02), volume 2421 of Lecture Notes in Computer Science, pages 371-385, Brno, Czech Republic, August 2002. Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2421
, pp. 371-385
-
-
Cattani, S.1
Segala, R.2
-
13
-
-
70350271255
-
A C++ data model supporting reachability analysis and dead code detection
-
M. Jazayeri and H. Schauer, editors, Springer-Verlag
-
Y.-F. Chen, E. R. Gansner, and E. Koutsofios. A C++ data model supporting reachability analysis and dead code detection. In M. Jazayeri and H. Schauer, editors, Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97), pages 414-431. Springer-Verlag, 1997.
-
(1997)
Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97)
, pp. 414-431
-
-
Chen, Y.-F.1
Gansner, E.R.2
Koutsofios, E.3
-
14
-
-
35048876622
-
Possibilistic Information Flow is safe for Probabilistic Non-Interference
-
Geneva, Switzerland, 7-8 July
-
D. Clark, C. Hankin, S. Hunt, and R. Nagarajan. Possibilistic Information Flow is safe for Probabilistic Non-Interference. In Workshop on Issues in the Theory of Security (WITS '00), Geneva, Switzerland, 7-8 July 2000.
-
(2000)
Workshop on Issues in the Theory of Security (WITS '00)
-
-
Clark, D.1
Hankin, C.2
Hunt, S.3
Nagarajan, R.4
-
15
-
-
0035393978
-
Bounded Model Checking Using Satisfiability Solving
-
July
-
E. Clarke, A. Biere, R. Raimi, and Y. Zhu. Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design, 19(1):7-34, July 2001.
-
(2001)
Formal Methods in System Design
, vol.19
, Issue.1
, pp. 7-34
-
-
Clarke, E.1
Biere, A.2
Raimi, R.3
Zhu, Y.4
-
16
-
-
0002538699
-
-
Kluwer academic publishers
-
E. M. Clarke, M. Pujita, and X. Zhao. Representations of discrete functions, chapter 'Multi-terminal binary decision diagrams and hybrid decision diagrams', pages 93-108. Kluwer academic publishers, 1996.
-
(1996)
Representations of Discrete Functions, Chapter 'Multi-terminal Binary Decision Diagrams and Hybrid Decision Diagrams'
, pp. 93-108
-
-
Clarke, E.M.1
Pujita, M.2
Zhao, X.3
-
18
-
-
0028513196
-
Model checking and abstraction
-
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, 1994.
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
19
-
-
85027609786
-
Testing preorders for probabilistic processes
-
W. Kuich, editor, Automata, Languages and Programming, 19th International Colloqium, Vienna Austria, 13-17 July Springer Verlag
-
R. Cleaveland, S. A. Smolka, and A. E. Zwarico. Testing preorders for probabilistic processes. In W. Kuich, editor, Automata, Languages and Programming, 19th International Colloqium, volume 623 of Lecture Notes in Computer Science, pages 708-719, Vienna Austria, 13-17 July 1992. Springer Verlag.
-
(1992)
Lecture Notes in Computer Science
, vol.623
, pp. 708-719
-
-
Cleaveland, R.1
Smolka, S.A.2
Zwarico, A.E.3
-
21
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs
-
ACM Press
-
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs. In Proc. 4th ACM Symp. on Principles of Programming Languages, pages 238-252. ACM Press, 1977.
-
(1977)
Proc. 4th ACM Symp. on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
22
-
-
0033706805
-
Temporal abstract interpretation
-
Boston, Mass., January ACM Press, New York, NY
-
P. Cousot and R. Cousot. Temporal abstract interpretation. In Conference Record of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 12-25, Boston, Mass., January 2000. ACM Press, New York, NY.
-
(2000)
Conference Record of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 12-25
-
-
Cousot, P.1
Cousot, R.2
-
23
-
-
0003490414
-
-
PhD thesis, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands, July
-
D. Dams. Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands, July 1996.
-
(1996)
Abstract Interpretation and Partition Refinement for Model Checking
-
-
Dams, D.1
-
24
-
-
84957809842
-
Reachability Analysis of Probabilistic Systems by Successive Refinements
-
L. de Alfaro and S. Gilmore, editors, Process Algebra and Probabilistic Methods: Performance Modelling and Verification, Aachen, Germany, September 12-14 Springer Verlag
-
P. R. D'Argenio, B. Jeannet, H. E. Jensen, and K. G. Larsen. Reachability Analysis of Probabilistic Systems by Successive Refinements. In L. de Alfaro and S. Gilmore, editors, Process Algebra and Probabilistic Methods: Performance Modelling and Verification, volume 2165 of Lecture Notes in Computer Science, pages 39-56, Aachen, Germany, September 12-14 2001. Springer Verlag.
-
(2001)
Lecture Notes in Computer Science
, vol.2165
, pp. 39-56
-
-
D'Argenio, P.R.1
Jeannet, B.2
Jensen, H.E.3
Larsen, K.G.4
-
25
-
-
84943267387
-
Reduction and Refinement Strategies for Probabilistic Analysis
-
H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26 Springer
-
P. R. D'Argenio, B. Jeannet, H. E. Jensen, and K. G. Larsen. Reduction and Refinement Strategies for Probabilistic Analysis. In H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science, pages 57-76, Copenhagen, Denmark, July 25-26 2002. Springer.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 57-76
-
-
D'Argenio, P.R.1
Jeannet, B.2
Jensen, H.E.3
Larsen, K.G.4
-
26
-
-
0016949746
-
A Lattice Model of Secure Information Flow
-
D. Denning. A Lattice Model of Secure Information Flow. Communications of the ACM, 19(5):236-243, 1976.
-
(1976)
Communications of the ACM
, vol.19
, Issue.5
, pp. 236-243
-
-
Denning, D.1
-
27
-
-
0017517624
-
Certification of Programs for Secure Information Flow
-
D. Denning. Certification of Programs for Secure Information Flow. Communications of the ACM, 20(7):504-513, 1977.
-
(1977)
Communications of the ACM
, vol.20
, Issue.7
, pp. 504-513
-
-
Denning, D.1
-
28
-
-
0037115172
-
Bisimulation for Labelled Markov Processes
-
December
-
J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for Labelled Markov Processes. Journal of Information and Computation, 179(2):163-193, December 2002.
-
(2002)
Journal of Information and Computation
, vol.179
, Issue.2
, pp. 163-193
-
-
Desharnais, J.1
Edalat, A.2
Panangaden, P.3
-
29
-
-
0033698747
-
Approximating Labeled Markov Processes
-
Santa Barbara, California, 26-29 June IEEE Computer Society Press
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Approximating Labeled Markov Processes. In 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), Santa Barbara, California, 26-29 June 2000. IEEE Computer Society Press.
-
(2000)
15th Annual IEEE Symposium on Logic in Computer Science (LICS'00)
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
30
-
-
84874739738
-
Weak Bisimulation is Sound and Complete for PCTL*
-
Proc. 13th Int'l Conference CONCUR 2002 - Concurrency Theory, Brno, Czech Republic, 20-23 August Springer Verlag
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Weak Bisimulation is Sound and Complete for PCTL*. In Proc. 13th Int'l Conference CONCUR 2002 - Concurrency Theory, volume 2421 of Lecture Notes in Computer Science, pages 355-370, Brno, Czech Republic, 20-23 August 2002. Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2421
, pp. 355-370
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
32
-
-
35048893794
-
-
URL: http://www.fsel.com/fdr2_download.html.
-
-
-
-
33
-
-
0004011095
-
-
Springer Verlag
-
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer Verlag, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
36
-
-
85032183233
-
Readiness Semantics for Regular Processes with Silent Actions
-
S. Graf and J. Sifakis. Readiness Semantics for Regular Processes with Silent Actions. In In: Proc. of ICALP'87, pages 115-125, 1987.
-
(1987)
Proc. of ICALP'87
, pp. 115-125
-
-
Graf, S.1
Sifakis, J.2
-
38
-
-
0003903001
-
-
PhD thesis, Department of Computer Science, Uppsala University, Uppsala, Sweden
-
H. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Department of Computer Science, Uppsala University, Uppsala, Sweden, 1991.
-
(1991)
Time and Probability in Formal Design of Distributed Systems
-
-
Hansson, H.1
-
39
-
-
0003096318
-
A logic for reasoning about time and reliability
-
H. A. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
-
(1994)
Formal Aspects of Computing
, vol.6
, Issue.5
, pp. 512-535
-
-
Hansson, H.A.1
Jonsson, B.2
-
40
-
-
84894631199
-
Approximating ATL* in ATL
-
Third International Workshop on Verification, Model Checking and Abstract Interpretation, Venice, Italy, January 21-22 Springer Verlag
-
A. Harding, M. Ryan, and P.-Y. Schobbens. Approximating ATL* in ATL. In Third International Workshop on Verification, Model Checking and Abstract Interpretation, volume 2294 of Lecture Notes in Computer Science, pages 289-301, Venice, Italy, January 21-22 2002. Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2294
, pp. 289-301
-
-
Harding, A.1
Ryan, M.2
Schobbens, P.-Y.3
-
41
-
-
84957679700
-
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
-
J. Hatcliff, J. C. Corbett, M. B. Dwyer, S. Sokolowski, and H. Zheng. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In Static Analysis Symposium, pages 1-18, 1999.
-
(1999)
Static Analysis Symposium
, pp. 1-18
-
-
Hatcliff, J.1
Corbett, J.C.2
Dwyer, M.B.3
Sokolowski, S.4
Zheng, H.5
-
42
-
-
0037028876
-
Process algebra for performance evaluation
-
H. Hermanns, U. Herzog, and J.-P. Katoen. Process algebra for performance evaluation. Theoretical Computer Science, 274(1-2):43-87, 2002.
-
(2002)
Theoretical Computer Science
, vol.274
, Issue.1-2
, pp. 43-87
-
-
Hermanns, H.1
Herzog, U.2
Katoen, J.-P.3
-
43
-
-
84944052913
-
Performance Evaluation:= (Process Algebra + Model Checking) x Markov Chains
-
K. G. Larsen and M. Nielson, editors, 12th Int'l Conference CONCUR 2001 - Concurrency Theory, Aalborg, Denmark, 20-25 August Springer Verlag
-
H. Hermanns and J.-P. Katoen. Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains. In K. G. Larsen and M. Nielson, editors, 12th Int'l Conference CONCUR 2001 - Concurrency Theory, volume 2154 of Lecture Notes in Computer Science, pages 59-81, Aalborg, Denmark, 20-25 August 2001. Springer Verlag.
-
(2001)
Lecture Notes in Computer Science
, vol.2154
, pp. 59-81
-
-
Hermanns, H.1
Katoen, J.-P.2
-
44
-
-
0037903753
-
Interactive Markov Chains
-
Springer Verlag, September
-
H. Hermanns. Interactive Markov Chains, volume 2428 of Lecture Notes in Computer Science. Springer Verlag, September 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2428
-
-
Hermanns, H.1
-
47
-
-
84958771030
-
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems
-
Proceedings of the 19th International Conference on the Foundations of Software Technology & Theoretical Computer Science, IIT Chennai, India, December Springer Verlag
-
M. Huth. A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems. In Proceedings of the 19th International Conference on the Foundations of Software Technology & Theoretical Computer Science, Lecture Notes in Computer Science, pages 369-380, IIT Chennai, India, December 1999. Springer Verlag.
-
(1999)
Lecture Notes in Computer Science
, pp. 369-380
-
-
Huth, M.1
-
48
-
-
35048825697
-
-
chapter 'Domains of view: a foundation for specification and analysis', Kluwer Academic Press, December
-
M. Huth. Domains and Processes, chapter 'Domains of view: a foundation for specification and analysis', pages 183-218. Kluwer Academic Press, December 2001.
-
(2001)
Domains and Processes
, pp. 183-218
-
-
Huth, M.1
-
49
-
-
23044532135
-
Possibilistic and Probabilistic Abstraction-Based Model Checking
-
H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26 Springer
-
M. Huth. Possibilistic and Probabilistic Abstraction-Based Model Checking. In H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science, pages 115-134, Copenhagen, Denmark, July 25-26 2002. Springer.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 115-134
-
-
Huth, M.1
-
51
-
-
18944378464
-
The interval domain: A matchmaker for aCTL and aPCTL
-
M. Mislove, R. Cleaveland, and P. Mulry, editors, Elsevier Science Publishers
-
M. Huth. The interval domain: A matchmaker for aCTL and aPCTL. In M. Mislove, R. Cleaveland, and P. Mulry, editors, Electronic Notes in Theoretical Computer Science, volume 14. Elsevier Science Publishers, 2000.
-
(2000)
Electronic Notes in Theoretical Computer Science
, vol.14
-
-
Huth, M.1
-
52
-
-
0008523093
-
On some Equivalence Relations for Probabilistic Processes
-
T. Huynh and L. Tian. On some Equivalence Relations for Probabilistic Processes. Fundamenta Informaticae, 17:211-234, 1992.
-
(1992)
Fundamenta Informaticae
, vol.17
, pp. 211-234
-
-
Huynh, T.1
Tian, L.2
-
53
-
-
0031126043
-
Probabilistic models for the guarded command language
-
April
-
H. Jifeng, K. Seidel, and A. McIver. Probabilistic models for the guarded command language. Science of Computer Programming, 28(2-3):171-192, April 1997.
-
(1997)
Science of Computer Programming
, vol.28
, Issue.2-3
, pp. 171-192
-
-
Jifeng, H.1
Seidel, K.2
McIver, A.3
-
54
-
-
0003857859
-
-
PhD thesis, Laboratory for the Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, Monograph ECS-LFCS-90-105
-
C. Jones. Probabilistic Nondeterminism. PhD thesis, Laboratory for the Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, 1990. Monograph ECS-LFCS-90-105.
-
(1990)
Probabilistic Nondeterminism
-
-
Jones, C.1
-
56
-
-
0026191240
-
Specification and Refinement of Probabilistic Processes
-
Amsterdam, The Netherlands, 15-18 July IEEE Computer Society Press
-
B. Jonsson and K. G. Larsen. Specification and Refinement of Probabilistic Processes. In 6th Annual IEEE Symposium on Logic in Computer Science, pages 266-277, Amsterdam, The Netherlands, 15-18 July 1991. IEEE Computer Society Press.
-
(1991)
6th Annual IEEE Symposium on Logic in Computer Science
, pp. 266-277
-
-
Jonsson, B.1
Larsen, K.G.2
-
57
-
-
0025432462
-
CCS Expressions, Finite State Processes and Three Problems of Equivalence
-
P. Kannelakis and S. Smolka. CCS Expressions, Finite State Processes and Three Problems of Equivalence. Journal of Information and Computation, 86:43-68, 1990.
-
(1990)
Journal of Information and Computation
, vol.86
, pp. 43-68
-
-
Kannelakis, P.1
Smolka, S.2
-
59
-
-
0019572941
-
Semantics of Probabilistic Programs
-
D. Kozen. Semantics of Probabilistic Programs. Computer and System Sciences, 22:328-350, 1981.
-
(1981)
Computer and System Sciences
, vol.22
, pp. 328-350
-
-
Kozen, D.1
-
60
-
-
0020732231
-
A Probabilistic PDL
-
D. Kozen. A Probabilistic PDL. Computer and System Sciences, 22(2):162-178, 1985.
-
(1985)
Computer and System Sciences
, vol.22
, Issue.2
, pp. 162-178
-
-
Kozen, D.1
-
61
-
-
84943236166
-
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
-
H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26 Springer
-
M. Kwiatkowska, G. Norman, and J. Sproston. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. In H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science, pages 169-187, Copenhagen, Denmark, July 25-26 2002. Springer.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 169-187
-
-
Kwiatkowska, M.1
Norman, G.2
Sproston, J.3
-
62
-
-
85008979790
-
Modal Specifications
-
J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Springer Verlag, June 12-14 International Workshop, Grenoble, France
-
K. G. Larsen. Modal Specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 232-246. Springer Verlag, June 12-14 1989. International Workshop, Grenoble, France.
-
(1989)
Lecture Notes in Computer Science
, vol.407
, pp. 232-246
-
-
Larsen, K.G.1
-
63
-
-
0026222347
-
Bisimulation through probabilistic testing
-
September
-
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1-28, September 1991.
-
(1991)
Information and Computation
, vol.94
, Issue.1
, pp. 1-28
-
-
Larsen, K.G.1
Skou, A.2
-
65
-
-
84943275750
-
Approximate Verification of Probabilistic Systems
-
H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26 Springer
-
R. Lassaigne and S. Peyronnet. Approximate Verification of Probabilistic Systems. In H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science, pages 213-214, Copenhagen, Denmark, July 25-26 2002. Springer.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 213-214
-
-
Lassaigne, R.1
Peyronnet, S.2
-
67
-
-
18944398078
-
Almost-certain eventualities and abstract probabilities in quantitative temporal logic
-
C. Fidge, editor, Elsevier Science Publishers
-
A. McIver and C. Morgan. Almost-certain eventualities and abstract probabilities in quantitative temporal logic. In C. Fidge, editor, Electronic Notes in Theoretical Computer Science, volume 42. Elsevier Science Publishers, 2001.
-
(2001)
Electronic Notes in Theoretical Computer Science
, vol.42
-
-
McIver, A.1
Morgan, C.2
-
68
-
-
84954414836
-
Games, probability and the quantitative μ-calculus qMμ
-
Proc. 9th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2002, Tbilisi, Georgia, Springer Verlag
-
A. McIver and C. Morgan. Games, probability and the quantitative μ-calculus qMμ. In Proc. 9th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, pages 292-310, Tbilisi, Georgia, 2002. Springer Verlag.
-
(2002)
Lecture Notes in Artificial Intelligence
, vol.2514
, pp. 292-310
-
-
McIver, A.1
Morgan, C.2
-
69
-
-
84988613226
-
An algebraic definition of simulation between programs
-
London, United Kingdom, British Computer Society
-
R. Milner. An algebraic definition of simulation between programs. In 2nd International Joint Conference on Artificial Intelligence, pages 481-489, London, United Kingdom, 1971. British Computer Society.
-
(1971)
2nd International Joint Conference on Artificial Intelligence
, pp. 481-489
-
-
Milner, R.1
-
72
-
-
35048863835
-
-
Technical report, Départment d'Informatique, École Normale Supérieure, 45, rue d'Ulm, 75230 Paris cedex 5, France
-
D. Monniaux. Abstract interpretation of programs as Markov decision processes. Technical report, Départment d'Informatique, École Normale Supérieure, 45, rue d'Ulm, 75230 Paris cedex 5, France, 2001.
-
(2001)
Abstract Interpretation of Programs as Markov Decision Processes
-
-
Monniaux, D.1
-
73
-
-
84945290603
-
Backwards abstract interpretation of probabilistic programs
-
European Symposium on Programming Languages and Systems (ESOP '01), number 2028 Springer-Verlag
-
D. Monniaux. Backwards abstract interpretation of probabilistic programs. In European Symposium on Programming Languages and Systems (ESOP '01), number 2028 in Lecture Notes in Computer Science. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
-
-
Monniaux, D.1
-
74
-
-
84906078583
-
Abstract interpretation of probabilistic semantics
-
Seventh International Static Analysis Symposium (SAS'00), number 1824 Springer-Verlag, Extended version on the author's web site
-
D. Monniaux. Abstract interpretation of probabilistic semantics. In Seventh International Static Analysis Symposium (SAS'00), number 1824 in Lecture Notes in Computer Science. Springer-Verlag, 2000. Extended version on the author's web site.
-
(2000)
Lecture Notes in Computer Science
-
-
Monniaux, D.1
-
75
-
-
84890020887
-
An abstract analysis of the probabilistic termination of programs
-
8th International Static Analysis Symposium (SAS'01), number 2126 Springer-Verlag
-
D. Monniaux. An abstract analysis of the probabilistic termination of programs. In 8th International Static Analysis Symposium (SAS'01), number 2126 in Lecture Notes in Computer Science. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
-
-
Monniaux, D.1
-
76
-
-
0035032350
-
An abstract Monte-Carlo method for the analysis of probabilistic programs
-
(extended abstract). Association for Computer Machinery
-
D. Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs (extended abstract). In 28th Symposium on Principles of Programming Languages (POPL '01), pages 93-101. Association for Computer Machinery, 2001.
-
(2001)
28th Symposium on Principles of Programming Languages (POPL '01)
, pp. 93-101
-
-
Monniaux, D.1
-
78
-
-
0000921963
-
Refinement-oriented probability for CSP
-
C. Morgan, A. McIver, K. Seidel, and J. W. Sanders. Refinement-oriented probability for CSP. Formal Aspects of Computing, 8(6):617-647, 1996.
-
(1996)
Formal Aspects of Computing
, vol.8
, Issue.6
, pp. 617-647
-
-
Morgan, C.1
McIver, A.2
Seidel, K.3
Sanders, J.W.4
-
79
-
-
0000095246
-
An expectation-based model for probabilistic temporal logic
-
C. Morgan and A. McIver. An expectation-based model for probabilistic temporal logic. Logic Journal of the IGPL, 7(6):779-804, 1999.
-
(1999)
Logic Journal of the IGPL
, vol.7
, Issue.6
, pp. 779-804
-
-
Morgan, C.1
McIver, A.2
-
80
-
-
0030143516
-
Probabilistic predicate transformers
-
May
-
C. Morgan, A. McIver, and K. Seidel. Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems, 18(3):325-353, May 1996.
-
(1996)
ACM Transactions on Programming Languages and Systems
, vol.18
, Issue.3
, pp. 325-353
-
-
Morgan, C.1
McIver, A.2
Seidel, K.3
-
85
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
P. Deussen, editor, Proc. of the 5th GI Conference, Springer Verlag
-
D. M. R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, In Proc. of the 5th GI Conference, volume 104 of Lecture Notes in Computer Science, pages 167-183. Springer Verlag, 1989.
-
(1989)
Lecture Notes in Computer Science
, vol.104
, pp. 167-183
-
-
Park, D.M.R.1
-
87
-
-
84885212224
-
Weak Bisimulation for Probabilistic Systems
-
Proceedings of the 11th International Conference on Concurrency Theory (CONCUR '02), University Park, Pennsylvania, August Springer Verlag
-
A. Phillipou, I. Lee, and O. Sokolsky. Weak Bisimulation for Probabilistic Systems. In Proceedings of the 11th International Conference on Concurrency Theory (CONCUR '02), volume 1877 of Lecture Notes in Computer Science, pages 334-349, University Park, Pennsylvania, August 2000. Springer Verlag.
-
(2000)
Lecture Notes in Computer Science
, vol.1877
, pp. 334-349
-
-
Phillipou, A.1
Lee, I.2
Sokolsky, O.3
-
89
-
-
84943241352
-
Probabilistic Abstract Interpretation and Statistical Testing
-
H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26 Springer
-
A. Di Pierro and H. Wicklicky. Probabilistic Abstract Interpretation and Statistical Testing. In H. Hermanns and R. Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science, pages 211-212, Copenhagen, Denmark, July 25-26 2002. Springer.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 211-212
-
-
Di Pierro, A.1
Wicklicky, H.2
-
90
-
-
0003931061
-
-
Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University, Ny Munkegade, Building 540, DK-8000 Aarhus, Denmark, September 1981. Reprinted April
-
G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University, Ny Munkegade, Building 540, DK-8000 Aarhus, Denmark, September 1981. Reprinted April 1991.
-
(1991)
A Structural Approach to Operational Semantics
-
-
Plotkin, G.D.1
-
92
-
-
0027880685
-
Algebraic Decision Diagrams and Their Applications
-
Santa Clara, California, IEEE Computer Society Press
-
R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic Decision Diagrams and Their Applications. In IEEE /ACM International Conference on CAD, pages 188-191, Santa Clara, California, 1993. IEEE Computer Society Press.
-
(1993)
IEEE /ACM International Conference on CAD
, pp. 188-191
-
-
Bahar, R.I.1
Frohm, E.A.2
Gaona, C.M.3
Hachtel, G.D.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
93
-
-
0032684782
-
Parametric Shape Analysis via 3-Valued Logic
-
January 20-22, San Antonio, Texas
-
M. Sagiv, T. Reps, and R. Wilhelm. Parametric Shape Analysis via 3-Valued Logic. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages, pages 105-118, January 20-22, San Antonio, Texas 1999.
-
(1999)
Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 105-118
-
-
Sagiv, M.1
Reps, T.2
Wilhelm, R.3
-
94
-
-
0001995203
-
Continuous lattices
-
F. W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, Springer Verlag
-
D. Scott. Continuous lattices. In F. W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97-136. Springer Verlag, 1972.
-
(1972)
Lecture Notes in Mathematics
, vol.274
, pp. 97-136
-
-
Scott, D.1
-
95
-
-
0004181981
-
-
PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, June Available as Technical Report MIT/LCS/TR-676
-
R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, June 1995. Available as Technical Report MIT/LCS/TR-676.
-
(1995)
Modeling and Verification of Randomized Distributed Real-Time Systems
-
-
Segala, R.1
-
96
-
-
0001609136
-
Probabilistic Simulations for Probabilistic Processes
-
Summer
-
R. Segala and N. Lynch. Probabilistic Simulations for Probabilistic Processes. Nordic Journal of Computing, 2(2):250-273, Summer 1995.
-
(1995)
Nordic Journal of Computing
, vol.2
, Issue.2
, pp. 250-273
-
-
Segala, R.1
Lynch, N.2
-
97
-
-
0003868680
-
-
Technical Report PRG-TR-6-96, Programming Research Group, Oxford Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD
-
K. Seidel, C. Morgan, and A. McIver. An introduction to probabilistic predicate transformers. Technical Report PRG-TR-6-96, Programming Research Group, Oxford Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, 1996.
-
(1996)
An Introduction to Probabilistic Predicate Transformers
-
-
Seidel, K.1
Morgan, C.2
McIver, A.3
-
98
-
-
35048823304
-
Physical programming: Beyond mere logic, April 2001
-
Invited Talk
-
B. Selic. Physical programming: Beyond mere logic, April 2001. Invited Talk at ETAPS 2001.
-
ETAPS 2001
-
-
Selic, B.1
-
99
-
-
0030143334
-
Branching Time and Abstraction in Bisimulation Semantics
-
May
-
R. J. van Glabbeek and W. P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555-600, May 1996.
-
(1996)
Journal of the ACM
, vol.43
, Issue.3
, pp. 555-600
-
-
Van Glabbeek, R.J.1
Weijland, W.P.2
-
100
-
-
0022181923
-
Automatic verification of probabilistic concurrent finite-state programs
-
Portland, Oregon, October
-
M. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proc. 26th IEEE Symp. on Foundations of Computer Science, pages 327-338, Portland, Oregon, October 1985.
-
(1985)
Proc. 26th IEEE Symp. on Foundations of Computer Science
, pp. 327-338
-
-
Vardi, M.1
-
101
-
-
35048822412
-
Provably secure programming languages for remote evaluation
-
electronic, December
-
D. Volpano. Provably secure programming languages for remote evaluation. ACM Computing Surveys, 28A(2): electronic, December 1996.
-
(1996)
ACM Computing Surveys
, vol.28 A
, Issue.2
-
-
Volpano, D.1
-
102
-
-
0037541723
-
-
PhD thesis, School of Computer Science, University of Birmingham, United Kingdom, July
-
P. Waszkiewicz. Quantitative Continuous Domains. PhD thesis, School of Computer Science, University of Birmingham, United Kingdom, July 2002.
-
(2002)
Quantitative Continuous Domains
-
-
Waszkiewicz, P.1
|