-
1
-
-
0003450426
-
-
Springer
-
B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
-
(2001)
Systems and Software Verification. Model-Checking Techniques and Tools
-
-
Bérard, B.1
Bidoit, M.2
Finkel, A.3
Laroussinie, F.4
Petit, A.5
Petrucci, L.6
Schnoebelen, Ph.7
-
2
-
-
33847702424
-
Bounded model checking
-
Highly Dependable Software, Academic Press, To appear
-
A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Yunshan Zhu. Bounded model checking. In Highly Dependable Software, volume 58 of Advances in Computers. Academic Press, 2003. To appear.
-
(2003)
Advances in Computers
, vol.58
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Strichman, O.4
Zhu, Y.5
-
4
-
-
84958776545
-
Optimal implementation of conjunctive queries in relational databases
-
A.K. Chandra and P.M. Merlin. Optimal implementation of conjunctive queries in relational databases. In Proc. 9th ACM Symp. Theory of Computing (STOC'77), Boulder, CO, USA, May 1977, pages 77-90, 1977.
-
(1977)
Proc. 9th ACM Symp. Theory of Computing (STOC'77), Boulder, CO, USA, May 1977
, pp. 77-90
-
-
Chandra, A.K.1
Merlin, P.M.2
-
5
-
-
84947290593
-
The Temporal Rover and the ATG Rover
-
SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, Springer
-
D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, volume 1885 of Lecture Notes in Computer Science, pages 323-330. Springer, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1885
, pp. 323-330
-
-
Drusinsky, D.1
-
6
-
-
0037052274
-
The complexity of prepositional linear temporal logics in simple cases
-
S. Demri and Ph. Schnoebelen. The complexity of prepositional linear temporal logics in simple cases. Information and Computation, 174(1):84-103, 2002.
-
(2002)
Information and Computation
, vol.174
, Issue.1
, pp. 84-103
-
-
Demri, S.1
Schnoebelen, Ph.2
-
7
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen, editor, chapter 16, Elsevier Science
-
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. Elsevier Science, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 995-1072
-
-
Emerson, E.A.1
-
8
-
-
11344251425
-
Checking finite traces using alternating automata
-
Proc. 1st Int. Workshop on Runtime Verification (RV'01), Paris, France, DK, July 2001, Elsevier Science
-
B. Finkbeiner and H. Sipma. Checking finite traces using alternating automata. In Proc. 1st Int. Workshop on Runtime Verification (RV'01), Paris, France, DK, July 2001, volume 55(2) of Electronic Notes in Theor. Comp. Sci. Elsevier Science, 2001.
-
(2001)
Electronic Notes in Theor. Comp. Sci.
, vol.55
, Issue.2
-
-
Finkbeiner, B.1
Sipma, H.2
-
10
-
-
0019112115
-
On the temporal analysis of fairness
-
D.M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In Proc. 7th ACM Symp. Principles of Programming Languages (POPL'80), Las Vegas, NV, USA, Jan. 1980, pages 163-173, 1980.
-
(1980)
Proc. 7th ACM Symp. Principles of Programming Languages (POPL'80), Las Vegas, NV, USA, Jan. 1980
, pp. 163-173
-
-
Gabbay, D.M.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
11
-
-
84947232527
-
Using runtime analysis to guide model checking of Java programs
-
SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, Springer
-
K. Havelund. Using runtime analysis to guide model checking of Java programs. In SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, volume 1885 of Lecture Notes in Computer Science, pages 245-264. Springer, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1885
, pp. 245-264
-
-
Havelund, K.1
-
12
-
-
85006213978
-
Process logic: Expressiveness, decidability, completeness
-
D. Harel, D.C. Kozen, and R. Parikh. Process logic: Expressiveness, decidability, completeness. In Proc. 21st IEEE Symp. Foundations of Computer Science (FOCS'80), Syracuse, NY, USA, Oct. 1980, pages 129-142, 1980.
-
(1980)
Proc. 21st IEEE Symp. Foundations of Computer Science (FOCS'80), Syracuse, NY, USA, Oct. 1980
, pp. 129-142
-
-
Harel, D.1
Kozen, D.C.2
Parikh, R.3
-
13
-
-
0037088945
-
On the complexity of verifying concurrent transition systems
-
D. Harel, O. Kupferman, and M.Y. Vardi. On the complexity of verifying concurrent transition systems. Information and Computation, 173(2):143-161, 2002.
-
(2002)
Information and Computation
, vol.173
, Issue.2
, pp. 143-161
-
-
Harel, D.1
Kupferman, O.2
Vardi, M.Y.3
-
14
-
-
0036044742
-
Temporal logic with forgettable past
-
IEEE Comp. Soc. Press
-
F. Laroussinie, N. Markey, and Ph. Schnoebelen. Temporal logic with forgettable past. In Proc. 17th IEEE Symp. Logic in Computer Science (LICS'2002), Copenhagen, Denmark, July 2002, pages 383-392. IEEE Comp. Soc. Press, 2002.
-
(2002)
Proc. 17th IEEE Symp. Logic in Computer Science (LICS'2002), Copenhagen, Denmark, July 2002
, pp. 383-392
-
-
Laroussinie, F.1
Markey, N.2
Schnoebelen, Ph.3
-
15
-
-
84943275750
-
Approximate verification of probabilistic systems
-
Proc. 2nd Joint Int. Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002, Springer
-
R. Lassaigne and S. Peyronnet. Approximate verification of probabilistic systems. In Proc. 2nd Joint Int. Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002, volume 2399 of Lecture Notes in Computer Science, pages 213-214. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2399
, pp. 213-214
-
-
Lassaigne, R.1
Peyronnet, S.2
-
16
-
-
18944384818
-
Past is for free: On the complexity of verifying linear temporal properties with past
-
Proc. 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'2002), Brno, Czech Republic, Aug. 2002, volume 68.2 Elsevier Science
-
N. Markey. Past is for free: on the complexity of verifying linear temporal properties with past. In Proc. 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'2002), Brno, Czech Republic, Aug. 2002, volume 68.2 of Electronic Notes in Theor. Camp. Sci. Elsevier Science, 2002.
-
(2002)
Electronic Notes in Theor. Camp. Sci.
-
-
Markey, N.1
-
18
-
-
1442357683
-
Complexity of language recognition problems for compressed words
-
J. Karhumaki, H. Maurer, G. Pǎun, and G. Rozenberg, editors, Springer
-
W. Plandowski and W. Rytter. Complexity of language recognition problems for compressed words. In J. Karhumaki, H. Maurer, G. Pǎun, and G. Rozenberg, editors, Jewels are Forever, pages 262-272. Springer, 1999.
-
(1999)
Jewels Are Forever
, pp. 262-272
-
-
Plandowski, W.1
Rytter, W.2
-
19
-
-
23044533237
-
Expressive power of temporal logics
-
Proc. 13th Int. Conf. Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug. 2002, Springer
-
A. Rabinovich. Expressive power of temporal logics. In Proc. 13th Int. Conf. Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug. 2002, volume 2421 of Lecture Notes in Computer Science, pages 57-75. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2421
, pp. 57-75
-
-
Rabinovich, A.1
-
20
-
-
0034828969
-
Log auditing through model checking
-
IEEE Comp. Soc. Press
-
Muriel Roger and Jean Goubault-Larrecq. Log auditing through model checking. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Nova Scotia, Canada, June 2001, pages 220-236. IEEE Comp. Soc. Press, 2001.
-
(2001)
Proc. 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Nova Scotia, Canada, June 2001
, pp. 220-236
-
-
Roger, M.1
Goubault-Larrecq, J.2
-
22
-
-
0022954740
-
A choppy logic
-
IEEE Comp. Soc. Press
-
R. Rosner and A. Pnueli. A choppy logic. In Proc. 1st IEEE Symp. Logic in Computer Science (LICS'86), Cambridge, MA, USA, June 1986, pages 306-313. IEEE Comp. Soc. Press, 1986.
-
(1986)
Proc. 1st IEEE Symp. Logic in Computer Science (LICS'86), Cambridge, MA, USA, June 1986
, pp. 306-313
-
-
Rosner, R.1
Pnueli, A.2
-
23
-
-
0022092438
-
The complexity of prepositional linear temporal logics
-
A.P. Sistla and E.M. Clarke. The complexity of prepositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
-
(1985)
Journal of the ACM
, vol.32
, Issue.3
, pp. 733-749
-
-
Sistla, A.P.1
Clarke, E.M.2
-
24
-
-
9444298254
-
The complexity of temporal logic model checking
-
World Scientific, To appear
-
Ph. Schnoebelen. The complexity of temporal logic model checking. In Advances in Modal Logic, papers from 4th Int. Workshop on Advances in Modal Logic (AiML'2002), Sep.-Oct. 2002, Toulouse, France. World Scientific, 2003. To appear.
-
(2003)
Advances in Modal Logic, Papers from 4th Int. Workshop on Advances in Modal Logic (AiML'2002), Sep.-Oct. 2002, Toulouse, France
-
-
Schnoebelen, Ph.1
-
26
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, Springer
-
H.L.S. Younes and R.G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, volume 2404 of Lecture Notes in Computer Science, pages 223-235. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2404
, pp. 223-235
-
-
Younes, H.L.S.1
Simmons, R.G.2
|