Robert A. Riemenschneider

According to our database, Robert A. Riemenschneider authored at least 7 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Using Model Checking to Assess the Dependability of Agent-Based Systems.

Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre

IEEE Intell. Syst., 2004

1999

Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures.

Robert A. Riemenschneider

Proceedings of the Software Architecture, 1999

A Formalization of Software Architecture.

John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou

Proceedings of the FM'99 - Formal Methods, 1999

Secure Interoperation of Secure Distributed Databases.

Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou

Proceedings of the FM'99 - Formal Methods, 1999

1998

Provably dependable software architectures.

Victoria Stavridou, Robert A. Riemenschneider

Proceedings of the Third International Workshop on Software Architecture, 1998

1997

Secure Software Architectures.

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1995

Correct Architecture Refinement.

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider

IEEE Trans. Software Eng., 1995