![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/avocs:"
@proceedings{DBLP:conf/avocs/2007, editor = {Michael Goldsmith and Bill Roscoe}, title = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/250/issue/1}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/avocs/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/avocs/2008, editor = {Alice Miller and Muffy Calder}, title = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/250/issue/2}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/avocs/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Donaldson09, author = {Alastair F. Donaldson}, editor = {Alice Miller and Muffy Calder}, title = {Vector Symmetry Reduction}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {3--18}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.014}, doi = {10.1016/J.ENTCS.2009.08.014}, timestamp = {Fri, 24 Feb 2023 13:53:27 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Donaldson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GhilardiRV09, author = {Silvio Ghilardi and Silvio Ranise and Thomas Valsecchi}, editor = {Alice Miller and Muffy Calder}, title = {Light-Weight SMT-based Model Checking}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {85--102}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.019}, doi = {10.1016/J.ENTCS.2009.08.019}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GhilardiRV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KansoMS09, author = {Karim Kanso and Faron Moller and Anton Setzer}, editor = {Alice Miller and Muffy Calder}, title = {Automated Verification of Signalling Principles in Railway Interlocking Systems}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {19--31}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.015}, doi = {10.1016/J.ENTCS.2009.08.015}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KansoMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KumarM09, author = {Rahul Kumar and Eric G. Mercer}, editor = {Alice Miller and Muffy Calder}, title = {Verifying Communication Protocols Using Live Sequence Chart Specifications}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {33--48}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.016}, doi = {10.1016/J.ENTCS.2009.08.016}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KumarM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MillerC09, author = {Alice Miller and Muffy Calder}, editor = {Alice Miller and Muffy Calder}, title = {Preface}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {1--2}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.013}, doi = {10.1016/J.ENTCS.2009.08.013}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MillerC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MurrayL09, author = {Toby C. Murray and Gavin Lowe}, editor = {Alice Miller and Muffy Calder}, title = {On Refinement-Closed Security Properties and Nondeterministic Compositions}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {49--68}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.017}, doi = {10.1016/J.ENTCS.2009.08.017}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MurrayL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OReillyRI09, author = {Liam O'Reilly and Markus Roggenbach and Yoshinao Isobe}, editor = {Alice Miller and Muffy Calder}, title = {CSP-CASL-Prover: {A} Generic Tool for Process and Data Refinement}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {69--84}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.018}, doi = {10.1016/J.ENTCS.2009.08.018}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OReillyRI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RiponB09, author = {Shamim Ripon and Michael J. Butler}, editor = {Alice Miller and Muffy Calder}, title = {{PVS} Embedding of cCSP Semantic Models and Their Relationship}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {103--118}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.020}, doi = {10.1016/J.ENTCS.2009.08.020}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RiponB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SamuelRI09, author = {D. Gift Samuel and Markus Roggenbach and Yoshinao Isobe}, editor = {Alice Miller and Muffy Calder}, title = {The Stable Revivals Model in CSP-Prover}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {119--134}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.021}, doi = {10.1016/J.ENTCS.2009.08.021}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SamuelRI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WehrheimW09, author = {Heike Wehrheim and Daniel Wonisch}, editor = {Alice Miller and Muffy Calder}, title = {Compositional {CSP} Traces Refinement Checking}, booktitle = {Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {2}, pages = {135--151}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.08.022}, doi = {10.1016/J.ENTCS.2009.08.022}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WehrheimW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AntonikH09, author = {Adam Antonik and Michael Huth}, editor = {Michael Goldsmith and Bill Roscoe}, title = {On the Complexity of Semantic Self-minimization}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {3--19}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.002}, doi = {10.1016/J.ENTCS.2009.08.002}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/AntonikH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BallariniH09, author = {Paolo Ballarini and Andr{\'{a}}s Horv{\'{a}}th}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Compositional Model Checking of product-form CTMCs}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {21--37}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.003}, doi = {10.1016/J.ENTCS.2009.08.003}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BallariniH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BenalycherifM09, author = {Lyes Benalycherif and Anthony McIsaac}, editor = {Michael Goldsmith and Bill Roscoe}, title = {A Semantic Condition for Data Independence and Applications in Hardware Verification}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {39--54}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.004}, doi = {10.1016/J.ENTCS.2009.08.004}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BenalycherifM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Dawson09, author = {Jeremy E. Dawson}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Isabelle Theories for Machine Words}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {55--70}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.005}, doi = {10.1016/J.ENTCS.2009.08.005}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Dawson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FecherHSS09, author = {Harald Fecher and Michael Huth and Heiko Schmidt and Jens Sch{\"{o}}nborn}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Refinement Sensitive Formal Semantics of State Machines With Persistent Choice}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {71--86}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.006}, doi = {10.1016/J.ENTCS.2009.08.006}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/FecherHSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GoldsmithR09, author = {Michael Goldsmith and Bill Roscoe}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Preface}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {1--2}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.001}, doi = {10.1016/J.ENTCS.2009.08.001}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GoldsmithR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrahamCM09, author = {Douglas Graham and Muffy Calder and Alice Miller}, editor = {Michael Goldsmith and Bill Roscoe}, title = {An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {87--103}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.007}, doi = {10.1016/J.ENTCS.2009.08.007}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrahamCM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/IzadiM09, author = {Mohammad Izadi and Ali Movaghar}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Compositional Failure-based Equivalence of Constraint Automata}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {105--122}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.008}, doi = {10.1016/J.ENTCS.2009.08.008}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/IzadiM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Jurjens09, author = {Jan J{\"{u}}rjens}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {123--136}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.009}, doi = {10.1016/J.ENTCS.2009.08.009}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Jurjens09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KumarMB09, author = {Rahul Kumar and Eric G. Mercer and Annette Bunker}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Improving Translation of Live Sequence Charts to Temporal Logic}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {137--152}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.010}, doi = {10.1016/J.ENTCS.2009.08.010}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KumarMB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lowe09, author = {Gavin Lowe}, editor = {Michael Goldsmith and Bill Roscoe}, title = {On {CSP} Refinement Tests That Run Multiple Copies of a Process}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {153--170}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.011}, doi = {10.1016/J.ENTCS.2009.08.011}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lowe09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MazurL09, author = {Tomasz Mazur and Gavin Lowe}, editor = {Michael Goldsmith and Bill Roscoe}, title = {Counter Abstraction in the {CSP/FDR} setting}, booktitle = {Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {250}, number = {1}, pages = {171--186}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.08.012}, doi = {10.1016/J.ENTCS.2009.08.012}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MazurL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@proceedings{DBLP:conf/avocs/2005, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/145/suppl/C}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/avocs/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Amjad06, author = {Hasan Amjad}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Verification of {AMBA} Using a Combination of Model Checking and Theorem Proving}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {45--61}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.004}, doi = {10.1016/J.ENTCS.2005.10.004}, timestamp = {Thu, 15 Dec 2022 14:59:29 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Amjad06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarsottiNT06, author = {Dami{\'{a}}n Barsotti and Leonor Prensa Nieto and Alwen Fernanto Tiu}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {63--78}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.005}, doi = {10.1016/J.ENTCS.2005.10.005}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarsottiNT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CeskaEV06, author = {Milan Ceska and Pavel Erlebach and Tom{\'{a}}s Vojnar}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Pattern-Based Verification of Programs with Extended Linear Linked Data Structures}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {113--130}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.008}, doi = {10.1016/J.ENTCS.2005.10.008}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CeskaEV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Charlton06, author = {Nathaniel Charlton}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Verification of Java Programs with Interacting Analysis Plugins}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {131--150}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.009}, doi = {10.1016/J.ENTCS.2005.10.009}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Charlton06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EvansT06, author = {Neil Evans and Helen Treharne}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Linking Semantic Models to Support {CSP} {\(\vert\)}{\(\vert\)} {B} Consistency Checking}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {201--217}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.013}, doi = {10.1016/J.ENTCS.2005.10.013}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EvansT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GordonIOS06, author = {Mike Gordon and Juliano Iyoda and Scott Owens and Konrad Slind}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Automatic Formal Synthesis of Hardware from Higher Order Logic}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {27--43}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.003}, doi = {10.1016/J.ENTCS.2005.10.003}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GordonIOS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GuelevRS06, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre{-}Yves Schobbens}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Synthesising Features by Games}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {79--93}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.006}, doi = {10.1016/J.ENTCS.2005.10.006}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GuelevRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Jones06, author = {Cliff B. Jones}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Reasoning About Partial Functions in the Formal Development of Programs}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {3--25}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.002}, doi = {10.1016/J.ENTCS.2005.10.002}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Jones06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KangM06, author = {Eun{-}Young Kang and Stephan Merz}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Predicate Diagrams for the Verification of Real-Time Systems}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {151--165}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.010}, doi = {10.1016/J.ENTCS.2005.10.010}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KangM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LazicN06, author = {Ranko Lazic and Rajagopal Nagarajan}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Preface}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {1--2}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.001}, doi = {10.1016/J.ENTCS.2005.11.001}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LazicN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ReedRS06, author = {Joy N. Reed and A. W. Roscoe and Jane E. Sinclair}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Machine-Verifiable Responsiveness}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {185--200}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.012}, doi = {10.1016/J.ENTCS.2005.10.012}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ReedRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SongCR06, author = {Hosung Song and Kevin J. Compton and William C. Rounds}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {{SPHIN:} {A} model checker for reconfigurable hybrid systems based on {SPIN}}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {167--183}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.011}, doi = {10.1016/J.ENTCS.2005.10.011}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SongCR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/TobenW06, author = {Tobe Toben and Bernd Westphal}, editor = {Ranko Lazic and Rajagopal Nagarajan}, title = {Concurrent {LSC} Verification: On Decomposition Properties of Partially Ordered Symbolic Automata}, booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {145}, pages = {95--111}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.007}, doi = {10.1016/J.ENTCS.2005.10.007}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/TobenW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/avocs/2004, editor = {Michael Huth}, title = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/6}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/avocs/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraunsteinE05, author = {C{\'{e}}cile Braunstein and Emmanuelle Encrenaz}, editor = {Michael Huth}, title = {CTL-Property Transformations Along an Incremental Design Process}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {263--278}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.016}, doi = {10.1016/J.ENTCS.2005.04.016}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BraunsteinE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CassezR05, author = {Franck Cassez and Olivier H. Roux}, editor = {Michael Huth}, title = {Structural Translation from Time Petri Nets to Timed Automata}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {145--160}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.009}, doi = {10.1016/J.ENTCS.2005.04.009}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CassezR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DarlotFB05, author = {Christophe Darlot and Alain Finkel and Laurent Van Begin}, editor = {Michael Huth}, title = {About Fast and TReX Accelerations}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {87--103}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.006}, doi = {10.1016/J.ENTCS.2005.04.006}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DarlotFB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DimovskiL05, author = {Aleksandar S. Dimovski and Ranko Lazic}, editor = {Michael Huth}, title = {Software Model Checking Based on Game Semantics and {CSP}}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {105--125}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.007}, doi = {10.1016/J.ENTCS.2005.04.007}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/DimovskiL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DonaldsonMC05, author = {Alastair F. Donaldson and Alice Miller and Muffy Calder}, editor = {Michael Huth}, title = {Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {161--177}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.010}, doi = {10.1016/J.ENTCS.2005.04.010}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DonaldsonMC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DuflotFHLMMPP05, author = {Marie Duflot and Laurent Fribourg and Thomas H{\'{e}}rault and Richard Lassaigne and Fr{\'{e}}d{\'{e}}ric Magniette and St{\'{e}}phane Messika and Sylvain Peyronnet and Claudine Picaronny}, editor = {Michael Huth}, title = {Probabilistic Model Checking of the {CSMA/CD} Protocol Using {PRISM} and {APMC}}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {195--214}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.012}, doi = {10.1016/J.ENTCS.2005.04.012}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/DuflotFHLMMPP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Fecher05, author = {Harald Fecher}, editor = {Michael Huth}, title = {Truly Concurrent Logic via In-Between Specification}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {215--230}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.013}, doi = {10.1016/J.ENTCS.2005.04.013}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Fecher05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FokkinkP05, author = {Wan J. Fokkink and Jun Pang}, editor = {Michael Huth}, title = {Simplifying Itai-Rodeh Leader Election for Anonymous Rings}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {53--68}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.004}, doi = {10.1016/J.ENTCS.2005.04.004}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FokkinkP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GribaudoH05, author = {Marco Gribaudo and Andr{\'{a}}s Horv{\'{a}}th}, editor = {Michael Huth}, title = {Model Checking Functional and Performability Properties of Stochastic Fluid Models}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {295--310}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.018}, doi = {10.1016/J.ENTCS.2005.04.018}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/GribaudoH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GuelevRS05, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre{-}Yves Schobbens}, editor = {Michael Huth}, title = {Model-checking the Preservation of Temporal Properties upon Feature Integration}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {311--324}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.019}, doi = {10.1016/J.ENTCS.2005.04.019}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GuelevRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HopcroftB05, author = {Philippa J. Hopcroft and Guy H. Broadfoot}, editor = {Michael Huth}, title = {Combining the Box Structure Development Method and {CSP} for Software Development}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {127--144}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.008}, doi = {10.1016/J.ENTCS.2005.04.008}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HopcroftB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Huth05a, author = {Michael Huth}, editor = {Michael Huth}, title = {Preface}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {1--2}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.009}, doi = {10.1016/J.ENTCS.2005.02.009}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Huth05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KlarlundT05, author = {Nils Klarlund and Richard J. Trefler}, editor = {Michael Huth}, title = {Regularity Results for {FIFO} Channels}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {21--36}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.002}, doi = {10.1016/J.ENTCS.2005.04.002}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KlarlundT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MerlinH05, author = {Armelle Merlin and Ga{\'{e}}tan Hains}, editor = {Michael Huth}, title = {A Generic Cost Model for Concurrent and Data-parallel Meta-computing}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {3--19}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.001}, doi = {10.1016/J.ENTCS.2005.04.001}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MerlinH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Momtahan05, author = {Lee Momtahan}, editor = {Michael Huth}, title = {Towards a Small Model Theorem for Data Independent Systems in Alloy}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {37--52}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.003}, doi = {10.1016/J.ENTCS.2005.04.003}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Momtahan05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Pandya05, author = {Paritosh K. Pandya}, editor = {Michael Huth}, title = {Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {247--262}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.015}, doi = {10.1016/J.ENTCS.2005.04.015}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Pandya05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RaskinSB05, author = {Jean{-}Fran{\c{c}}ois Raskin and Mathias Samuelides and Laurent Van Begin}, editor = {Michael Huth}, title = {Games for Counting Abstractions}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {69--85}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.005}, doi = {10.1016/J.ENTCS.2005.04.005}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RaskinSB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SiminiceanuC05, author = {Radu Siminiceanu and Gianfranco Ciardo}, editor = {Michael Huth}, title = {Formal Verification of the {NASA} Runway Safety Monitor}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {179--194}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.011}, doi = {10.1016/J.ENTCS.2005.04.011}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SiminiceanuC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VasudevanEA05, author = {Shobha Vasudevan and E. Allen Emerson and Jacob A. Abraham}, editor = {Michael Huth}, title = {Efficient Model Checking of Hardware Using Conditioned Slicing}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {279--294}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.017}, doi = {10.1016/J.ENTCS.2005.04.017}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/VasudevanEA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WangKTZ05, author = {Xu Wang and Marta Z. Kwiatkowska and Georgios Theodoropoulos and Qianyi Zhang}, editor = {Michael Huth}, title = {Towards a Unifying {CSP} approach to Hierarchical Verification of Asynchronous Hardware}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {231--246}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.014}, doi = {10.1016/J.ENTCS.2005.04.014}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WangKTZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.