Jozef Hooman

Affiliations:
  • Radboud University Nijmegen, Netherlands


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Model based component development and analysis with ComMA.
Sci. Comput. Program., 2024

2023
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning.
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

2022
Runtime Verification of Compound Components with ComMA.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Reverse engineering models of software interfaces.
Comput. Sci. Inf. Syst., 2021

Industrial experiences with the evolution of a DSL.
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.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

2018
Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages.
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.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

CoHLA: Design space exploration and co-simulation made easy.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach.
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Building Distributed Co-Simulations Using CoHLA.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Industrial Experience with the Migration of Legacy Models using a DSL.
Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017
Integrating Interface Modeling and Analysis in an Industrial Setting.
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.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Co-simulation of cyber-physical systems using HLA.
Proceedings of the IEEE 7th Annual Computing and Communication Workshop and Conference, 2017

Runtime Monitoring Based on Interface Specifications.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Evaluating the effect of a lightweight formal technique in industry.
Int. J. Softw. Tools Technol. Transf., 2016

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.
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.
Proceedings of the International Workshop on Domain-Specific Modeling, 2016

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Industrial Application of Domain Specific Languages Combined with Formal Techniques.
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

Industrial Application of Formal Models Generated from Domain Specific Languages.
Proceedings of the Theory and Practice of Formal Methods, 2016

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

Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques.
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.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models.
Proceedings of the Theory and Practice of Model Transformations, 2015

Formalizing the Concept Phase of Product Development.
Proceedings of the FM 2015: Formal Methods, 2015

Using Domain Specific Languages to improve the development of a power control unit.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Experiences with incorporating formal techniques into industrial practice.
Empir. Softw. Eng., 2014

2013
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Gaining Industrial Confidence for the Introduction of Domain-Specific Languages.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
Incorporating Formal Techniques into Industrial Practice: an Experience Report.
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.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
Experiences with a Compositional Model Checker in the Healthcare Domain.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010
Proving consistency of VDM models using HOL.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Connecting Technical and Non-technical Views of System Architectures.
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.
Proceedings of the Concurrency, 2010

2008
Supporting UML-based development of embedded systems by formal techniques.
Softw. Syst. Model., 2008

Dependability for high-tech systems: an industry-as-laboratory approach.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol.
Int. J. Netw. Secur., 2007

Model-Based Run-Time Error Detection.
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.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
A semantics of communicating reactive objects with timing.
Int. J. Softw. Tools Technol. Transf., 2006

Compositional Verification of Timed Components using PVS.
Proceedings of the Software Engineering 2006, 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Semantic models of a timed distributed dataspace architecture.
Theor. Comput. Sci., 2005

2004
Formalizing UML Models and OCL Constraints in PVS.
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Deductive Verification of UML Models in TLPVS.
Proceedings of the «UML» 2004, 2004

Correct Development of Embedded Systems.
Proceedings of the Software Architecture, First European Workshop, 2004

Environmental Modeling with UML.
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003
Verification and Improvement of the Sliding Window Protocol.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

On the Correctness of an Intrusion-Tolerant Group Communication Protocol.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Formal verification of replication on a distributed data space architecture.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Equivalent Semantic Models for a Distributed Dataspace Architecture.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
A Survey: Applying Formal Methods to a Software Intensive System.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Formal Platform-Independent Design of Real-Time Systems.
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.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods
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.
Real Time Syst., 2000

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

Analyzing the Light Control System with PVS.
J. Univers. Comput. Sci., 2000

Semantical Aspects of an Architecture for Distributed Embedded Systems.
Proceedings of the Applied Computing 2000, 2000

Formal Modeling and Analysis of Atomic Commitment Protocols.
Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

Mechanical Verification of Transaction Processing Systems.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.
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.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Refinement in Requirements Specification and Analysis: A Case Study.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
Process Algebra in PVS.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Modular Formal Specification of Data and Behaviour.
Proceedings of the Integrated Formal Methods, 1999

Serializability Preserving Extensions of Concurrency Control Protocols.
Proceedings of the Perspectives of System Informatics, 1999

1998
Formal Design of Real-Time Systems in a Platform-Independent Way.
Parallel Distributed Comput. Pract., 1998

1997
Timed-event abstraction and timing constraints in distributed real-time programming.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Compositional Verification of Real-Time Applications.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Verification of Distributed Real-Time and Fault-Tolerant Protocols.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Integrating methods for the design of real-time systems.
J. Syst. Archit., 1996

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.
Formal Aspects Comput., 1996

1995
Metric Temporal Logic with Durations.
Theor. Comput. Sci., 1995

Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.
Real Time Syst., 1995

Verifying Part of the ACCESS.bus Protocol Using PVS.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

An integrated technique for developing real-time systems.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Assertional Specification and Verification Using PVS of the Steam Boiler Control System.
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.
Theor. Comput. Sci., 1994

Compositional Verification of a Distributed Real-Time Arbitration Protocol.
Real Time Syst., 1994

Extending Hoare Logic to Real-Time.
Formal Aspects Comput., 1994

Reasoning about Durations in Metric Temporal Logic.
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.
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.
Proceedings of the Formal Systems Specification, 1994

1993
Specification and verification of a distributed real-time arbitration protocol.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Trace-Based Compositional Reasoning about Fault Tolerant Systems.
Proceedings of the PARLE '93, 1993

1992
A Compositional Axiomatization of Statecharts.
Theor. Comput. Sci., 1992

A proof theory for asynchronously communicating real-time systems.
Proceedings of the Real-Time Systems Symposium, 1992

A Compositional Approach to the Design of Hybrid Systems.
Proceedings of the Hybrid Systems, 1992

A Compositional Semantics for Fault-Tolerant Real-Time Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The Real-Time Behaviour of Asynchronously Communicating Processes.
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.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991
Compositional Verification of Real-Time Systems using Extended Hoare Triples.
Proceedings of the Real-Time: Theory in Practice, 1991

A Denotional Real-Time Semantics for Shared Processes.
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.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Specification and Compositional Verification of Real-Time Systems
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.
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.
Proceedings of the Protocol Specification, 1989

A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Reasoning of real-time distributed programming languages.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987
A Compositional Proof Theory for Real-Time Distributed Message Passing.
Proceedings of the PARLE, 1987

1986
The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986


  Loading...