Search the dblp DataBase
Robert A. Riemenschneider: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
Secure Interoperation of Secure Distributed Databases. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:701-717 [Conf] - John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:116-133 [Conf] - Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong
Secure Software Architectures. [Citation Graph (0, 0)][DBLP]
IEEE Symposium on Security and Privacy, 1997, pp:84-93 [Conf] - Robert A. Riemenschneider
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures. [Citation Graph (0, 0)][DBLP]
WICSA, 1999, pp:65-82 [Conf] - Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
Using Model Checking to Assess the Dependability of Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
IEEE Intelligent Systems, 2004, v:19, n:5, pp:62-70 [Journal] - Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider
Correct Architecture Refinement. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1995, v:21, n:4, pp:356-372 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002