Publikationen

In: Paul J. J. Welfens , Ellen Walther-Klaus . Digital Excellence, University Meets Economy. Seiten 83-97 ISBN 978-3-540-72620-3 Springer Berlin Heidelberg 2008.

In: Andreas Dengel , Karsten Berns , Thomas Breuel , Frank Bomarius , Thomas Roth-Berghofer (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008) September 23-26 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 5243 ISBN 978-3-540-85844-7 Springer Berlin, Heidelberg 2008.

In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06) September 27-29 Gdansk Poland Seiten 42-56 LNCS 4166 ISBN 3-540-45762-3 Springer 2006.

In: International Journal on Software Tools for Technology Transfer 3 1 Seiten 66-77 Springer Berlin, Heidelberg 2000.

In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 2000.

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS) Seiten 367-376 AAAI-Press 2000.

In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS) 2000.

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium 2000.

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 Seiten 351-358 Lecture Notes in Computer Science (LNCS) 1641 ISBN 978-3-540-66462-8 Springer-Verlag Berlin, Heidelberg 1999.

In: R. Berghammer , Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification Seiten 217-229 Advances in Computing Science Springer 1999.