default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Gerz

Michael Schmitt 0002

> Home > Persons

Person information

affiliation: Fraunhofer Institute for Communication, Information Processing, and Ergonomics FKIE, Wachtberg, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcis/BauEGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcis/BauEGG18
Nico Bau, Sven Endres, Michael Gerz, Fahrettin Gökgöz:
A cloud-based architecture for an interoperable, resilient, and scalable C2 information system. ICMCIS 2018: 1-7
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcis/GerzMBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcis/GerzMBG15
Michael Gerz, Melissa Mulikita, Nico Bau, Fahrettin Gökgöz:
The MIP Information Model - A semantic reference for Command & Control. ICMCIS 2015: 1-11
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijidss/GerzM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijidss/GerzM11
Michael Gerz, Olivier Meyer:
Defining C2 semantics by a platform-independent JC3IEDM. Int. J. Intell. Def. Support Syst. 4(3): 263-285 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/caise/MammarRGSG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/MammarRGSG05
Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi:
Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HuMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HuMS04
Ji Hu, Christoph Meinel, Michael Schmitt:
Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416
2003
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Schmitt2003a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Schmitt2003a
Michael Schmitt:
Automatic test generation based on formal specifications: practical procedures for efficient state space exploration and improved representation of test cases. University of Göttingen, 2003
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip11-8/HuSWM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip11-8/HuSWM03
Ji Hu, Michael Schmitt, Christian Willems, Christoph Meinel:
A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60
[i1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - tr/trier/MI03-06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/tr/trier/MI03-06
Michael Schmitt, Christoph Meinel:
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security. Universität Trier, Mathematik/Informatik, Forschungsbericht 03-06 (2003)
2000
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/Schmitt00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/Schmitt00
Michael Schmitt:
The Development of a Parser for SDL - 2000. FBT 2000: 131-142

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sdl/GrabowskiKSH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/GrabowskiKSH99
Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe:
SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404
1998
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pts/SchmittEKGH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/SchmittEKGH98
Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe:
Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wift/KochGHS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wift/KochGHS98
Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt:
Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114-
1997
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/SchmittGHK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/SchmittGHK97
Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch:
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sdl/EkGHJKS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/EkGHJKS97
Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt:
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.