Alexander K. Wißpeintner

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
Checking and Transforming Models with AutoFOCUS. ECBS (2005)
Bernhard Schätz, Markus Pister, Alexander K. Wißpeintner
Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. Softwaretechnik-Trends 24 (1) (2004)
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
Consistency in Model-Based Development. ECBS (2003)
Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
Secure systems development based on the common criteria: the PalME project. SIGSOFT FSE (2002)
Guido Wimmel, Alexander K. Wißpeintner
Extended Description Techniques for Security Engineering. SEC (2001)
Alexander K. Wißpeintner, Franz Huber, Jan Philipps
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT (2000)