Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerard J. Holzmann
@article{DBLP:journals/sttt/HavelundH24,
author = {Klaus Havelund and
Gerard J. Holzmann},
title = {Programming event monitors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {1},
pages = {33--47},
year = {2024},
url = {https://doi.org/10.1007/s10009-023-00706-1},
doi = {10.1007/S10009-023-00706-1},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/HavelundH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/LiuAHKLSSZ24,
author = {Yifei Liu and
Manish Adkar and
Gerard J. Holzmann and
Geoff Kuenning and
Pei Liu and
Scott A. Smolka and
Wei Su and
Erez Zadok},
editor = {Xiaosong Ma and
Youjip Won},
title = {Metis: File System Model Checking via Versatile Input and State Exploration},
booktitle = {22nd {USENIX} Conference on File and Storage Technologies, {FAST}
2024, Santa Clara, CA, USA, February 27-29, 2024},
pages = {123--140},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/fast24/presentation/liu-yifei},
timestamp = {Tue, 05 Mar 2024 15:23:16 +0100},
biburl = {https://dblp.org/rec/conf/fast/LiuAHKLSSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann21,
author = {Gerard J. Holzmann},
title = {Right Code},
journal = {{IEEE} Softw.},
volume = {38},
number = {1},
pages = {13--15},
year = {2021},
url = {https://doi.org/10.1109/MS.2020.3028759},
doi = {10.1109/MS.2020.3028759},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/Holzmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann21a,
author = {Gerard J. Holzmann},
title = {Keeping It Simple: Agile Analysis},
journal = {{IEEE} Softw.},
volume = {38},
number = {3},
pages = {13--16},
year = {2021},
url = {https://doi.org/10.1109/MS.2021.3058026},
doi = {10.1109/MS.2021.3058026},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/Holzmann21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Holzmann21,
author = {Gerard J. Holzmann},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Comparing Two Methods for Checking Runtime Properties},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {127--133},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_7},
doi = {10.1007/978-3-030-87348-6\_7},
timestamp = {Thu, 18 Nov 2021 08:40:03 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Holzmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotstorage/SuLGHSZK21,
author = {Wei Su and
Yifei Liu and
Gomathi Ganesan and
Gerard J. Holzmann and
Scott A. Smolka and
Erez Zadok and
Geoff Kuenning},
editor = {Philip Shilane and
Youjip Won},
title = {Model-Checking Support for File System Development},
booktitle = {HotStorage '21: 13th {ACM} Workshop on Hot Topics in Storage and File
Systems, Virtual Event, USA, July 27-28, 2021},
pages = {103--110},
publisher = {{ACM} / {USENIX} Association},
year = {2021},
url = {https://doi.org/10.1145/3465332.3470878},
doi = {10.1145/3465332.3470878},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotstorage/SuLGHSZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Holzmann21,
author = {Gerard J. Holzmann},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Interactive analysis of large code bases (invited talk)},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3478691},
doi = {10.1145/3468264.3478691},
timestamp = {Sat, 21 Aug 2021 19:12:34 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Holzmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann20,
author = {Gerard J. Holzmann},
title = {Predicting the Past},
journal = {{IEEE} Softw.},
volume = {37},
number = {2},
pages = {10--12},
year = {2020},
url = {https://doi.org/10.1109/MS.2019.2957634},
doi = {10.1109/MS.2019.2957634},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann20a,
author = {Gerard J. Holzmann},
title = {Test Fatigue},
journal = {{IEEE} Softw.},
volume = {37},
number = {4},
pages = {11--16},
year = {2020},
url = {https://doi.org/10.1109/MS.2020.2986107},
doi = {10.1109/MS.2020.2986107},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann19,
author = {Gerard J. Holzmann},
title = {Code Mining},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {25--29},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2884867},
doi = {10.1109/MS.2018.2884867},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann19a,
author = {Gerard J. Holzmann},
title = {Does Not Compute},
journal = {{IEEE} Softw.},
volume = {36},
number = {3},
pages = {14--16},
year = {2019},
url = {https://doi.org/10.1109/MS.2019.2896053},
doi = {10.1109/MS.2019.2896053},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann19b,
author = {Gerard J. Holzmann},
title = {Code Overload},
journal = {{IEEE} Softw.},
volume = {36},
number = {6},
pages = {73--75},
year = {2019},
url = {https://doi.org/10.1109/MS.2019.2933680},
doi = {10.1109/MS.2019.2933680},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Holzmann19,
author = {Gerard J. Holzmann},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {Formalizing Requirements Is {\textbackslash}Diamond {\textbackslash}Box
Hard},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {51--56},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_4},
doi = {10.1007/978-3-030-31514-6\_4},
timestamp = {Tue, 24 Sep 2019 14:08:41 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Holzmann19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17e,
author = {Gerard J. Holzmann},
title = {Ends and Means},
journal = {{IEEE} Softw.},
volume = {35},
number = {1},
pages = {14--17},
year = {2018},
url = {https://doi.org/10.1109/MS.2017.4541029},
doi = {10.1109/MS.2017.4541029},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann18,
author = {Gerard J. Holzmann},
title = {Curve Balls},
journal = {{IEEE} Softw.},
volume = {35},
number = {2},
pages = {18--21},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.1661321},
doi = {10.1109/MS.2018.1661321},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann18a,
author = {Gerard J. Holzmann},
title = {Software Components},
journal = {{IEEE} Softw.},
volume = {35},
number = {3},
pages = {80--82},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.2141034},
doi = {10.1109/MS.2018.2141034},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann18b,
author = {Gerard J. Holzmann},
title = {Code Vault},
journal = {{IEEE} Softw.},
volume = {35},
number = {5},
pages = {85--87},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.3571225},
doi = {10.1109/MS.2018.3571225},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/Holzmann18,
author = {Gerard J. Holzmann},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Explicit-State Model Checking},
booktitle = {Handbook of Model Checking},
pages = {153--171},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_5},
doi = {10.1007/978-3-319-10575-8\_5},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/Holzmann18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Holzmann17,
author = {Gerard J. Holzmann},
title = {Cobra: a light-weight tool for static and dynamic program analysis},
journal = {Innov. Syst. Softw. Eng.},
volume = {13},
number = {1},
pages = {35--49},
year = {2017},
url = {https://doi.org/10.1007/s11334-016-0282-x},
doi = {10.1007/S11334-016-0282-X},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Holzmann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17,
author = {Gerard J. Holzmann},
title = {The Value of Doubt},
journal = {{IEEE} Softw.},
volume = {34},
number = {1},
pages = {106--109},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.19},
doi = {10.1109/MS.2017.19},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17a,
author = {Gerard J. Holzmann},
title = {Code Craft},
journal = {{IEEE} Softw.},
volume = {34},
number = {2},
pages = {18--21},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.43},
doi = {10.1109/MS.2017.43},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17b,
author = {Gerard J. Holzmann},
title = {A Tale of Three Programs},
journal = {{IEEE} Softw.},
volume = {34},
number = {3},
pages = {23--26},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.62},
doi = {10.1109/MS.2017.62},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17c,
author = {Gerard J. Holzmann},
title = {Dead Programs},
journal = {{IEEE} Softw.},
volume = {34},
number = {4},
pages = {89--91},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.107},
doi = {10.1109/MS.2017.107},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann17d,
author = {Gerard J. Holzmann},
title = {Randomly Right},
journal = {{IEEE} Softw.},
volume = {34},
number = {5},
pages = {87--89},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.3571567},
doi = {10.1109/MS.2017.3571567},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann17d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Holzmann17,
author = {Gerard J. Holzmann},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Cobra - an interactive static code analyzer},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115610},
doi = {10.1109/ASE.2017.8115610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Holzmann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Holzmann17,
author = {Gerard J. Holzmann},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Cobra: fast structural code checking (keynote)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {1--8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092313},
doi = {10.1145/3092282.3092313},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Holzmann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16,
author = {Gerard J. Holzmann},
title = {Tiny Tools},
journal = {{IEEE} Softw.},
volume = {33},
number = {1},
pages = {24--28},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.25},
doi = {10.1109/MS.2016.25},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16a,
author = {Gerard J. Holzmann},
title = {Code Clarity},
journal = {{IEEE} Softw.},
volume = {33},
number = {2},
pages = {22--25},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.44},
doi = {10.1109/MS.2016.44},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16b,
author = {Gerard J. Holzmann},
title = {Frequently Unanswered Questions},
journal = {{IEEE} Softw.},
volume = {33},
number = {3},
pages = {10--12},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.71},
doi = {10.1109/MS.2016.71},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16c,
author = {Gerard J. Holzmann},
title = {The Weakest Link},
journal = {{IEEE} Softw.},
volume = {33},
number = {4},
pages = {18--21},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.89},
doi = {10.1109/MS.2016.89},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16d,
author = {Gerard J. Holzmann},
title = {Brace Yourself},
journal = {{IEEE} Softw.},
volume = {33},
number = {5},
pages = {34--37},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.123},
doi = {10.1109/MS.2016.123},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann16e,
author = {Gerard J. Holzmann},
title = {Hi Maintenance},
journal = {{IEEE} Softw.},
volume = {33},
number = {6},
pages = {98--101},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.153},
doi = {10.1109/MS.2016.153},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann16e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Holzmann16,
author = {Gerard J. Holzmann},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Cloud-Based Verification of Concurrent Software},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {311--327},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_15},
doi = {10.1007/978-3-662-49122-5\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Holzmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15,
author = {Gerard J. Holzmann},
title = {To Code Is Human},
journal = {{IEEE} Softw.},
volume = {32},
number = {1},
pages = {14--17},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.19},
doi = {10.1109/MS.2015.19},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15a,
author = {Gerard J. Holzmann},
title = {Code Inflation},
journal = {{IEEE} Softw.},
volume = {32},
number = {2},
pages = {10--13},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.40},
doi = {10.1109/MS.2015.40},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15b,
author = {Gerard J. Holzmann},
title = {Assertive Testing},
journal = {{IEEE} Softw.},
volume = {32},
number = {3},
pages = {12--15},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.60},
doi = {10.1109/MS.2015.60},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15c,
author = {Gerard J. Holzmann},
title = {Points of Truth},
journal = {{IEEE} Softw.},
volume = {32},
number = {4},
pages = {18--21},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.103},
doi = {10.1109/MS.2015.103},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15d,
author = {Gerard J. Holzmann},
title = {Code Evasion},
journal = {{IEEE} Softw.},
volume = {32},
number = {5},
pages = {77--80},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.112},
doi = {10.1109/MS.2015.112},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann15e,
author = {Gerard J. Holzmann},
title = {Out of Bounds},
journal = {{IEEE} Softw.},
volume = {32},
number = {6},
pages = {24--26},
year = {2015},
url = {https://doi.org/10.1109/MS.2015.147},
doi = {10.1109/MS.2015.147},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann15e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FilippidisMH16,
author = {Ioannis Filippidis and
Richard M. Murray and
Gerard J. Holzmann},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {A multi-paradigm language for reactive synthesis},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {73--97},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.6},
doi = {10.4204/EPTCS.202.6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FilippidisMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9},
doi = {10.1007/978-3-319-17524-9},
isbn = {978-3-319-17523-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GroceHHJX14,
author = {Alex Groce and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi and
Ru{-}Gang Xu},
title = {Establishing flight software reliability: testing, model checking,
constraint-solving, monitoring and learning},
journal = {Ann. Math. Artif. Intell.},
volume = {70},
number = {4},
pages = {315--349},
year = {2014},
url = {https://doi.org/10.1007/s10472-014-9408-8},
doi = {10.1007/S10472-014-9408-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GroceHHJX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Holzmann14,
author = {Gerard J. Holzmann},
title = {Mars code},
journal = {Commun. {ACM}},
volume = {57},
number = {2},
pages = {64--73},
year = {2014},
url = {https://doi.org/10.1145/2560217.2560218},
doi = {10.1145/2560217.2560218},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Holzmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann14,
author = {Gerard J. Holzmann},
title = {Fault Intolerance [Reliable Code]},
journal = {{IEEE} Softw.},
volume = {31},
number = {6},
pages = {16--20},
year = {2014},
url = {https://doi.org/10.1109/MS.2014.136},
doi = {10.1109/MS.2014.136},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FilippidisH14,
author = {Ioannis Filippidis and
Gerard J. Holzmann},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {An improvement of the piggyback algorithm for parallel model checking},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {48--57},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632375},
doi = {10.1145/2632362.2632375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/FilippidisH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Holzmann13,
author = {Gerard J. Holzmann},
title = {A Three-Step Program for Recovering Hackers},
journal = {Computer},
volume = {46},
number = {6},
pages = {86--88},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.192},
doi = {10.1109/MC.2013.192},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Holzmann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann13,
author = {Gerard J. Holzmann},
title = {Landing a Spacecraft on Mars},
journal = {{IEEE} Softw.},
volume = {30},
number = {2},
pages = {83--86},
year = {2013},
url = {https://doi.org/10.1109/MS.2013.32},
doi = {10.1109/MS.2013.32},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BoehmH13,
author = {Barry W. Boehm and
Gerard J. Holzmann},
title = {Keynote speaker 1: The economics of systems and software reliability},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698876},
doi = {10.1109/ISSRE.2013.6698876},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BoehmH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Holzmann13,
author = {Gerard J. Holzmann},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Proving Properties of Concurrent Programs - (Extended Abstract)},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {18--23},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_2},
doi = {10.1007/978-3-642-39176-7\_2},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/Holzmann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/FlorianGH12,
author = {Mihai Florian and
Edward B. Gamble and
Gerard J. Holzmann},
title = {Logic Model Checking of Time-Periodic Real-Time Systems},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2607},
doi = {10.2514/6.2012-2607},
timestamp = {Fri, 05 May 2017 13:12:21 +0200},
biburl = {https://dblp.org/rec/conf/itaero/FlorianGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Holzmann12,
author = {Gerard J. Holzmann},
editor = {Alastair F. Donaldson and
David Parker},
title = {Parallelizing the Spin Model Checker},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {155--171},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_12},
doi = {10.1007/978-3-642-31759-0\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Holzmann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Holzmann12,
author = {Gerard J. Holzmann},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Conquering Complexity},
booktitle = {Conquering Complexity},
pages = {75--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_3},
doi = {10.1007/978-1-4471-2297-5\_3},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Holzmann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HolzmannF11,
author = {Gerard J. Holzmann and
Mihai Florian},
title = {Model checking with bounded context switching},
journal = {Formal Aspects Comput.},
volume = {23},
number = {3},
pages = {365--389},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0160-5},
doi = {10.1007/S00165-010-0160-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HolzmannF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolzmannJG11,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Swarm Verification Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {6},
pages = {845--857},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.110},
doi = {10.1109/TSE.2010.110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HolzmannJG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HavelundH11,
author = {Klaus Havelund and
Gerard J. Holzmann},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Software certification: coding, code, and coders},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {205--210},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038674},
doi = {10.1145/2038642.2038674},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HavelundH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/McKelvinGH11,
author = {Mark L. McKelvin Jr. and
Edward B. Gamble Jr. and
Gerard J. Holzmann},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Model Checking Multitask Applications for {OSEK} Compliant Real-Time
Operating Systems},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {280--281},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.49},
doi = {10.1109/PRDC.2011.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/McKelvinGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Holzmann11,
author = {Gerard J. Holzmann},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Reliable Software Development: Analysis-Aware Design},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {1--2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_1},
doi = {10.1007/978-3-642-19835-9\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Holzmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5},
doi = {10.1007/978-3-642-20398-5},
isbn = {978-3-642-20397-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Holzmann10,
author = {Gerard J. Holzmann},
title = {{SCRUB:} a tool for code reviews},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {4},
pages = {311--318},
year = {2010},
url = {https://doi.org/10.1007/s11334-010-0136-x},
doi = {10.1007/S11334-010-0136-X},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Holzmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Holzmann10,
author = {Gerard J. Holzmann},
editor = {John Hatcliff and
Elena Zucca},
title = {Formal Software Verification: How Close Are We?},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_1},
doi = {10.1007/978-3-642-13464-7\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Holzmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Model driven code checking},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {283--297},
year = {2008},
url = {https://doi.org/10.1007/s10515-008-0033-9},
doi = {10.1007/S10515-008-0033-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Swarm Verification},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.9},
doi = {10.1109/ASE.2008.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/HavelundGHJS08,
author = {Klaus Havelund and
Alex Groce and
Gerard J. Holzmann and
Rajeev Joshi and
Margaret H. Smith},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Automated Testing of Planning Models},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {90--105},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_6},
doi = {10.1007/978-3-642-00431-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/HavelundGHJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08a,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
editor = {Orna Grumberg and
Helmut Veith},
title = {New Challenges in Model Checking},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {65--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_4},
doi = {10.1007/978-3-540-69850-0\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannJG08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Tackling Large Verification Problems with the Swarm Tool},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {134--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_11},
doi = {10.1007/978-3-540-85114-1\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Holzmann08,
author = {Gerard J. Holzmann},
title = {Software Safety and Rocket Science},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/software-safety-and-rocket-science},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Holzmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Holzmann07,
author = {Gerard J. Holzmann},
title = {Conquering Complexity},
journal = {Computer},
volume = {40},
number = {12},
pages = {111--113},
year = {2007},
url = {https://doi.org/10.1109/MC.2007.419},
doi = {10.1109/MC.2007.419},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Holzmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JoshiH07,
author = {Rajeev Joshi and
Gerard J. Holzmann},
title = {A mini challenge: build a verifiable filesystem},
journal = {Formal Aspects Comput.},
volume = {19},
number = {2},
pages = {269--272},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0022-3},
doi = {10.1007/S00165-006-0022-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JoshiH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolzmannB07,
author = {Gerard J. Holzmann and
Dragan Bosnacki},
title = {The Design of a Multicore Extension of the {SPIN} Model Checker},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {10},
pages = {659--674},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.70724},
doi = {10.1109/TSE.2007.70724},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HolzmannB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHJ07,
author = {Alex Groce and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Randomized Differential Testing as a Prelude to Formal Verification},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {621--631},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.68},
doi = {10.1109/ICSE.2007.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GroceHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HolzmannB07,
author = {Gerard J. Holzmann and
Dragan Bosnacki},
title = {Multi-Core Model Checking with {SPIN}},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370410},
doi = {10.1109/IPDPS.2007.370410},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HolzmannB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Holzmann08,
author = {Gerard J. Holzmann},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {A Stack-Slicing Algorithm for Multi-Core Model Checking},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.017},
doi = {10.1016/J.ENTCS.2007.10.017},
timestamp = {Mon, 13 Feb 2023 09:23:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Holzmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Holzmann06,
author = {Gerard J. Holzmann},
title = {The Power of 10: Rules for Developing Safety-Critical Code},
journal = {Computer},
volume = {39},
number = {6},
pages = {95--97},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.212},
doi = {10.1109/MC.2006.212},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Holzmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/Holzmann05,
author = {Gerard J. Holzmann},
title = {Software model checking with {SPIN}},
journal = {Adv. Comput.},
volume = {65},
pages = {78--109},
year = {2005},
url = {https://doi.org/10.1016/S0065-2458(05)65002-4},
doi = {10.1016/S0065-2458(05)65002-4},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/Holzmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannR05,
author = {Gerard J. Holzmann and
Theo C. Ruys},
editor = {Patrice Godefroid},
title = {Effective Bug Hunting with Spin and Modex},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {24--24},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_3},
doi = {10.1007/11537328\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiH05,
author = {Dragan Bosnacki and
Gerard J. Holzmann},
editor = {Patrice Godefroid},
title = {Improving Spin's Partial-Order Reduction for Breadth-First Search},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {91--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_10},
doi = {10.1007/11537328\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/JoshiH05,
author = {Rajeev Joshi and
Gerard J. Holzmann},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {A Mini Challenge: Build a Verifiable Filesystem},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {49--56},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_6},
doi = {10.1007/978-3-540-69149-5\_6},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/JoshiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HolzmannJ05,
author = {Gerard J. Holzmann and
Rajeev Joshi},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Reliable Software Systems Design: Defect Prevention, Detection, and
Containment},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {237--244},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_25},
doi = {10.1007/978-3-540-69149-5\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/HolzmannJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020982,
author = {Gerard J. Holzmann},
title = {The {SPIN} Model Checker - primer and reference manual},
publisher = {Addison-Wesley},
year = {2004},
isbn = {978-0-321-22862-8},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0020982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Holzmann04,
author = {Gerard J. Holzmann},
title = {Formal methods and software reliability},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {145--146},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459838},
doi = {10.1109/MEMCOD.2004.1459838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Holzmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJ04,
author = {Gerard J. Holzmann and
Rajeev Joshi},
editor = {Susanne Graf and
Laurent Mounier},
title = {Model-Driven Software Verification},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {76--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_6},
doi = {10.1007/978-3-540-24732-6\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/RuysH04,
author = {Theo C. Ruys and
Gerard J. Holzmann},
editor = {Susanne Graf and
Laurent Mounier},
title = {Advanced {SPIN} Tutorial},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {304--305},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_21},
doi = {10.1007/978-3-540-24732-6\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/RuysH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DongDHS03,
author = {Yifei Dong and
Xiaoqun Du and
Gerard J. Holzmann and
Scott A. Smolka},
title = {Fighting livelock in the {GNU} i-protocol: a case study in explicit-state
model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {4},
pages = {505--528},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0092-3},
doi = {10.1007/S10009-002-0092-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DongDHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Holzmann03,
author = {Gerard J. Holzmann},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Trends in Software Verification},
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 = {40--50},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_4},
doi = {10.1007/978-3-540-45236-2\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Holzmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolzmannS02,
author = {Gerard J. Holzmann and
Margaret H. Smith},
title = {An Automated Verification Method for Distributed Systems Software
Based on Model Extraction},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {4},
pages = {364--377},
year = {2002},
url = {https://doi.org/10.1109/TSE.2002.995426},
doi = {10.1109/TSE.2002.995426},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HolzmannS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Holzmann02,
author = {Gerard J. Holzmann},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Software Analysis and Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_1},
doi = {10.1007/3-540-45657-0\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Holzmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DamsHH02,
author = {Dennis Dams and
William Hesse and
Gerard J. Holzmann},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Abstracting {C} with abC},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {515--520},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_43},
doi = {10.1007/3-540-45657-0\_43},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DamsHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Holzmann02,
author = {Gerard J. Holzmann},
title = {The logic of bugs},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {81--87},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587064},
doi = {10.1145/587051.587064},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Holzmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HolzmannS01,
author = {Gerard J. Holzmann and
Margaret H. Smith},
title = {Software model checking: extracting verification models from source
code},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {65--79},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HolzmannS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Holzmann01,
author = {Gerard J. Holzmann},
title = {From Code to Models},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981759},
doi = {10.1109/CSD.2001.981759},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Holzmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Holzmann01,
author = {Gerard J. Holzmann},
editor = {John Field and
Gregor Snelting},
title = {Economics of software verification},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah,
USA, June 18-19, 2001},
pages = {80--85},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379605.379681},
doi = {10.1145/379605.379681},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Holzmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SmithHE01,
author = {Margaret H. Smith and
Gerard J. Holzmann and
Kousha Etessami},
title = {Events and Constraints: {A} Graphical Editor for Capturing Logic Requirements
of Programs},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {14--22},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948539},
doi = {10.1109/ISRE.2001.948539},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/SmithHE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/Holzmann00,
author = {Gerard J. Holzmann},
title = {Software verification at Bell Labs: One line of development},
journal = {Bell Labs Tech. J.},
volume = {5},
number = {1},
pages = {35--45},
year = {2000},
url = {https://doi.org/10.1002/bltj.2206},
doi = {10.1002/BLTJ.2206},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/Holzmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/HolzmannS00,
author = {Gerard J. Holzmann and
Margaret H. Smith},
title = {Automating software feature verification},
journal = {Bell Labs Tech. J.},
volume = {5},
number = {2},
pages = {72--87},
year = {2000},
url = {https://doi.org/10.1002/bltj.2223},
doi = {10.1002/BLTJ.2223},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/HolzmannS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HolzmannNS00,
author = {Gerard J. Holzmann and
Elie Najm and
Ahmed Serhrouchni},
title = {{SPIN} Model Checking: An Introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {4},
pages = {321--327},
year = {2000},
url = {https://doi.org/10.1007/s100090050039},
doi = {10.1007/S100090050039},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HolzmannNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EtessamiH00,
author = {Kousha Etessami and
Gerard J. Holzmann},
editor = {Catuscia Palamidessi},
title = {Optimizing B{\"{u}}chi Automata},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {153--167},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_13},
doi = {10.1007/3-540-44618-4\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/EtessamiH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Holzmann00,
author = {Gerard J. Holzmann},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {Logic Verification of {ANSI-C} Code with {SPIN}},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {131--147},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_8},
doi = {10.1007/10722468\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Holzmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HolzmannP99,
author = {Gerard J. Holzmann and
Anuj Puri},
title = {A Minimized Automaton Representation of Reachable States},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {3},
pages = {270--278},
year = {1999},
url = {https://doi.org/10.1007/s100090050034},
doi = {10.1007/S100090050034},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HolzmannP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HolzmannS99,
author = {Gerard J. Holzmann and
Margaret H. Smith},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Software Model Checking},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {481--497},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/HolzmannS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HolzmannS99,
author = {Gerard J. Holzmann and
Margaret H. Smith},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {A Practical Method for Verifying Event-Driven Software},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {597--607},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302710},
doi = {10.1145/302405.302710},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HolzmannS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LeueH99,
author = {Stefan Leue and
Gerard J. Holzmann},
title = {v-Promela: {A} Visual, Object-Oriented Language for {SPIN}},
booktitle = {2nd International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '99), May 2-5, 1999, Saint Malo, France},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISORC.1999.776345},
doi = {10.1109/ISORC.1999.776345},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LeueH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Holzmann99,
author = {Gerard J. Holzmann},
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {The Engineering of a Model Checker: The Gnu i-Protocol Case Study
Revisited},
booktitle = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
pages = {232--244},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2\_18},
doi = {10.1007/3-540-48234-2\_18},
timestamp = {Mon, 15 Jun 2020 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/spin/Holzmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/HolzmannS98,
author = {Gerard J. Holzmann and
Margaret H. Smith},
title = {Interval reduction through requirements analysis},
journal = {Bell Labs Tech. J.},
volume = {3},
number = {2},
pages = {22--31},
year = {1998},
url = {https://doi.org/10.1002/bltj.2102},
doi = {10.1002/BLTJ.2102},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/HolzmannS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Holzmann98,
author = {Gerard J. Holzmann},
title = {An Analysis of Bitstate Hashing},
journal = {Formal Methods Syst. Des.},
volume = {13},
number = {3},
pages = {289--307},
year = {1998},
url = {https://doi.org/10.1023/A:1008696026254},
doi = {10.1023/A:1008696026254},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Holzmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Holzmann98,
author = {Gerard J. Holzmann},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {On Checking Model Checkers},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {61--70},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028733},
doi = {10.1007/BFB0028733},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Holzmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/Holzmann98,
author = {Gerard J. Holzmann},
editor = {Mark A. Ardis and
Joanne M. Atlee},
title = {Designing executable abstractions},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
March 4-5, 1998, Clearwater Beach, Florida, {USA}},
pages = {103--108},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/298595.298864},
doi = {10.1145/298595.298864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/Holzmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/SchneiderECH98,
author = {Francis Schneider and
Steve M. Easterbrook and
John R. Callahan and
Gerard J. Holzmann},
title = {Validating Requirements for Fault Tolerant Systems using Model Checking},
booktitle = {3rd International Conference on Requirements Engineering {(ICRE} '98),
Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
Springs, CO, USA, Proceedings},
pages = {4--13},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICRE.1998.667803},
doi = {10.1109/ICRE.1998.667803},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/SchneiderECH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/MikkLSH98,
author = {Erich Mikk and
Yassine Lakhnech and
Michael Siegel and
Gerard J. Holzmann},
title = {Implementing Statecharts in {PROMELA/SPIN}},
booktitle = {2nd Workshop on Industrial-Strength Formal Specification Techniques
{(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
pages = {90--101},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WIFT.1998.766303},
doi = {10.1109/WIFT.1998.766303},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wift/MikkLSH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bell/HolzmannPR97,
author = {Gerard J. Holzmann and
Doron A. Peled and
Margaret H. Redberg},
title = {Design tools for requirements engineering},
journal = {Bell Labs Tech. J.},
volume = {2},
number = {1},
pages = {86--95},
year = {1997},
url = {https://doi.org/10.1002/bltj.2034},
doi = {10.1002/BLTJ.2034},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bell/HolzmannPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Holzmann97,
author = {Gerard J. Holzmann},
title = {Designing bug-free protocols with {SPIN}},
journal = {Comput. Commun.},
volume = {20},
number = {2},
pages = {97--105},
year = {1997},
url = {https://doi.org/10.1016/S0140-3664(96)01150-4},
doi = {10.1016/S0140-3664(96)01150-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/Holzmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Holzmann97,
author = {Gerard J. Holzmann},
title = {The Model Checker {SPIN}},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {5},
pages = {279--295},
year = {1997},
url = {https://doi.org/10.1109/32.588521},
doi = {10.1109/32.588521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Holzmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs32,
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/032},
doi = {10.1090/DIMACS/032},
isbn = {978-0-8218-0680-7},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/dimacs32.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CourtiatDHLRZ96,
author = {Jean{-}Pierre Courtiat and
Piotr Dembinski and
Gerard J. Holzmann and
Luigi Logrippo and
Harry Rudin and
Pamela Zave},
title = {Formal Methods after 15 Years: Status and Trends (Paper based on contributions
of the panelists at the FORmal TEchnique '95, Conference, Montreal,
October 1995)},
journal = {Comput. Networks {ISDN} Syst.},
volume = {28},
number = {13},
pages = {1845--1855},
year = {1996},
url = {https://doi.org/10.1016/0169-7552(96)00083-9},
doi = {10.1016/0169-7552(96)00083-9},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/CourtiatDHLRZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Holzmann96,
author = {Gerard J. Holzmann},
title = {On-The-Fly Model Checking},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {120},
year = {1996},
url = {https://doi.org/10.1145/242224.242379},
doi = {10.1145/242224.242379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Holzmann96,
author = {Gerard J. Holzmann},
title = {Early Fault Detection Tools},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {63--69},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/AlurHP96,
author = {Rajeev Alur and
Gerard J. Holzmann and
Doron A. Peled},
title = {An Analyzer for Message Sequence Charts},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {70--77},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/AlurHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolzmannP96,
author = {Gerard J. Holzmann and
Doron A. Peled},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {The State of {SPIN}},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {385--389},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_85},
doi = {10.1007/3-540-61474-5\_85},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HolzmannP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HolzmannK96,
author = {Gerard J. Holzmann and
Orna Kupferman},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Not checking for closure under stuttering},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {17--22},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/02},
doi = {10.1090/DIMACS/032/02},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HolzmannK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HolzmannPY96,
author = {Gerard J. Holzmann and
Doron A. Peled and
Mihalis Yannakakis},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {On nested depth first search},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {23--31},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/03},
doi = {10.1090/DIMACS/032/03},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HolzmannPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/NatarajanH96,
author = {V. Natarajan and
Gerard J. Holzmann},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Outline for an operational semantics of Promela},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {133--152},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/10},
doi = {10.1090/DIMACS/032/10},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/NatarajanH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GregoireHP96,
author = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Preface},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {ix},
publisher = {{DIMACS/AMS}},
year = {1996},
timestamp = {Mon, 14 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dimacs/GregoireHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Holzmann96,
author = {Gerard J. Holzmann},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Formal Methods for Early Fault Detection},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {40--54},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_33},
doi = {10.1007/3-540-61648-9\_33},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Holzmann96,
author = {Gerard J. Holzmann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Early Fault Detection Tools},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {1--13},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_34},
doi = {10.1007/3-540-61042-1\_34},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Holzmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurHP96,
author = {Rajeev Alur and
Gerard J. Holzmann and
Doron A. Peled},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Analyser for Mesage Sequence Charts},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {35--48},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_37},
doi = {10.1007/3-540-61042-1\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs29,
editor = {Doron A. Peled and
Vaughan R. Pratt and
Gerard J. Holzmann},
title = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, July 24-26, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {29},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/029},
doi = {10.1090/DIMACS/029},
isbn = {978-0-8218-0579-4},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/dimacs29.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0081768,
author = {Gerard J. Holzmann and
Bj{\"{o}}rn Pehrson},
title = {The early history of data networks},
publisher = {{IEEE}},
year = {1995},
isbn = {978-0-8186-6782-4},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0081768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GodefroidHP95,
author = {Patrice Godefroid and
Gerard J. Holzmann and
Didier Pirottin},
title = {State-Space Caching Revisited},
journal = {Formal Methods Syst. Des.},
volume = {7},
number = {3},
pages = {227--241},
year = {1995},
url = {https://doi.org/10.1007/BF01384077},
doi = {10.1007/BF01384077},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GodefroidHP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Holzmann95,
author = {Gerard J. Holzmann},
editor = {Insup Lee and
Scott A. Smolka},
title = {Tutorial: Proving Properties of Concurrent System with {SPIN}},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {453--455},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_34},
doi = {10.1007/3-540-60218-6\_34},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Holzmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Holzmann95,
author = {Gerard J. Holzmann},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {An analysis of bistate hashing},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {301--314},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Holzmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HolzmannP94,
author = {Gerard J. Holzmann and
Doron A. Peled},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {An improvement in formal verification},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {197--211},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/HolzmannP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Holzmann94,
author = {Gerard J. Holzmann},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Proving the value of formal methods},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {385--396},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Holzmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Holzmann94,
author = {Gerard J. Holzmann},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Theory and Practice of {A} Formal Method: NewCoRe},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {35--44},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Holzmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Holzmann94a,
author = {Gerard J. Holzmann},
editor = {Klaus Brunnstein and
Eckart Raubold},
title = {Data Communications: The First 2500 Years},
booktitle = {Applications and Impacts, Information Processing '94, Volume 2, Proceedings
of the {IFIP} 13th World Computer Congress, Hamburg, Germany, 28 August
- 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-52}},
pages = {271--278},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Holzmann94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Holzmann93,
author = {Gerard J. Holzmann},
title = {Design and Validation of Protocols: {A} Tutorial},
journal = {Comput. Networks {ISDN} Syst.},
volume = {25},
number = {9},
pages = {981--1017},
year = {1993},
url = {https://doi.org/10.1016/0169-7552(93)90095-L},
doi = {10.1016/0169-7552(93)90095-L},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Holzmann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Holzmann93,
author = {Gerard J. Holzmann},
title = {Standardized Protocol Interfaces},
journal = {Softw. Pract. Exp.},
volume = {23},
number = {7},
pages = {711--731},
year = {1993},
url = {https://doi.org/10.1002/spe.4380230703},
doi = {10.1002/SPE.4380230703},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Holzmann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GodefroidH93,
author = {Patrice Godefroid and
Gerard J. Holzmann},
editor = {Andr{\'{e}} A. S. Danthine and
Guy Leduc and
Pierre Wolper},
title = {On the Verification of Temporal Properties},
booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings
of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol
Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28
May, 1993},
series = {{IFIP} Transactions},
volume = {{C-16}},
pages = {109--124},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GodefroidH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Holzmann92,
author = {Gerard J. Holzmann},
title = {Practical methods for the formal validation of {SDL} specifications},
journal = {Comput. Commun.},
volume = {15},
number = {2},
pages = {129--134},
year = {1992},
url = {https://doi.org/10.1016/0140-3664(92)90132-X},
doi = {10.1016/0140-3664(92)90132-X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/Holzmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Holzmann92,
author = {Gerard J. Holzmann},
title = {Protocol Design: Redefining the State of the Art},
journal = {{IEEE} Softw.},
volume = {9},
number = {1},
pages = {17--22},
year = {1992},
url = {https://doi.org/10.1109/52.108773},
doi = {10.1109/52.108773},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Holzmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GodefroidHP92,
author = {Patrice Godefroid and
Gerard J. Holzmann and
Didier Pirottin},
editor = {Gregor von Bochmann and
David K. Probst},
title = {State-Space Caching Revisited},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {178--191},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_15},
doi = {10.1007/3-540-56496-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GodefroidHP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HolzmannGP92,
author = {Gerard J. Holzmann and
Patrice Godefroid and
Didier Pirottin},
editor = {Richard J. Linn Jr. and
M. {\"{U}}mit Uyar},
title = {Coverage Preserving Reduction Strategies for Reachability Analysis},
booktitle = {Protocol Specification, Testing and Verification XII, Proceedings
of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
Specification, Testing and Verification, Lake Buena Vista, Florida,
USA, 22-25 June 1992},
series = {{IFIP} Transactions},
volume = {{C-8}},
pages = {349--363},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HolzmannGP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HolzmannP89,
author = {Gerard J. Holzmann and
Joanna Patti},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Validating {SDL} Specifications: an Experiment},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {317--326},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HolzmannP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Holzmann88,
author = {Gerard J. Holzmann},
title = {An Improved Protocol Reachability Analysis Technique},
journal = {Softw. Pract. Exp.},
volume = {18},
number = {2},
pages = {137--161},
year = {1988},
url = {https://doi.org/10.1002/spe.4380180203},
doi = {10.1002/SPE.4380180203},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Holzmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Holzmann87,
author = {Gerard J. Holzmann},
title = {Automated Protocol Validation in \emph{Argos: } Assertion Proving
and Scatter Searching},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {683--696},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233206},
doi = {10.1109/TSE.1987.233206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Holzmann87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Holzmann87,
author = {Gerard J. Holzmann},
editor = {Harry Rudin and
Colin H. West},
title = {On Limits and Possibilities of Automated Protocol Analysis},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings
of the {IFIP} {WG6.1} Seventh International Conference on Protocol
Specification, Testing and Verification, Zurich, Switzerland, 5-8
May, 1987},
pages = {339--344},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Holzmann87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/Holzmann85,
author = {Gerard J. Holzmann},
title = {Tracing protocols},
journal = {AT{\&}T Tech. J.},
volume = {64},
number = {10},
pages = {2413--2433},
year = {1985},
url = {https://doi.org/10.1002/j.1538-7305.1985.tb00010.x},
doi = {10.1002/J.1538-7305.1985.TB00010.X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/Holzmann85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Holzmann84,
author = {Gerard J. Holzmann},
title = {The Pandora System: An Interactive System for the Design of Data Communication
Protocols},
journal = {Comput. Networks},
volume = {8},
pages = {71--79},
year = {1984},
url = {https://doi.org/10.1016/0376-5075(84)90036-9},
doi = {10.1016/0376-5075(84)90036-9},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/Holzmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Holzmann84,
author = {Gerard J. Holzmann},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Backward Symbolic Execution of Protocols},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {19--30},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Holzmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HolzmannB83,
author = {Gerard J. Holzmann and
Rob A. Beukers},
editor = {Harry Rudin and
Colin H. West},
title = {The Pandora Protocol Development System},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {357--368},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HolzmannB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Holzmann82,
author = {Gerard J. Holzmann},
title = {A Theory for Protocol Validation},
journal = {{IEEE} Trans. Computers},
volume = {31},
number = {8},
pages = {730--738},
year = {1982},
url = {https://doi.org/10.1109/TC.1982.1676079},
doi = {10.1109/TC.1982.1676079},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Holzmann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Holzmann82,
author = {Gerard J. Holzmann},
editor = {Carl A. Sunshine},
title = {Algebraic Validation Methods-A Comparison of Three Techniques},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {383--390},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 16:10:28 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Holzmann82.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.
last updated on 2024-03-07 04:29 CET 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:
