default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerhard Schellhorn
@inproceedings{DBLP:conf/vmcai/BodenmullerDDSW24,
author = {Stefan Bodenm{\"{u}}ller and
John Derrick and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {A Fully Verified Persistency Library},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14500},
pages = {26--47},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50521-8\_2},
doi = {10.1007/978-3-031-50521-8\_2},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BodenmullerDDSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchellhornBR23,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
editor = {Paula Herber and
Anton Wijs},
title = {Refinement and Separation: Modular Verification of Wandering Trees},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {214--234},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_12},
doi = {10.1007/978-3-031-47705-8\_12},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/SchellhornBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SchellhornBR23,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Thread-Local, Step-Local Proof Obligations for Refinement of State-Based
Concurrent Systems},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {70--87},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_6},
doi = {10.1007/978-3-031-33163-3\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/SchellhornBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BodenmullerSR22,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Verification of Crashsafe Caching in a Virtual File System Switch},
journal = {Formal Aspects Comput.},
volume = {34},
number = {1},
pages = {1--33},
year = {2022},
url = {https://doi.org/10.1145/3523737},
doi = {10.1145/3523737},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BodenmullerSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BilaDDDSW22,
author = {Eleni Bila and
John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Modularising Verification Of Durable Opacity},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:7)2022},
doi = {10.46298/LMCS-18(3:7)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BilaDDDSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchellhornBBR20,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Martin Bitterlich and
Wolfgang Reif},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Software {\&} System Verification with {KIV}},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {408--436},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_20},
doi = {10.1007/978-3-031-08166-8\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SchellhornBBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DongolSW22,
author = {Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Weak Progressive Forward Simulation Is Necessary and Sufficient for
Strong Observational Refinement},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {31:1--31:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.31},
doi = {10.4230/LIPICS.CONCUR.2022.31},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DongolSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SchellhornBBR22,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Martin Bitterlich and
Wolfgang Reif},
editor = {Akash Lal and
Stefano Tonetta},
title = {Separating Separation Logic - Modular Verification of Red-Black Trees},
booktitle = {Verified Software. Theories, Tools and Experiments - 14th International
Conference, {VSTTE} 2022, Trento, Italy, October 17-18, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13800},
pages = {129--147},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25803-9\_8},
doi = {10.1007/978-3-031-25803-9\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/SchellhornBBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickDDSW21,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Verifying correctness of persistent concurrent data structures: a
sound and complete method},
journal = {Formal Aspects Comput.},
volume = {33},
number = {4-5},
pages = {547--573},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00541-8},
doi = {10.1007/S00165-021-00541-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickDDSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodenmullerSBR21,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Martin Bitterlich and
Wolfgang Reif},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Flashix: Modular Verification of a Concurrent and Crash-Safe Flash
File System},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {239--265},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_14},
doi = {10.1007/978-3-030-76020-5\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodenmullerSBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DerrickDDSW21,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Seth Gilbert},
title = {Brief Announcement: On Strong Observational Refinement and Forward
Simulation},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {55:1--55:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.55},
doi = {10.4230/LIPICS.DISC.2021.55},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DerrickDDSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-14509,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
title = {On Strong Observational Refinement and Forward Simulation},
journal = {CoRR},
volume = {abs/2107.14509},
year = {2021},
url = {https://arxiv.org/abs/2107.14509},
eprinttype = {arXiv},
eprint = {2107.14509},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornBPR20,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Adding Concurrency to a Sequential Refinement Tower},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {6--23},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_2},
doi = {10.1007/978-3-030-48077-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornBPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BilaDDDSW20,
author = {Eleni Bila and
Simon Doherty and
Brijesh Dongol and
John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Defining and Verifying Durable Opacity: Correctness for Persistent
Software Transactional Memory},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {39--58},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_3},
doi = {10.1007/978-3-030-50086-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BilaDDDSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BodenmullerSR20,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Modular Integration of Crashsafe Caching into a Verified Virtual File
System Switch},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {218--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_12},
doi = {10.1007/978-3-030-63461-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BodenmullerSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08200,
author = {Eleni Bila and
Simon Doherty and
Brijesh Dongol and
John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Defining and Verifying Durable Opacity: Correctness for Persistent
Software Transactional Memory},
journal = {CoRR},
volume = {abs/2004.08200},
year = {2020},
url = {https://arxiv.org/abs/2004.08200},
eprinttype = {arXiv},
eprint = {2004.08200},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-15013,
author = {Eleni Bila and
John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Modularising Verification Of Durable Opacity},
journal = {CoRR},
volume = {abs/2011.15013},
year = {2020},
url = {https://arxiv.org/abs/2011.15013},
eprinttype = {arXiv},
eprint = {2011.15013},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-15013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DerrickDDSW19,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Verifying Correctness of Persistent Concurrent Data Structures},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {179--195},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_12},
doi = {10.1007/978-3-030-30942-8\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDDSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickDDSTW18,
author = {John Derrick and
Simon Doherty and
Brijesh Dongol and
Gerhard Schellhorn and
Oleg Travkin and
Heike Wehrheim},
title = {Mechanized proofs of opacity: a comparison of two techniques},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {597--625},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0433-3},
doi = {10.1007/S00165-017-0433-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickDDSTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchellhornEPBR18,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
title = {Symbolic execution for a clash-free subset of ASMs},
journal = {Sci. Comput. Program.},
volume = {158},
pages = {21--40},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.08.014},
doi = {10.1016/J.SCICO.2017.08.014},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchellhornEPBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SchellhornWTKW18,
author = {Gerhard Schellhorn and
Monika Wedel and
Oleg Travkin and
J{\"{u}}rgen K{\"{o}}nig and
Heike Wehrheim},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {105--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_7},
doi = {10.1007/978-3-319-92970-5\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SchellhornWTKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PfahlerEBSR17,
author = {J{\"{o}}rg Pf{\"{a}}hler and
Gidon Ernst and
Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Modular Verification of Order-Preserving Write-Back Caches},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {375--390},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_25},
doi = {10.1007/978-3-319-66845-1\_25},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PfahlerEBSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ErnstPSR16,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Modular, crash-safe refinement for ASMs with submachines},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {3--21},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.009},
doi = {10.1016/J.SCICO.2016.04.009},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ErnstPSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPR16,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {A Relational Encoding for a Clash-Free Subset of ASMs},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {237--243},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_15},
doi = {10.1007/978-3-319-33600-8\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornEPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchellhornTW16,
author = {Gerhard Schellhorn and
Oleg Travkin and
Heike Wehrheim},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Towards a Thread-Local Proof Technique for Starvation Freedom},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {193--209},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_13},
doi = {10.1007/978-3-319-33693-0\_13},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchellhornTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/DohertyDDSW16,
author = {Simon Doherty and
Brijesh Dongol and
John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Panagiota Fatourou and
Ernesto Jim{\'{e}}nez and
Fernando Pedone},
title = {Proving Opacity of a Pessimistic {STM}},
booktitle = {20th International Conference on Principles of Distributed Systems,
{OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
series = {LIPIcs},
volume = {70},
pages = {35:1--35:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.35},
doi = {10.4230/LIPICS.OPODIS.2016.35},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DohertyDDSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ErnstSR15,
author = {Gidon Ernst and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Verification of B\({}^{\mbox{+}}\) trees by integration of shape analysis
and interactive theorem proving},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {27--44},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0320-1},
doi = {10.1007/S10270-013-0320-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ErnstSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ErnstPSHR15,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
title = {{KIV:} overview and VerifyThis competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {677--694},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0308-3},
doi = {10.1007/S10009-014-0308-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ErnstPSHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DerrickDSTW15,
author = {John Derrick and
Brijesh Dongol and
Gerhard Schellhorn and
Oleg Travkin and
Heike Wehrheim},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Verifying Opacity of a Transactional Mutex Lock},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {161--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_11},
doi = {10.1007/978-3-319-19249-9\_11},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstPSR15,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Inside a Verified Flash File System: Transactions and Garbage Collection},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {73--93},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_5},
doi = {10.1007/978-3-319-29613-5\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ErnstPSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/BorekKMRSS15,
author = {Marian Borek and
Kuzman Katkalov and
Nina Moebius and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Bernhard Thalheim and
Klaus{-}Dieter Schewe and
Andreas Prinz and
Bruno Buchberger},
title = {Integrating a Model-Driven Approach and Formal Verification for the
Development of Secure Service Applications},
booktitle = {Correct Software in Web Applications and Web Services},
series = {Texts and monographs in symbolic computation},
pages = {45--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17112-8\_3},
doi = {10.1007/978-3-319-17112-8\_3},
timestamp = {Wed, 25 Sep 2019 17:41:11 +0200},
biburl = {https://dblp.org/rec/books/sp/15/BorekKMRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SchellhornTEPR14,
author = {Gerhard Schellhorn and
Bogdan Tofan and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
title = {{RGITL:} {A} temporal logic framework for compositional reasoning
about interleaved programs},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {131--174},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9389-z},
doi = {10.1007/S10472-013-9389-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/SchellhornTEPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TofanTSW14,
author = {Bogdan Tofan and
Oleg Travkin and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Two approaches for proving linearizability of multiset},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {297--314},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.001},
doi = {10.1016/J.SCICO.2014.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TofanTSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchellhornDW14,
author = {Gerhard Schellhorn and
John Derrick and
Heike Wehrheim},
title = {A Sound and Complete Proof Technique for Linearizability of Concurrent
Data Structures},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {31:1--31:37},
year = {2014},
url = {https://doi.org/10.1145/2629496},
doi = {10.1145/2629496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SchellhornDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPHR14,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Dominik Haneberg and
Wolfgang Reif},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Development of a Verified Flash File System},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {9--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_2},
doi = {10.1007/978-3-662-43652-3\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornEPHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ErnstPSR14,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Modular Refinement for Submachines of ASMs},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {188--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_16},
doi = {10.1007/978-3-662-43652-3\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ErnstPSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DerrickDSTTW14,
author = {John Derrick and
Brijesh Dongol and
Gerhard Schellhorn and
Bogdan Tofan and
Oleg Travkin and
Heike Wehrheim},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {200--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_15},
doi = {10.1007/978-3-319-06410-9\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDSTTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TofanSR14,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Elvira Albert and
Emil Sekerinski},
title = {A Compositional Proof Method for Linearizability Applied to a Wait-Free
Multiset},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {357--372},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_22},
doi = {10.1007/978-3-319-10181-1\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TofanSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/TofanSEPR13,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
title = {Compositional Verification of a Lock-Free Stack with {RGITL}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.885},
doi = {10.14279/TUJ.ECEASST.66.885},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/TofanSEPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PfahlerESHR13,
author = {J{\"{o}}rg Pf{\"{a}}hler and
Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Valeria Bertacco and
Axel Legay},
title = {Formal Specification of an Erase Block Management Layer for Flash
Memory},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {214--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_15},
doi = {10.1007/978-3-319-03077-7\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/PfahlerESHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstSHPR13,
author = {Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Verification of a Virtual Filesystem Switch},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {242--261},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_13},
doi = {10.1007/978-3-642-54108-7\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ErnstSHPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/TravkinWS12,
author = {Oleg Travkin and
Heike Wehrheim and
Gerhard Schellhorn},
title = {Proving Linearizability of Multiset with Local Proof Obligations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.795},
doi = {10.14279/TUJ.ECEASST.53.795},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/TravkinWS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SchellhornWD12,
author = {Gerhard Schellhorn and
Heike Wehrheim and
John Derrick},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {How to Prove Algorithms Linearisable},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {243--259},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_21},
doi = {10.1007/978-3-642-31424-7\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchellhornWD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6187,
author = {Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Formal Model of a Virtual Filesystem Switch},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {33--45},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.5},
doi = {10.4204/EPTCS.102.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaumlerSTR11,
author = {Simon B{\"{a}}umler and
Gerhard Schellhorn and
Bogdan Tofan and
Wolfgang Reif},
title = {Proving linearizability with temporal logic},
journal = {Formal Aspects Comput.},
volume = {23},
number = {1},
pages = {91--112},
year = {2011},
url = {https://doi.org/10.1007/s00165-009-0130-y},
doi = {10.1007/S00165-009-0130-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaumlerSTR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HanebergMRSS11,
author = {Dominik Haneberg and
Nina Moebius and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
title = {Mondex: Engineering a Provable Secure Electronic Purse},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {159--184},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i80},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HanebergMRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoitenDS11,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Selected papers of the Refinement Workshop Turku {(2008)}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {737--738},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.03.003},
doi = {10.1016/J.SCICO.2011.03.003},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoitenDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schellhorn11,
author = {Gerhard Schellhorn},
title = {Completeness of fair {ASM} refinement},
journal = {Sci. Comput. Program.},
volume = {76},
number = {9},
pages = {756--773},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.10.004},
doi = {10.1016/J.SCICO.2009.10.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schellhorn11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DerrickSW11,
author = {John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
title = {Mechanically verified proof obligations for linearizability},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {1},
pages = {4:1--4:43},
year = {2011},
url = {https://doi.org/10.1145/1889997.1890001},
doi = {10.1145/1889997.1890001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DerrickSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DerrickSW11,
author = {John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Verifying Linearisability with Potential Linearisation Points},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {323--337},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_25},
doi = {10.1007/978-3-642-21437-0\_25},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
author = {Thorsten Bormer and
Marc Brockschmidt and
Dino Distefano and
Gidon Ernst and
Jean{-}Christophe Filli{\^{a}}tre and
Radu Grigore and
Marieke Huisman and
Vladimir Klebanov and
Claude March{\'{e}} and
Rosemary Monahan and
Wojciech Mostowski and
Nadia Polikarpova and
Christoph Scheben and
Gerhard Schellhorn and
Bogdan Tofan and
Julian Tschannen and
Mattias Ulbrich},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {The {COST} {IC0701} Verification Competition 2011},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {3--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_2},
doi = {10.1007/978-3-642-31762-0\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HanebergJSRE11,
author = {Dominik Haneberg and
Maximilian Junker and
Gerhard Schellhorn and
Wolfgang Reif and
Gidon Ernst},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Simulating a Flash File System with CoreASM and Eclipse},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {355},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18697},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/HanebergJSRE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/TofanSR11,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Formal Verification of a Lock-Free Stack with Hazard Pointers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {239--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_16},
doi = {10.1007/978-3-642-23283-1\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/TofanSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ErnstSR11,
author = {Gidon Ernst and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Verification of {B} + Trees: An Experiment Combining Shape Analysis
and Interactive Theorem Proving},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {188--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_14},
doi = {10.1007/978-3-642-24690-6\_14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ErnstSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Schellhorn11,
author = {Gerhard Schellhorn},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Extending {ITL} with Interleaved Programs for Interactive Verification},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {7},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.31},
doi = {10.1109/TIME.2011.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Schellhorn11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SchellhornTER11,
author = {Gerhard Schellhorn and
Bogdan Tofan and
Gidon Ernst and
Wolfgang Reif},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Interleaved Programs and Rely-Guarantee Reasoning with {ITL}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {99--106},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.12},
doi = {10.1109/TIME.2011.12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/SchellhornTER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BaumlerBNRS10,
author = {Simon B{\"{a}}umler and
Michael Balser and
Florian Nafz and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Interactive verification of concurrent systems using symbolic execution},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {285--307},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0458},
doi = {10.3233/AIC-2010-0458},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BaumlerBNRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BanachS10,
author = {Richard Banach and
Gerhard Schellhorn},
title = {Atomic actions, and their refinements to isolated protocols},
journal = {Formal Aspects Comput.},
volume = {22},
number = {1},
pages = {33--61},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0103-1},
doi = {10.1007/S00165-009-0103-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BanachS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DunetsSR10,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Automated Flaw Detection in Algebraic Specifications},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {359--395},
year = {2010},
url = {https://doi.org/10.1007/s10817-010-9166-1},
doi = {10.1007/S10817-010-9166-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/DunetsSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/TofanBSR10,
author = {Bogdan Tofan and
Simon B{\"{a}}umler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Temporal Logic Verification of Lock-Freedom},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {377--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_21},
doi = {10.1007/978-3-642-13321-3\_21},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/TofanBSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoitenDS09,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Relational concurrent refinement part {II:} Internal operations and
outputs},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {65--102},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0066-z},
doi = {10.1007/S00165-007-0066-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchellhornB09,
author = {Gerhard Schellhorn and
Simon B{\"{a}}umler},
title = {Formal Verification of Lock-Free Algorithms},
booktitle = {Ninth International Conference on Application of Concurrency to System
Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ACSD.2009.10},
doi = {10.1109/ACSD.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SchellhornB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchellhornGHMR09,
author = {Gerhard Schellhorn and
Holger Grandy and
Dominik Haneberg and
Nina Moebius and
Wolfgang Reif},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {A Systematic Verification Approach for Mondex Electronic Purses Using
ASMs},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {93--110},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_7},
doi = {10.1007/978-3-642-11447-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchellhornGHMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchierlSHR09,
author = {Andreas Schierl and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Specification of the {UBIFS} File System for Flash Memory},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {190--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_13},
doi = {10.1007/978-3-642-05089-3\_13},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchierlSHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HanebergSGR08,
author = {Dominik Haneberg and
Gerhard Schellhorn and
Holger Grandy and
Wolfgang Reif},
title = {Verification of Mondex electronic purses with {KIV:} from transactions
to a security protocol},
journal = {Formal Aspects Comput.},
volume = {20},
number = {1},
pages = {41--59},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0057-0},
doi = {10.1007/S00165-007-0057-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HanebergSGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schellhorn08,
author = {Gerhard Schellhorn},
title = {{ASM} Refinement Preserving Invariants},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {12},
pages = {1929--1948},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-12-1929},
doi = {10.3217/JUCS-014-12-1929},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Schellhorn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schellhorn08,
author = {Gerhard Schellhorn},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Refinement of State-Based Systems: ASMs and Big Commuting Diagrams
(Abstract)},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {39--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_4},
doi = {10.1007/978-3-540-87603-8\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Schellhorn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornB08,
author = {Gerhard Schellhorn and
Richard Banach},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {A Concept-Driven Construction of the Mondex Protocol Using Three Refinements},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {57--70},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_6},
doi = {10.1007/978-3-540-87603-8\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DunetsSR08,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Automating Algebraic Specifications of Non-freely Generated Data Types},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {141--155},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_12},
doi = {10.1007/978-3-540-88387-6\_12},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/DunetsSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GrandyBSSR08,
author = {Holger Grandy and
Markus Bischof and
Kurt Stenzel and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Verification of Mondex Electronic Purses with {KIV:} From a Security
Protocol to Verified Code},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {165--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_13},
doi = {10.1007/978-3-540-68237-0\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GrandyBSSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DerrickSW08,
author = {John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {78--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_6},
doi = {10.1007/978-3-540-68863-1\_6},
timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/DerrickSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BalserBRS08,
author = {Michael Balser and
Simon B{\"{a}}umler and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Interactive Verification of Concurrent Systems using Symbolic Execution},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BalserBRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DunetsSR08,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Bounded Relational Analysis of Free Data Types},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {99--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_8},
doi = {10.1007/978-3-540-79124-9\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/DunetsSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenDS08a,
author = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Preface},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {1},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.001},
doi = {10.1016/J.ENTCS.2008.06.001},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schellhorn08,
author = {Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Completeness of {ASM} Refinement},
booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
pages = {25--49},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.003},
doi = {10.1016/J.ENTCS.2008.06.003},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schellhorn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2008,
editor = {Eerke A. Boiten and
John Derrick and
Gerhard Schellhorn},
title = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM
2008, Turku, Finland, May 27, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {214},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/214/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/MoebiusHRS07,
author = {Nina Moebius and
Dominik Haneberg and
Wolfgang Reif and
Gerhard Schellhorn},
title = {A Modeling Framework for the Development of Provably Secure E-Commerce
Applications},
booktitle = {Proceedings of the Second International Conference on Software Engineering
Advances {(ICSEA} 2007), August 25-31, 2007, Cap Esterel, French Riviera,
France},
pages = {8},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSEA.2007.7},
doi = {10.1109/ICSEA.2007.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/MoebiusHRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DerrickSW07,
author = {John Derrick and
Gerhard Schellhorn and
Heike Wehrheim},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Proving Linearizability Via Non-atomic Refinement},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {195--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_11},
doi = {10.1007/978-3-540-73210-5\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DerrickSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HanebergGRS07,
author = {Dominik Haneberg and
Holger Grandy and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Verifying Smart Card Applications: An {ASM} Approach},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {313--332},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_17},
doi = {10.1007/978-3-540-73210-5\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HanebergGRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanachS08,
author = {Richard Banach and
Gerhard Schellhorn},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {On the Refinement of Atomic Actions},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {3--30},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.013},
doi = {10.1016/J.ENTCS.2008.02.013},
timestamp = {Thu, 09 Feb 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanachS08.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 = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchellhornGHR06.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 14:10:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrtmeierS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schellhorn05,
author = {Gerhard Schellhorn},
title = {{ASM} refinement and generalizations of forward simulation in data
refinement: a comparison},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {403--435},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.013},
doi = {10.1016/J.TCS.2004.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schellhorn05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schellhorn05,
author = {Gerhard Schellhorn},
title = {ASMs and Refinement of State-based Systems},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {74--75},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/abstract-schellhorn.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/Schellhorn05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HanebergGRS05,
author = {Dominik Haneberg and
Holger Grandy and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Verifying Security Protocols: An {ASM} Approach},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {247--262},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/haneberg.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HanebergGRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/OrtmeierRS05,
author = {Frank Ortmeier and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Mario Dal Cin and
Mohamed Ka{\^{a}}niche and
Andr{\'{a}}s Pataricza},
title = {Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive
Cause-Consequence Analysis {(DCCA)}},
booktitle = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
Budapest, Hungary, April 20-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3463},
pages = {210--224},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11408901\_15},
doi = {10.1007/11408901\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/OrtmeierRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/ThumsSOR04,
author = {Andreas Thums and
Gerhard Schellhorn and
Frank Ortmeier and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Interactive Verification of Statecharts},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {355--373},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_20},
doi = {10.1007/978-3-540-27863-4\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/ThumsSOR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierRS04,
author = {Frank Ortmeier and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Introduction to Subject Area "Verification"},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {419--422},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_23},
doi = {10.1007/978-3-540-27863-4\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierTSR04,
author = {Frank Ortmeier and
Andreas Thums and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Combining Formal Methods and Safety Analysis - The ForMoSA Approach},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {474--493},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_26},
doi = {10.1007/978-3-540-27863-4\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierTSR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ReifOTS04,
author = {Wolfgang Reif and
Frank Ortmeier and
Andreas Thums and
Gerhard Schellhorn},
editor = {Ren{\'{e}} Jacquart},
title = {Integrated formal methods for safety analysis of train systems},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {637--642},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_62},
doi = {10.1007/978-1-4020-8157-6\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ReifOTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BerghammerHRS03,
author = {Rudolf Berghammer and
Dominik Haneberg and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Special Issue on Tools for System Design and Verification},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {2},
pages = {86--87},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_2/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BerghammerHRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OrtmeierSTRHT03,
author = {Frank Ortmeier and
Gerhard Schellhorn and
Andreas Thums and
Wolfgang Reif and
Bernhard Hering and
Helmut Trappschuh},
title = {Safety analysis of the height control system for the Elbtunnel},
journal = {Reliab. Eng. Syst. Saf.},
volume = {81},
number = {3},
pages = {259--268},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00090-5},
doi = {10.1016/S0951-8320(03)00090-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/OrtmeierSTRHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ThumsS03,
author = {Andreas Thums and
Gerhard Schellhorn},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Model Checking {FTA}},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {739--757},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_40},
doi = {10.1007/978-3-540-45236-2\_40},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ThumsS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SchellhornRSKAT02,
author = {Gerhard Schellhorn and
Wolfgang Reif and
Axel Schairer and
Paul A. Karger and
Vernon Austel and
David C. Toll},
title = {Verified Formal Security Models for Multiapplicative Smart Cards},
journal = {J. Comput. Secur.},
volume = {10},
number = {4},
pages = {339--368},
year = {2002},
url = {https://doi.org/10.3233/jcs-2002-10403},
doi = {10.3233/JCS-2002-10403},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SchellhornRSKAT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalserDRS02,
author = {Michael Balser and
Christoph Duelli and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Verifying Concurrent Systems with Symbolic Execution},
journal = {J. Log. Comput.},
volume = {12},
number = {4},
pages = {549--560},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.4.549},
doi = {10.1093/LOGCOM/12.4.549},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BalserDRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/OrtmeierSTRHT02,
author = {Frank Ortmeier and
Gerhard Schellhorn and
Andreas Thums and
Wolfgang Reif and
Bernhard Hering and
Helmut Trappschuh},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Safety Analysis of the Height Control System for the Elbtunnel},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {296--308},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_29},
doi = {10.1007/3-540-45732-1\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/OrtmeierSTRHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifS01,
author = {Wolfgang Reif and
Gerhard Schellhorn},
title = {{J.UCS} Special Issue on Tools for System Design and Verification
- Part 1},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {1},
pages = {1--2},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_1/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ReifS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifS01a,
author = {Wolfgang Reif and
Gerhard Schellhorn},
title = {{J.UCS} Special Issue on Tools for System Design and Verification
- Part 2},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {2},
pages = {105--106},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_2/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ReifS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifSVR01,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Tobias Vollmer and
J{\"{u}}rgen Ruf},
title = {Correctness of Efficient Real-Time Model Checking},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {2},
pages = {194--209},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-02-0194},
doi = {10.3217/JUCS-007-02-0194},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ReifSVR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Schellhorn01,
author = {Gerhard Schellhorn},
title = {Verification of {ASM} Refinements Using Generalized Forward Simulation},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {952--979},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-11-0952},
doi = {10.3217/JUCS-007-11-0952},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Schellhorn01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ReifST01,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Andreas Thums},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Flaw Detection in Formal Specifications},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {642--657},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_52},
doi = {10.1007/3-540-45744-5\_52},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ReifST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/SchellhornRSKAT00,
author = {Gerhard Schellhorn and
Wolfgang Reif and
Axel Schairer and
Paul A. Karger and
Vernon Austel and
David C. Toll},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Yves Deswarte and
Dieter Gollmann and
Michael Waidner},
title = {Verification of a Formal Security Model for Multiapplicative Smart
Cards},
booktitle = {Computer Security - {ESORICS} 2000, 6th European Symposium on Research
in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1895},
pages = {17--36},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722599\_2},
doi = {10.1007/10722599\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/SchellhornRSKAT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BalserRSST00,
author = {Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel and
Andreas Thums},
editor = {T. S. E. Maibaum},
title = {Formal System Development with {KIV}},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {363--366},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_25},
doi = {10.1007/3-540-46428-X\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BalserRSST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ReifRSV00,
author = {Wolfgang Reif and
J{\"{u}}rgen Ruf and
Gerhard Schellhorn and
Tobias Vollmer},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Do You Trust Your Model Checker?},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {179--196},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_12},
doi = {10.1007/3-540-40922-X\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ReifRSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schellhorn99,
author = {Gerhard Schellhorn},
title = {Verifikation abstrakter Zustandsmaschinen},
school = {University of Ulm, Germany},
year = {1999},
url = {http://vts.uni-ulm.de/docs/1999/346/vts\_346.pdf},
urn = {urn:nbn:de:bsz:289-vts-3468},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schellhorn99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BalserRSS98,
author = {Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {{KIV} 3.0 for Provably Correct Systems},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {330--337},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_23},
doi = {10.1007/3-540-48257-1\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BalserRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HutterMRSWBRSS98,
author = {Dieter Hutter and
Heiko Mantel and
Georg Rock and
Werner Stephan and
Andreas Wolpers and
Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {{VSE:} Controlling the Complexity in Formal Software Developments},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {351--358},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_26},
doi = {10.1007/3-540-48257-1\_26},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HutterMRSWBRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SchellhornA97,
author = {Gerhard Schellhorn and
Wolfgang Ahrendt},
title = {Reasoning about Abstract State Machines: The {WAM} Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {4},
pages = {377--413},
year = {1997},
url = {https://doi.org/10.3217/jucs-003-04-0377},
doi = {10.3217/JUCS-003-04-0377},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SchellhornA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ReifSS97,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {William McCune},
title = {Proving System Correctness with {KIV} 3.0},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {69--72},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_10},
doi = {10.1007/3-540-63104-6\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ReifSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/ReifSS97,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Michel Bidoit and
Max Dauchet},
title = {Proving System Correctness with {KIV}},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {859--862},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030647},
doi = {10.1007/BFB0030647},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/ReifSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/SchellhornB95,
author = {Gerhard Schellhorn and
Axel Burandt},
editor = {Claus Lewerentz and
Thomas Lindner},
title = {{KIV}},
booktitle = {Formal Development of Reactive Systems - Case Study Production Cell},
series = {Lecture Notes in Computer Science},
volume = {891},
pages = {229--245},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58867-1\_57},
doi = {10.1007/3-540-58867-1\_57},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/SchellhornB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/FuchssRSS95,
author = {Thomas Fuch{\ss} and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Three Selected Case Studies in Verification},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {371--387},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015472},
doi = {10.1007/BFB0015472},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/FuchssRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/ReifSS94,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
title = {Tactics in {KIV}},
journal = {J. Inf. Process. Cybern.},
volume = {30},
number = {5/6},
pages = {293--310},
year = {1994},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/ReifSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ReifSS94,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Specification and Verification Using {KIV}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {787},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/ReifSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DrexlerRSSSW93,
author = {Rainer Drexler and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel and
Werner Stephan and
Andreas Wolpers},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {The {KIV} System: {A} Tool for Formal Program Development},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {704--705},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_69},
doi = {10.1007/3-540-56503-5\_69},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DrexlerRSSSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-05 21:23 CEST 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:
