Alexander K. Wißpeintner

According to our database, Alexander K. Wißpeintner authored at least 7 papers between 2000 and 2006.

Collaborative distances:

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

2006

Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme: eine Adaption der Refactoring-Technik auf gezeitete Modelle unter Verwendung eines formalen Verhaltensäquivalenzbegriffs.

Alexander Karl Wißpeintner

PhD thesis, 2006

2005

Checking and Transforming Models with AutoFOCUS.

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus.

Bernhard Schätz, Markus Pister, Alexander K. Wißpeintner

Softwaretechnik-Trends, 2004

2003

Consistency in Model-Based Development.

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002

Secure systems development based on the common criteria: the PalME project.

Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

2001

Extended Description Techniques for Security Engineering.

Guido Wimmel, Alexander K. Wißpeintner

Proceedings of the Trusted Information: The New Decade Challenge, 2001

2000

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.

Alexander K. Wißpeintner, Franz Huber, Jan Philipps

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