Victoria Coleman

According to our database, Victoria Coleman authored at least 30 papers between 1987 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Embodied Molecular Computation: Potential and Challenges.

Victoria Coleman

Computer, 2016

2004

Guest Editors' Introduction: Dependable Agent Systems.

Mark Greaves, Victoria Stavridou-Coleman, Robert Laddaga

IEEE Intell. Syst., 2004

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities.

Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Protocol Codesign (Discussion).

Victoria Stavridou

Proceedings of the Security Protocols, 2003

Protocol Codesign.

Hassen Saïdi, Victoria Stavridou, Bruno Dutertre

Proceedings of the Security Protocols, 2003

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

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

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

Proceedings of the Security Protocols, 2002

Intrusion-Tolerant Enclaves.

Bruno Dutertre, Valentin Crettaz, Victoria Stavridou

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

2001

Intrusion-Tolerant Group Management in Enclaves.

Bruno Dutertre, Hassen Saïdi, Victoria Stavridou

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

Architectural analysis of component-based systems.

Victoria Stavridou

ACM SIGSOFT Softw. Eng. Notes, 2000

Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl".

Victoria Stavridou

Proceedings of the History of Computing: Software Issues, 2000

1999

A Formalization of Software Architecture.

John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou

Proceedings of the FM'99 - Formal Methods, 1999

Secure Interoperation of Secure Distributed Databases.

Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou

Proceedings of the FM'99 - Formal Methods, 1999

1998

From Safety Analysis to Software Requirements.

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou

IEEE Trans. Software Eng., 1998

Decomposition in Real-Time Safety-Critical Systems.

Paul Mukherjee, Victoria Stavridou

Real Time Syst., 1998

Provably dependable software architectures.

Victoria Stavridou, Robert A. Riemenschneider

Proceedings of the Third International Workshop on Software Architecture, 1998

1997

Formal Requirements Analysis of an Avionics Control System.

Bruno Dutertre, Victoria Stavridou

IEEE Trans. Software Eng., 1997

1995

The practice of formal methods in safety-critical systems.

Shaoying Liu, Victoria Stavridou, Bruno Dutertre

J. Syst. Softw., 1995

A Theory pf Orwellian Specifications with NewThink.

Paul Mukherjee, Victoria Stavridou

Formal Aspects Comput., 1995

1994

Gordon's Computer: A Hardware Verification Case Study in OBJ3.

Victoria Stavridou

Formal Methods Syst. Des., 1994

Formal Methods and VLSI Engineering Practice.

Victoria Stavridou

Comput. J., 1994

1993

Safety-critical systems, formal methods and standards.

Jonathan P. Bowen, Victoria Stavridou

Softw. Eng. J., 1993

The Formal Specification of Safety Requirements for Storing Explosives.

Paul Mukherjee, Victoria Stavridou

Formal Aspects Comput., 1993

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

Jonathan P. Bowen, Victoria Stavridou

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Formal methods in circuit design.

Victoria Stavridou

Cambridge tracts in theoretical computer science 37, Cambridge University Press, ISBN: 978-0-521-44336-4, 1993

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

Proceedings of the Theorem Provers in Circuit Design, 1992

Newthink - An Orwellian specification language for real-time safety critical systems.

Paul Mukherjee, Victoria Stavridou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1989

UMIST OBJ: A Language for Executable Program Specifications.

Robin M. Gallimore, Derek Coleman, Victoria Stavridou

Comput. J., 1989

1988

Formal Specification and Verification of Hardware: A Comparative Case Study.

Victoria Stavridou, Howard Barringer, David A. Edwards

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

The design of a rewrite rule interpreter from algebraic specifications.

Derek Coleman, Robin M. Gallimore, Victoria Stavridou

Softw. Eng. J., 1987