Victoria Stavridou

28 papers A* 1A 1Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2003 — conf
Dependable Intrusion Tolerance: Technology Demo.
DISCEX (2)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2003 — conf
Protocol Codesign (Discussion).
Security Protocols Workshop
Victoria Stavridou
2003 — conf
Protocol Codesign.
Security Protocols Workshop
Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
2002 — conf
An Architecture for an Adaptive Intrusion-Tolerant Server.
Security Protocols Workshop
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2002 — conf
Intrusion-Tolerant Enclaves.
S&P
Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
2001 A conf
Intrusion-Tolerant Group Management in Enclaves.
DSN
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
2000 J jnl
Architectural analysis of component-based systems.
ACM SIGSOFT Softw. Eng. Notes
Victoria Stavridou
2000 — conf
Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl".
ICHC
Victoria Stavridou
1999 — conf
A Formalization of Software Architecture.
World Congress on Formal Methods
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
1999 — conf
Secure Interoperation of Secure Distributed Databases.
World Congress on Formal Methods
Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
1998 J jnl
Decomposition in Real-Time Safety-Critical Systems.
Real Time Syst.
Paul Mukherjee, Victoria Stavridou
1998 J jnl
From Safety Analysis to Software Requirements.
IEEE Trans. Software Eng.
Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
1998 — conf
Provably dependable software architectures.
ISAW@FSE
Victoria Stavridou, Robert A. Riemenschneider
1997 J jnl
Formal Requirements Analysis of an Avionics Control System.
IEEE Trans. Software Eng.
Bruno Dutertre, Victoria Stavridou
1995 J jnl
A Theory pf Orwellian Specifications with NewThink.
Formal Aspects Comput.
Paul Mukherjee, Victoria Stavridou
1995 J jnl
The practice of formal methods in safety-critical systems.
J. Syst. Softw.
Shaoying Liu, Victoria Stavridou, Bruno Dutertre
1994 J jnl
Formal Methods and VLSI Engineering Practice.
Comput. J.
Victoria Stavridou
1994 J jnl
Gordon's Computer: A Hardware Verification Case Study in OBJ3.
Formal Methods Syst. Des.
Victoria Stavridou
1993 — book
Formal methods in circuit design.
Victoria Stavridou
1993 J jnl
Safety-critical systems, formal methods and standards.
Softw. Eng. J.
Jonathan P. Bowen, Victoria Stavridou
1993 J jnl
The Formal Specification of Safety Requirements for Storing Explosives.
Formal Aspects Comput.
Paul Mukherjee, Victoria Stavridou
1993 — conf
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
FME
Jonathan P. Bowen, Victoria Stavridou
1992 — conf
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.
TPCD
Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley
1992 — conf
Newthink - An Orwellian specification language for real-time safety critical systems.
RTS
Paul Mukherjee, Victoria Stavridou
1992 — ed.
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
TPCD
Victoria Stavridou, Thomas F. Melham, Raymond T. Boute
1989 J jnl
UMIST OBJ: A Language for Executable Program Specifications.
Comput. J.
Robin M. Gallimore, Derek Coleman, Victoria Stavridou
1988 A* conf
Formal Specification and Verification of Hardware: A Comparative Case Study.
DAC
Victoria Stavridou, Howard Barringer, David A. Edwards
1987 J jnl
The design of a rewrite rule interpreter from algebraic specifications.
Softw. Eng. J.
Derek Coleman, Robin M. Gallimore, Victoria Stavridou