Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. - Alexander K. Wißpeintner; Franz Huber; Jan Philipps (FBT, 2000)

Extended Description Techniques for Security Engineering. - Guido Wimmel; Alexander K. Wißpeintner (SEC, 2001)

Secure systems development based on the common criteria: the PalME project. - Monika Vetterling; Guido Wimmel; Alexander K. Wißpeintner (SIGSOFT FSE, 2002)

Consistency in Model-Based Development. - Bernhard Schätz; Peter Braun 003; Franz Huber; Alexander K. Wißpeintner (ECBS, 2003)

Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. - Bernhard Schätz; Markus Pister 001; Alexander K. Wißpeintner (Softwaretechnik-Trends, 2004)

Checking and Transforming Models with AutoFOCUS. - Bernhard Schätz; Peter Braun 003; Franz Huber; Alexander K. Wißpeintner (ECBS, 2005)

Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme: eine Adaption der Refactoring-Technik auf gezeitete Modelle unter Verwendung eines formalen Verhaltensäquivalenzbegriffs. - Alexander Karl Wißpeintner (2006)