Michael Gerz

According to our database, Michael Gerz authored at least 14 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A cloud-based architecture for an interoperable, resilient, and scalable C2 information system.

Nico Bau, Sven Endres, Michael Gerz, Fahrettin Gökgöz

Proceedings of the International Conference on Military Communications and Information Systems, 2018

2015

The MIP Information Model - A semantic reference for Command & Control.

Michael Gerz, Melissa Mulikita, Nico Bau, Fahrettin Gökgöz

Proceedings of the International Conference on Military Communications and Information Systems, 2015

2011

Defining C2 semantics by a platform-independent JC3IEDM.

Michael Gerz, Olivier Meyer

Int. J. Intell. Def. Support Syst., 2011

2005

Efficient: A Toolset for Building Trusted B2B Transactions.

Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004

Tele-lab IT security: an architecture for interactive lessons for security education.

Ji Hu, Christoph Meinel, Michael Schmitt

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003

Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security

Michael Schmitt, Christoph Meinel

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2003

Automatic test generation based on formal specifications: practical procedures for efficient state space exploration and improved representation of test cases.

Michael Schmitt

PhD thesis, 2003

A Tutoring System for IT Security.

Ji Hu, Michael Schmitt, Christian Willems, Christoph Meinel

Proceedings of the Security Education and Critical Infrastructures, 2003

2000

The Development of a Parser for SDL - 2000.

Michael Schmitt

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

SDL and MSC based test generation for distributed test architectures.

Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe

Proceedings of the SDL '99 The Next Millennium, 1999

1998

Autolink: A Tool for Automatic Test Generation from SDL Specifications.

Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Autolink - Putting SDL-Based Test Generation Into Practice.

Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997

Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications.

Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt

Proceedings of the SDL '97 Time for Testing, 1997

-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.

Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997