Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jozef Hooman
@inproceedings{DBLP:conf/onward/SchutsH23,
author = {Mathijs Schuts and
Jozef Hooman},
editor = {Tijs van der Storm and
Robert Hirschfeld},
title = {Towards an Industrial Stateful Software Rejuvenation Toolchain using
Model Learning},
booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2023, Cascais, Portugal, October 25-27, 2023},
pages = {15--31},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3622758.3622888},
doi = {10.1145/3622758.3622888},
timestamp = {Tue, 24 Oct 2023 16:38:10 +0200},
biburl = {https://dblp.org/rec/conf/onward/SchutsH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurtevH22,
author = {Ivan Kurtev and
Jozef Hooman},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Runtime Verification of Compound Components with ComMA},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {382--402},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_21},
doi = {10.1007/978-3-031-15629-8\_21},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KurtevH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BeraSHK21,
author = {Debjyoti Bera and
Mathijs Schuts and
Jozef Hooman and
Ivan Kurtev},
title = {Reverse engineering models of software interfaces},
journal = {Comput. Sci. Inf. Syst.},
volume = {18},
number = {3},
pages = {657--686},
year = {2021},
url = {https://doi.org/10.2298/csis200131013b},
doi = {10.2298/CSIS200131013B},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/BeraSHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchutsAH21,
author = {Mathijs Schuts and
Marco Alonso and
Jozef Hooman},
editor = {Jeff Gray and
Matti Rossi and
Jonathan Sprinkle and
Juha{-}Pekka Tolvanen},
title = {Industrial experiences with the evolution of a {DSL}},
booktitle = {{DSM} 2021: Proceedings of the 18th {ACM} {SIGPLAN} International
Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October
2021},
pages = {21--30},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486603.3486774},
doi = {10.1145/3486603.3486774},
timestamp = {Fri, 03 Dec 2021 14:51:37 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SchutsAH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/NageleBHB19,
author = {Thomas N{\"{a}}gele and
Tim Broenink and
Jozef Hooman and
Jan F. Broenink},
title = {Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level
Modelling},
booktitle = {{IEEE} International Conference on Industrial Cyber Physical Systems,
{ICPS} 2019, Taipei, Taiwan, May 6-9, 2019},
pages = {133--138},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICPHYS.2019.8780355},
doi = {10.1109/ICPHYS.2019.8780355},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icphys/NageleBHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SchutsHT18,
author = {Mathijs Schuts and
Jozef Hooman and
Paul Tielemans},
title = {Industrial Experience with the Migration of Legacy Models using a
{DSL}},
booktitle = {Proceedings of the Real World Domain Specific Languages Workshop,
RWDSL@CGO 2018, Vienna, Austria, February 24-24, 2018},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183895.3183897},
doi = {10.1145/3183895.3183897},
timestamp = {Fri, 05 Apr 2019 11:12:22 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SchutsHT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/NageleHS18,
author = {Thomas N{\"{a}}gele and
Jozef Hooman and
Jack Sleuters},
editor = {Martin Novotn{\'{y}} and
Nikos Konofaos and
Amund Skavhaug},
title = {Building Distributed Co-Simulations Using CoHLA},
booktitle = {21st Euromicro Conference on Digital System Design, {DSD} 2018, Prague,
Czech Republic, August 29-31, 2018},
pages = {342--346},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSD.2018.00066},
doi = {10.1109/DSD.2018.00066},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/NageleHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchutsHKS18,
author = {Mathijs Schuts and
Jozef Hooman and
Ivan Kurtev and
Dirk{-}Jan Swagerman},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Reverse Engineering of Legacy Software Interfaces to a Model-Based
Approach},
booktitle = {Proceedings of the 2018 Federated Conference on Computer Science and
Information Systems, FedCSIS 2018, Pozna{\'{n}}, Poland, September
9-12, 2018},
series = {Annals of Computer Science and Information Systems},
volume = {15},
pages = {867--876},
year = {2018},
url = {https://doi.org/10.15439/2018F64},
doi = {10.15439/2018F64},
timestamp = {Tue, 23 Apr 2024 10:05:32 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/SchutsHKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/NageleH18,
author = {Thomas N{\"{a}}gele and
Jozef Hooman},
title = {Scalability Analysis of Cloud-Based Distributed Simulations of IoT
Systems Using {HLA}},
booktitle = {24th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2018, Singapore, December 11-13, 2018},
pages = {1075--1080},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PADSW.2018.8644925},
doi = {10.1109/PADSW.2018.8644925},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/NageleH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/NageleHBB18,
author = {Thomas N{\"{a}}gele and
Jozef Hooman and
Tim Broenink and
Jan F. Broenink},
title = {CoHLA: Design space exploration and co-simulation made easy},
booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg,
Russia, May 15-18, 2018},
pages = {225--231},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICPHYS.2018.8387664},
doi = {10.1109/ICPHYS.2018.8387664},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icphys/NageleHBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/BergHH18,
author = {Freek van den Berg and
Jozef Hooman and
Boudewijn R. Haverkort},
editor = {Reinhard German and
Kai{-}Steffen Hielscher and
Udo R. Krieger},
title = {A Domain-Specific Language and Toolchain for Performance Evaluation
Based on Measurements},
booktitle = {Measurement, Modelling and Evaluation of Computing Systems - 19th
International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany,
February 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10740},
pages = {295--301},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74947-1\_21},
doi = {10.1007/978-3-319-74947-1\_21},
timestamp = {Fri, 23 Jul 2021 10:45:36 +0200},
biburl = {https://dblp.org/rec/conf/mmb/BergHH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AkessonHDES18,
author = {Benny Akesson and
Jozef Hooman and
Roy Dekker and
Willemien Ekkelkamp and
Bas Stottelaar},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Pain-mitigation Techniques for Model-based Engineering using Domain-specific
Languages},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {752--764},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006749707520764},
doi = {10.5220/0006749707520764},
timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AkessonHDES18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergHH17,
author = {Freek van den Berg and
Boudewijn R. Haverkort and
Jozef Hooman},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {iDSL: Automated Performance Evaluation of Service-Oriented Systems},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {214--236},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_11},
doi = {10.1007/978-3-319-68270-9\_11},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BergHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurtevHS17,
author = {Ivan Kurtev and
Jozef Hooman and
Mathijs Schuts},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Runtime Monitoring Based on Interface Specifications},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {335--356},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_17},
doi = {10.1007/978-3-319-68270-9\_17},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KurtevHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccwc/NageleH17,
author = {Thomas N{\"{a}}gele and
Jozef Hooman},
title = {Co-simulation of cyber-physical systems using {HLA}},
booktitle = {{IEEE} 7th Annual Computing and Communication Workshop and Conference,
{CCWC} 2017, Las Vegas, NV, USA, January 9-11, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCWC.2017.7868401},
doi = {10.1109/CCWC.2017.7868401},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/ccwc/NageleH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/NageleH17,
author = {Thomas N{\"{a}}gele and
Jozef Hooman},
title = {Rapid Construction of Co-Simulations of Cyber-Physical Systems in
{HLA} Using a {DSL}},
booktitle = {43rd Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2017, Vienna, Austria, August 30 - Sept. 1, 2017},
pages = {247--251},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAA.2017.29},
doi = {10.1109/SEAA.2017.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/NageleH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KurtevSHS17,
author = {Ivan Kurtev and
Mathijs Schuts and
Jozef Hooman and
Dirk{-}Jan Swagerman},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Integrating Interface Modeling and Analysis in an Industrial Setting},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {345--352},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006133103450352},
doi = {10.5220/0006133103450352},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/KurtevSHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/OsaiweranSHGR16,
author = {Ammar Osaiweran and
Mathijs Schuts and
Jozef Hooman and
Jan Friso Groote and
Bart J. van Rijnsoever},
title = {Evaluating the effect of a lightweight formal technique in industry},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {1},
pages = {93--108},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0374-1},
doi = {10.1007/S10009-015-0374-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/OsaiweranSHGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hooman16,
author = {Jozef Hooman},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Industrial Application of Formal Models Generated from Domain Specific
Languages},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {277--293},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_19},
doi = {10.1007/978-3-319-30734-3\_19},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hooman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SchutsH16,
author = {Mathijs Schuts and
Jozef Hooman},
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Industrial Application of Domain Specific Languages Combined with
Formal Techniques},
booktitle = {Proceedings of the 1st International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
pages = {2:1--2:8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889420.2889421},
doi = {10.1145/2889420.2889421},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SchutsH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchutsHV16,
author = {Mathijs Schuts and
Jozef Hooman and
Frits W. Vaandrager},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Refactoring of Legacy Software Using Model Learning and Equivalence
Checking: An Industrial Experience Report},
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 = {311--325},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_20},
doi = {10.1007/978-3-319-33693-0\_20},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchutsHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchutsH16,
author = {Mathijs Schuts and
Jozef Hooman},
editor = {Juha{-}Pekka Tolvanen and
Jeff Gray and
Matti Rossi and
Jonathan Sprinkle},
title = {Improving maintenance by creating a {DSL} for configuring a fieldbus},
booktitle = {Proceedings of the International Workshop on Domain-Specific Modeling,
DSM@SPLASH 2016, Amsterdam, Netherlands, October 30, 2016},
pages = {28--34},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3023147.3023152},
doi = {10.1145/3023147.3023152},
timestamp = {Mon, 21 Jun 2021 12:26:28 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SchutsH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KeshishzadehMH16,
author = {Sarmen Keshishzadeh and
Arjan J. Mooij and
Jozef Hooman},
editor = {Jan Kofron and
Jana Tumova and
Bara Buhnova},
title = {Industrial Experiences with a Formal {DSL} Semantics to Check the
Correctness of {DSL} Artifacts},
booktitle = {Proceedings of the 13th International Workshop on Formal Engineering
Approaches to Software Components and Architectures, FESCA@ETAPS 2016,
Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {205},
pages = {16--30},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.205.2},
doi = {10.4204/EPTCS.205.2},
timestamp = {Sun, 02 Oct 2022 15:31:45 +0200},
biburl = {https://dblp.org/rec/journals/corr/KeshishzadehMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BergHHHR15,
author = {Freek van den Berg and
Jozef Hooman and
Arnd Hartmanns and
Boudewijn R. Haverkort and
Anne Remke},
editor = {Marta Beltr{\'{a}}n and
William J. Knottenbelt and
Jeremy T. Bradley},
title = {Computing Response Time Distributions Using Iterative Probabilistic
Model Checking},
booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9272},
pages = {208--224},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23267-6\_14},
doi = {10.1007/978-3-319-23267-6\_14},
timestamp = {Sat, 19 Oct 2019 19:59:03 +0200},
biburl = {https://dblp.org/rec/conf/epew/BergHHHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchutsH15,
author = {Mathijs Schuts and
Jozef Hooman},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Using Domain Specific Languages to improve the development of a power
control unit},
booktitle = {2015 Federated Conference on Computer Science and Information Systems,
FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
series = {Annals of Computer Science and Information Systems},
volume = {5},
pages = {781--788},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.15439/2015F46},
doi = {10.15439/2015F46},
timestamp = {Tue, 23 Apr 2024 09:56:18 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/SchutsH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchutsH15,
author = {Mathijs Schuts and
Jozef Hooman},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Formalizing the Concept Phase of Product Development},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {605--608},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_43},
doi = {10.1007/978-3-319-19249-9\_43},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchutsH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/MooijEHW15,
author = {Arjan J. Mooij and
Gernot Eggen and
Jozef Hooman and
Hans van Wezep},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {Cost-Effective Industrial Software Rejuvenation Using Domain-Specific
Models},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {66--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_6},
doi = {10.1007/978-3-319-21155-8\_6},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/MooijEHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/TheelenH15,
author = {Bart D. Theelen and
Jozef Hooman},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {Uniting Academic Achievements on Performance Analysis with Industrial
Needs},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_1},
doi = {10.1007/978-3-319-22264-6\_1},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/TheelenH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/BergHH15,
author = {Freek van den Berg and
Boudewijn R. Haverkort and
Jozef Hooman},
editor = {William J. Knottenbelt and
Katinka Wolter and
Ana Busic and
Marco Gribaudo and
Philipp Reinecke},
title = {Efficiently Computing Latency Distributions by Combined Performance
Evaluation Techniques},
booktitle = {VALUETOOLS'15: Proceedings of the 9th {EAI} International Conference
on Performance Evaluation Methodologies and Tools, Berlin, Germany,
December 14-16, 2015},
pages = {158--163},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.4108/eai.14-12-2015.2262725},
doi = {10.4108/EAI.14-12-2015.2262725},
timestamp = {Wed, 04 May 2022 13:02:28 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/BergHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KeshishzadehMH15,
author = {Sarmen Keshishzadeh and
Arjan J. Mooij and
Jozef Hooman},
title = {Industrial Experiences with a Formal {DSL} Semantics to Check Correctness
of {DSL} Transformations},
journal = {CoRR},
volume = {abs/1511.08049},
year = {2015},
url = {http://arxiv.org/abs/1511.08049},
eprinttype = {arXiv},
eprint = {1511.08049},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KeshishzadehMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/OsaiweranSH14,
author = {Ammar Osaiweran and
Mathijs Schuts and
Jozef Hooman},
title = {Experiences with incorporating formal techniques into industrial practice},
journal = {Empir. Softw. Eng.},
volume = {19},
number = {4},
pages = {1169--1194},
year = {2014},
url = {https://doi.org/10.1007/s10664-013-9251-2},
doi = {10.1007/S10664-013-9251-2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/OsaiweranSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MooijHA13,
author = {Arjan J. Mooij and
Jozef Hooman and
Rob Albers},
title = {Gaining Industrial Confidence for the Introduction of Domain-Specific
Languages},
booktitle = {{IEEE} 37th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2013, Kyoto, Japan, July 22-26, 2013},
pages = {662--667},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSACW.2013.83},
doi = {10.1109/COMPSACW.2013.83},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MooijHA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/MooijHA13,
author = {Arjan J. Mooij and
Jozef Hooman and
Rob Albers},
editor = {Jeremy Gibbons and
Wendy MacCaull},
title = {Early Fault Detection Using Design Models for Collision Prevention
in Medical Equipment},
booktitle = {Foundations of Health Information Engineering and Systems - Third
International Symposium, {FHIES} 2013, Macau, China, August 21-23,
2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8315},
pages = {170--187},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53956-5\_12},
doi = {10.1007/978-3-642-53956-5\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/MooijHA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoomanMW12,
author = {Jozef Hooman and
Arjan J. Mooij and
Hans van Wezep},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Early Fault Detection in Industry Using Models at Various Abstraction
Levels},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {268--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_19},
doi = {10.1007/978-3-642-30729-4\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoomanMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OsaiweranSHW13,
author = {Ammar Osaiweran and
Mathijs Schuts and
Jozef Hooman and
Jacco H. Wesselius},
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {Incorporating Formal Techniques into Industrial Practice: an Experience
Report},
booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {49--63},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.04.005},
doi = {10.1016/J.ENTCS.2013.04.005},
timestamp = {Tue, 22 Nov 2022 13:57:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OsaiweranSHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/HoomanVS11,
author = {Jozef Hooman and
Robert Huis in 't Veld and
Mathijs Schuts},
editor = {Zhiming Liu and
Alan Wassyng},
title = {Experiences with a Compositional Model Checker in the Healthcare Domain},
booktitle = {Foundations of Health Informatics Engineering and Systems - First
International Symposium, {FHIES} 2011, Johannesburg, South Africa,
August 29-30, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7151},
pages = {93--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32355-3\_6},
doi = {10.1007/978-3-642-32355-3\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/HoomanVS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoomanV10,
author = {Jozef Hooman and
Marcel Verhoef},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Formal Semantics of a {VDM} Extension for Distributed Embedded Systems},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {142--161},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_10},
doi = {10.1007/978-3-642-11512-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoomanV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/greencom/LiHV10,
author = {Li Li and
Jozef Hooman and
Jeroen Voeten},
editor = {Peidong Zhu and
Lizhe Wang and
Feng Xia and
Huajun Chen and
Ian McLoughlin and
Shiao{-}Li Tsao and
Mitsuhisa Sato and
Sun{-}Ki Chai and
Irwin King},
title = {Connecting Technical and Non-technical Views of System Architectures},
booktitle = {2010 {IEEE/ACM} Int'l Conference on Green Computing and Communications,
GreenCom 2010, {\&} Int'l Conference on Cyber, Physical and Social
Computing, CPSCom 2010, Hangzhou, China, December 18-20, 2010},
pages = {592--599},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/GreenCom-CPSCom.2010.123},
doi = {10.1109/GREENCOM-CPSCOM.2010.123},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/greencom/LiHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VermolenHL10,
author = {Sander Vermolen and
Jozef Hooman and
Peter Gorm Larsen},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Proving consistency of {VDM} models using {HOL}},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2503--2510},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774608},
doi = {10.1145/1774088.1774608},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/VermolenHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoomanKOVY08,
author = {Jozef Hooman and
Hillel Kugler and
Iulian Ober and
Anjelika Votintseva and
Yuri Yushtein},
title = {Supporting UML-based development of embedded systems by formal techniques},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {131--155},
year = {2008},
url = {https://doi.org/10.1007/s10270-006-0043-7},
doi = {10.1007/S10270-006-0043-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HoomanKOVY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BrinksmaH08,
author = {Ed Brinksma and
Jozef Hooman},
editor = {Donatella Sciuto},
title = {Dependability for high-tech systems: an industry-as-laboratory approach},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {1226--1231},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484846},
doi = {10.1109/DATE.2008.4484846},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BrinksmaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnsec/LayouniHT07,
author = {Mohamed Layouni and
Jozef Hooman and
Sofi{\`{e}}ne Tahar},
title = {Formal Specification and Verification of the Intrusion-Tolerant Enclaves
Protocol},
journal = {Int. J. Netw. Secur.},
volume = {5},
number = {3},
pages = {288--298},
year = {2007},
url = {http://ijns.jalaxy.com.tw/contents/ijns-v5-n3/ijns-2007-v5-n3-p288-298.pdf},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnsec/LayouniHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VerhoefVHB07,
author = {Marcel Verhoef and
Peter Visser and
Jozef Hooman and
Jan F. Broenink},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Co-simulation of Distributed Embedded Real-Time Control Systems},
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 = {639--658},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_33},
doi = {10.1007/978-3-540-73210-5\_33},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VerhoefVHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HoomanH07,
author = {Jozef Hooman and
Teun Hendriks},
editor = {Holger Giese},
title = {Model-Based Run-Time Error Detection},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {225--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_24},
doi = {10.1007/978-3-540-69073-3\_24},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/HoomanH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HoomanZ06,
author = {Jozef Hooman and
Mark van der Zwaag},
title = {A semantics of communicating reactive objects with timing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {2},
pages = {97--112},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0207-8},
doi = {10.1007/S10009-005-0207-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HoomanZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VerhoefLH06,
author = {Marcel Verhoef and
Peter Gorm Larsen and
Jozef Hooman},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Modeling and Validating Distributed Embedded Real-Time Systems with
{VDM++}},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {147--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_11},
doi = {10.1007/11813040\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/VerhoefLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kyas06,
author = {Marcel Kyas and
Jozef Hooman},
editor = {Bettina Biel and
Matthias Book and
Volker Gruhn},
title = {Compositional Verification of Timed Components using {PVS}},
booktitle = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik,
28.-31.3.2006 in Leipzig},
series = {{LNI}},
volume = {{P-79}},
pages = {143--154},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24307},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Kyas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoomanP05,
author = {Jozef Hooman and
Jaco van de Pol},
title = {Semantic models of a timed distributed dataspace architecture},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {291--323},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.020},
doi = {10.1016/J.TCS.2004.09.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoomanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/GrafH04,
author = {Susanne Graf and
Jozef Hooman},
editor = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison},
title = {Correct Development of Embedded Systems},
booktitle = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
UK, May 21-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3047},
pages = {241--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24769-2\_21},
doi = {10.1007/978-3-540-24769-2\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/GrafH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AronsHKPZ04,
author = {Tamarah Arons and
Jozef Hooman and
Hillel Kugler and
Amir Pnueli and
Mark van der Zwaag},
editor = {Thomas Baar and
Alfred Strohmeier and
Ana M. D. Moreira and
Stephen J. Mellor},
title = {Deductive Verification of {UML} Models in {TLPVS}},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3273},
pages = {335--349},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30187-5\_24},
doi = {10.1007/978-3-540-30187-5\_24},
timestamp = {Mon, 15 Jun 2020 17:02:11 +0200},
biburl = {https://dblp.org/rec/conf/uml/AronsHKPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KyasFBJHZAK05,
author = {Marcel Kyas and
Harald Fecher and
Frank S. de Boer and
Joost Jacob and
Jozef Hooman and
Mark van der Zwaag and
Tamarah Arons and
Hillel Kugler},
editor = {Gerald L{\"{u}}ttgen and
Natividad Mart{\'{\i}}nez Madrid and
Michael Mendler},
title = {Formalizing {UML} Models and {OCL} Constraints in {PVS}},
booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering
Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {39--47},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.027},
doi = {10.1016/J.ENTCS.2004.09.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KyasFBJHZAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/04/GrootH04,
author = {Adriaan de Groot and
Jozef Hooman},
editor = {Fabrice Kordon and
Michel Lemoine},
title = {Environmental Modeling with {UML}},
booktitle = {Formal Methods for Embedded Distributed Systems - How to Master the
Complexity},
pages = {89--129},
publisher = {Kluwer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-7997-4\_4},
doi = {10.1007/1-4020-7997-4\_4},
timestamp = {Mon, 18 May 2020 15:38:59 +0200},
biburl = {https://dblp.org/rec/books/kl/04/GrootH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LayouniHT03,
author = {Mohamed Layouni and
Jozef Hooman and
Sofi{\`{e}}ne Tahar},
editor = {Daniel Geist and
Enrico Tronci},
title = {On the Correctness of an Intrusion-Tolerant Group Communication Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {231--246},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_21},
doi = {10.1007/978-3-540-39724-3\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/LayouniHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChkliaevHV03,
author = {Dmitri Chkliaev and
Jozef Hooman and
Erik P. de Vink},
editor = {Hubert Garavel and
John Hatcliff},
title = {Verification and Improvement of the Sliding Window Protocol},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {113--127},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_9},
doi = {10.1007/3-540-36577-X\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChkliaevHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HoomanP02,
author = {Jozef Hooman and
Jaco van de Pol},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Equivalent Semantic Models for a Distributed Dataspace Architecture},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {182--201},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_7},
doi = {10.1007/978-3-540-39656-7\_7},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HoomanP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HoomanP02,
author = {Jozef Hooman and
Jaco van de Pol},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Formal verification of replication on a distributed data space architecture},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {351--358},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508859},
doi = {10.1145/508791.508859},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/HoomanP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/RoeverBH2001,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
title = {Concurrency Verification: Introduction to Compositional and Noncompositional
Methods},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {54},
publisher = {Cambridge University Press},
year = {2001},
isbn = {0-521-80608-9},
timestamp = {Fri, 20 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/RoeverBH2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HannemannH01,
author = {Ulrich Hannemann and
Jozef Hooman},
title = {Formal Design of Real-Time Components on a Shared Data Space Architecture},
booktitle = {25th International Computer Software and Applications Conference {(COMPSAC}
2001), Invigorating Software Development, 8-12 October 2001, Chicago,
IL, {USA}},
pages = {143--150},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CMPSAC.2001.960610},
doi = {10.1109/CMPSAC.2001.960610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HannemannH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SintoskiHRH01,
author = {A. Sintoski and
Dieter K. Hammer and
Onno S. van Roosmalen and
Jozef Hooman},
title = {Formal Platform-Independent Design of Real-Time Systems},
booktitle = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EMRTS.2001.934023},
doi = {10.1109/EMRTS.2001.934023},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/SintoskiHRH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GrootHKPVLGWK01,
author = {Adriaan de Groot and
Jozef Hooman and
Fabrice Kordon and
Emmanuel Paviot{-}Adet and
Isabelle Vernier{-}Mounier and
Michel Lemoine and
Gervais Gaudi{\'{e}}re and
Victor L. Winter and
Deepak Kapur},
title = {A Survey: Applying Formal Methods to a Software Intensive System},
booktitle = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HASE.2001.966807},
doi = {10.1109/HASE.2001.966807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GrootHKPVLGWK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GrootH00,
author = {Adriaan de Groot and
Jozef Hooman},
title = {Analyzing the Light Control System with {PVS}},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {621--649},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-07-0621},
doi = {10.3217/JUCS-006-07-0621},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GrootH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HoomanR00,
author = {Jozef Hooman and
Onno S. van Roosmalen},
title = {An Approach to Platform Independent Real-Time Programming: {(1)} Formal
Description},
journal = {Real Time Syst.},
volume = {19},
number = {1},
pages = {61--85},
year = {2000},
url = {https://doi.org/10.1023/A:1008188323123},
doi = {10.1023/A:1008188323123},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/HoomanR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HoomanR00a,
author = {Jozef Hooman and
Onno S. van Roosmalen},
title = {An Approach to Platform Independent Real-Time Programming: {(2)} Practical
Application},
journal = {Real Time Syst.},
volume = {19},
number = {1},
pages = {87--112},
year = {2000},
url = {https://doi.org/10.1023/A:1008140407193},
doi = {10.1023/A:1008140407193},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/HoomanR00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/JongPH00,
author = {Edwin D. de Jong and
Jaco van de Pol and
Jozef Hooman},
title = {Refinement in Requirements Specification and Analysis: {A} Case Study},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {290--298},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839888},
doi = {10.1109/ECBS.2000.839888},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/JongPH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RoeverBHHLPZ00,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Basic Principles of a textbook on the compositional and noncompositional
verification of concurrent programs},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {3--5},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/ChkliaevSH00,
author = {Dmitri Chkliaev and
Peter van der Stok and
Jozef Hooman},
editor = {Ten{-}Hwang Lai},
title = {Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E96--E103},
year = {2000},
timestamp = {Mon, 22 Mar 2004 09:40:43 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/ChkliaevSH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChkliaevHS00,
author = {Dmitri Chkliaev and
Jozef Hooman and
Peter van der Stok},
title = {Mechanical Verification of Transaction Processing Systems},
booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICFEM.2000.873809},
doi = {10.1109/ICFEM.2000.873809},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ChkliaevHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/ChkliaevHS00,
author = {Dmitri Chkliaev and
Jozef Hooman and
Peter van der Stok},
title = {Formal Modeling and Analysis of Atomic Commitment Protocols},
booktitle = {Seventh International Conference on Parallel and Distributed Systems,
{ICPADS} 2000, Iwate, Japan, July 4-7, 2000},
pages = {151--158},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICPADS.2000.857694},
doi = {10.1109/ICPADS.2000.857694},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/ChkliaevHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BlooHJ00,
author = {Roel Bloo and
Jozef Hooman and
Edwin D. de Jong},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {Semantical Aspects of an Architecture for Distributed Embedded Systems},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 1},
pages = {149--155},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335603.335731},
doi = {10.1145/335603.335731},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BlooHJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ChkliaevHS99,
author = {Dmitri Chkliaev and
Jozef Hooman and
Peter van der Stok},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Serializability Preserving Extensions of Concurrency Control Protocols},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
pages = {180--193},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46562-6\_15},
doi = {10.1007/3-540-46562-6\_15},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ChkliaevHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PolHJ99,
author = {Jaco van de Pol and
Jozef Hooman and
Edwin D. de Jong},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Modular Formal Specification of Data and Behaviour},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {109--128},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_7},
doi = {10.1007/978-1-4471-0851-1\_7},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PolHJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BastenH99,
author = {Twan Basten and
Jozef Hooman},
editor = {Rance Cleaveland},
title = {Process Algebra in {PVS}},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {270--284},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_19},
doi = {10.1007/3-540-49059-0\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BastenH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/HoomanR98,
author = {Jozef Hooman and
Onno S. van Roosmalen},
title = {Formal Design of Real-Time Systems in a Platform-Independent Way},
journal = {Scalable Comput. Pract. Exp.},
volume = {1},
number = {2},
year = {1998},
url = {http://www.scpe.org/index.php/scpe/article/view/76},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/HoomanR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Hooman97,
author = {Jozef Hooman},
editor = {Michael Johnson},
title = {Verification of Distributed Real-Time and Fault-Tolerant Protocols},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {261--275},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000476},
doi = {10.1007/BFB0000476},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Hooman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/Hooman97,
author = {Jozef Hooman},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Compositional Verification of Real-Time Applications},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {276--300},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_10},
doi = {10.1007/3-540-49213-5\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/Hooman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/HoomanR97,
author = {Jozef Hooman and
Onno S. van Roosmalen},
title = {Timed-event abstraction and timing constraints in distributed real-time
programming},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {153--160},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609947},
doi = {10.1109/WORDS.1997.609947},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/HoomanR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhouHK96,
author = {Ping Zhou and
Jozef Hooman and
Ruurd Kuiper},
title = {Compositional Verification of Real-Time Systems with Explicit Clock
Temporal Logic},
journal = {Formal Aspects Comput.},
volume = {8},
number = {3},
pages = {294--323},
year = {1996},
url = {https://doi.org/10.1007/BF01214917},
doi = {10.1007/BF01214917},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ZhouHK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HoomanV96,
author = {Jozef Hooman and
J{\"{u}}ri Vain},
title = {Integrating methods for the design of real-time systems},
journal = {J. Syst. Archit.},
volume = {42},
number = {6-7},
pages = {489--502},
year = {1996},
url = {https://doi.org/10.1016/S1383-7621(96)00036-7},
doi = {10.1016/S1383-7621(96)00036-7},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/HoomanV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ZhouH95,
author = {Ping Zhou and
Jozef Hooman},
title = {Formal Specification and Compositional Verification of an Atomic Broadcast
Protocol},
journal = {Real Time Syst.},
volume = {9},
number = {2},
pages = {119--145},
year = {1995},
url = {https://doi.org/10.1007/BF01088854},
doi = {10.1007/BF01088854},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/ZhouH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LakhnecheH95,
author = {Yassine Lakhnech and
Jozef Hooman},
title = {Metric Temporal Logic with Durations},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {169--199},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00151-8},
doi = {10.1016/0304-3975(94)00151-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LakhnecheH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/VittH95,
author = {Jan Vitt and
Jozef Hooman},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Assertional Specification and Verification Using {PVS} of the Steam
Boiler Control System},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {453--472},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027249},
doi = {10.1007/BFB0027249},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/VittH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HoomanV95,
author = {Jozef Hooman and
J{\"{u}}ri Vain},
title = {An integrated technique for developing real-time systems},
booktitle = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
Denmark, March 14-16, 1995},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EMWRTS.1995.514317},
doi = {10.1109/EMWRTS.1995.514317},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/HoomanV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Hooman95,
author = {Jozef Hooman},
editor = {P. S. Thiagarajan},
title = {Verifying Part of the ACCESS.bus Protocol Using {PVS}},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {96--110},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_43},
doi = {10.1007/3-540-60692-0\_43},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Hooman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hooman94,
author = {Jozef Hooman},
title = {Extending Hoare Logic to Real-Time},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {801--826},
year = {1994},
url = {https://doi.org/10.1007/BF01213604},
doi = {10.1007/BF01213604},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Hooman94,
author = {Jozef Hooman},
title = {Compositional Verification of a Distributed Real-Time Arbitration
Protocol},
journal = {Real Time Syst.},
volume = {6},
number = {2},
pages = {173--205},
year = {1994},
url = {https://doi.org/10.1007/BF01088595},
doi = {10.1007/BF01088595},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchepersH94,
author = {Henk Schepers and
Jozef Hooman},
title = {A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed
Systems},
journal = {Theor. Comput. Sci.},
volume = {128},
number = {1{\&}2},
pages = {127--157},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90167-8},
doi = {10.1016/0304-3975(94)90167-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchepersH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hooman94,
author = {Jozef Hooman},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Using {PVS} for an Assertional Verification of the RPC-Memory Specification
Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {275--304},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024433},
doi = {10.1007/BFB0024433},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hooman94,
author = {Jozef Hooman},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Correctness of Real Time Systems by Construction},
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 = {19--40},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_158},
doi = {10.1007/3-540-58468-4\_158},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LakhnecheH94,
author = {Yassine Lakhnech and
Jozef Hooman},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Reasoning about Durations in Metric Temporal Logic},
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 = {488--510},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_180},
doi = {10.1007/3-540-58468-4\_180},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LakhnecheH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SchepersH93,
author = {Henk Schepers and
Jozef Hooman},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Trace-Based Compositional Reasoning about Fault Tolerant Systems},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {197--208},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_16},
doi = {10.1007/3-540-56891-3\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/SchepersH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Hooman93,
author = {Jozef Hooman},
title = {Specification and verification of a distributed real-time arbitration
protocol},
booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
USA, December 1993},
pages = {284--293},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393488},
doi = {10.1109/REAL.1993.393488},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Hooman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoomanRR92,
author = {Jozef Hooman and
S. Ramesh and
Willem P. de Roever},
title = {A Compositional Axiomatization of Statecharts},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {289--335},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90053-I},
doi = {10.1016/0304-3975(92)90053-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoomanRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Hooman92,
author = {Jozef Hooman},
title = {A compositional method for the top-down design of real-time systems},
booktitle = {Fourth Euromicro workshop on Real-Time Systems, {RTS} 1992, Athens,
Greece, June 3-5, 1992, Proceedings},
pages = {86--91},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/EMWRT.1992.637476},
doi = {10.1109/EMWRT.1992.637476},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/Hooman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CoenenH92,
author = {J. Coenen and
Jozef Hooman},
editor = {Jan Vytopil},
title = {A Compositional Semantics for Fault-Tolerant Real-Time Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {33--51},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_3},
doi = {10.1007/3-540-55092-5\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/CoenenH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerH92,
author = {Frank S. de Boer and
Jozef Hooman},
editor = {Jan Vytopil},
title = {The Real-Time Behaviour of Asynchronously Communicating Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {451--472},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_25},
doi = {10.1007/3-540-55092-5\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Hooman92,
author = {Jozef Hooman},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {A Compositional Approach to the Design of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {121--148},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_27},
doi = {10.1007/3-540-57318-6\_27},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Hooman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ZhouH92,
author = {Ping Zhou and
Jozef Hooman},
title = {A proof theory for asynchronously communicating real-time systems},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242665},
doi = {10.1109/REAL.1992.242665},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ZhouH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Hooman91,
author = {Jozef Hooman},
title = {Specification and Compositional Verification of Real-Time Systems},
series = {Lecture Notes in Computer Science},
volume = {558},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54947-1},
doi = {10.1007/3-540-54947-1},
isbn = {3-540-54947-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Hooman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/HoomanKZ91,
author = {Jozef Hooman and
Ruurd Kuiper and
Ping Zhou},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A compositional proof system for real-time systems based on explicit
clock temporal logic},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952803},
doi = {10.5555/952786.952803},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/HoomanKZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Hooman91,
author = {Jozef Hooman},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {A Denotional Real-Time Semantics for Shared Processes},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {184--201},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_65},
doi = {10.1007/3-540-54152-7\_65},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Hooman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Hooman91,
author = {Jozef Hooman},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Compositional Verification of Real-Time Systems using Extended Hoare
Triples},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {252--290},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031996},
doi = {10.1007/BFB0031996},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Hooman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/CoenenH90,
author = {J. Coenen and
Jozef Hooman},
title = {A formal approach to fault-tolerance in distributed real-time systems},
booktitle = {Proceedings of the 4th {ACM} {SIGOPS} European Workshop, Bologna,
Italy, September 3-5, 1990},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/504136.504176},
doi = {10.1145/504136.504176},
timestamp = {Tue, 12 Nov 2019 11:03:53 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/CoenenH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ShyamasundarHG89,
author = {Rudrapatna K. Shyamasundar and
Jozef Hooman and
Rob Gerth},
editor = {Sol J. Greenspan},
title = {Reasoning of real-time distributed programming languages},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {91--99},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75214},
doi = {10.1145/75199.75214},
timestamp = {Fri, 18 Feb 2022 16:26:12 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/ShyamasundarHG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/HoomanW89,
author = {Jozef Hooman and
Jennifer Widom},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {A Temporal-Logic Based Compositional Proof System for Real-Time Message
Passing},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {366},
pages = {424--441},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51285-3\_56},
doi = {10.1007/3-540-51285-3\_56},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/HoomanW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/RoeverH89,
author = {Willem P. de Roever and
Jozef Hooman},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Design and verification in real-time distributed computing: an introduction
to compositional methods},
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 = {37--56},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/RoeverH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Hooman87,
author = {Jozef Hooman},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {A Compositional Proof Theory for Real-Time Distributed Message Passing},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {315--332},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_18},
doi = {10.1007/3-540-17945-3\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Hooman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/trends86/HoomanR86,
author = {Jozef Hooman and
Willem P. de Roever},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The Quest Goes on: {A} Survey of Proofsystems for Partial Correctness
of {CSP}},
booktitle = {Current Trends in Concurrency, Overviews and Tutorials},
series = {Lecture Notes in Computer Science},
volume = {224},
pages = {343--395},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0027044},
doi = {10.1007/BFB0027044},
timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
biburl = {https://dblp.org/rec/books/sp/trends86/HoomanR86.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-04-25 05:47 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:
