Victoria Stavridou - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

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]

2000

Architectural analysis of component-based systemsVictoria Stavridou. sigsoft, 25(1):96-97, 2000. [doi]

Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl"Victoria Stavridou. ichc 2002: 127-133 [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.

Provably dependable software architecturesVictoria Stavridou, Robert A. Riemenschneider. FSE 1998: 133-136 [doi]

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

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

Formal Methods and VLSI Engineering PracticeVictoria Stavridou. cj, 37(2):96-113, 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

Safety-critical systems, formal methods and standardsJonathan P. Bowen, Victoria Stavridou. iee, 8(4):189-209, 1993. [doi]

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

Formal methods in circuit designVictoria Stavridou. Volume 37 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1993.

1992

Newthink - An Orwellian specification language for real-time safety critical systemsPaul Mukherjee, Victoria Stavridou. ecrts 1992: 128-133 [doi]

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]

1987

The design of a rewrite rule interpreter from algebraic specificationsDerek Coleman, Robin M. Gallimore, Victoria Stavridou. iee, 2(4), 1987. [doi]

Sign in or sign up to see more results.

runs on WebDSL