Jozef Hooman

According to our database, Jozef Hooman authored at least 108 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Model based component development and analysis with ComMA.

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik

Sci. Comput. Program., 2024

2023

Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning.

Mathijs Schuts, Jozef Hooman

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

2022

Runtime Verification of Compound Components with ComMA.

Ivan Kurtev, Jozef Hooman

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Reverse engineering models of software interfaces.

Debjyoti Bera, Mathijs Schuts, Jozef Hooman, Ivan Kurtev

Comput. Sci. Inf. Syst., 2021

Industrial experiences with the evolution of a DSL.

Mathijs Schuts, Marco Alonso, Jozef Hooman

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

2019

Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling.

Thomas Nägele, Tim Broenink, Jozef Hooman, Jan F. Broenink

Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

2018

Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages.

Benny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements.

Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

CoHLA: Design space exploration and co-simulation made easy.

Thomas Nägele, Jozef Hooman, Tim Broenink, Jan F. Broenink

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA.

Thomas Nägele, Jozef Hooman

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach.

Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Dirk-Jan Swagerman

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Building Distributed Co-Simulations Using CoHLA.

Thomas Nägele, Jozef Hooman, Jack Sleuters

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Industrial Experience with the Migration of Legacy Models using a DSL.

Mathijs Schuts, Jozef Hooman, Paul Tielemans

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017

Integrating Interface Modeling and Analysis in an Industrial Setting.

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Rapid Construction of Co-Simulations of Cyber-Physical Systems in HLA Using a DSL.

Thomas Nägele, Jozef Hooman

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Co-simulation of cyber-physical systems using HLA.

Thomas Nägele, Jozef Hooman

Proceedings of the IEEE 7th Annual Computing and Communication Workshop and Conference, 2017

Runtime Monitoring Based on Interface Specifications.

Ivan Kurtev, Jozef Hooman, Mathijs Schuts

Proceedings of the ModelEd, TestEd, TrustEd, 2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems.

Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Evaluating the effect of a lightweight formal technique in industry.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever

Int. J. Softw. Tools Technol. Transf., 2016

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Improving maintenance by creating a DSL for configuring a fieldbus.

Mathijs Schuts, Jozef Hooman

Proceedings of the International Workshop on Domain-Specific Modeling, 2016

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report.

Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Industrial Application of Domain Specific Languages Combined with Formal Techniques.

Mathijs Schuts, Jozef Hooman

Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

Industrial Application of Formal Models Generated from Domain Specific Languages.

Jozef Hooman

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

CoRR, 2015

Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques.

Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Uniting Academic Achievements on Performance Analysis with Industrial Needs.

Bart D. Theelen, Jozef Hooman

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models.

Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep

Proceedings of the Theory and Practice of Model Transformations, 2015

Formalizing the Concept Phase of Product Development.

Mathijs Schuts, Jozef Hooman

Proceedings of the FM 2015: Formal Methods, 2015

Using Domain Specific Languages to improve the development of a power control unit.

Mathijs Schuts, Jozef Hooman

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.

Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Experiences with incorporating formal techniques into industrial practice.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman

Empir. Softw. Eng., 2014

2013

Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment.

Arjan J. Mooij, Jozef Hooman, Rob Albers

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Gaining Industrial Confidence for the Introduction of Domain-Specific Languages.

Arjan J. Mooij, Jozef Hooman, Rob Albers

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Incorporating Formal Techniques into Industrial Practice: an Experience Report.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Early Fault Detection in Industry Using Models at Various Abstraction Levels.

Jozef Hooman, Arjan J. Mooij, Hans van Wezep

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Experiences with a Compositional Model Checker in the Healthcare Domain.

Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Proving consistency of VDM models using HOL.

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Connecting Technical and Non-technical Views of System Architectures.

Li Li, Jozef Hooman, Jeroen Voeten

Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Formal Semantics of a VDM Extension for Distributed Embedded Systems.

Jozef Hooman, Marcel Verhoef

Proceedings of the Concurrency, 2010

2008

Supporting UML-based development of embedded systems by formal techniques.

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein

Softw. Syst. Model., 2008

Dependability for high-tech systems: an industry-as-laboratory approach.

Ed Brinksma, Jozef Hooman

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol.

Mohamed Layouni, Jozef Hooman, Sofiène Tahar

Int. J. Netw. Secur., 2007

Model-Based Run-Time Error Detection.

Jozef Hooman, Teun Hendriks

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Co-simulation of Distributed Embedded Real-Time Control Systems.

Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

A semantics of communicating reactive objects with timing.

Jozef Hooman, Mark van der Zwaag

Int. J. Softw. Tools Technol. Transf., 2006

Compositional Verification of Timed Components using PVS.

Marcel Kyas, Jozef Hooman

Proceedings of the Software Engineering 2006, 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

Proceedings of the FM 2006: Formal Methods, 2006

2005

Semantic models of a timed distributed dataspace architecture.

Jozef Hooman, Jaco van de Pol

Theor. Comput. Sci., 2005

2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Deductive Verification of UML Models in TLPVS.

Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag

Proceedings of the «UML» 2004, 2004

Correct Development of Embedded Systems.

Susanne Graf, Jozef Hooman

Proceedings of the Software Architecture, First European Workshop, 2004

Environmental Modeling with UML.

Adriaan de Groot, Jozef Hooman

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

Verification and Improvement of the Sliding Window Protocol.

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

On the Correctness of an Intrusion-Tolerant Group Communication Protocol.

Mohamed Layouni, Jozef Hooman, Sofiène Tahar

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Formal verification of replication on a distributed data space architecture.

