Search dblp for Publications

export results for "toc:db/journals/entcs/entcs185.bht:"

 download as .bib file

@proceedings{DBLP:conf/avocs/2006,
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/185/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/avocs/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Amjad07,
  author       = {Hasan Amjad},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Compressing Propositional Refutations},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.025},
  doi          = {10.1016/J.ENTCS.2007.05.025},
  timestamp    = {Tue, 24 Jan 2023 14:10:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Amjad07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeveixFLM07,
  author       = {Jean{-}Paul Bodeveix and
                  Mamoun Filali and
                  Julia L. Lawall and
                  Gilles Muller},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Automatic Verification of Bossa Scheduler Properties},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.026},
  doi          = {10.1016/J.ENTCS.2007.05.026},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BodeveixFLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CadilhacHLPT07,
  author       = {Micha{\"{e}}l Cadilhac and
                  Thomas H{\'{e}}rault and
                  Richard Lassaigne and
                  Sylvain Peyronnet and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Evaluating Complex {MAC} Protocols for Sensor Networks with {APMC}},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {33--46},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.027},
  doi          = {10.1016/J.ENTCS.2007.05.027},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CadilhacHLPT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CansellM07,
  author       = {Dominique Cansell and
                  Dominique M{\'{e}}ry},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Incremental Parametric Development of Greedy Algorithms},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {47--62},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.028},
  doi          = {10.1016/J.ENTCS.2007.05.028},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CansellM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DonaldsonM07,
  author       = {Alastair F. Donaldson and
                  Alice Miller},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Extending Symmetry Reduction Techniques to a Realistic Model of Computation},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {63--76},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.029},
  doi          = {10.1016/J.ENTCS.2007.05.029},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DonaldsonM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Eriksson07,
  author       = {Lars{-}Henrik Eriksson},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {The {GTO} Toolset and Method},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {77--91},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.030},
  doi          = {10.1016/J.ENTCS.2007.05.030},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Eriksson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GradaraSV07,
  author       = {Sara Gradara and
                  Antonella Santone and
                  Maria Luisa Villani},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Formal Verification of Concurrent Systems via Directed Model Checking},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {93--105},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.031},
  doi          = {10.1016/J.ENTCS.2007.05.031},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GradaraSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KleinerN07,
  author       = {E. Kleiner and
                  T. Newcomb},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {On the Decidability of the Safety Problem for Access Control Policies},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {107--120},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.032},
  doi          = {10.1016/J.ENTCS.2007.05.032},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KleinerN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MerzN07,
  author       = {Stephan Merz and
                  Tobias Nipkow},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Preface},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.024},
  doi          = {10.1016/J.ENTCS.2007.05.024},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MerzN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoffatG07,
  author       = {Nick Moffat and
                  Michael Goldsmith},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Assumption-Commitment Support for {CSP} Model Checking},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {121--137},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.033},
  doi          = {10.1016/J.ENTCS.2007.05.033},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MoffatG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrtmeierS07,
  author       = {Frank Ortmeier and
                  Gerhard Schellhorn},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Formal Fault Tree Analysis - Practical Experiences},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {139--151},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.034},
  doi          = {10.1016/J.ENTCS.2007.05.034},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OrtmeierS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}