Jozef Hooman

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 24

Top Venues

ICPS

DSM@SPLASH

MODELSWARD

FedCSIS

Publications

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
Model based component development and analysis with ComMA. Sci. Comput. Program. 233 (2024)
Mathijs Schuts, Jozef Hooman
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Onward! (2023)
Ivan Kurtev, Jozef Hooman
Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev
Reverse engineering models of software interfaces. Comput. Sci. Inf. Syst. 18 (3) (2021)
Mathijs Schuts, Marco Alonso, Jozef Hooman
Industrial experiences with the evolution of a DSL. DSM@SPLASH (2021)
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)
Thomas Nägele, Jozef Hooman, Jack Sleuters
Building Distributed Co-Simulations Using CoHLA. DSD (2018)
Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. MMB (2018)
Thomas Nägele, Jozef Hooman, Tim Broenink, Jan F. Broenink
CoHLA: Design space exploration and co-simulation made easy. ICPS (2018)
Thomas Nägele, Jozef Hooman
Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA. ICPADS (2018)
Benny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar
Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages. MODELSWARD (2018)
Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. FedCSIS (2018)
Mathijs Schuts, Jozef Hooman, Paul Tielemans
Industrial Experience with the Migration of Legacy Models using a DSL. RWDSL@CGO (2018)
Thomas Nägele, Jozef Hooman
Rapid Construction of Co-Simulations of Cyber-Physical Systems in HLA Using a DSL. SEAA (2017)
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd (2017)
Thomas Nägele, Jozef Hooman
Co-simulation of cyber-physical systems using HLA. CCWC (2017)
Ivan Kurtev, Jozef Hooman, Mathijs Schuts
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd (2017)
Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
Integrating Interface Modeling and Analysis in an Industrial Setting. MODELSWARD (2017)
Jozef Hooman
Industrial Application of Formal Models Generated from Domain Specific Languages. Theory and Practice of Formal Methods (2016)
Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. IFM (2016)
Mathijs Schuts, Jozef Hooman
Industrial Application of Domain Specific Languages Combined with Formal Techniques. RWDSL@CGO (2016)
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) (2016)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. FESCA@ETAPS (2016)
Mathijs Schuts, Jozef Hooman
Improving maintenance by creating a DSL for configuring a fieldbus. DSM@SPLASH (2016)
Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. ICMT (2015)
Mathijs Schuts, Jozef Hooman
Using Domain Specific Languages to improve the development of a power control unit. FedCSIS (2015)
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS (2015)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. CoRR (2015)
Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW (2015)
Bart D. Theelen, Jozef Hooman
Uniting Academic Achievements on Performance Analysis with Industrial Needs. QEST (2015)
Mathijs Schuts, Jozef Hooman
Formalizing the Concept Phase of Product Development. FM (2015)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman
Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19 (4) (2014)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius
Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electron. Notes Theor. Comput. Sci. 295 (2013)
Arjan J. Mooij, Jozef Hooman, Rob Albers
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. COMPSAC Workshops (2013)
Arjan J. Mooij, Jozef Hooman, Rob Albers
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. FHIES (2013)
Jozef Hooman, Arjan J. Mooij, Hans van Wezep
Early Fault Detection in Industry Using Models at Various Abstraction Levels. IFM (2012)
Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts
Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES (2011)
Li Li, Jozef Hooman, Jeroen Voeten
Connecting Technical and Non-technical Views of System Architectures. GreenCom/CPSCom (2010)
Jozef Hooman, Marcel Verhoef
Formal Semantics of a VDM Extension for Distributed Embedded Systems. Concurrency, Compositionality, and Correctness (2010)
Sander Vermolen, Jozef Hooman, Peter Gorm Larsen
Proving consistency of VDM models using HOL. SAC (2010)
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) (2008)
Ed Brinksma, Jozef Hooman
Dependability for high-tech systems: an industry-as-laboratory approach. DATE (2008)
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink
Co-simulation of Distributed Embedded Real-Time Control Systems. IFM (2007)
Jozef Hooman, Teun Hendriks
Model-Based Run-Time Error Detection. MoDELS (Workshops) (2007)
Mohamed Layouni, Jozef Hooman, Sofiène Tahar
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. Int. J. Netw. Secur. 5 (3) (2007)
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM (2006)
Marcel Kyas, Jozef Hooman
Compositional Verification of Timed Components using PVS. Software Engineering (2006)
Jozef Hooman, Mark van der Zwaag
A semantics of communicating reactive objects with timing. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
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. Electron. Notes Theor. Comput. Sci. 115 (2005)
Jozef Hooman, Jaco van de Pol
Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331 (2-3) (2005)
Susanne Graf, Jozef Hooman
Correct Development of Embedded Systems. EWSA (2004)
Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. UML (2004)
Mohamed Layouni, Jozef Hooman, Sofiène Tahar
On the Correctness of an Intrusion-Tolerant Group Communication Protocol. CHARME (2003)
Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink
Verification and Improvement of the Sliding Window Protocol. TACAS (2003)
Jozef Hooman, Jaco van de Pol
Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO (2002)
Jozef Hooman, Jaco van de Pol
Formal verification of replication on a distributed data space architecture. SAC (2002)
A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman
Formal Platform-Independent Design of Real-Time Systems. ECRTS (2001)
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)
Ulrich Hannemann, Jozef Hooman
Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC (2001)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS (2000)
Jozef Hooman, Onno S. van Roosmalen
An Approach to Platform Independent Real-Time Programming: (2) Practical Application. Real Time Syst. 19 (1) (2000)
Roel Bloo, Jozef Hooman, Edwin D. de Jong
Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) (2000)
Adriaan de Groot, Jozef Hooman
Analyzing the Light Control System with PVS. J. Univers. Comput. Sci. 6 (7) (2000)
Edwin D. de Jong, Jaco van de Pol, Jozef Hooman
Refinement in Requirements Specification and Analysis: A Case Study. ECBS (2000)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Mechanical Verification of Transaction Processing Systems. ICFEM (2000)
Jozef Hooman, Onno S. van Roosmalen
An Approach to Platform Independent Real-Time Programming: (1) Formal Description. Real Time Syst. 19 (1) (2000)
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)
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)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference (1999)
Jaco van de Pol, Jozef Hooman, Edwin D. de Jong
Modular Formal Specification of Data and Behaviour. IFM (1999)
Twan Basten, Jozef Hooman
Process Algebra in PVS. TACAS (1999)
Jozef Hooman, Onno S. van Roosmalen
Formal Design of Real-Time Systems in a Platform-Independent Way. Scalable Comput. Pract. Exp. 1 (2) (1998)
Jozef Hooman
Compositional Verification of Real-Time Applications. COMPOS (1997)
Jozef Hooman, Onno S. van Roosmalen
Timed-event abstraction and timing constraints in distributed real-time programming. WORDS (1997)
Jozef Hooman
Verification of Distributed Real-Time and Fault-Tolerant Protocols. AMAST (1997)
Jozef Hooman, Jüri Vain
Integrating methods for the design of real-time systems. J. Syst. Archit. 42 (6-7) (1996)
Ping Zhou, Jozef Hooman, Ruurd Kuiper
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Aspects Comput. 8 (3) (1996)
Jozef Hooman
Verifying Part of the ACCESS.bus Protocol Using PVS. FSTTCS (1995)
Ping Zhou, Jozef Hooman
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. Real Time Syst. 9 (2) (1995)
Jan Vitt, Jozef Hooman
Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications (1995)
Jozef Hooman, Jüri Vain
An integrated technique for developing real-time systems. RTS (1995)
Yassine Lakhnech, Jozef Hooman
Metric Temporal Logic with Durations. Theor. Comput. Sci. 138 (1) (1995)
Henk Schepers, Jozef Hooman
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theor. Comput. Sci. 128 (1&2) (1994)
Yassine Lakhnech, Jozef Hooman
Reasoning about Durations in Metric Temporal Logic. FTRTFT (1994)
Jozef Hooman
Extending Hoare Logic to Real-Time. Formal Aspects Comput. 6 (6A) (1994)
Jozef Hooman
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Jozef Hooman
Compositional Verification of a Distributed Real-Time Arbitration Protocol. Real Time Syst. 6 (2) (1994)
Jozef Hooman
Correctness of Real Time Systems by Construction. FTRTFT (1994)
Jozef Hooman
Specification and verification of a distributed real-time arbitration protocol. RTSS (1993)
Henk Schepers, Jozef Hooman
Trace-Based Compositional Reasoning about Fault Tolerant Systems. PARLE (1993)
Frank S. de Boer, Jozef Hooman
The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT (1992)
J. Coenen, Jozef Hooman
A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT (1992)
Jozef Hooman
A compositional method for the top-down design of real-time systems. RTS (1992)
Jozef Hooman
A Compositional Approach to the Design of Hybrid Systems. Hybrid Systems (1992)
Jozef Hooman, S. Ramesh, Willem P. de Roever
A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101 (2) (1992)
Ping Zhou, Jozef Hooman
A proof theory for asynchronously communicating real-time systems. RTSS (1992)
Jozef Hooman, Ruurd Kuiper, Ping Zhou
A compositional proof system for real-time systems based on explicit clock temporal logic. IWSSD (1991)
Jozef Hooman
Compositional Verification of Real-Time Systems using Extended Hoare Triples. REX Workshop (1991)
Jozef Hooman
A Denotional Real-Time Semantics for Shared Processes. PARLE (2) (1991)
J. Coenen, Jozef Hooman
A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop (1990)

Jozef Hooman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jozef Hooman