Michael Gerz

According to our database1, Michael Gerz authored at least 12 papers between 1997 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
Defining C2 semantics by a platform-independent JC3IEDM.
IJIDSS, 2011

2005
Efficient: A Toolset for Building Trusted B2B Transactions.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
Tele-lab IT security: an architecture for interactive lessons for security education.
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
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.
PhD thesis, 2003

A Tutoring System for IT Security.
Proceedings of the Security Education and Critical Infrastructures, 2003

2000
The Development of a Parser for SDL - 2000.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
SDL and MSC based test generation for distributed test architectures.
Proceedings of the SDL '99 The Next Millennium, 1999

1998
Autolink: A Tool for Automatic Test Generation from SDL Specifications.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Autolink - Putting SDL-Based Test Generation Into Practice.
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.
Proceedings of the SDL '97 Time for Testing, 1997

-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997


  Loading...