Hooman, Jozef Johannes Maria (1955-)

A programming-language extension for distributed real-time systems / by J. Hooman and O. van Roosmalenschema:ProductModel Correctness of real time systems by construction / by J. Hoomanschema:ProductModel Specification and compositional verification of real-time systems / Jozef Johannes Maria Hoomanschema:ProductModel The quest goes on : a survey of proofsystems for partial correctness of CSP / by Jozef Hooman and Willem-P. de Roeverschema:ProductModel The quest goes on : a survey of proofsystems for partial correctness of CSP / Jozef Hooman, Willem-P. de Roeverschema:ProductModel

A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness / by P. Zhou, J. Hooman, R. Kuiperschema:ProductModel A compositional semantics for fault-tolerant real-time systems / J. Coenen and J. Hoomanschema:ProductModel A trace-based compositional proof theory for fault tolerant distributed systems / H. Schepers and J. Hoomanschema:ProductModel Analyzing the light control system with PVS / A.L. de Groot, J.J.M. Hoomanschema:ProductModel Dependability for high-tech systems: an industry-as-laboratory approach / Ed Brinksma, Jozef Hoomanschema:ProductModel Formal specification and compositional verification of an atomic broadcast protocol / by P. Zhou and J. Hoomanschema:ProductModel Process algebra in PVS / by Twan Basten and Jozef Hoomanschema:ProductModel Requirements specification and analysis of command and control systems / by Jaco van de Pol, Jozef Hooman, Edwin de Jongschema:ProductModel Semantical aspects of an architecture for distributed embedded systems / by R. Bloo, J. Hooman and E. de Jongschema:ProductModel Top-down design of a command-and-control system with timing assumptions / U. Hannemann, J.J.M. Hoomanschema:ProductModel