| 2003 |
|---|
| 21 | EE | Alfonso Valdes,
Magnus Almgren,
Steven Cheung,
Yves Deswarte,
Bruno Dutertre,
Joshua Levy,
Hassen Saïdi,
Victoria Stavridou,
Tomás E. Uribe:
Dependable Intrusion Tolerance: Technology Demo.
DISCEX (2) 2003: 128-130 |
| 20 | EE | Hassen Saïdi,
Victoria Stavridou,
Bruno Dutertre:
Protocol Codesign.
Security Protocols Workshop 2003: 106-113 |
| 19 | EE | Victoria Stavridou:
Protocol Codesign (Discussion).
Security Protocols Workshop 2003: 114-118 |
| 2002 |
|---|
| 18 | EE | Bruno Dutertre,
Valentin Crettaz,
Victoria Stavridou:
Intrusion-Tolerant Enclaves.
IEEE Symposium on Security and Privacy 2002: 216- |
| 17 | EE | Alfonso Valdes,
Magnus Almgren,
Steven Cheung,
Yves Deswarte,
Bruno Dutertre,
Joshua Levy,
Hassen Saïdi,
Victoria Stavridou,
Tomás E. Uribe:
An Architecture for an Adaptive Intrusion-Tolerant Server.
Security Protocols Workshop 2002: 158-178 |
| 2001 |
|---|
| 16 | EE | Bruno Dutertre,
Hassen Saïdi,
Victoria Stavridou:
Intrusion-Tolerant Group Management in Enclaves.
DSN 2001: 203-214 |
| 1999 |
|---|
| 15 | EE | John Herbert,
Bruno Dutertre,
Robert A. Riemenschneider,
Victoria Stavridou:
A Formalization of Software Architecture.
World Congress on Formal Methods 1999: 116-133 |
| 14 | EE | Fred Gilham,
Robert A. Riemenschneider,
Victoria Stavridou:
Secure Interoperation of Secure Distributed Databases.
World Congress on Formal Methods 1999: 701-717 |
| 1998 |
|---|
| 13 | EE | Kirsten Mark Hansen,
Anders P. Ravn,
Victoria Stavridou:
From Safety Analysis to Software Requirements.
IEEE Trans. Software Eng. 24(7): 573-584 (1998) |
| 12 | | Paul Mukherjee,
Victoria Stavridou:
Decomposition in Real-Time Safety-Critical Systems.
Real-Time Systems 14(2): 183-202 (1998) |
| 1997 |
|---|
| 11 | EE | Bruno Dutertre,
Victoria Stavridou:
Formal Requirements Analysis of an Avionics Control System.
IEEE Trans. Software Eng. 23(5): 267-278 (1997) |
| 1995 |
|---|
| 10 | | Paul Mukherjee,
Victoria Stavridou:
A Theory pf Orwellian Specifications with NewThink.
Formal Asp. Comput. 7(6): 704-727 (1995) |
| 9 | EE | Shaoying Liu,
Victoria Stavridou,
Bruno Dutertre:
The practice of formal methods in safety-critical systems.
Journal of Systems and Software 28(1): 77-87 (1995) |
| 1994 |
|---|
| 8 | | Victoria Stavridou:
Formal Methods and VLSI Engineering Practice.
Comput. J. 37(2): 96-113 (1994) |
| 7 | | Victoria Stavridou:
Gordon's Computer: A Hardware Verification Case Study in OBJ3.
Formal Methods in System Design 4(3): 265-310 (1994) |
| 1993 |
|---|
| 6 | | Jonathan P. Bowen,
Victoria Stavridou:
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
FME 1993: 183-195 |
| 5 | | Paul Mukherjee,
Victoria Stavridou:
The Formal Specification of Safety Requirements for Storing Explosives.
Formal Asp. Comput. 5(4): 299-336 (1993) |
| 1992 |
|---|
| 4 | | Victoria Stavridou,
Thomas F. Melham,
Raymond T. Boute:
Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings
North-Holland 1992 |
| 3 | | Victoria Stavridou,
Joseph A. Goguen,
A. Stevens,
S. M. Eker,
S. N. Aloneftis,
K. M. Hobley:
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.
TPCD 1992: 197-223 |
| 1989 |
|---|
| 2 | | Robin M. Gallimore,
Derek Coleman,
Victoria Stavridou:
UMIST OBJ: A Language for Executable Progam Specifications.
Comput. J. 32(5): 413-421 (1989) |
| 1988 |
|---|
| 1 | EE | Victoria Stavridou,
Howard Barringer,
David A. Edwards:
Formal Specification and Verification of Hardware: A Comparative Case Study.
DAC 1988: 197-204 |
