Victoria Stavridou - researchr alias

researchr

You are not signed in
Sign in
Sign up

2003

2002

Intrusion-Tolerant EnclavesBruno Dutertre, Valentin Crettaz, Victoria Stavridou. sp 2002: 216 [doi]

An Architecture for an Adaptive Intrusion-Tolerant ServerAlfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe. ispw 2004: 158-178 [doi]

2001

Intrusion-Tolerant Group Management in EnclavesBruno Dutertre, Hassen Saïdi, Victoria Stavridou. dsn 2001: 203-214 [doi]

1999

Secure Interoperation of Secure Distributed DatabasesFred Gilham, Robert A. Riemenschneider, Victoria Stavridou. fm 1999: 701-717 [doi]

A Formalization of Software ArchitectureJohn Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou. fm 1999: 116-133 [doi]

1998

From Safety Analysis to Software RequirementsKirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou. TSE, 24(7):573-584, 1998. [doi]

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

1997

Formal Requirements Analysis of an Avionics Control SystemBruno Dutertre, Victoria Stavridou. TSE, 23(5):267-278, 1997. [doi]

1995

The practice of formal methods in safety-critical systemsShaoying Liu, Victoria Stavridou, Bruno Dutertre. jss, 28(1):77-87, 1995. [doi]

A Theory pf Orwellian Specifications with NewThinkPaul Mukherjee, Victoria Stavridou. fac, 7(6):704-727, 1995.

1994

Formal Methods and VLSI Engineering PracticeVictoria Stavridou. cj, 37(2):96-113, 1994.

Gordon s Computer: A Hardware Verification Case Study in OBJ3Victoria Stavridou. fmsd, 4(3):265-310, 1994.

1993

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

The Formal Specification of Safety Requirements for Storing ExplosivesPaul Mukherjee, Victoria Stavridou. fac, 5(4):299-336, 1993.

1992

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, ProceedingsVictoria Stavridou, Thomas F. Melham, Raymond T. Boute, editors, Volume A-10 of IFIP Transactions, North-Holland, 1992.

FUNNEL and 2OBJ: Towards an Integrated Hardware Design EnvironmentVictoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, K. M. Hobley. tpcd 1992: 197-223

1989

UMIST OBJ: A Language for Executable Progam SpecificationsRobin M. Gallimore, Derek Coleman, Victoria Stavridou. cj, 32(5):413-421, 1989.

1988

Formal Specification and Verification of Hardware: A Comparative Case StudyVictoria Stavridou, Howard Barringer, David A. Edwards. dac 1988: 197-204 [doi]