Peled, D.: Combining partial order reductions with on-the-fly model-checking. Proc. Sixth Workshop on Computer-Aided Verification, Stanford, CA, June 1994. LNCS 818. Berlin, Heidelberg, New York: Springer-Verlag, 1994, pp. 377--390 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea Self-citation (Peled) (Correct)
No context found.
Peled, D.: Combining partial order reductions with on-the-fly model-checking. Proc. Sixth Workshop on Computer-Aided Verification, Stanford, CA, June 1994. LNCS 818. Berlin, Heidelberg, New York: Springer-Verlag, 1994, pp. 377--390
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea Self-citation (Peled) (Correct)
No context found.
Peled, D.: Combining partial order reductions with on-the-fly model-checking. Proc. Sixth Workshop on Computer-Aided Verification, Stanford, CA, June 1994. LNCS 818. Berlin, Heidelberg, New York: Springer-Verlag, 1994, pp. 377--390
A Partial Order Approach to Branching Time Logic Model.. - Gerth, Kuiper, Peled.. (1997) (18 citations) Self-citation (Peled) (Correct)
No context found.
D. Peled, Combining Partial Order Reductions with On-the-fly Model-Checking, 6th conference on Computer Aided Verification, Stanford, California,
Using Asynchronous Buchi Automata for Efficient Automatic - Verification Of Concurrent Self-citation (Peled) (Correct)
No context found.
D. Peled, Combining Partial Order Reductions with On-the-fly Model-Checking, Proc. of 6th international conference on Computer Aided Verification, Stanford, CA, 1994, LNCS 818, 377--390.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model checking. In D. Dill, editor, CAV 94: Computer Aided Verification, Lecture Notes in Computer Science 818, pages 377--390. Springer-Verlag, 1994.
Partial-Order Reduction for General State Exploring.. - Bosnacki, Leue, Lafuente (2006) (Correct)
No context found.
D.A. Peled, Combining Partial-Order Reductions with On-the-Fly Model Checking, Formal Methods on Systems Design, 8: 39-64, 1996. A previous version appeared in Computer Aided Verification 1994, LCNS 818, pp. 377-390, 1994.
Partial-Order Reduction for General State Exploring.. - Bosnacki, Leue, Lafuente (2005) (Correct)
No context found.
D.A. Peled, Combining Partial-Order Reductions with On-the-Fly Model Checking, Formal Methods on Systems Design, 8: 39-64, 1996. A previous version appeared in Computer Aided Verification 1994, LCNS 818, pp. 377-390, 1994.
Symbolic Systems, Explicit Properties: on Hybrid.. - Sebastiani, Tonetta.. (Correct)
No context found.
Doron Peled. Combining Partial Order Reductions with On-the-fly Model-Checking. In CAV, pp 377--390, 1994.
Partial Order Reduction in Directed Model Checking - Lluch-Lafuente, Edelkamp, Leue (2001) (Correct)
No context found.
D. A. Peled. Combining partial order reductions with on-the-fly modelchecking. Formal Methods in Systems Design, 8:39--64, 1996.
Partial Order Reductions Preserving Simulations - Wojciech Penczek Ics (1999) (Correct)
No context found.
D. Peled, Combining Partial Order Reductions with On-the-fly Model-Checking, 6th conference on Computer Aided Verification, Stanford, California,
Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
No context found.
D. A. Peled. Combining partial order reductions with on-the-fly model-checking. Formal Methods in Systems Design, 8:39--64, 1996.
TGV: theory, principles and algorithms - Jard, Jeron (2002) (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model-checking. In D. L. Dill, editor, CAV Workshop, volume 818 of LNCS. Springer Verlag, 1994.
Transactions for Software Model Checking - Flanagan, Qadeer (2003) (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model checking. In D. Dill, editor, CAV 94: Computer Aided Verification, Lecture Notes in Computer Science 818, pages 377--390. Springer-Verlag, 1994.
A Mechanized Proof Environment for the Convenient Computations .. - Glusman, Katz (2002) (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model checking. Journal of Formal Methods in System Design, 8:39--64, 1996.
Memory Efficient State Storage in SPIN - Visser, Barringer (1995) (6 citations) (Correct)
No context found.
D. Peled. Combining Partial Order Reductions with On-the-fly Model Checking. In CAV '94 : 6th International Conference on Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, 1994.
Verifying Semantic Relations in SPIN - Hakan Erdogmus Institute (2 citations) (Correct)
No context found.
D. A. Peled. Combining partial order reductions with on-the-fly model checking. In Proceedings of 6th Workshop on Computer-AidedVerification, June 1994.
Verifying Commit-Atomicity Using Model-Checking - Flanagan (2004) (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model-checking. In D. Dill, editor, Proceedings of the IEEE Conference on Computer Aided Verification, Lecture Notes in Computer Science 818, pages 377--390. Springer-Verlag, 1994.
Software Technology Maturation Study: Model Checking Techniques.. - Poladian (2001) (Correct)
No context found.
Peled, D. Combining Partial Order Reductions With On the Fly Model Checking. Journal of Formal Methods in Systems Design 8 (1), pp. 39-64.
Verification of the WAP Transaction Layer - Using The Model (Correct)
No context found.
D. Peled. Combining Partial Order Reductions with On-The-Fly Model-Checking. LNCS 818: Proceedings of CAV'94, pp. 377--390. Springer-Verlag, 1994.
Verifying Atomicity Specifications for Concurrent.. - Hatcliff, Robby, Dwyer (2003) (3 citations) (Correct)
No context found.
D. Peled. Combining partial order reductions with on-the-fly model-checking. In D. Dill, editor, Proceedings of the 1994 Workshop on Computer-Aided Verification (LNCS 818), pages 377--390. Springer, 1994.
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
No context found.
Doron Peled. Combining partial order reductions with on-the-fly model-checking. Journal of Formal Methods in Systems Design, 8 (1):39--64, 1996.
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
No context found.
Doron Peled. Combining partial order reductions with on-the-fly model-checking. In Computer Aided Verification, pages 377--390, Stanford, California, USA, June 1994.
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
No context found.
Doron Peled. Combining partial order reductions with on-the-fly model-checking. Journal of Formal Methods in Systems Design, 8 (1):39--64, 1996.
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
No context found.
Doron Peled. Combining partial order reductions with on-the-fly model-checking. In Computer Aided Verification, pages 377--390, Stanford, California, USA, June 1994.
A Partial Order Reduction Algorithm without the Proviso - Nalumasu, Gopalakrishnan (1998) (Correct)
No context found.
Doron Peled. Combining partial order reductions with on-the-fly model-checking. Journal of Formal Methods in Systems Design, 8 (1):39--64, 1996. also in Computer Aided Verification, 1994.
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