Publikationen

Seite 2 von 5.

Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.)
Proceedings of the First International Conference on Security in Pervasive Computing
International Conference on Security in Pervasive Computing (SPC-2003), March 12-14, Boppard, Germany, Lecture Notes in Computer Science (LNCS), Vol. 2802/2004, ISBN 978-3-540-20887-7, Springer, Berlin, Heidelberg, 2004.
Axel Schairer
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems
In: Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.). Proceedings of the First International Conference on Security in Pervasive Computing. International Conference on Security in Pervasive Computing (SPC), LNCS, Vol. 2802, Springer, 2003.
Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems
In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent Systems (SEMAS), Montreal, 2001.
Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
Formal Software Development in the Verification Support Environment (VSE)
In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.
Georg Rock; Werner Stephan; Michael Brodski
Modeling, Specification and Verification of an Emergency Closing System
In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.
Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan
Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II
In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, 2000.
Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
VSE: Formal Methods Meet Industrial Needs
In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.
Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
Formal Software Development in the Verification Support Environment
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.