% books and book chapters


@book{Tha89,
        author      =	"Andr{\'e} Thayse and Pascal Gribomont and Guy Hulin and 
                         Alain Pirotte and Dominique Roelants and Dominique Snyers
                         and Marc Vauclair and Paul Gochet and Pierre Wolper 
                         and Eric Gregoire and Philippe Delsarte",
        title       = 	"From Modal Logic to Deductive Databases:
			Introducing a Logic Based Approach to Artificial
			Intelligence",
        publisher   =   "Wiley",
        year        =   1989,
        note        =   "Writing of Chapter 4 
                         (Temporal Logic) in collaboration with Pascal Gribomont.\\
                          French Version ``Approche logique de l'intelligence
                         artificielle. 2 De la logique modale \`a la
                         logique des bases de donne'', published by Dunod (1989)"
}

@book{Wol91,
        author      =	"Pierre Wolper",
        title       = 	"Introduction {\`a} la Calculabilit{\'e}",
        publisher   =   "InterEditions",
        year        =   1991
}

@incollection{BCW93,
        author		= "Marianne Baudinet and Jan Chomicki and Pierre
		           Wolper",
        title		= "Temporal Deductive Databases",
        editor		= "Abdullah Uz Tansel and James Clifford and Shahsi Gadia 
                           and Sushil Jajodia and Arie Segev and Richard Snodgrass",
        booktitle	= "Temporal Databases. Theory, Design, and Implementation",
        publisher	= "Benjamin/Cummings",
        chapter		= 13,
        pages		= "294--320",
        year		= 1993
}

@proceedings{DLW93,
        title     = "13th Intern. Symposium on Protocol Specification, 
                     Testing and Verification, Li{\`e}ge, Belgium",
        editor    =  "Andr{\'e} Danthine and Guy Leduc and Pierre Wolper",
        series    =  "IFIP Transactions",
        publisher =  "North-Holland",
        year      =  1993
}

@incollection{Wol95,
	author	    =	"Pierre Wolper",
	title	    =	"On the Relation of Programs and Computations
			 to Models of Temporal Logic",
        booktitle   =	"Time and Logic, a computational approach",
        editor      =   "Leonard Bolc and Andrzej Sza{\l}as",
        publisher   =   "UCL Press Limited",
	year	    =	"1995",
        chapter     =   "3",
        pages       =   "131--178"
}

@proceedings{Wol95c,
	editor =	"Pierre Wolper",
	title =		"Computer-Aided Verification,
                         Proc. 7th Int. Conference",
        series		= "Lecture Notes in Computer Science",
        publisher       =   "Springer-Verlag",
        volume		= 939,
        location        = "Li\`ege",
        year            = 1995

}

@incollection{Wol00,
        author		= "Pierre Wolper",
        title		= "Linear Repeating Points",
        editor		= "Gabi Kuper and Leonid Libkin and Jan Paredaens",
        booktitle	= "Constraint Databases",
        publisher	= "Springer-Verlag",
        chapter		= 13,
        pages		= "305--314",
        year		= "2000"

}

@book{Wol01a,
        author      =	"Pierre Wolper",
        title       = 	"Introduction {\`a} la Calculabilit{\'e}",
        publisher   =   "Dunod",
        year        =   2001,
        edition     =   "2e"
}

@book{Wol06,
        author      =	"Pierre Wolper",
        title       = 	"Introduction {\`a} la Calculabilit{\'e}",
        publisher   =   "Dunod",
        year        =   2006,
        edition     =   "3e"
}

@incollection{Wol06b,
        author		= "Pierre Wolper",
        title		= "Automates et vérification",
        booktitle	= "Encyclopédie de l'informatique et des systèmes d'information",
        publisher	= "Vuibert",
        address 	=  "Paris",
        pages		= "977--986",
        year		= "2006"

}

%Journals

@article{Wol83,
	author =	"Pierre Wolper",
	title =		"Temporal Logic Can Be More Expressive",
	journal =	"Information and Control",
	volume =	56,
	number = 	"1--2",
	pages =		"72--99",
	year =		1983
}

@article{MW84,
	author	    =	"Zohar Manna and Pierre Wolper",
	title	    =	"Synthesis of Communicating Processes
			 from Temporal Logic Specifications",
	journal	    =	"ACM Transactions on Programming
			 Languages and Systems",
	volume	    =	"6",
	number	    =	"1",
	pages	    =	"68-93",
	year	    =	"1984",
	month	    =	 "January"
}

@article{Wol85,
	author =	"Pierre Wolper",
	title =		"The Tableau Method for Temporal Logic: An Overview",
	journal =	"Logique et Analyse",
	number = 	"110--111",
	pages =		"119--136",
	year =		1985
}

@article{VW86,
	author	    =	"Moshe Y. Vardi and Pierre Wolper",
	title	    =	"Automata-Theoretic Techniques for Modal
			 Logics of Programs",
	journal	    =	"Journal of Computer and System Science",
	volume	    =	"32",
	number	    =	"2",
	pages	    =	"183-221",
	year	    =	"1986",
	month	    =	 "April"
}

@article{SVW87,
	author	    =	"Sistla, A. Prasad and Moshe Y. Vardi and Pierre Wolper",
	title	    =	"The Complementation Problem for {B\"uchi}
			 Automata with Applications to Temporal Logic",
	journal	    =	"Theoretical Computer Science",
	volume	    =	"49",
	pages	    =	"217-237",
	year	    =	"1987"
}

@article{ACW90,
	author	    =	"Sudhir Aggarwal and Constantin Courcoubetis 
                         and Pierre Wolper",
	title	    =	"Adding Liveness Properties to Coupled
			 Finite-State Machines",
        journal     =   "{ACM} Transactions on Programming Languages
                       	and Systems",
        volume      =   12,
        number      =   2,
        pages       =   "303--339",
	year	    =	"1990"
}

@article{CVWY92,
	author =	"Constantin Courcoubetis and Moshe Y. Vardi and 
                         Pierre Wolper and Mihalis Yannakakis",
	title =		"Memory Efficient Algorithms for the
                         Verification of Temporal Properties",
       	journal = 	"Formal Methods in System Design",
        pages           = "275--288",
        volume		= 1,
         year            = 1992
}

@article{GW93,
	author    = "Patrice Godefroid and Pierre Wolper",
	title     = "Using Partial Orders for the Efficient
                     Verification  of Deadlock Freedom and Safety Properties",
	journal   = "Formal Methods in System Design", 
        publisher = "Kluwer Academic Publishers",
	pages     = "149--164",
	volume    = 2,
	number    = 2,
	month     = "April",
	year      = 1993,
}

@article{GW94,
        author      =   "Patrice Godefroid and Pierre Wolper",
        title       =   "A Partial Approach To Model Checking",
        journal     =   "Information and Computation",
        pages	    = "305--326",
        publisher =    "Academic Press, Inc.",
	volume    = 110,
	number    = 2,
	month     = "May",
	year      = 1994
}

@article{VW94,
	author	    =	"Moshe Y. Vardi and Pierre Wolper",
	title	    =	"Reasoning about Infinite Computations",
        journal     =   "Information and Computation",
        volume      =   "115",
        number      =   "1",
        year        =   "1994",
        month       =   "November",
        pages       =   "1-37"
}


@article{KSW95,
	author      =   "Froduald Kabanza and Jean-Marc St\'evenne 
                         and Pierre Wolper",
	title       =   "Handling infinite temporal data",
	journal   =     "Journal of Computer and System Sciences",
        volume    =     "51",
        number      =   "1",
	pages =         "3--17",
        month        =  "August",
	year        =    1995
}

@Article{Cleav-et-al96,
  author =       "Rance Cleaveland and Scott A. Smolka and Rajeev Alur
                 and Jos Baeten and Jan A. Bergstra and Eike Best and
                 Rocco {De Nicola} and Helen Gill and Roberto Gorrieri
                 and Mohamed G. Gouda and Jan Friso Groote and Tom A.
                 Henzinger and C. A. R. Hoare and Maj. David Luginbuhl
                 and Albert Meyer and Dale Miller and Jayadev Misra and
                 Faron Moller and Ugo Montanari and Amir Pnueli and
                 Sanjiva Prasad and Vaughan R. Pratt and Joseph Sifakis
                 and Bernhard Steffen and Bent Thomsen and Frits
                 Vaandrager and Moshe Y. Vardi and Pierre Wolper",
  title =        "Strategic Directions in Concurrency Research",
  journal =      "ACM Computing Surveys",
  volume =       "28",
  number =       "4",
  pages =        "607--625",
  month =        dec,
  year =         "1996"
}

@Article{Clarke-et-al96,
  author =       "Edmund M. Clarke and Jeannette M. Wing and Rajeev Alur
                 and Rance Cleaveland and David Dill and Allen Emerson
                 and Stephen Garland and Steven German and John Guttag
                 and Anthony Hall and Thomas Henzinger and Gerard
                 Holzmann and Cliff Jones and Robert Kurshan and Nancy
                 Leveson and Kenneth McMillan and J. Moore and Doron
                 Peled and Amir Pnueli and John Rushby and Natarajan
                 Shankar and Joseph Sifakis and Prasad Sistla and
                 Bernhard Steffen and Pierre Wolper and Jim Woodcock and
                 Pamela Zave",
  title =        "Formal Methods: State of the Art and Future
                 Directions",
  journal =      "ACM Computing Surveys",
  volume =       "28",
  number =       "4",
  pages =        "626--643",
  month =        dec,
  year =         "1996"
}

@article{Wol96,
	title       =  "Where is the Algorithmic Support?",
	author      =  "Pierre Wolper",
	journal     =  "ACM Computing Surveys",
	pages       =  "58",
	month       =   dec,
	year        =   1996,
	volume      =   28,
	number      =   "4es",
        note        =   "(Electronic Supplement to Computing Surveys)"
}

@Article{Wol96b,
	title       =  "The Meaning of ``Formal''",
	author      =  "Pierre Wolper",
	journal     =  "ACM Computing Surveys",
	pages       =   "127",
	month       =   dec,
	year        =   1996,
	volume      =   28,
	number      =   "4es",
        note        =   "(Electronic Supplement to Computing Surveys)"
}

@article{Wol97,
	author =	"Pierre Wolper",
	title =		"The meaning of formal: from weak to strong 
                         formal methods",
        journal		= "Springer International Journal on
                           Software Tools for Technology Transfer",
        year            = 1997,
        volume      =     1,
        number      =     "1-2",
        pages       =    "6--8"
}

@article{PWW98,
        author  = "Doron Peled and Thomas Wilke and Pierre Wolper",
        title   = "An  Algorithmic Approach for Checking Closure Properties of 
                   Temporal Logic Specifications and  omega-Regular Languages",
        journal =  "Theoretical Computer Science",
        volume = 195,
        number = 2,
        pages = "183--203",
        year    = 1998
 }

@article{BCW99,
        author  =  "Marianne Baudinet and Jan Chomicki and Pierre
		   Wolper",
        title   =  "Constraint-Generating Dependencies",
        journal =  "Journal of Computer and System Sciences",
        volume =   59,
        number =   1,
        pages =    "94--115",
        year    =  1999
 }


@article{KVW00,
        author  =  "Orna Kupferman and  Moshe Y. Vardi and Pierre Wolper",
        title   =  "An automata-theoretic approach to branching-time 
                    model checking",
        journal =  "Journal of the ACM",
        volume =   47,
        number =   2,
        pages =    "312--360",
        month =    "March",
        year    =  2000
 }

@article{BEFMRWW00,
        author  =  "Ahmed Bouajjani and Javier Esparza and Alain Finkel 
                    and Oded Maler and Peter Rossmanith and Bernard Willems
                    and Pierre Wolper",
        title   =  "An efficient automata approach to some problems on
                    context-free grammars",
        journal =  "Information Processing Letters",
        volume =   74,
        number =   "5-6",
        pages =    "221-227",
        month =    "June",
        year    =  2000
 }

@article{KVW01,
         author =       "Orna Kupferman and Moshe Y. Vardi and Pierre Wolper",
         title =        "Module Checking",
         journal =  "Information and Computation",
         volume =   164,
         pages =    "322-344",
         year    =  2001
 }

@article{BJW05,
	author =	"Bernard Boigelot and S\'ebastien Jodogne and
                         Pierre Wolper",
	title =		"On the Use of Weak Automata for Deciding Linear 
                         Arithmetic with Integer and Real Variables",
        journal   =     "ACM transactions on Computational Logic",
        volume =   "6",
        number =   "3",
        pages =    "614--633",
        month =    "July",	
        year =	   "2005"
}

% Conferences

@inproceedings{Wol81,
	author	    =	"Pierre Wolper",
	title	    =	"Temporal Logic Can Be More Expressive",
        booktitle   =	"Proceedings of the 22nd IEEE Symposium on 
                         Foundations of Computer Science",
	year	    =	"1981",
	pages	    =	"340-348",
	address	    =	"Nashville",
	month	    =	 "October"
}

@inproceedings{MW82,
	author	    =	"Zohar Manna and Pierre Wolper",
	title	    =	"Synthesis of Communicating Processes
			 from Temporal Logic Specifications",
	booktitle   =	"Proceedings of the Workshop on Logics of Programs",
	pages	    =	"253-281",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   "131,",
        year	    =	"1982"

}

@inproceedings{Wol82,
	author	    =	"Pierre Wolper",
	title	    =	"Specification and Synthesis of Communicating 
                         Processes Using an Extended Temporal Logic",
        booktitle   =	"Proc. 9th Symposium on Principles of
                         Programming Languageseedings",
	year	    =	"1982",
	pages	    =	"20--33",
	address	    =	"Albuquerque",
	month	    =	"January"
}

@inproceedings{WVS83,
	author	    =	"Pierre Wolper and Moshe Y. Vardi and Sistla, A. Prasad",
	title	    =	"Reasoning about Infinite Computation Paths",
	booktitle   =	"Proc. 24th IEEE Symposium on Foundations
			 of Computer Science",
	year	    =	"1983",
	pages	    =	"185-194",
	address	    =	"Tucson"
}

@inproceedings{VW84,
	author	    =	"Moshe Y. Vardi and Pierre Wolper",
	title	    =	"Yet Another Process Logic",
	booktitle   =	"Logics of Programs",
	pages	    =	"501--512",
	year	    =	"1984",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   "164"
}

@inproceedings{VW84b,
	author	    =	"Moshe Y. Vardi and Pierre Wolper",
	title	    =	"Automata-Theoretic Techniques for Modal
			 Logics of Programs",
	booktitle   =	"Proc. 16th ACM Symposium on Theory of
                         Computing",
	pages	    =	"446--456",
        month       =   "May",
	year	    =	"1984"
}


@inproceedings{PW84,
	author	    =	"Shlomit Pinter and Pierre Wolper",
	title	    =	"A Temporal Logic for Reasoning about
                         Partially Ordered Computations",
	booktitle   =	"Proc. 3rd ACM Symposium on Principles of 
                         Distributed Computing",
	year	    =	"1984",
	pages	    =	"28--37",
	address	    =	"Vancouver",
	month	    =	 "August"
}

@inproceedings{SVW85,
	author	    =	"Sistla, A. Prasad and Moshe Y. Vardi and Pierre Wolper",
	title	    =	"The Complementation Problem for {B\"uchi}
			 Automata with Applications to Temporal Logic",
	booktitle   =	"Proc. 10th Int. Colloquium on Automata, Languages
 			 and Programming",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   194,
        address     =   "Nafplion",
	year	    =	"1985",
        pages       =   "465--474",
        month       =   "July",
}


@inproceedings{SWL85,
	author	    =	"Krishan Sabnani and Pierre Wolper and Aleta Lapone",
	title	    =	"An Algorithmic Technique for Protocol Verification",
	booktitle   =	"Proc. Globecom '85",
        address     =   "New Orleans",
	year	    =	"1985",
        month       =   "December",
}

@inproceedings{Wol86,
	author	    =	"Pierre Wolper",
	title	    =	"Expressing Interesting Properties of
			 Programs in Propositional Temporal Logic",
  	booktitle   =	"Proc. 13th ACM Symp. on Principles of Programming
                         Languages",
	year	    =	"1986",
	pages	    =	"184-192",
	address	    =	"St. Petersburgh",
	month	    =	 "January"
}


@inproceedings{CVW86,
	author =	"Constantin Courcoubetis and Moshe Y. Vardi 
                         and Pierre Wolper",
      	title =		"Reasoning about Fair Concurrent Programs",
       	booktitle = 	"Proc. 18th ACM Symp. on Theory of Computing",
	address =	"Berkeley",
	month =		"May",
	pages =         "283--294",
        year =		1986
}

@inproceedings{VW86b,
	author	    =	"Moshe Y. Vardi and Pierre Wolper",
	title	    =	"An Automata-Theoretic Approach to
		         Automatic Program Verification",
	booktitle   =	"Proceedings of the First Symposium on Logic 
                         in Computer Science",
	pages	    =	"322--331",
	year	    =	"1986",
	month	    =	"June",
	address     =   "Cambridge"
}


@inproceedings{Wol89,
	author	    =	"Pierre Wolper",
	title	    =	"On the Relation of Programs and Computations
			 to Models of Temporal Logic",
        booktitle   =	"Proc. Temporal Logic in Specification",
        editor      =   "B. Banieqbal and H. Barringer and A. Pnueli",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   398,
	year	    =	"1989",
        pages       =   "75--123"
}
@inproceedings{WL89,
	author =	"Pierre Wolper and Vinciane Lovinfosse",
	title =		"Verifying Properties of Large Sets of Processes
			with Network Invariants",
	booktitle = 	"Automatic Verification Methods for Finite
                         State Systems, Proc. Int. Workshop, Grenoble",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   407,
	address =	"Grenoble",
        pages =		"68--80",
        month =		"June",
	year =		"1989"
}

@inproceedings{ALW89,
	author	    =	"Mart{\'\i}n Abadi and Leslie Lamport and Pierre Wolper",
	title	    =	"Realizable and Unrealizable Concurrent
                         Program Specifications",	booktitle   =	"Proc. 16th Int. Colloquium on Automata, Languages
 			 and Programming",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
        volume      =   372,
	year	    =	"1989",
        month       =   "July",
        pages       =   "1--17"
}


@inproceedings{KSW90,
	author      =   "Froduald Kabanza and Jean-Marc St\'evenne 
                         and Pierre Wolper",
	title       =   "Handling infinite temporal data",
	pages	    =   "392-403",	
	booktitle   =   "Proc. of the 9th ACM Symposium on
                         Principles of Database Systems",
	address     =   "Nashville Tennessee",
	year        =    1990,
}

@incollection{TW89,
	author	    =	"Marie-Jeanne Toussaint and Pierre Wolper",
	title	    =	"Reasoning about Cryptographic Protocols",
	booktitle   =	"Distributed Computing and Cryptography",
	editor      =   "J. Feigenbaum and M. Merritt",
        series      =   "DIMACS Series in Discrete Mathematics and 
                         Theoretical Computer Science", 
        publisher   =   "American Mathematical Society",
        year	    =	"1989",
	volume      =   2,
        pages       =   "245--262",
}

@inproceedings{CVWY90,
	author =	"Constantin Courcoubetis and Moshe Y. Vardi 
                         and Pierre Wolper and Mihalis Yannakakis",
	title =		"Memory Efficient Algorithms for the
                         Verification of Temporal Properties",
       	booktitle = 	"Proc. 2nd Workshop on Computer Aided Verification",
        pages           = "233--242",
        series		= "Lecture Notes in Computer Science",
        volume		= 531,
        publisher       = "Springer-Verlag",
        address		= "Rutgers",
        month		= "June",
        year            = 1990
}

@inproceedings{BNW91,
	author      =   "Marianne Baudinet and Marc Ni\'ezette and Pierre Wolper",
	title       =   "On the Representation of Infinite Temporal 
                         Data and Queries",
	booktitle   =   "Proc. of the 10thth ACM Symposium on
                         Principles of Database Systems",
	address     =   "Denver, Collorado",
        pages       =   "280--290",
	year        =    1991
}

@inproceedings{GW91a,
        author      =   "Patrice Godefroid and Pierre Wolper",
        title       =   "A Partial Approach To Model Checking",
        booktitle   =   "Proc. 6th Symp. on Logic in Computer Science",
        pages		= "406--415",
        address     =   "Amsterdam",
        month       =   "July",
        year        =    1991
}

@inproceedings{GW91b,
        author      =   "Patrice Godefroid and Pierre Wolper",
        title       =   "Using partial orders for the efficient 
                         verification of deadlock freedom and safety 
                         properties",
        booktitle 	= "Proc. 3rd Workshop on Computer Aided Verification",
        pages           = "332-342",
        series		= "Lecture Notes in Computer Science",
        volume		= 575,
        publisher       = "Springer-Verlag",
        address		= "Aalborg",
        month		= "July",
        year		= 1991
}

@inproceedings{WG93,
        author  = "Pierre Wolper and Patrice Godefroid",
        title   = "Partial-Order Methods for Temporal Verification",
        booktitle = "Proc. CONCUR '93",
        address = "Hildesheim",
	series = "Lecture Notes in Computer Science",
	volume = 715,
        publisher =   "Springer-Verlag",
	pages = "233--246",
        month   = "August",
        year    = 1993,
}

@inproceedings{WL93,
	author =	"Pierre Wolper and Denis Leroy",
	title =		"Reliable Hashing Without Collision Detection",
	booktitle = 	"Computer Aided Verification, Proc. 5th  Int.
                         Workshop",
	series      =   "Lecture Notes in Computer Science", 
        publisher   =   "Springer-Verlag",
	address =	"Elounda, Crete",
        volume  =       697,
        pages =         "59-70",
        month =		"June",
	year =		"1993"
}


@inproceedings	{BCW93b,
author		= "Marianne Baudinet and Jan Chomicki and Pierre
		   Wolper",
title		= "Temporal Databases: Beyond Finite Extensions
		   (position paper)",
editor		= "R.~Snodgrass",
booktitle	= "Proceedings of the International Workshop on an
		   Infrastructure for Temporal Databases",
address		= "Arlington, Texas",
month		= jun,
year		= 1993
}

@inproceedings{BW94,
	author =	"Bernard Boigelot and Pierre Wolper",
	title =		"Symbolic Verification with Periodic Sets",
	series		= "Lecture Notes in Computer Science",
        volume		= 818,
        publisher       = "Springer-Verlag",
        booktitle = 	"Computer Aided Verification, Proc. 6th  Int.
                         Conference",
        address =	"Stanford, California",
        month =		"June",
	year =		"1994",
        pages=          "55--67"
}

@inproceedings{BVW94,
	author =	"Orna Bernholtz and Moshe Y. Vardi and Pierre Wolper",
	title =		"An Automata-Theoretic Approach to
                         Branching-Time Model Checking",
	booktitle = 	"Computer Aided Verification, Proc. 6th  Int.
                         Workshop",
        series		= "Lecture Notes in Computer Science",
        volume		= 818,
        publisher       = "Springer-Verlag",
	address =	"Stanford, California",
        month =		"June",
	year =		"1994",
        pages=          "142--155",
}

@inproceedings	{BCW95,
author		= "Marianne Baudinet and Jan Chomicki and Pierre
		   Wolper",
title		= " Constraint-Generating Dependencies",
booktitle	= "Proceedings 5th International Conference
                   on Database Theory (ICDT)",
pages           = "322--337 ",
series		= "Lecture Notes in Computer Science",
volume		=  "893",
publisher       = "Springer-Verlag",
address		= "Prague",
month		= "January",
year		= 1995
}


@inproceedings{WB95,
	author =	"Pierre Wolper and Bernard Boigelot",
	title =		"An Automata-Theoretic Approach to {Presburger}
                         Arithmetic Constraints",
        booktitle =     "Proc. Static Analysis Symposium",
        address =       "Glasgow",
	series =        "Lecture Notes in Computer Science",
	volume =        "983",
        publisher =     "Springer-Verlag",
        month =		"September",
        pages =         "21--32",
	year =		"1995"
}

@inproceedings{GPVW95,
	author =	"Rob Gerth and Doron Peled and Moshe Y. Vardi 
                         and Pierre Wolper",
	title =		"Simple On-the-fly Automatic Verification of 
                         Linear Temporal Logic",
	month =		"June",
	year =		"1995",
	booktitle   =	"Proc. 15th Work. Protocol Specification, 
                         Testing, and Verification",
        address   =      "Warsaw",
	publisher   =   "North-Holland"
}

@inproceedings{WW96,
	author =	"Bernard Willems and Pierre Wolper",
	title =		"Partial-Order Methods for Model Checking:
                          From Linear Time to Branching Time",
        booktitle   =   "Proc. 11th Symp. on Logic in Computer Science",
        address     =   "New Brunswick",
        pages =         "294--303",
        month       =   "July",
        year        =    1996
}

@inproceedings{PWW96,
        author  = "Doron Peled and Thomas Wilke and Pierre Wolper",
        title   = "An  Algorithmic Approach for Checking Closure Properties of 
                    omega-Regular Languages",
        booktitle = "Proc. CONCUR '96",
        address = "Pisa",
	series = "Lecture Notes in Computer Science",
        publisher =   "Springer-Verlag",
        volume =       "1119",
        month   = "August",
        pages =        "596--610",
        year    = 1996
}

@inproceedings{NW97,
	author	    =	"Ulrich Nitsche and Pierre Wolper",
	title	    =	"Relative Liveness and Behavior Abstraction",
	booktitle   =	"Proc. 16th {ACM} Symposium on Principles of 
                         Distributed Computing",
	address	    =	"Santa Barbara",
	month	    =	 "August",
        year        =     1997
}

@inproceedings{BGWW97,
	author	    =	"Bernard Boigelot and Patrice Godefroid and Bernard Willems 
                         and Pierre Wolper",
	title	    =	"The Power of QDD's",
        booktitle =     "Proc. of Int. Static Analysis Symposium",
        address =       "Paris",
	series =        "Lecture Notes in Computer Science",
	volume =        "1302",
        publisher =     "Springer-Verlag",
        pages=          "172--186",
        month =		"September",
	year =		"1997"
}

@inproceedings{FWW97,
    author = "Alain Finkel and Bernard Willems and Pierre Wolper",
    title = "A direct symbolic approach to model checking pushdown systems",
    booktitle = "Infinity'97, Second International Workshop on Verification of                 Infinite State Systems",
    address  ="Bologna",
    series = "Electronic Notes in Theoretical Computer Science",
    volume = "9",
    publisher = "Elsevier Science Publishers",
    editor = "Faron Moller",
    month = "July",
    year = "1997"
}


@inproceedings{BRW98,
  author =       "Bernard Boigelot and St{\'e}phane Rassart and Pierre Wolper",
  title =        "On the Expressiveness of Real and Integer Arithmetic
                  Automata",
  booktitle = 	"Proc. 25th Colloq. on Automata,
                 Programming, and Languages (ICALP)",
  series  = "Lecture Notes in Computer Science",
  volume =        "1443",
  publisher       = "Springer-Verlag",
  month		= "July",
  pages=          "152--163",
  year =         1998
}

@inproceedings{WB98,
	author =	"Pierre Wolper and Bernard Boigelot",
	title =		"Verifying Systems with Infinite but Regular
                          State Spaces",
        booktitle =     "Proc. 10th Int. Conf. on 
                         Computer Aided Verification",
        address =       "Vancouver",
	series =        "Lecture Notes in Computer Science",
        volume =        "1427",
        publisher =     "Springer-Verlag",
        pages=          "88--97",
        month =		"July",
	year =		"1998"
}




@inproceedings{WB00,
	author =	"Pierre Wolper and Bernard Boigelot",
	title =		"On the Construction of Automata from Linear 
                         Arithmetic Constraints",
        booktitle =     "Proc. 6th International Conference on 
                         Tools and Algorithms for the Construction 
                         and Analysis of Systems",
        address =       "Berlin",
	series =        "Lecture Notes in Computer Science",
        volume =        "1785",
        publisher =     "Springer-Verlag",
        month =		"March",
        pages=          "1--19",
	year =		"2000"
}

@inproceedings{Wol01b,
	author =	"Pierre Wolper",
	title =		"Constructing Automata from Temporal Logic 
                         Formulas: A Tutorial",
        booktitle =     "Lectures on Formal Methods in 
                         Performance Analysis (First EEF/Euro Summer School 
                         on Trends in Computer Science)",
  	series =        "Lecture Notes in Computer Science",
        volume =        "2090",
        publisher =     "Springer-Verlag",
        month =		"July",
        pages=          "261--277",
	year =		"2001"
}

@inproceedings{BJW01,
	author =	"Bernard Boigelot and S\'ebastien Jodogne and
                         Pierre Wolper",
	title =		"On the Use of Weak Automata for Deciding Linear 
                         Arithmetic with Integer and Real Variables",
        booktitle =     "Proc. International Joint Conference on Automated 
                         Reasoning (IJCAR)",
       	series =        "Lecture Notes in Computer Science",
        volume =        "2083",
        address =       "Siena",
        month =		"June",
        publisher =     "Springer-Verlag",
 	year =		"2001",
        pages =         "611--625"
}


@inproceedings{Wol01c,
	author =	"Pierre Wolper",
	title =		"Representing Periodic Temporal Information with
                         Automata",
        booktitle =     "Proc. Eighth International Symposium on Temporal 
                         Representation and Reasoning",
        address =       "Cividale del Friuli",
        month =		"June",
        publisher =     "IEEE Computer Society",
 	year =		"2001",
        pages =         "179"
}


@inproceedings{BW02,
	author =	"Bernard Boigelot  and Pierre Wolper",
	title =		"Representing Arithmetic Constraints with Finite
                         Automata: An Overview",
        booktitle =     "Proc. International Conference on Logic Programming
                         (ICLP)",
       	series =        "Lecture Notes in Computer Science",
        volume =        "2401",
        address =       "Copenhagen",
        month =		"July",
        publisher =     "Springer-Verlag",
 	year =		"2002",
        pages =          "1--19"
}

@inproceedings{BLW03,
	author =	"Bernard Boigelot  and Axel Legay and Pierre Wolper",
	title =		"Iterating Transducers in the Large",
        booktitle =     "Proc. 15th Int. Conf. on 
                         Computer Aided Verification",
        address =       "Boulder",
       	series =        "Lecture Notes in Computer Science",
        volume =        "2725",
        month =		"July",
        publisher =     "Springer-Verlag",
 	year =		"2003",
        pages =         "223--235"
}


@inproceedings{BLW04,
  	author =	"Bernard Boigelot  and Axel Legay and Pierre Wolper",
	title =		"Omega-Regular Model Checking",
        booktitle   =   "Tools and Algorithms for the Construction and Analysis 
                         of Systems,10th International Conference, TACAS 2004", 
        address    =    "Barcelona, Spain",
        month      =    "March",
        publisher =      "Springer-Verlag",
        series    =      "Lecture Notes in Computer Science",
        volume    =      "2988",
        year      =      "2004",
        pages     =      "561--575"
}

@inproceedings{BLW05,
  author    = {Ahmed Bouajjani and
               Axel Legay and
               Pierre Wolper},
  title     = {Handling Liveness Properties in ({\it omega}-)Regular Model
               Checking},
  booktitle = {Proceedings of the 6th International Workshop on Verification of 
               Infinite-State Systems (INFINITY 2004)},
  series    = {Electr. Notes Theor. Comput. Sci.},
  volume    = {138},
  number    = {3},
  year      = {2005},
  pages     = {101-115}
}

@inproceedings{LW06,
  author    = {Axel Legay and
               Pierre Wolper},
  title     = {On the Use of Automata-based Techniques in Symbolic Model
               Checking: Invited Address},
  booktitle = {Proceedings of the First International Workshop on Coordination
               band Organisation (CoOrg 2005)},
  series   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {150},
  number    = {1},
  year      = {2006},
  pages     = {3-8}
 
}

@inproceedings{CLW08,
  author    = {Fran\c{c}ois Cantin and
               Axel Legay and
               Pierre Wolper},
  title     = {Computing Convex Hulls by Automata Iteration},
  booktitle = {Implementation and Applications of Automata, 13th International
               Conference, CIAA 2008, San Francisco, California, USA, July
               21-24, 2008. Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5148},
  year      = {2008},
  isbn      = {978-3-540-70843-8},
  year      = {2008},
  pages     = {112-121}
 
}