Travelled to:1 × Denmark
1 × France
1 × USA
Collaborated with:R.A.Riemenschneider J.P.Bowen F.Gilham H.Barringer D.A.Edwards J.Herbert B.Dutertre
Talks about:formal (3) secur (2) architectur (1) interoper (1) distribut (1) perspect (1) industri (1) softwar (1) hardwar (1) databas (1)
Person: Victoria Stavridou
DBLP: Stavridou:Victoria
Contributed to:
19991993
1988Wrote 4 papers:
- FM-v1-1999-GilhamRS #database #distributed
- Secure Interoperation of Secure Distributed Databases (FG, RAR, VS), pp. 701–717.
- FM-v1-1999-HerbertDRS #architecture #formal method
- A Formalization of Software Architecture (JH, BD, RAR, VS), pp. 116–133.
- FME-1993-BowenS #formal method #industrial #perspective #safety
- The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
- DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification
- Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.