Search dblp for Publications

export results for "toc:db/conf/spin/spin2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/spin/BattBJGM04,
  author       = {Gr{\'{e}}gory Batt and
                  Damien Bergamini and
                  Hidde de Jong and
                  Hubert Garavel and
                  Radu Mateescu},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Model Checking Genetic Regulatory Networks Using {GNA} and {CADP}},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {158--163},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_12},
  doi          = {10.1007/978-3-540-24732-6\_12},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/BattBJGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BosnackiIS04,
  author       = {Dragan Bosnacki and
                  Natalia Ioustinova and
                  Natalia Sidorova},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Using Fairness to Make Abstractions Work},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {198--215},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_15},
  doi          = {10.1007/978-3-540-24732-6\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BosnackiIS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BozgaGMO04,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Laurent Mounier and
                  Iulian Ober},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {{IF} Validation Environment Tutorial},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {306--307},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_22},
  doi          = {10.1007/978-3-540-24732-6\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BozgaGMO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ChenC04,
  author       = {Jessica Chen and
                  Hanmei Cui},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Translation from Adapted {UML} to Promela for CORBA-Based Applications},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {234--251},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_17},
  doi          = {10.1007/978-3-540-24732-6\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ChenC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/DillingerM04,
  author       = {Peter C. Dillinger and
                  Panagiotis Manolios},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Fast and Accurate Bitstate Verification for {SPIN}},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {57--75},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_5},
  doi          = {10.1007/978-3-540-24732-6\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/DillingerM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/FinkelL04,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Polynomial Time Image Computation with Interval-Definable Counters
                  Systems},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {182--197},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_14},
  doi          = {10.1007/978-3-540-24732-6\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/FinkelL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Flanagan04,
  author       = {Cormac Flanagan},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Verifying Commit-Atomicity Using Model-Checking},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_18},
  doi          = {10.1007/978-3-540-24732-6\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Flanagan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GaravelM04,
  author       = {Hubert Garavel and
                  Radu Mateescu},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {{SEQ.OPEN:} {A} Tool for Efficient Trace-Based Verification},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {151--157},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_11},
  doi          = {10.1007/978-3-540-24732-6\_11},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GaravelM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GastinMZ04,
  author       = {Paul Gastin and
                  Pierre Moro and
                  Marc Zeitoun},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Minimization of Counterexamples in {SPIN}},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {92--108},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_7},
  doi          = {10.1007/978-3-540-24732-6\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GastinMZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Geldenhuys04,
  author       = {Jaco Geldenhuys},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {State Caching Reconsidered},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {23--38},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_3},
  doi          = {10.1007/978-3-540-24732-6\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Geldenhuys04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/HolzmannJ04,
  author       = {Gerard J. Holzmann and
                  Rajeev Joshi},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Model-Driven Software Verification},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_6},
  doi          = {10.1007/978-3-540-24732-6\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/HolzmannJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/JonesM04,
  author       = {Michael D. Jones and
                  Eric Mercer},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Explicit State Model Checking with Hopper},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {146--150},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_10},
  doi          = {10.1007/978-3-540-24732-6\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/JonesM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/KrichenT04,
  author       = {Moez Krichen and
                  Stavros Tripakis},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Black-Box Conformance Testing for Real-Time Systems},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {109--126},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_8},
  doi          = {10.1007/978-3-540-24732-6\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/KrichenT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/LeueMW04,
  author       = {Stefan Leue and
                  Richard Mayr and
                  Wei Wei},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {A Scalable Incomplete Test for Message Buffer Overflow in Promela
                  Models},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {216--233},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_16},
  doi          = {10.1007/978-3-540-24732-6\_16},
  timestamp    = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/LeueMW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/LevenME04,
  author       = {Peter Leven and
                  Tilman Mehler and
                  Stefan Edelkamp},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Directed Error Detection in {C++} with the Assembly-Level Model Checker
                  StEAM},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {39--56},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_4},
  doi          = {10.1007/978-3-540-24732-6\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/LevenME04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/OberGO04,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Ileana Ober},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Validation of {UML} Models via a Mapping to Communicating Extended
                  Timed Automata},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {127--145},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_9},
  doi          = {10.1007/978-3-540-24732-6\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/OberGO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/PasareanuV04,
  author       = {Corina S. Pasareanu and
                  Willem Visser},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Verification of Java Programs Using Symbolic Execution and Invariant
                  Generation},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {164--181},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_13},
  doi          = {10.1007/978-3-540-24732-6\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/PasareanuV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Pelanek04,
  author       = {Radek Pel{\'{a}}nek},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Typical Structural Properties of State Spaces},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {5--22},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_2},
  doi          = {10.1007/978-3-540-24732-6\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Pelanek04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RangarajanDSC04,
  author       = {Murali Rangarajan and
                  Samar Dajani{-}Brown and
                  Kirk Schloegel and
                  Darren D. Cofer},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Analysis of Distributed Spin Applied to Industrial-Scale Models},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {267--285},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_19},
  doi          = {10.1007/978-3-540-24732-6\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RangarajanDSC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RuysH04,
  author       = {Theo C. Ruys and
                  Gerard J. Holzmann},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Advanced {SPIN} Tutorial},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {304--305},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_21},
  doi          = {10.1007/978-3-540-24732-6\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RuysH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SiegelA04,
  author       = {Stephen F. Siegel and
                  George S. Avrunin},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Verification of MPI-Based Software for Scientific Computation},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {286--303},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_20},
  doi          = {10.1007/978-3-540-24732-6\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SiegelA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Wilhelm04,
  author       = {Reinhard Wilhelm},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Formal Analysis of Processor Timing Models},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_1},
  doi          = {10.1007/978-3-540-24732-6\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Wilhelm04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2004,
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b96721},
  doi          = {10.1007/B96721},
  isbn         = {3-540-21314-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.