The design of a rewrite rule interpreter from algebraic specifications. - Derek Coleman; Robin M. Gallimore; Victoria Stavridou (Softw. Eng. J., 1987)

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

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

Newthink - An Orwellian specification language for real-time safety critical systems. - Paul Mukherjee; Victoria Stavridou (RTS, 1992)

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. - Victoria Stavridou; Joseph A. Goguen; Andrew Stevens; Steven M. Eker; Serge N. Aloneftis; Keith Michael Hobley (TPCD, 1992)

Formal methods in circuit design. - Victoria Stavridou (Cambridge University Press, 1993)

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

The Formal Specification of Safety Requirements for Storing Explosives. - Paul Mukherjee; Victoria Stavridou (Formal Aspects Comput., 1993)

Safety-critical systems, formal methods and standards. - Jonathan P. Bowen; Victoria Stavridou (Softw. Eng. J., 1993)

Formal Methods and VLSI Engineering Practice. - Victoria Stavridou (Comput. J., 1994)

Gordon's Computer: A Hardware Verification Case Study in OBJ3. - Victoria Stavridou (Formal Methods Syst. Des., 1994)

A Theory pf Orwellian Specifications with NewThink. - Paul Mukherjee; Victoria Stavridou (Formal Aspects Comput., 1995)

The practice of formal methods in safety-critical systems. - Shaoying Liu; Victoria Stavridou; Bruno Dutertre (J. Syst. Softw., 1995)

Formal Requirements Analysis of an Avionics Control System. - Bruno Dutertre; Victoria Stavridou (IEEE Trans. Software Eng., 1997)

Provably dependable software architectures. - Victoria Stavridou; Robert A. Riemenschneider (ISAW@FSE, 1998)

Decomposition in Real-Time Safety-Critical Systems. - Paul Mukherjee; Victoria Stavridou (Real Time Syst., 1998)

From Safety Analysis to Software Requirements. - Kirsten Mark Hansen; Anders P. Ravn; Victoria Stavridou (IEEE Trans. Software Eng., 1998)

Secure Interoperation of Secure Distributed Databases. - Fred Gilham; Robert A. Riemenschneider; Victoria Stavridou (World Congress on Formal Methods, 1999)

A Formalization of Software Architecture. - John Herbert; Bruno Dutertre; Robert A. Riemenschneider; Victoria Stavridou (World Congress on Formal Methods, 1999)

Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl". - Victoria Stavridou (ICHC, 2000)

Architectural analysis of component-based systems. - Victoria Stavridou (ACM SIGSOFT Softw. Eng. Notes, 2000)

Intrusion-Tolerant Group Management in Enclaves. - Bruno Dutertre; Hassen Saïdi; Victoria Stavridou (DSN, 2001)

Intrusion-Tolerant Enclaves. - Bruno Dutertre; Valentin Crettaz; Victoria Stavridou (S&P, 2002)

An Architecture for an Adaptive Intrusion-Tolerant Server. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (Security Protocols Workshop, 2002)

Dependable Intrusion Tolerance: Technology Demo. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (DISCEX (2), 2003)

Protocol Codesign. - Hassen Saïdi; Victoria Stavridou; Bruno Dutertre (Security Protocols Workshop, 2003)

Protocol Codesign (Discussion). - Victoria Stavridou (Security Protocols Workshop, 2003)

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. - Charles Howell; Sofia Guerra; Shari Lawrence Pfleeger; Victoria Stavridou-Coleman (DSN, 2004)

Guest Editors' Introduction: Dependable Agent Systems. - Mark Greaves; Victoria Stavridou-Coleman; Robert Laddaga (IEEE Intell. Syst., 2004)

Embodied Molecular Computation: Potential and Challenges. - Victoria Coleman (Computer, 2016)