Victoria Stavridou

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

Hassen Saïdi, Victoria Stavridou, Bruno Dutertre: Protocol Codesign. Security Protocols Workshop 2003: 106-113

Victoria Stavridou: Protocol Codesign (Discussion). Security Protocols Workshop 2003: 114-118

Bruno Dutertre, Valentin Crettaz, Victoria Stavridou: Intrusion-Tolerant Enclaves. IEEE Symposium on Security and Privacy 2002: 216-224

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

Bruno Dutertre, Hassen Saïdi, Victoria Stavridou: Intrusion-Tolerant Group Management in Enclaves. DSN 2001: 203-214

Victoria Stavridou: Architectural analysis of component-based systems. ACM SIGSOFT Software Engineering Notes 25(1): 96-97 (2000)

John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou: A Formalization of Software Architecture. World Congress on Formal Methods 1999: 116-133

Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou: Secure Interoperation of Secure Distributed Databases. World Congress on Formal Methods 1999: 701-717

Paul Mukherjee, Victoria Stavridou: Decomposition in Real-Time Safety-Critical Systems. Real-Time Systems 14(2): 183-202 (1998)

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou: From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24(7): 573-584 (1998)

Bruno Dutertre, Victoria Stavridou: Formal Requirements Analysis of an Avionics Control System. IEEE Trans. Software Eng. 23(5): 267-278 (1997)

Paul Mukherjee, Victoria Stavridou: A Theory pf Orwellian Specifications with NewThink. Formal Asp. Comput. 7(6): 704-727 (1995)

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)

Victoria Stavridou: Formal Methods and VLSI Engineering Practice. Comput. J. 37(2): 96-113 (1994)

Victoria Stavridou: Gordon's Computer: A Hardware Verification Case Study in OBJ3. Formal Methods in System Design 4(3): 265-310 (1994)

Paul Mukherjee, Victoria Stavridou: The Formal Specification of Safety Requirements for Storing Explosives. Formal Asp. Comput. 5(4): 299-336 (1993)

Jonathan P. Bowen, Victoria Stavridou: The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. FME 1993: 183-195

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

Victoria Stavridou, Thomas F. Melham, Raymond T. Boute (Eds.): 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. IFIP Transactions A-10, North-Holland 1992, isbn 0-444-89686-4

Robin M. Gallimore, Derek Coleman, Victoria Stavridou: UMIST OBJ: A Language for Executable Program Specifications. Comput. J. 32(5): 413-421 (1989)

Victoria Stavridou, Howard Barringer, David A. Edwards: Formal Specification and Verification of Hardware: A Comparative Case Study. DAC 1988: 197-204