| 2004 |
|---|
| 6 | EE | Robert A. Riemenschneider,
Hassen Saïdi,
Bruno Dutertre:
Using Model Checking to Assess the Dependability of Agent-Based Systems.
IEEE Intelligent Systems 19(5): 62-70 (2004) |
| 1999 |
|---|
| 5 | | Robert A. Riemenschneider:
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures.
WICSA 1999: 65-82 |
| 4 | EE | John Herbert,
Bruno Dutertre,
Robert A. Riemenschneider,
Victoria Stavridou:
A Formalization of Software Architecture.
World Congress on Formal Methods 1999: 116-133 |
| 3 | EE | Fred Gilham,
Robert A. Riemenschneider,
Victoria Stavridou:
Secure Interoperation of Secure Distributed Databases.
World Congress on Formal Methods 1999: 701-717 |
| 1997 |
|---|
| 2 | EE | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider,
Li Gong:
Secure Software Architectures.
IEEE Symposium on Security and Privacy 1997: 84-93 |
| 1995 |
|---|
| 1 | EE | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider:
Correct Architecture Refinement.
IEEE Trans. Software Eng. 21(4): 356-372 (1995) |
