Robert A. Riemenschneider

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Publications

Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
Using Model Checking to Assess the Dependability of Agent-Based Systems. IEEE Intell. Syst. 19 (5) (2004)
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. World Congress on Formal Methods (1999)
Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
Secure Interoperation of Secure Distributed Databases. World Congress on Formal Methods (1999)
Robert A. Riemenschneider
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures. WICSA (1999)
Victoria Stavridou, Robert A. Riemenschneider
Provably dependable software architectures. ISAW@FSE (1998)
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong
Secure Software Architectures. IEEE Symposium on Security and Privacy (1997)
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider
Correct Architecture Refinement. IEEE Trans. Software Eng. 21 (4) (1995)