СТ |
A Compositional Semantics for Statecharts |
1989 |
Hooman J., Ramesh S., De Roever W. P. |
|
|
|
J.W. de Bakker, 25 Jaar Semantiek |
04.10.1995 |
СТ |
A Denotational Real-Time Semantics for Shared Processors |
1991 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
СТ |
Compositional Verification of Real-Time Systems Using Extended Hoare Triples |
1992 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
СТ |
A Compositional Approach to the Design of Hybrid Systems |
1993 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
СТ |
Trace-Based Compositional Reasoning about Fault Tolerant Systems |
1993 |
Schepers H., Hooman J. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
СТ |
Correctness of Real Time Systems by Construction |
1994 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
14.10.1994 |
СТ |
Reasoning about Durations in Metric Temporal Logic |
1994 |
Lakhneche Y., Hooman J. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
СТ |
Verifying Part of the ACCESS.bus Protocol Using PVS |
1995 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
СТ |
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem |
1996 |
Hooman J. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
СТ |
Formal Verification of Distributed Protocols with PVS |
1997 |
Hooman J. |
|
|
|
9th Nordic Workshop on Programming Theory |
15.04.1998 |
СТ |
Compositional Verification of Real-Time Applications |
1998 |
Hooman J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
СТ |
Formal Verification of the Binary Exponential Backoff Protocol |
1998 |
Hooman J. |
|
|
|
Engineering Tehnikateadused |
24.07.1998 |
СТ |
Serializability Preserving Extensions of Concurrency Control Protocols |
1999 |
Chkliaev D., Hooman J., Van Der Stok P. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
01.07.1999 |
СТ |
Process Algebra in PVS |
1999 |
Basten T., Hooman J. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
СТ |
Mechanical Verification of Transaction Processing Systems |
2000 |
Chkliaev D., Hooman J., Van Der Stok P. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
СТ |
Equivalent Semantic Models for a Distributed Dataspace Architecture |
2003 |
Hooman J., Van De Pol J. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
СТ |
Verification and Improvement of the Sliding Window Protocol |
2003 |
Chklieav D., Hooman J., De Vink E. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |