Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fm/fm2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/AiguierBG06,
author = {Marc Aiguier and
Karim Berkani and
Pascale Le Gall},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Feature Specification and Static Analysis for Interaction Resolution},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {364--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_25},
doi = {10.1007/11813040\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AiguierBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmalioSP06,
author = {Nuno Am{\'{a}}lio and
Susan Stepney and
Fiona Polack},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Formal Template Language Enabling Metaproof},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {252--267},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_18},
doi = {10.1007/11813040\_18},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmalioSP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArthoBH06,
author = {Cyrille Artho and
Armin Biere and
Shinichi Honiden},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Enforcer - Efficient Failure Injection},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {412--427},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_28},
doi = {10.1007/11813040\_28},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArthoBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BacheriniFTZ06,
author = {Stefano Bacherini and
Alessandro Fantechi and
Matteo Tempestini and
Niccol{\`{o}} Zingoni},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Story About Formal Methods Adoption by a Railway Signaling Manufacturer},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {179--189},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_13},
doi = {10.1007/11813040\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BackesPW06,
author = {Michael Backes and
Birgit Pfitzmann and
Michael Waidner},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Methods and Cryptography},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {612--616},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_44},
doi = {10.1007/11813040\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BackesPW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BannwartM06,
author = {Fabian Bannwart and
Peter M{\"{u}}ller},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Changing Programs Correctly: Refactoring with Specifications},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {492--507},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_33},
doi = {10.1007/11813040\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BannwartM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BlazyDL06,
author = {Sandrine Blazy and
Zaynah Dargaye and
Xavier Leroy},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Verification of a {C} Compiler Front-End},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {460--475},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_31},
doi = {10.1007/11813040\_31},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BlazyDL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BotaschanjanGHKST06,
author = {Jewgenij Botaschanjan and
Alexander Gruler and
Alexander Harhurin and
Leonid Kof and
Maria Spichkova and
David Trachtenherz},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Towards Modularized Verification of Distributed Time-Triggered Systems},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {163--178},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_12},
doi = {10.1007/11813040\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BotaschanjanGHKST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BouquetDL06,
author = {Fabrice Bouquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Bruno Legeard},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Automated Boundary Test Generation from {JML} Specifications},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {428--443},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_29},
doi = {10.1007/11813040\_29},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BouquetDL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Boute06,
author = {Raymond T. Boute},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Using Domain-Independent Problems for Introducing Formal Methods},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {316--331},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_22},
doi = {10.1007/11813040\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Boute06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BrunetCU06,
author = {Greg Brunet and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Properties of Behavioural Model Merging},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {98--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_8},
doi = {10.1007/11813040\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BrunetCU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Cohen06,
author = {Ernie Cohen},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Validating the Microsoft Hypervisor},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {81--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_6},
doi = {10.1007/11813040\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Cohen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CunhaOV06,
author = {Alcino Cunha and
Jos{\'{e}} Nuno Oliveira and
Joost Visser},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Type-Safe Two-Level Data Transformation},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {284--299},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_20},
doi = {10.1007/11813040\_20},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CunhaOV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DelahayeED06,
author = {David Delahaye and
Jean{-}Fr{\'{e}}d{\'{e}}ric {\'{E}}tienne and
V{\'{e}}ronique Donzeau{-}Gouge},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Certifying Airport Security Regulations Using the Focal Environment},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {48--63},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_4},
doi = {10.1007/11813040\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DelahayeED06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DonaldsonM06,
author = {Alastair F. Donaldson and
Alice Miller},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Exact and Approximate Strategies for Symmetry Reduction in Model Checking},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {541--556},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_36},
doi = {10.1007/11813040\_36},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DonaldsonM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EvansB06,
author = {Neil Evans and
Michael J. Butler},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Proposal for Records in Event-B},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {221--235},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_16},
doi = {10.1007/11813040\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/EvansB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FreitasC06,
author = {Angela F. Freitas and
Ana Cavalcanti},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Automatic Translation from \emph{Circus} to Java},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {115--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_9},
doi = {10.1007/11813040\_9},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FreitasC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GenonMM06,
author = {Alexandre Genon and
Thierry Massart and
C{\'{e}}dric Meuter},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Monitoring Distributed Controllers: When an Efficient {LTL} Algorithm
on Sequences Is Needed to Model-Check Traces},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {557--572},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_37},
doi = {10.1007/11813040\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GenonMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HenzingerS06,
author = {Thomas A. Henzinger and
Joseph Sifakis},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {The Embedded Systems Design Challenge},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {1--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_1},
doi = {10.1007/11813040\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HenzingerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HofnerKM06,
author = {Peter H{\"{o}}fner and
Ridha Kh{\'{e}}dri and
Bernhard M{\"{o}}ller},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Feature Algebra},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {300--315},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_21},
doi = {10.1007/11813040\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HofnerKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuynhR06,
author = {Thuan Quang Huynh and
Abhik Roychoudhury},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Memory Model Sensitive Checker for C{\#}},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {476--491},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_32},
doi = {10.1007/11813040\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HuynhR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Johnson06,
author = {D. Randolph Johnson},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Cost Effective Software Engineering for Security},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {607--611},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_43},
doi = {10.1007/11813040\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Johnson06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JohnstonWBSR06,
author = {Wendy Johnston and
Kirsten Winter and
Lionel van den Berg and
Paul A. Strooper and
Peter J. Robinson},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Model-Based Variable and Transition Orderings for Efficient Symbolic
Model Checking},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {524--540},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_35},
doi = {10.1007/11813040\_35},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JohnstonWBSR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Jurjens06,
author = {Jan J{\"{u}}rjens},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Model-Based Security Engineering for Real},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {600--606},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_42},
doi = {10.1007/11813040\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Jurjens06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Kassios06,
author = {Ioannis T. Kassios},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Dynamic Frames: Support for Framing, Dependencies and Sharing Without
Restrictions},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {268--283},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_19},
doi = {10.1007/11813040\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Kassios06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LangariT06,
author = {Zarrin Langari and
Richard J. Trefler},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Modeling of Communication Protocols by Graph Transformation},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {348--363},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_24},
doi = {10.1007/11813040\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LangariT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenNW06,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Interface Input/Output Automata},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {82--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_7},
doi = {10.1007/11813040\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LarsenNW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiHR06,
author = {Xin Li and
H. James Hoover and
Piotr Rudnicki},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Towards Automatic Exception Safety Verification},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {396--411},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_27},
doi = {10.1007/11813040\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LundS06,
author = {Mass Soldal Lund and
Ketil St{\o}len},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Fully General Operational Semantics for {UML} 2.0 Sequence Diagrams
with Potential and Mandatory Choice},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {380--395},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_26},
doi = {10.1007/11813040\_26},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LundS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/McCombS06,
author = {Tim McComb and
Graeme Smith},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Compositional Class Refinement in Object-Z},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {205--220},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_15},
doi = {10.1007/11813040\_15},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/McCombS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/McIver06,
author = {Annabelle McIver},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Quantitative Refinement \emph{and} Model Checking for the Analysis
of Probabilistic Systems},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {131--146},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_10},
doi = {10.1007/11813040\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/McIver06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Mostowski06,
author = {Wojciech Mostowski},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {444--459},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_30},
doi = {10.1007/11813040\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Mostowski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Oheimb06,
author = {David von Oheimb},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Methods in the Security Business: Exotic Flowers Thriving in
an Expanding Niche},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {592--597},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_40},
doi = {10.1007/11813040\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Oheimb06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OliveiraR06,
author = {Jos{\'{e}} Nuno Oliveira and
C{\'{e}}sar Jesus Rodrigues},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Pointfree Factorization of Operation Refinement},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {236--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_17},
doi = {10.1007/11813040\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/OliveiraR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Pavlovic06,
author = {Dusko Pavlovic},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Connector-Based Software Development: Deriving Secure Protocols},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {598--599},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_41},
doi = {10.1007/11813040\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Pavlovic06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PnueliZ06,
author = {Amir Pnueli and
Aleksandr Zaks},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {{PSL} Model Checking and Run-Time Verification Via Testers},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {573--586},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_38},
doi = {10.1007/11813040\_38},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PnueliZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Preoteasa06,
author = {Viorel Preoteasa},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Mechanical Verification of Recursive Procedures Manipulating Pointers
Using Separation Logic},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {508--523},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_34},
doi = {10.1007/11813040\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Preoteasa06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchellhornGHR06,
author = {Gerhard Schellhorn and
Holger Grandy and
Dominik Haneberg and
Wolfgang Reif},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {The Mondex Challenge: Machine Checked Proofs for an Electronic Purse},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {16--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_2},
doi = {10.1007/11813040\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchellhornGHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchmittHBRM06,
author = {Jonathan Schmitt and
Alwin Hoffmann and
Michael Balser and
Wolfgang Reif and
Mar Marcos},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Interactive Verification of Medical Guidelines},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {32--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_3},
doi = {10.1007/11813040\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchmittHBRM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Stephan06,
author = {Werner Stephan},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Methods for Security: Lightweight Plug-In or New Engineering
Discipline},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {587--591},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_39},
doi = {10.1007/11813040\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Stephan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/UmenoL06,
author = {Shinya Umeno and
Nancy A. Lynch},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Proving Safety Properties of an Aircraft Landing Protocol Using {I/O}
Automata and the {PVS} Theorem Prover: {A} Case Study},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {64--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_5},
doi = {10.1007/11813040\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/UmenoL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VerhoefLH06,
author = {Marcel Verhoef and
Peter Gorm Larsen and
Jozef Hooman},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Modeling and Validating Distributed Embedded Real-Time Systems with
{VDM++}},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {147--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_11},
doi = {10.1007/11813040\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/VerhoefLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Woodcock06,
author = {Jim Woodcock},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Verified Software Grand Challenge},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {617--617},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_45},
doi = {10.1007/11813040\_45},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Woodcock06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Zave06,
author = {Pamela Zave},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Compositional Binding in Network Domains},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {332--347},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_23},
doi = {10.1007/11813040\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Zave06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhengWWX06,
author = {Yujun Zheng and
Jinquan Wang and
Kan Wang and
Jinyun Xue},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Partially Introducing Formal Methods into Object-Oriented Development:
Case Studies Using a Metrics-Driven Approach},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {190--204},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_14},
doi = {10.1007/11813040\_14},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ZhengWWX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2006,
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040},
doi = {10.1007/11813040},
isbn = {3-540-37215-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2006.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-04-26 09:44 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:
