Вы здесь

Pnueli A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Comparison of Two Verification Methods for Speculative Instruction Execution 2000 Arons T., Pnueli A. Lecture Notes in Computer Science 26.04.2000
СТ A Compositional Real-Time Semantics of STATEMATE Designs 1998 Damm W., Josko B., Hungar H., Pnueli A. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ A Decision Algorithm for Full Propositional Temporal Logic 1993 Kesten Y., Manna Z., Mcguire H., Pnueli A. Lecture Notes in Computer Science 20.08.1993
СТ A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software 1999 Kesten Y., Klein A., Pnueli A., Raanan G. Lecture Notes in Computer Science 30.10.1999
СТ Algorithmic Verification of Linesr Temporal Logic Specifications 1998 Kesten Y., Pnueli A., Raviv L. Lecture Notes in Computer Science 11.08.1998
СТ Beyond Regular Model Checking 2001 Fisman D., Pnueli A. Lecture Notes in Computer Science 22.12.2001
СТ Checking Temporal Properties of Discrete, Timed, and Continuous Behaviors 2008 Maler O., Nickovic D., Pnueli A. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Completing the temporal picture 1991 Manna Z., Pnueli A. Theoretical Computer Science 10.09.1991
СТ Development of Hybrid Systems 1994 Pnueli A. Lecture Notes in Computer Science 19.10.1994
СТ Embedded Systems: Challenges in Specification and Verification 2002 Pnueli A. Lecture Notes in Computer Science 11.11.2002
СТ From Falsification to Verification 2001 Peled D., Pnueli A., Zuck L. Lecture Notes in Computer Science 22.12.2001
СТ From Timed to Hybrid Systems 1992 Maler O., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992
СТ How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems 1992 Pnueli A. Lecture Notes in Computer Science 16.10.1992
СТ Integration Graphs: A Class of Decidable Hybrid Systems 1993 Kesten Y., Pnueli A., Sifakis J., Yovine S. Lecture Notes in Computer Science 09.12.1993
СТ Liveness with Invisible Ranking 2004 Fang Y., Piterman N., Pnueli A., Zuck L. Lecture Notes in Computer Science 12.02.2004
СТ Models for Reactivity 1993 Manna Z., Pnueli A. Acta Informatica 07.12.1993
СТ Modularization and Abstraction: The Keys to Practical Formal Verification 1998 Kesten Y., Pnueli A. Lecture Notes in Computer Science 02.09.1998
СТ On Recognizable Timed Languages 2004 Maler O., Pnueli A. Lecture Notes in Computer Science 30.04.2004
СТ On the Synthesis of Discrete Controllers for Timed Systems 1995 Maler O., Pnueli A., Sifakis J. Lecture Notes in Computer Science 25.03.1995
СТ Proving Safety Properties of Hybrid Systems 1994 Papur A., Herzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 19.10.1994
СТ Real Time Temporal Logic: Past, Present, Future 2006 Maler O., Nickovic D., Pnueli A. Lecture Notes in Computer Science Lecture Notes in Computer Science 16.03.2006
СТ Shape Analysis of Single-Parent Heaps 2007 Balaban I., Pnueli A., Zuck L. D. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ System Specification and Refinement in Temporal Logic 1992 Pnueli A. Lecture Notes in Computer Science 26.12.1992
СТ TLPVS: A PVS-Based LTL Verification System 2003 Pnueli A., Arons T. Lecture Notes in Computer Science 26.03.2004
СТ Temporal Verification Diagrams 1994 Manna Z., Pnueli A. Lecture Notes in Computer Science 05.05.1994
СТ Temporal Verification of Simulation and Refinement 1994 Kesten Y., Manna Z., Pnueli A. Lecture Notes in Computer Science 05.08.1994
СТ Time for Concurrency 1992 Manna Z., Pnueli A. Lecture Notes in Computer Science 25.12.1992
СТ Timed Transition Systems 1992 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992
СТ Towards Refining Temporal Specifications into Hybrid Systems 1993 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.12.1993
СТ Translation Validation for Synchronous Languages 1998 Pnueli A., Shtrichman O., Siegel M. Lecture Notes in Computer Science 11.08.1998
СТ Translation Validation: From DC+ to C 1999 Pnueli A., Shtrichman O., Siegel M. Lecture Notes in Computer Science 29.09.1999
СТ Translation Validation: From SIGNAL to C 1999 Pnueli A., Shtrichman O., Siegel M. Lecture Notes in Computer Science 20.11.1999
СТ Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML 2003 Damm W., Josko B., Pnueli A., Votinseva A. Lecture Notes in Computer Science 31.01.2004
СТ Verification of Clocked and Hybrid Systems 2000 Kester Y., Manna Z., Pnueli A. Acta Informatica 13.07.2000
СТ Verifying Hybrid Systems 1993 Manna Z., Pnueli A. Lecture Notes in Computer Science 08.12.1993
СТ Verifying Liveness by Augmented Abstraction 1999 Kesten Y., Pnueli A. Lecture Notes in Computer Science 12.11.1999