Search dblp for Publications

export results for "stream:conf/movep:"

 download as .bib file

@proceedings{DBLP:conf/movep/2000,
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45510-8},
  doi          = {10.1007/3-540-45510-8},
  isbn         = {3-540-42787-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
  author       = {Tobias Amnell and
                  Gerd Behrmann and
                  Johan Bengtsson and
                  Pedro R. D'Argenio and
                  Alexandre David and
                  Ansgar Fehnker and
                  Thomas Hune and
                  Bertrand Jeannet and
                  Kim Guldstrand Larsen and
                  M. Oliver M{\"{o}}ller and
                  Paul Pettersson and
                  Carsten Weise and
                  Wang Yi},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {{UPPAAL} - Now, Next, and Future},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {99--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi          = {10.1007/3-540-45510-8\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/BolignanoML00,
  author       = {Dominique Bolignano and
                  Daniel Le M{\'{e}}tayer and
                  Claire Loiseaux},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Formal Methods in Practice: The Missing Links. {A} Perspective from
                  the Security Area},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {169--182},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_7},
  doi          = {10.1007/3-540-45510-8\_7},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/BolignanoML00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/BrinksmaT00,
  author       = {Ed Brinksma and
                  Jan Tretmans},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Testing Transition Systems: An Annotated Bibliography},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {187--195},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_9},
  doi          = {10.1007/3-540-45510-8\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/BrinksmaT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/CaillaudDHL00,
  author       = {Beno{\^{\i}}t Caillaud and
                  Philippe Darondeau and
                  Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Gilles Lesventes},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {HMSCs as Partial Specifications ... with PNs as Completions},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {125--152},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_5},
  doi          = {10.1007/3-540-45510-8\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/CaillaudDHL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Cimatti00,
  author       = {Alessandro Cimatti},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Industrial Applications of Model Checking},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {153--168},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_6},
  doi          = {10.1007/3-540-45510-8\_6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Cimatti00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Dal-Zilio00,
  author       = {Silvano Dal{-}Zilio},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Mobile Processes: {A} Commented Bibliography},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {206--222},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_11},
  doi          = {10.1007/3-540-45510-8\_11},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Dal-Zilio00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Esparza00,
  author       = {Javier Esparza},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Verification of Systems with an Infinite State Space},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {183--186},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_8},
  doi          = {10.1007/3-540-45510-8\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Esparza00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Merz00,
  author       = {Stephan Merz},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Model Checking: {A} Tutorial Overview},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {3--38},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_1},
  doi          = {10.1007/3-540-45510-8\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Merz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Petrenko00,
  author       = {Alexandre Petrenko},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Fault Model-Driven Test Derivation from Finite State Models: Annotated
                  Bibliography},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {196--205},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_10},
  doi          = {10.1007/3-540-45510-8\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Petrenko00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Rushby00,
  author       = {John M. Rushby},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Theorem Proving for Verification},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {39--57},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_2},
  doi          = {10.1007/3-540-45510-8\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Rushby00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/Valmari00,
  author       = {Antti Valmari},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {Composition and Abstraction},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {58--98},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_3},
  doi          = {10.1007/3-540-45510-8\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/Valmari00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.