Jozef Hooman, Jaco van de Pol

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Equivalent Semantic Models for a Distributed Dataspace Architecture.

Jozef Hooman, Jaco van de Pol

Proceedings of the Formal Methods for Components and Objects, 2002

2001

A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Formal Platform-Independent Design of Real-Time Systems.

A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Formal Design of Real-Time Components on a Shared Data Space Architecture.

Ulrich Hannemann, Jozef Hooman

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

An Approach to Platform Independent Real-Time Programming: (2) Practical Application.

Jozef Hooman, Onno S. van Roosmalen

Real Time Syst., 2000

An Approach to Platform Independent Real-Time Programming: (1) Formal Description.

Jozef Hooman, Onno S. van Roosmalen

Real Time Syst., 2000

Analyzing the Light Control System with PVS.

Adriaan de Groot, Jozef Hooman

J. Univers. Comput. Sci., 2000

Semantical Aspects of an Architecture for Distributed Embedded Systems.

Roel Bloo, Jozef Hooman, Edwin D. de Jong

Proceedings of the Applied Computing 2000, 2000

Formal Modeling and Analysis of Atomic Commitment Protocols.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

Mechanical Verification of Transaction Processing Systems.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.

Dmitri Chkliaev, Peter van der Stok, Jozef Hooman

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Refinement in Requirements Specification and Analysis: A Case Study.

Edwin D. de Jong, Jaco van de Pol, Jozef Hooman

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

Process Algebra in PVS.

Twan Basten, Jozef Hooman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Modular Formal Specification of Data and Behaviour.

Jaco van de Pol, Jozef Hooman, Edwin D. de Jong

Proceedings of the Integrated Formal Methods, 1999

Serializability Preserving Extensions of Concurrency Control Protocols.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the Perspectives of System Informatics, 1999

1998

Formal Design of Real-Time Systems in a Platform-Independent Way.

Jozef Hooman, Onno S. van Roosmalen

Parallel Distributed Comput. Pract., 1998

1997

Timed-event abstraction and timing constraints in distributed real-time programming.

Jozef Hooman, Onno S. van Roosmalen

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Compositional Verification of Real-Time Applications.

Jozef Hooman

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Verification of Distributed Real-Time and Fault-Tolerant Protocols.

Jozef Hooman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Integrating methods for the design of real-time systems.

Jozef Hooman, Jüri Vain

J. Syst. Archit., 1996

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.

Ping Zhou, Jozef Hooman, Ruurd Kuiper

Formal Aspects Comput., 1996

1995

Metric Temporal Logic with Durations.

Yassine Lakhnech, Jozef Hooman

Theor. Comput. Sci., 1995

Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.

Ping Zhou, Jozef Hooman

Real Time Syst., 1995

Verifying Part of the ACCESS.bus Protocol Using PVS.

Jozef Hooman

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

An integrated technique for developing real-time systems.

Jozef Hooman, Jüri Vain

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Assertional Specification and Verification Using PVS of the Steam Boiler Control System.

Jan Vitt, Jozef Hooman

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.

Henk Schepers, Jozef Hooman

Theor. Comput. Sci., 1994

Compositional Verification of a Distributed Real-Time Arbitration Protocol.

Jozef Hooman

Real Time Syst., 1994

Extending Hoare Logic to Real-Time.

Jozef Hooman

Formal Aspects Comput., 1994

Reasoning about Durations in Metric Temporal Logic.

Yassine Lakhnech, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Correctness of Real Time Systems by Construction.

Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.

Jozef Hooman

Proceedings of the Formal Systems Specification, 1994

1993

Specification and verification of a distributed real-time arbitration protocol.

Jozef Hooman

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Trace-Based Compositional Reasoning about Fault Tolerant Systems.

Henk Schepers, Jozef Hooman

Proceedings of the PARLE '93, 1993

1992

A Compositional Axiomatization of Statecharts.

Jozef Hooman, S. Ramesh, Willem P. de Roever

Theor. Comput. Sci., 1992

A proof theory for asynchronously communicating real-time systems.

Ping Zhou, Jozef Hooman

Proceedings of the Real-Time Systems Symposium, 1992

A Compositional Approach to the Design of Hybrid Systems.

Jozef Hooman

Proceedings of the Hybrid Systems, 1992

A Compositional Semantics for Fault-Tolerant Real-Time Systems.

J. Coenen, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The Real-Time Behaviour of Asynchronously Communicating Processes.

Frank S. de Boer, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

A compositional method for the top-down design of real-time systems.

Jozef Hooman

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

Compositional Verification of Real-Time Systems using Extended Hoare Triples.

Jozef Hooman

Proceedings of the Real-Time: Theory in Practice, 1991

A Denotional Real-Time Semantics for Shared Processes.

Jozef Hooman

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

A compositional proof system for real-time systems based on explicit clock temporal logic.

Jozef Hooman, Ruurd Kuiper, Ping Zhou

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman

Lecture Notes in Computer Science 558, Springer, ISBN: 3-540-54947-1, 1991

1990

A formal approach to fault-tolerance in distributed real-time systems.

J. Coenen, Jozef Hooman

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1989

Design and verification in real-time distributed computing: an introduction to compositional methods.

Willem P. de Roever, Jozef Hooman

Proceedings of the Protocol Specification, 1989

A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.

Jozef Hooman, Jennifer Widom

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Reasoning of real-time distributed programming languages.

Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987

A Compositional Proof Theory for Real-Time Distributed Message Passing.

Jozef Hooman

Proceedings of the PARLE, 1987

1986

The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP.

Jozef Hooman, Willem P. de Roever

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986