|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
On Recognizable Timed Languages |
2004 |
Maler O., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
|
СТ |
TLPVS: A PVS-Based LTL Verification System |
2003 |
Pnueli A., Arons T. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
Liveness with Invisible Ranking |
2004 |
Fang Y., Piterman N., Pnueli A., Zuck L. |
|
|
|
Lecture Notes in Computer Science |
12.02.2004 |
|
СТ |
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 |
|
СТ |
Embedded Systems: Challenges in Specification and Verification |
2002 |
Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
11.11.2002 |
|
СТ |
Beyond Regular Model Checking |
2001 |
Fisman D., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
22.12.2001 |
|
СТ |
From Falsification to Verification |
2001 |
Peled D., Pnueli A., Zuck L. |
|
|
|
Lecture Notes in Computer Science |
22.12.2001 |
|
СТ |
Verification of Clocked and Hybrid Systems |
2000 |
Kester Y., Manna Z., Pnueli A. |
|
|
|
Acta Informatica |
13.07.2000 |
|
СТ |
A Comparison of Two Verification Methods for Speculative Instruction Execution |
2000 |
Arons T., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Translation Validation: From SIGNAL to C |
1999 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Verifying Liveness by Augmented Abstraction |
1999 |
Kesten Y., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
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 |
|
СТ |
Translation Validation: From DC+ to C |
1999 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
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 |
|
СТ |
Modularization and Abstraction: The Keys to Practical Formal Verification |
1998 |
Kesten Y., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
Algorithmic Verification of Linesr Temporal Logic Specifications |
1998 |
Kesten Y., Pnueli A., Raviv L. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
Translation Validation for Synchronous Languages |
1998 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
On the Synthesis of Discrete Controllers for Timed Systems |
1995 |
Maler O., Pnueli A., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Development of Hybrid Systems |
1994 |
Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Proving Safety Properties of Hybrid Systems |
1994 |
Papur A., Herzinger T. A., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Temporal Verification of Simulation and Refinement |
1994 |
Kesten Y., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Temporal Verification Diagrams |
1994 |
Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
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 |
|
СТ |
Verifying Hybrid Systems |
1993 |
Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.12.1993 |
|
СТ |
Towards Refining Temporal Specifications into Hybrid Systems |
1993 |
Henzinger T. A., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.12.1993 |
|
СТ |
Models for Reactivity |
1993 |
Manna Z., Pnueli A. |
|
|
|
Acta Informatica |
07.12.1993 |
|
СТ |
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 |
|
СТ |
System Specification and Refinement in Temporal Logic |
1992 |
Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
26.12.1992 |
|
СТ |
Time for Concurrency |
1992 |
Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
25.12.1992 |
|
СТ |
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems |
1992 |
Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Timed Transition Systems |
1992 |
Henzinger T. A., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
From Timed to Hybrid Systems |
1992 |
Maler O., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Completing the temporal picture |
1991 |
Manna Z., Pnueli A. |
|
|
|
Theoretical Computer Science |
10.09.1991 |
