Jozef Hooman - RankMe

110 papers A 5B 11C 7Misc 2Journal 22Unranked 59

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