Skip to main content Skip to main navigation

Publikationen

Seite 1 von 2.

  1. Gunter Lassmann; Georg Rock; Matthias Schwan; Lassaad Cheikhrouhou

    Verisoft secure biometric identification system

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

  2. Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan; Frank Koob; Georg Rock

    Automating Interactive Protocol Verification

    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), Vol. 5243, ISBN 978-3-540-85844-7, Springer, Berlin, Heidelberg, 2008.

  3. Lassaad Cheikhrouhou; Georg Rock; Werner Stephan; Matthias Schwan; Gunter Lassmann

    Verifying a Chipcard-Based Biometric Identification Protocol in {VSE}

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

  4. 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.

  5. Formal Software Development in the Verification Support Environment

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

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

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