Jozef Hooman

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 89 citations · Full text

Computing, Computer Science, Formal Methods +16

A compositional axiomatization of Statecharts

Jozef Hooman, S. Ramesh, Willem P. de Roever · Theoretical Computer Science · 1992 · 50 citations

Computing, Computer Science, Computer Systems +10

Extending hoare logic to real-time

Jozef Hooman · Formal Aspects of Computing · 1994 · 43 citations

Computing, Computer Engineering, Computer Science +10

Supporting UML-based development of embedded systems by formal techniques

Jozef Hooman, Hillel Kugler, Iulian Ober et al. · Software & Systems Modeling · 2007 · 28 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Compositional verification of a distributed real-time arbitration protocol

Jozef Hooman · Real-Time Systems · 1994 · 27 citations

Computing, Computer Science, Computer Systems +13