Victoria Stavridou

	2003
21		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		Hassen Saïdi, Victoria Stavridou, Bruno Dutertre: Protocol Codesign. Security Protocols Workshop 2003: 106-113
19		Victoria Stavridou: Protocol Codesign (Discussion). Security Protocols Workshop 2003: 114-118
	2002
18		Bruno Dutertre, Valentin Crettaz, Victoria Stavridou: Intrusion-Tolerant Enclaves. IEEE Symposium on Security and Privacy 2002: 216-
17		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		Bruno Dutertre, Hassen Saïdi, Victoria Stavridou: Intrusion-Tolerant Group Management in Enclaves. DSN 2001: 203-214
	1999
15		John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou: A Formalization of Software Architecture. World Congress on Formal Methods 1999: 116-133
14		Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou: Secure Interoperation of Secure Distributed Databases. World Congress on Formal Methods 1999: 701-717
	1998
13		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		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		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		Victoria Stavridou, Howard Barringer, David A. Edwards: Formal Specification and Verification of Hardware: A Comparative Case Study. DAC 1988: 197-204

Coauthor Index

1	Magnus Almgren	[17] [21]
2	S. N. Aloneftis	[3]
3	Howard Barringer	[1]
4	Raymond T. Boute	[4]
5	Jonathan P. Bowen	[6]
6	Steven Cheung	[17] [21]
7	Derek Coleman	[2]
8	Valentin Crettaz	[18]
9	Yves Deswarte	[17] [21]
10	Bruno Dutertre	[9] [11] [15] [16] [17] [18] [20] [21]
11	David A. Edwards	[1]
12	S. M. Eker	[3]
13	Robin M. Gallimore	[2]
14	Fred Gilham	[14]
15	Joseph A. Goguen	[3]
16	Kirsten Mark Hansen	[13]
17	John Herbert	[15]
18	K. M. Hobley	[3]
19	Joshua Levy	[17] [21]
20	Shaoying Liu	[9]
21	Thomas F. Melham	[4]
22	Paul Mukherjee	[5] [10] [12]
23	Anders P. Ravn	[13]
24	Robert A. Riemenschneider	[14] [15]
25	Hassen Saïdi	[16] [17] [20] [21]
26	A. Stevens	[3]
27	Tomás E. Uribe	[17] [21]
28	Alfonso Valdes	[17] [21]

Colors in the list of coauthors