Travelled to:1 × Canada
1 × Germany
1 × Norway
1 × Poland
1 × Portugal
1 × Spain
1 × Switzerland
1 × The Netherlands
2 × Italy
2 × United Kingdom
Collaborated with:J.v.d.Pol P.G.Larsen E.D.d.Jong A.J.Mooij H.v.Wezep M.Verhoef M.Schuts E.Brinksma T.Basten S.Vermolen D.Chkliaev E.P.d.Vink R.Bloo P.Visser J.F.Broenink G.Eggen T.Arons H.Kugler A.Pnueli M.v.d.Zwaag
Talks about:model (5) distribut (4) system (4) industri (3) formal (3) verif (3) embed (3) use (3) architectur (2) specif (2)
Person: Jozef Hooman
DBLP: Hooman:Jozef
Contributed to:
2015
2012
2010
200820072006
2004
20032002200019991999
2015Wrote 13 papers:
- FM-2015-SchutsH #concept #development #formal method
- Formalizing the Concept Phase of Product Development (MS, JH), pp. 605–608.
- IFM-2012-HoomanMW #abstraction #detection #fault #industrial #modelling #using
- Early Fault Detection in Industry Using Models at Various Abstraction Levels (JH, AJM, HvW), pp. 268–282.
- SAC-2010-VermolenHL #consistency #modelling #proving #using
- Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.
- DATE-2008-BrinksmaH #approach #dependence
- Dependability for high-tech systems: an industry-as-laboratory approach (EB, JH), pp. 1226–1231.
- IFM-2007-VerhoefVHB #distributed #embedded #realtime
- Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
- FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
- Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
- UML-2004-AronsHKPZ #deduction #modelling #uml #verification
- Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
- TACAS-2003-ChkliaevHV #protocol #verification
- Verification and Improvement of the Sliding Window Protocol (DC, JH, EPdV), pp. 113–127.
- SAC-2002-HoomanP #architecture #distributed #replication #verification
- Formal verification of replication on a distributed data space architecture (JH, JvdP), pp. 351–358.
- SAC-2000-BlooHJ #architecture #aspect-oriented #distributed #embedded #semantics
- Semantical Aspects of an Architecture for Distributed Embedded Systems (RB, JH, EDdJ), pp. 149–155.
- IFM-1999-PolHJ #behaviour #composition #specification
- Modular Formal Specification of Data and Behaviour (JvdP, JH, EDdJ), pp. 109–128.
- TACAS-1999-BastenH #algebra #process
- Process Algebra in PVS (TB, JH), pp. 270–284.
- ICMT-2015-MooijEHW #effectiveness #industrial #modelling #using
- Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models (AJM, GE, JH, HvW), pp. 66–81.