Pierre Wolper - RankMe

84 papers A* 24A 5B 6C 3Journal 26Unranked 15

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	2018 CAV award. Formal Methods Syst. Des. Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2013	A	`conf`	A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. TACAS Alexander Linden, Pierre Wolper
2011	—	`conf`	A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. SPIN Alexander Linden, Pierre Wolper
2010	—	`conf`	An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. SPIN Alexander Linden, Pierre Wolper
2010	J	`jnl`	On (Omega-)regular model checking. ACM Trans. Comput. Log. Axel Legay, Pierre Wolper
2009	J	`jnl`	A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR Ahmed Bouajjani, Axel Legay, Pierre Wolper
2009	J	`jnl`	Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. François Cantin, Axel Legay, Pierre Wolper
2009	B	`conf`	On the Use of Automata for Deciding Linear Arithmetic. TABLEAUX Pierre Wolper
2008	C	`conf`	Computing Convex Hulls by Automata Iteration. CIAA François Cantin, Axel Legay, Pierre Wolper
2008	J	`jnl`	On (Omega-)Regular Model Checking CoRR Axel Legay, Pierre Wolper
2006	—	`conf`	Preface -- Workshop Trustworthy Software 2006. Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2006	—	`ed.`	Workshop "Trustworthy Software" 2006, Saarland University, Saarbrücken, Germany, May 18-19, 2006 Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2005	J	`jnl`	An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
2005	—	`conf`	On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. MTCoord@COORDINATION Axel Legay, Pierre Wolper
2004	—	`conf`	Handling Liveness Properties in ( INFINITY Ahmed Bouajjani, Axel Legay, Pierre Wolper
2004	A	`conf`	Omega-Regular Model Checking. TACAS Bernard Boigelot, Axel Legay, Pierre Wolper
2003	J	`jnl`	An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables CoRR Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
2003	A*	`conf`	Iterating Transducers in the Large (Extended Abstract). CAV Bernard Boigelot, Axel Legay, Pierre Wolper
2002	B	`conf`	Representing Arithmetic Constraints with Finite Automata: An Overview. ICLP Bernard Boigelot, Pierre Wolper
2001	J	`jnl`	Checking Properties within Fairness and Behavior Abstractions CoRR Ulrich Ultes-Nitsche, Pierre Wolper
2001	J	`jnl`	Module Checking. Inf. Comput. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
2001	A	`conf`	On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. IJCAR Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
2001	C	`conf`	Representing Periodic Temporal Information with Automata. TIME Pierre Wolper
2000	J	`jnl`	An automata-theoretic approach to branching-time model checking. J. ACM Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
2000	J	`jnl`	An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
2000	—	`conf`	Constructing Automata from Temporal Logic Formulas: A Tutorial. European Educational Forum: School on Formal Methods and Performance Analysis Pierre Wolper
2000	—	`ch.`	Linear Repeating Points. Constraint Databases Pierre Wolper
2000	A	`conf`	On the Construction of Automata from Linear Arithmetic Constraints. TACAS Pierre Wolper, Bernard Boigelot
1999	J	`jnl`	Constraint-Generating Dependencies. J. Comput. Syst. Sci. Marianne Baudinet, Jan Chomicki, Pierre Wolper
1998	C	`conf`	Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). LOPSTR Pierre Wolper
1998	J	`jnl`	An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Theor. Comput. Sci. Doron A. Peled, Thomas Wilke, Pierre Wolper
1998	A*	`conf`	On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP Bernard Boigelot, Stéphane Rassart, Pierre Wolper
1998	A*	`conf`	Verifying Systems with Infinite but Regular State Spaces. CAV Pierre Wolper, Bernard Boigelot
1997	—	`conf`	A direct symbolic approach to model checking pushdown systems. INFINITY Alain Finkel, Bernard Willems, Pierre Wolper
1997	A*	`conf`	Relative Liveness and Behavior Abstraction (Extended Abstract). PODC Ulrich Nitsche, Pierre Wolper
1997	J	`jnl`	The Meaning of "Formal": From Weak to Strong Formal Methods. Int. J. Softw. Tools Technol. Transf. Pierre Wolper
1997	B	`conf`	The Power of QDDs (Extended Abstract). SAS Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
1996	B	`conf`	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR Doron A. Peled, Thomas Wilke, Pierre Wolper
1996	A*	`conf`	Partial-Order Methods for Model Checking: From Linear Time to Branching Time. LICS Bernard Willems, Pierre Wolper
1996	J	`jnl`	The Meaning of "Formal". ACM Comput. Surv. Pierre Wolper
1996	J	`jnl`	Where is the Algorithmic Support? ACM Comput. Surv. Pierre Wolper
1995	B	`conf`	An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS Pierre Wolper, Bernard Boigelot
1995	A*	`ed.`	Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings CAV Pierre Wolper
1995	A	`conf`	Constraint-Generating Dependencies. ICDT Marianne Baudinet, Jan Chomicki, Pierre Wolper
1995	J	`jnl`	Handling Infinite Temporal Data. J. Comput. Syst. Sci. Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
1995	—	`conf`	Simple on-the-fly automatic verification of linear temporal logic. PSTV Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
1994	J	`jnl`	A Partial Approach to Model Checking Inf. Comput. Patrice Godefroid, Pierre Wolper
1994	A*	`conf`	An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
1994	—	`conf`	Constraint-Generating Dependencies. PPCP Marianne Baudinet, Jan Chomicki, Pierre Wolper
1994	J	`jnl`	Reasoning About Infinite Computations Inf. Comput. Moshe Y. Vardi, Pierre Wolper
1994	A*	`conf`	Symbolic Verification with Periodic Sets. CAV Bernard Boigelot, Pierre Wolper
1993	B	`conf`	Partial-Order Methods for Temporal Verification. CONCUR Pierre Wolper, Patrice Godefroid
1993	—	`ed.`	Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 PSTV André A. S. Danthine, Guy Leduc, Pierre Wolper
1993	A*	`conf`	Reliable Hashing without Collosion Detection. CAV Pierre Wolper, Denis Leroy
1993	—	`ch.`	Temporal Deductive Databases. Temporal Databases Marianne Baudinet, Jan Chomicki, Pierre Wolper
1993	J	`jnl`	Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods Syst. Des. Patrice Godefroid, Pierre Wolper
1992	J	`jnl`	Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods Syst. Des. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1991	A*	`conf`	A Partial Approach to Model Checking LICS Patrice Godefroid, Pierre Wolper
1991	A*	`conf`	On the Representation of Infinite Temporal Data and Queries. PODS Marianne Baudinet, Marc Niézette, Pierre Wolper
1991	A*	`conf`	Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. CAV Patrice Godefroid, Pierre Wolper
1990	J	`jnl`	Adding Liveness Properties to Coupled Finite-State Machines. ACM Trans. Program. Lang. Syst. Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper
1990	A*	`conf`	Handling Infinite Temporal Data. PODS Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
1990	A*	`conf`	Memory Efficient Algorithms for the Verification of Temporal Properties. CAV Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1990	—	`conf`	Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (DIMACS/AMS volume) Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
1989	A*	`conf`	Realizable and Unrealizable Specifications of Reactive Systems. ICALP Martín Abadi, Leslie Lamport, Pierre Wolper
1989	—	`conf`	Reasoning about Cryptographic Protocols. Distributed Computing And Cryptography Marie-Jeanne Toussaint, Pierre Wolper
1989	—	`conf`	Verifying Properties of Large Sets of Processes with Network Invariants. Automatic Verification Methods for Finite State Systems Pierre Wolper, Vinciane Lovinfosse
1987	—	`conf`	On the Relation of Programs and Computations to Models of Temporal Logic. Temporal Logic in Specification Pierre Wolper
1987	J	`jnl`	The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
1986	A*	`conf`	An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) LICS Moshe Y. Vardi, Pierre Wolper
1986	J	`jnl`	Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. Moshe Y. Vardi, Pierre Wolper
1986	A*	`conf`	Expressing Interesting Properties of Programs in Propositional Temporal Logic. POPL Pierre Wolper
1986	A*	`conf`	Reasoning about Fair Concurrent Programs STOC Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper
1985	A*	`conf`	The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
1984	A*	`conf`	A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). PODC Shlomit S. Pinter, Pierre Wolper
1984	A*	`conf`	Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) STOC Moshe Y. Vardi, Pierre Wolper
1984	J	`jnl`	Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. Zohar Manna, Pierre Wolper
1983	A*	`conf`	Reasoning about Infinite Computation Paths (Extended Abstract) FOCS Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla
1983	J	`jnl`	Temporal Logic Can Be More Expressive Inf. Control. Pierre Wolper
1983	—	`conf`	Yet Another Process Logic (Preliminary Version). Logic of Programs Moshe Y. Vardi, Pierre Wolper
1982	A*	`conf`	Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. POPL Pierre Wolper
1982	—	`—`	Synthesis of communicating processes from temporal logic specifications. Pierre Wolper
1981	—	`conf`	Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs Zohar Manna, Pierre Wolper
1981	A*	`conf`	Temporal Logic Can Be More Expressive FOCS Pierre Wolper