The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Wolper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
    Handling Infinite Temporal Data. [Citation Graph (13, 18)][DBLP]
    PODS, 1990, pp:392-403 [Conf]
  2. Marianne Baudinet, Marc Niézette, Pierre Wolper
    On the Representation of Infinite Temporal Data and Queries. [Citation Graph (10, 18)][DBLP]
    PODS, 1991, pp:280-290 [Conf]
  3. Zohar Manna, Pierre Wolper
    Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (10, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:1, pp:68-93 [Journal]
  4. Pierre Wolper
    Temporal Logic Can Be More Expressive [Citation Graph (7, 0)][DBLP]
    Information and Control, 1983, v:56, n:1/2, pp:72-99 [Journal]
  5. Pierre Wolper
    Temporal Logic Can Be More Expressive [Citation Graph (3, 0)][DBLP]
    FOCS, 1981, pp:340-348 [Conf]
  6. Moshe Y. Vardi, Pierre Wolper
    An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) [Citation Graph (3, 0)][DBLP]
    LICS, 1986, pp:332-344 [Conf]
  7. Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper
    Handling Infinite Temporal Data. [Citation Graph (3, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:51, n:1, pp:3-17 [Journal]
  8. Moshe Y. Vardi, Pierre Wolper
    Automata-Theoretic Techniques for Modal Logics of Programs. [Citation Graph (3, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:2, pp:183-221 [Journal]
  9. Marianne Baudinet, Jan Chomicki, Pierre Wolper
    Constraint-Generating Dependencies. [Citation Graph (2, 24)][DBLP]
    ICDT, 1995, pp:322-337 [Conf]
  10. Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla
    Reasoning about Infinite Computation Paths (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    FOCS, 1983, pp:185-194 [Conf]
  11. Marianne Baudinet, Jan Chomicki, Pierre Wolper
    Constraint-Generating Dependencies. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:1, pp:94-115 [Journal]
  12. Pierre Wolper, Vinciane Lovinfosse
    Verifying Properties of Large Sets of Processes with Network Invariants. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:68-80 [Conf]
  13. Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
    On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:611-625 [Conf]
  14. Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
    An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:142-155 [Conf]
  15. Bernard Boigelot, Axel Legay, Pierre Wolper
    Iterating Transducers in the Large (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:223-235 [Conf]
  16. Bernard Boigelot, Pierre Wolper
    Symbolic Verification with Periodic Sets. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:55-67 [Conf]
  17. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
    Memory Efficient Algorithms for the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:233-242 [Conf]
  18. Patrice Godefroid, Pierre Wolper
    Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:332-342 [Conf]
  19. Pierre Wolper, Bernard Boigelot
    Verifying Systems with Infinite but Regular State Spaces. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:88-97 [Conf]
  20. Pierre Wolper, Denis Leroy
    Reliable Hashing without Collosion Detection. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:59-70 [Conf]
  21. Pierre Wolper
    Linear Repeating Points. [Citation Graph (0, 0)][DBLP]
    Constraint Databases, 2000, pp:305-314 [Conf]
  22. Doron Peled, Thomas Wilke, Pierre Wolper
    An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:596-610 [Conf]
  23. Pierre Wolper, Patrice Godefroid
    Partial-Order Methods for Temporal Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:233-246 [Conf]
  24. Pierre Wolper
    Constructing Automata from Temporal Logic Formulas: A Tutorial. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:261-277 [Conf]
  25. Martín Abadi, Leslie Lamport, Pierre Wolper
    Realizable and Unrealizable Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:1-17 [Conf]
  26. Bernard Boigelot, Stéphane Rassart, Pierre Wolper
    On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:152-163 [Conf]
  27. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
    The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:465-474 [Conf]
  28. Bernard Boigelot, Pierre Wolper
    Representing Arithmetic Constraints with Finite Automata: An Overview. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:1-19 [Conf]
  29. Patrice Godefroid, Pierre Wolper
    A Partial Approach to Model Checking [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:406-415 [Conf]
  30. Bernard Willems, Pierre Wolper
    Partial-Order Methods for Model Checking: From Linear Time to Branching Time. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:294-303 [Conf]
  31. Zohar Manna, Pierre Wolper
    Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:253-281 [Conf]
  32. Moshe Y. Vardi, Pierre Wolper
    Yet Another Process Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:501-512 [Conf]
  33. Pierre Wolper
    Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:308- [Conf]
  34. Ulrich Nitsche, Pierre Wolper
    Relative Liveness and Behavior Abstraction (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1997, pp:45-52 [Conf]
  35. Shlomit S. Pinter, Pierre Wolper
    A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1984, pp:28-37 [Conf]
  36. Pierre Wolper
    Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:20-33 [Conf]
  37. Pierre Wolper
    Expressing Interesting Properties of Programs in Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:184-193 [Conf]
  38. Marianne Baudinet, Jan Chomicki, Pierre Wolper
    Constraint-Generating Dependencies. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:205-217 [Conf]
  39. Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper
    Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:3-18 [Conf]
  40. Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
    The Power of QDDs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:172-186 [Conf]
  41. Pierre Wolper, Bernard Boigelot
    An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:21-32 [Conf]
  42. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper
    Reasoning about Fair Concurrent Programs [Citation Graph (0, 0)][DBLP]
    STOC, 1986, pp:283-294 [Conf]
  43. Moshe Y. Vardi, Pierre Wolper
    Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:446-456 [Conf]
  44. Bernard Boigelot, Axel Legay, Pierre Wolper
    Omega-Regular Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:561-575 [Conf]
  45. Pierre Wolper, Bernard Boigelot
    On the Construction of Automata from Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:1-19 [Conf]
  46. Pierre Wolper
    Representing Periodic Temporal Information with Automata. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:179- [Conf]
  47. Pierre Wolper
    On the Relation of Programs and Computations to Models of Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:75-123 [Conf]
  48. Ulrich Ultes-Nitsche, Pierre Wolper
    Checking Properties within Fairness and Behavior Abstractions [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  49. Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
    An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  50. Pierre Wolper
    Where is the Algorithmic Support? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:58- [Journal]
  51. Pierre Wolper
    The Meaning of "Formal". [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:127- [Journal]
  52. Ahmed Bouajjani, Axel Legay, Pierre Wolper
    Handling Liveness Properties in (omega-)Regular Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:101-115 [Journal]
  53. Alain Finkel, Bernard Willems, Pierre Wolper
    A direct symbolic approach to model checking pushdown systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
  54. Axel Legay, Pierre Wolper
    On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:3-8 [Journal]
  55. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
    Memory-Efficient Algorithms for the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1992, v:1, n:2/3, pp:275-288 [Journal]
  56. Patrice Godefroid, Pierre Wolper
    Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:2, n:2, pp:149-164 [Journal]
  57. Patrice Godefroid, Pierre Wolper
    A Partial Approach to Model Checking [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:2, pp:305-326 [Journal]
  58. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
    Module Checking. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:164, n:2, pp:322-344 [Journal]
  59. Moshe Y. Vardi, Pierre Wolper
    Reasoning About Infinite Computations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:115, n:1, pp:1-37 [Journal]
  60. Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
    An efficient automata approach to some problems on context-free grammars. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:5-6, pp:221-227 [Journal]
  61. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
    An automata-theoretic approach to branching-time model checking. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:2, pp:312-360 [Journal]
  62. Pierre Wolper
    The Meaning of "Formal": From Weak to Strong Formal Methods. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:6-8 [Journal]
  63. Doron Peled, Thomas Wilke, Pierre Wolper
    An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:183-203 [Journal]
  64. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
    The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:217-237 [Journal]
  65. Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
    An effective decision procedure for linear arithmetic over the integers and reals. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:3, pp:614-633 [Journal]
  66. Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper
    Adding Liveness Properties to Coupled Finite-State Machines. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1990, v:12, n:2, pp:303-339 [Journal]

  67. Preface -- Workshop Trustworthy Software 2006. [Citation Graph (, )][DBLP]


  68. On the Use of Automata for Deciding Linear Arithmetic. [Citation Graph (, )][DBLP]


  69. Computing Convex Hulls by Automata Iteration. [Citation Graph (, )][DBLP]


  70. On (Omega-)Regular Model Checking [Citation Graph (, )][DBLP]


  71. A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002