dblp.uni-trier.dewww.uni-trier.de

Victoria Stavridou Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)