Educational Technology Lab

Page 1 of 3.

1. Thomas Bauereiß; Dieter Hutter

   Information Flow Control for Workflow Management Systems

   In: Heiko Mantel (Hrsg.). IT - information technology (IT), Vol. 6/2014, Pages 294-299, De Gruyter, Berlin, 12/2014.

2. Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

   Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.

3. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

   Preface. Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

4. Dieter Hutter; Heiko Mantel; Ina Schäfer; Axel Schairer

   Security of Multi-Agent Systems: A Case Study on Comparison Shopping

   In: Journal of Applied Logic, Vol. 5, No. 2, Pages 303-332, Elsevier B.V. 6/2007.

5. Dieter Hutter

   Automating Proofs of Unwinding Conditions

   In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

6. Heiko Mantel; Axel Schairer

   Exploiting Generic Aspects of Security Models in Formal Developments

   In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer, 2005.

7. Dieter Hutter; Heiko Mantel; Axel Schairer

   Informationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen

   In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

8. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

   Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

   Technical Report, Vol. 159, 8/2001.

9. Heiko Mantel; Andrei Sabelfeld

   A Generic Approach to the Security of Multi-threaded Programs

   In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …

10. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …

• 1
• 2
• 3
• 3
• next