An automata-theoretic approach to branching-time model checking von KUPFERMAN, ORNA, VARDI, MOSHE Y, WOLPER, PIERRE

Volltext

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings von Wolper, Pierre

Volltext

An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models von Linden, Alexander, Wolper, Pierre

Volltext

Constructing Automata from Temporal Logic Formulas: A Tutorial von Wolper, Pierre

Volltext

Logic Without Formulas: Automata as a Computational Notation: Invited Presentation at the First Workshop on GRAPH Inspection and Traversal Engineering von Wolper, Pierre

Volltext

2018 CAV award von Larsen, Kim G., Shankar, Natarajan, Wolper, Pierre, Jha, Somesh

Volltext

On (Omega-)regular model checking von Legay, Axel, Wolper, Pierre

Volltext

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems von Linden, Alexander, Wolper, Pierre

Volltext

On the relation of programs and computations to models of temporal logic von Wolper, Pierre

Volltext

Automata-theoretic techniques for modal logics of programs von Vardi, Moshe Y., Wolper, Pierre

Volltext

A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems von Linden, Alexander, Wolper, Pierre

Volltext

Symbolic verification with periodic sets von Boigelot, Bernard, Wolper, Pierre

Volltext

An effective decision procedure for linear arithmetic over the integers and reals von Boigelot, Bernard, Jodogne, Sébastien, Wolper, Pierre

Volltext

It usually works: The temporal logic of stochastic systems von Aziz, Adnan, Singhal, Vigyan, Balarin, Felice, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

Volltext

Reliable hashing without collision detection von Wolper, Pierre, Leroy, Denis

Volltext

Reasoning about Infinite Computations von Vardi, M.Y., Wolper, P.

Volltext

Synthesis of Communicating Processes from Temporal Logic Specifications von Manna, Zohar, Wolper, Pierre

Volltext

Module Checking von Kupferman, Orna, Vardi, Moshe Y, Wolper, Pierre

Volltext

Formal methods : State of the art and future directions von CLARKE, E. M, WING, J. M, HALL, A, HENZINGER, T, HOLZMANN, G, JONES, C, KURSHAN, R, LEVESON, N, MCMILLAN, K, MOORE, J, PELED, D, PNUELI, A, ALUR, R, RUSHBY, J, SHANKAR, N, SIFAKIS, J, SISTLA, P, STEFFEN, B, WOLPER, P, WING, J, WOODCOCK, J, ZAVE, P, CLARKE, E, CLEAVELAND, R, DILL, D, EMERSON, A, GARLAND, S, GERMAN, S, GUTTAG, J

Volltext

Partial-order methods for temporal verification von Wolper, Pierre, Godefroid, Patrice

Volltext