default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJozef Hooman
Person information
- affiliation: Radboud University Nijmegen, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j20]Ivan Kurtev
, Jozef Hooman, Mathijs Schuts, Daan van der Munnik:
Model based component development and analysis with ComMA. Sci. Comput. Program. 233: 103067 (2024)- 2023
- [c83]Mathijs Schuts, Jozef Hooman:
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Onward! 2023: 15-31 - 2022
- [c82]Ivan Kurtev, Jozef Hooman:
Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 382-402 - 2021
- [j19]Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev:
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18(3): 657-686 (2021) - [c81]Mathijs Schuts, Marco Alonso, Jozef Hooman:
Industrial experiences with the evolution of a DSL. DSM@SPLASH 2021: 21-30
2010 – 2019
- 2019
- [c80]Thomas Nägele, Tim Broenink, Jozef Hooman, Jan F. Broenink:
Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling. ICPS 2019: 133-138 - 2018
- [c79]Mathijs Schuts, Jozef Hooman, Paul Tielemans:
Industrial Experience with the Migration of Legacy Models using a DSL. RWDSL@CGO 2018: 1:1-1:10 - [c78]Thomas Nägele, Jozef Hooman, Jack Sleuters:
Building Distributed Co-Simulations Using CoHLA. DSD 2018: 342-346 - [c77]Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman:
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS 2018: 867-876 - [c76]Thomas Nägele, Jozef Hooman:
Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA. ICPADS 2018: 1075-1080 - [c75]Thomas Nägele, Jozef Hooman, Tim Broenink, Jan F. Broenink:
CoHLA: Design space exploration and co-simulation made easy. ICPS 2018: 225-231 - [c74]Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort:
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. MMB 2018: 295-301 - [c73]Benny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar:
Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages. MODELSWARD 2018: 752-764 - 2017
- [c72]Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd 2017: 214-236 - [c71]Ivan Kurtev, Jozef Hooman, Mathijs Schuts:
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd 2017: 335-356 - [c70]Thomas Nägele, Jozef Hooman:
Co-simulation of cyber-physical systems using HLA. CCWC 2017: 1-6 - [c69]Thomas Nägele, Jozef Hooman:
Rapid Construction of Co-Simulations of Cyber-Physical Systems in HLA Using a DSL. SEAA 2017: 247-251 - [c68]Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman:
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD 2017: 345-352 - 2016
- [j18]Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever:
Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. 18(1): 93-108 (2016) - [c67]Jozef Hooman:
Industrial Application of Formal Models Generated from Domain Specific Languages. Theory and Practice of Formal Methods 2016: 277-293 - [c66]Mathijs Schuts, Jozef Hooman:
Industrial Application of Domain Specific Languages Combined with Formal Techniques. RWDSL@CGO 2016: 2:1-2:8 - [c65]Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager:
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM 2016: 311-325 - [c64]Mathijs Schuts, Jozef Hooman:
Improving maintenance by creating a DSL for configuring a fieldbus. DSM@SPLASH 2016: 28-34 - [c63]Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. FESCA@ETAPS 2016: 16-30 - 2015
- [c62]Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke:
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW 2015: 208-224 - [c61]Mathijs Schuts, Jozef Hooman:
Using Domain Specific Languages to improve the development of a power control unit. FedCSIS 2015: 781-788 - [c60]Mathijs Schuts, Jozef Hooman:
Formalizing the Concept Phase of Product Development. FM 2015: 605-608 - [c59]Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep:
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. ICMT 2015: 66-81 - [c58]Bart D. Theelen, Jozef Hooman:
Uniting Academic Achievements on Performance Analysis with Industrial Needs. QEST 2015: 3-18 - [c57]Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS 2015: 158-163 - [i1]Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. CoRR abs/1511.08049 (2015) - 2014
- [j17]Ammar Osaiweran, Mathijs Schuts, Jozef Hooman:
Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19(4): 1169-1194 (2014) - 2013
- [c56]Arjan J. Mooij, Jozef Hooman, Rob Albers:
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. COMPSAC Workshops 2013: 662-667 - [c55]Arjan J. Mooij, Jozef Hooman, Rob Albers:
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. FHIES 2013: 170-187 - 2012
- [c54]Jozef Hooman, Arjan J. Mooij, Hans van Wezep:
Early Fault Detection in Industry Using Models at Various Abstraction Levels. IFM 2012: 268-282 - [c53]Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius:
Incorporating Formal Techniques into Industrial Practice: an Experience Report. FESCA 2012: 49-63 - 2011
- [c52]Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts:
Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES 2011: 93-110 - 2010
- [c51]Jozef Hooman, Marcel Verhoef:
Formal Semantics of a VDM Extension for Distributed Embedded Systems. Concurrency, Compositionality, and Correctness 2010: 142-161 - [c50]Li Li, Jozef Hooman, Jeroen Voeten:
Connecting Technical and Non-technical Views of System Architectures. GreenCom/CPSCom 2010: 592-599 - [c49]Sander Vermolen, Jozef Hooman, Peter Gorm Larsen:
Proving consistency of VDM models using HOL. SAC 2010: 2503-2510
2000 – 2009
- 2008
- [j16]Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques. Softw. Syst. Model. 7(2): 131-155 (2008) - [c48]Ed Brinksma, Jozef Hooman:
Dependability for high-tech systems: an industry-as-laboratory approach. DATE 2008: 1226-1231 - 2007
- [j15]Mohamed Layouni, Jozef Hooman, Sofiène Tahar:
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. Int. J. Netw. Secur. 5(3): 288-298 (2007) - [c47]Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems. IFM 2007: 639-658 - [c46]Jozef Hooman, Teun Hendriks:
Model-Based Run-Time Error Detection. MoDELS (Workshops) 2007: 225-236 - 2006
- [j14]Jozef Hooman, Mark van der Zwaag:
A semantics of communicating reactive objects with timing. Int. J. Softw. Tools Technol. Transf. 8(2): 97-112 (2006) - [c45]Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162 - [c44]Marcel Kyas, Jozef Hooman:
Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154 - 2005
- [j13]Jozef Hooman, Jaco van de Pol:
Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331(2-3): 291-323 (2005) - 2004
- [c43]Susanne Graf, Jozef Hooman:
Correct Development of Embedded Systems. EWSA 2004: 241-249 - [c42]Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS. UML 2004: 335-349 - [c41]Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS. SFEDL@ETAPS 2004: 39-47 - [p2]Adriaan de Groot, Jozef Hooman:
Environmental Modeling with UML. Formal Methods for Embedded Distributed Systems 2004: 89-129 - 2003
- [c40]Mohamed Layouni, Jozef Hooman, Sofiène Tahar:
On the Correctness of an Intrusion-Tolerant Group Communication Protocol. CHARME 2003: 231-246 - [c39]Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127 - 2002
- [c38]Jozef Hooman, Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201 - [c37]Jozef Hooman, Jaco van de Pol:
Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358 - 2001
- [b2]Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, ISBN 0-521-80608-9 - [c36]Ulrich Hannemann, Jozef Hooman:
Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC 2001: 143-150 - [c35]A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman:
Formal Platform-Independent Design of Real-Time Systems. ECRTS 2001: 163-170 - [c34]Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64 - 2000
- [j12]Adriaan de Groot, Jozef Hooman:
Analyzing the Light Control System with PVS. J. Univers. Comput. Sci. 6(7): 621-649 (2000) - [j11]Jozef Hooman, Onno S. van Roosmalen:
An Approach to Platform Independent Real-Time Programming: (1) Formal Description. Real Time Syst. 19(1): 61-85 (2000) - [j10]Jozef Hooman, Onno S. van Roosmalen:
An Approach to Platform Independent Real-Time Programming: (2) Practical Application. Real Time Syst. 19(1): 87-112 (2000) - [c33]Edwin D. de Jong, Jaco van de Pol, Jozef Hooman:
Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298 - [c32]Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5 - [c31]Dmitri Chkliaev, Peter van der Stok, Jozef Hooman:
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103 - [c30]Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Mechanical Verification of Transaction Processing Systems. ICFEM 2000: 89-100 - [c29]Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS 2000: 151-158 - [c28]Roel Bloo, Jozef Hooman, Edwin D. de Jong:
Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) 2000: 149-155
1990 – 1999
- 1999
- [c27]Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193 - [c26]Jaco van de Pol, Jozef Hooman, Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour. IFM 1999: 109-128 - [c25]Twan Basten, Jozef Hooman:
Process Algebra in PVS. TACAS 1999: 270-284 - 1998
- [j9]Jozef Hooman, Onno S. van Roosmalen:
Formal Design of Real-Time Systems in a Platform-Independent Way. Parallel Distributed Comput. Pract. 1(2) (1998) - 1997
- [c24]Jozef Hooman:
Verification of Distributed Real-Time and Fault-Tolerant Protocols. AMAST 1997: 261-275 - [c23]Jozef Hooman:
Compositional Verification of Real-Time Applications. COMPOS 1997: 276-300 - [c22]Jozef Hooman, Onno S. van Roosmalen:
Timed-event abstraction and timing constraints in distributed real-time programming. WORDS 1997: 153-160 - 1996
- [j8]Ping Zhou, Jozef Hooman, Ruurd Kuiper:
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Aspects Comput. 8(3): 294-323 (1996) - [j7]Jozef Hooman, Jüri Vain:
Integrating methods for the design of real-time systems. J. Syst. Archit. 42(6-7): 489-502 (1996) - 1995
- [j6]Ping Zhou, Jozef Hooman:
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. Real Time Syst. 9(2): 119-145 (1995) - [j5]Yassine Lakhnech, Jozef Hooman:
Metric Temporal Logic with Durations. Theor. Comput. Sci. 138(1): 169-199 (1995) - [c21]Jan Vitt, Jozef Hooman:
Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications 1995: 453-472 - [c20]Jozef Hooman, Jüri Vain:
An integrated technique for developing real-time systems. RTS 1995: 236-243 - [c19]Jozef Hooman:
Verifying Part of the ACCESS.bus Protocol Using PVS. FSTTCS 1995: 96-110 - 1994
- [j4]Jozef Hooman:
Extending Hoare Logic to Real-Time. Formal Aspects Comput. 6(6A): 801-826 (1994) - [j3]Jozef Hooman:
Compositional Verification of a Distributed Real-Time Arbitration Protocol. Real Time Syst. 6(2): 173-205 (1994) - [j2]Henk Schepers, Jozef Hooman:
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theor. Comput. Sci. 128(1&2): 127-157 (1994) - [c18]Jozef Hooman:
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. Formal Systems Specification 1994: 275-304 - [c17]Jozef Hooman:
Correctness of Real Time Systems by Construction. FTRTFT 1994: 19-40 - [c16]Yassine Lakhnech, Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510 - 1993
- [c15]Henk Schepers, Jozef Hooman:
Trace-Based Compositional Reasoning about Fault Tolerant Systems. PARLE 1993: 197-208 - [c14]Jozef Hooman:
Specification and verification of a distributed real-time arbitration protocol. RTSS 1993: 284-293 - 1992
- [j1]Jozef Hooman, S. Ramesh, Willem P. de Roever:
A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101(2): 289-335 (1992) - [c13]Jozef Hooman:
A compositional method for the top-down design of real-time systems. RTS 1992: 86-91 - [c12]J. Coenen, Jozef Hooman:
A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51 - [c11]Frank S. de Boer, Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472 - [c10]Jozef Hooman:
A Compositional Approach to the Design of Hybrid Systems. Hybrid Systems 1992: 121-148 - [c9]Ping Zhou, Jozef Hooman:
A proof theory for asynchronously communicating real-time systems. RTSS 1992: 177-186 - 1991
- [b1]Jozef Hooman:
Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science 558, Springer 1991, ISBN 3-540-54947-1 - [c8]Jozef Hooman, Ruurd Kuiper, Ping Zhou:
A compositional proof system for real-time systems based on explicit clock temporal logic. IWSSD 1991: 110-117 - [c7]Jozef Hooman:
A Denotional Real-Time Semantics for Shared Processes. PARLE (2) 1991: 184-201 - [c6]Jozef Hooman:
Compositional Verification of Real-Time Systems using Extended Hoare Triples. REX Workshop 1991: 252-290 - 1990
- [c5]J. Coenen, Jozef Hooman:
A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1989
- [c4]Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth:
Reasoning of real-time distributed programming languages. IWSSD 1989: 91-99 - [c3]Jozef Hooman, Jennifer Widom:
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. PARLE (2) 1989: 424-441 - [c2]Willem P. de Roever, Jozef Hooman:
Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56 - 1987
- [c1]Jozef Hooman:
A Compositional Proof Theory for Real-Time Distributed Message Passing. PARLE (2) 1987: 315-332 - 1986
- [p1]Jozef Hooman, Willem P. de Roever:
The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. Current Trends in Concurrency 1986: 343-395
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 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:
