MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jozef Hooman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

Verifying Part of the ACCESS.bus Protocol using PVS
by Jozef Hooman — 1995 — In Proceedings 15th Conference on the Foundations of Software Technology and Theoretical Computer Science
…Verifying Part of the ACCESS.bus Protocol using PVS Jozef Hooman Dept. of Mathematics…
Cited by 15 (5 self) – Add To MetaCart

Compositional Verification of Real-Time Applications
by Jozef Hooman — 1998 — in Proc. Compositionality - The Significant Di#erence
…Compositional Verification of Real-Time Applications Jozef Hooman Dept. of Computing Science…
Cited by 7 (3 self) – Add To MetaCart

Program Design in PVS
by Jozef Hooman — 1997 — Workshop on Tool Support for System Development and Verification
…Program Design in PVS Jozef Hooman Dept. of Computing Science Eindhoven University of Technology P…
Cited by 4 (0 self) – Add To MetaCart

Using PVS for an Assertional Verification of the RPC-Memory Specification Problem
by Jozef Hooman — 1996 — In Formal Systems Specification; The RPC-Memory Specification Case Study. Springer Lecture Notes in Computer Science 1169
…Using PVS for an Assertional Verification of the RPC-Memory Specification Problem Jozef Hooman…
Cited by 7 (2 self) – Add To MetaCart

Verification of Distributed Real-Time and Fault-Tolerant Protocols
by Jozef Hooman — 1997 — In Algebraic Methodology and Software Technology (AMAST'97
…Verification of Distributed Real-Time and Fault-Tolerant Protocols Jozef Hooman Department…
Cited by 5 (3 self) – Add To MetaCart

Developing Proof Rules for Distributed Real-Time Systems with PVS
by Jozef Hooman — 1998 — In Proceedings of the Workshop on Tool Support for System Development and Verification
…Developing Proof Rules for Distributed Real-Time Systems with PVS Jozef Hooman Dept. of Computing…
Cited by 2 (1 self) – Add To MetaCart

Formal Verification of the Binary Exponential Backoff Protocol
by Jozef Hooman — 1998 — Proc. Estonian Academy of Sciences (special issue on the 9th Nordic Workshop on Programming Theory) 4(2):89--105
…Formal Verification of the Binary Exponential Backoff Protocol Jozef Hooman Department…
Cited by 1 (0 self) – Add To MetaCart

Reasoning about Durations in Metric Temporal Logic
by Yassine Lakhneche, Jozef Hooman
…Reasoning about Durations in Metric Temporal Logic Yassine Lakhneche 1 and Jozef Hooman 2 1…
Add To MetaCart

Specification and Verification of the Real-Time Part of a Steam Boiler Control System
by Jan Vitt, Jozef Hooman
… and Jozef Hooman 2 1 Institut fur Informatik und Praktische Mathematik Christian-Albrechts-Universitat zu…
Add To MetaCart

Process Algebra in PVS
by Twan Basten, Jozef Hooman — 1999 — Proc. of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), volume 1579 of Lecture Notes in Computer Science
…Process Algebra in PVS Twan Basten and Jozef Hooman Dept. of Mathematics and Computing Science…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB