The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Victoria Stavridou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Victoria Stavridou, Howard Barringer, David A. Edwards
    Formal Specification and Verification of Hardware: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    DAC, 1988, pp:197-204 [Conf]
  2. Alfonso 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. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:128-130 [Conf]
  3. Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
    Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:203-214 [Conf]
  4. Jonathan P. Bowen, Victoria Stavridou
    The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:183-195 [Conf]
  5. Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
    Secure Interoperation of Secure Distributed Databases. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:701-717 [Conf]
  6. John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
    A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:116-133 [Conf]
  7. Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
    Intrusion-Tolerant Enclaves. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2002, pp:216-0 [Conf]
  8. Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
    Protocol Codesign. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2003, pp:106-113 [Conf]
  9. Victoria Stavridou
    Protocol Codesign (Discussion). [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2003, pp:114-118 [Conf]
  10. Alfonso 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. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2002, pp:158-178 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:197-223 [Conf]
  12. Robin M. Gallimore, Derek Coleman, Victoria Stavridou
    UMIST OBJ: A Language for Executable Progam Specifications. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:5, pp:413-421 [Journal]
  13. Victoria Stavridou
    Formal Methods and VLSI Engineering Practice. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1994, v:37, n:2, pp:96-113 [Journal]
  14. Paul Mukherjee, Victoria Stavridou
    The Formal Specification of Safety Requirements for Storing Explosives. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:4, pp:299-336 [Journal]
  15. Paul Mukherjee, Victoria Stavridou
    A Theory pf Orwellian Specifications with NewThink. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:6, pp:704-727 [Journal]
  16. Victoria Stavridou
    Gordon's Computer: A Hardware Verification Case Study in OBJ3. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1994, v:4, n:3, pp:265-310 [Journal]
  17. Shaoying Liu, Victoria Stavridou, Bruno Dutertre
    The practice of formal methods in safety-critical systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:1, pp:77-87 [Journal]
  18. Paul Mukherjee, Victoria Stavridou
    Decomposition in Real-Time Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1998, v:14, n:2, pp:183-202 [Journal]
  19. Bruno Dutertre, Victoria Stavridou
    Formal Requirements Analysis of an Avionics Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:267-278 [Journal]
  20. Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
    From Safety Analysis to Software Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:7, pp:573-584 [Journal]

Search in 0.051secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002