Norbert Schirmer
Affiliations:- Saarland University, Saarbrücken, Germany
According to our database1,
Norbert Schirmer
authored at least 26 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
2019
2015
Proceedings of the ISSE 2015, 2015
2014
ACM SIGOPS Oper. Syst. Rev., 2014
2013
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013
2011
TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud.
Datenschutz und Datensicherheit, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Perspectives of Systems Informatics, 2009
2008
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment.
Arch. Formal Proofs, 2008
Proceedings of the Verified Software: Theories, 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Logic for Programming, 2005
2004
Concurr. Pract. Exp., 2004
Proceedings of the Logic for Programming, 2004