Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/avocs:"
download as .bib file
@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 = {Mon, 12 Dec 2022 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-05-22 00:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
