Travelled to:1 × France
1 × USA
Collaborated with:V.Stavridou ∅ F.Gilham J.Herbert B.Dutertre
Talks about:architectur (3) secur (2) transform (1) interoper (1) distribut (1) softwar (1) databas (1) correct (1) formal (1) proof (1)
Person: Robert A. Riemenschneider
DBLP: Riemenschneider:Robert_A=
Contributed to:
1999
1999Wrote 3 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.
- WICSA-1999-Riemenschneider #architecture #correctness
- Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures (RAR), pp. 65–82.