J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981. 21
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981.
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund (Correct)
No context found.
J. P. Quielle and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proc. 5th Int. Symp. in Programming, 1981. 60
Model Checking and Abstraction - Edmund Clarke Carnegie (1992) (202 citations) (Correct)
No context found.
J.P. Quielle and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings of the Fifth International Symposium in Programming, 1981.
Compositional Model Checking - Clarke Long Mcmillan (111 citations) (Correct)
No context found.
J. P. Quielle and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings of the Fifth International Symposium in Programming, 1981.
Model Checking Probabilistic Distributed - Systems Benedikt Bollig (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings of the Fifth International Symposium in Programming, volume 137 of Lecture Notes in Computer Science, pages 337-- 351, New York, 1982. Springer.
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proc. of the 5th International Symposium on Programming, 1982.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981.
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
No context found.
J-P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Int. Symp. on Programming, LNCS 137, 1982.
On Message Specifications in OCL - Kyas, de Boer (2003) (3 citations) (Correct)
No context found.
Queille, J. P. and J. Sifakis, Specification and verification of concurrent systems in cesar, in: M. Dezani-Ciancaglini and M. Montanari, editors, Proceedings of the 5th International Symposium on Programming, number 137 in LNCS (1981), pp. 337--351.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
No context found.
J. Queille and J. Sifakis. Specification and Verification of Concurrent Systems in CESAR. In Proc. 5th International Symposium on Programming, pages 337--351, 1982. Available as Volume 137 of LNCS.
Software Technology Maturation Study: Model Checking Techniques.. - Poladian (2001) (Correct)
No context found.
Quielle, J. and Sifakis, M. "Specification and verification of concurrent systems in CAESAR." In Proceedings of Of Fifth ISP, 1982.
A Model-Checking Approach to Safe SFCs - Huuck, Lukoschus, Bauer (2003) (Correct)
No context found.
J.-P. Queille and J. Sifakis, "Specification and verification of concurrent systems in CESAR," in Proceedings of the 5th International Symposium on Programming, Turin, April 6--8, 1982.
Compositional Analysis for Verification of Parameterized.. - Basu, Ramakrishnan (Correct)
No context found.
J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proceedings of the International Symposium in Programming, 1982. 00] A. Roychoudhury, K.N. Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan, and S.A. Smolka. Verification of parameterized systems using logic-program transformations. In TACAS, 2000.
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) (Correct)
No context found.
J. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In M. Dezani-Ciancaglini and U. Montanari, editors, Fifth International Symposium on Programming, Lecture Notes in Computer Science 137, pages 337--351. Springer-Verlag, 1981.
Generation of All Counter-Examples for Push-Down Systems - Basu, Saha, Lin, Smolka (2003) (Correct)
No context found.
J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In International Symposium on Programming, volume 137 of LNCS, Berlin, 1982. SpringerVe r a g
Verification of Hybrid Controlled Processing Systems Based on.. - Frehse, al. (2001) (Correct)
No context found.
J. P. Queille and J. Sifakis, "Specification and verification of concurrent systems in CESAR," in Proc. 5 Int. Symp. on Programming. 1982, vol. 137 of LNCS, pp. 337--351, Springer.
Towards Automatic Verification of Embedded Control Software - Bauer, Huuck (2001) (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In 5th International Symposium on Programming, volume 137 of LNCS, pages 337--351. Springer-Verlag, 1982.
A Formal Specification and Verification of a.. - Gnesi, Latella.. (2000) (Correct)
No context found.
J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings 5th International Symposium on Programming, Lecture Notes in Computer Science, Vol. 137, pages 337-- 371. SV, Berlin/New York, 1982.
Information Societies Technology - Ist Programme Future (Correct)
No context found.
J-P. Queille and J. Sifakis. Specification and Verification of Concurrent Systems in Cesar. In Proc. Intern. Symposium on Programming. LNCS 137, 1982.
Verifying Untimed and Timed Aspects of the Experimental.. - Huuck, Lukoschus, al. (2001) (Correct)
No context found.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In M. Dezani-Ciancaglini and U. Montanari, editors, International Symposium on Programming: 5th colloquium, Turin, April 6--8, 1982.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
Jean-Pierre Queille and Joseph Sifakis. Specification and verification of concurrent systems in CESAR. In M. DezaniCiancaglini and U. Montanari, editors, Proceedings of the 5th International Symposium on Programming, Turin, April 6--8, 1982, pages 337--350. Springer-Verlag, 1982.
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (2 citations) (Correct)
No context found.
J.P. Quielle and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proc. 5th Int'l Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981.
On Translating Linear Temporal Logic into Alternating and.. - Tauriainen (2003) (3 citations) (Correct)
No context found.
J.-P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings of the 5th International Symposium on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1982.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC