Alexander K. Wißpeintner

AllImages Shopping News Maps Videos Books

Alexander Wisspeintner's research works | Technische Universität ...

www.researchgate.net › Alexander-Wissp...

Alexander Wisspeintner's 12 research works with 139 citations, including: Checking and Transforming Models with AutoFOCUS.

Alexander K. Wißpeintner - DBLP

dblp.org › Persons

Apr 25, 2024 · List of computer science publications by Alexander K. Wißpeintner.

[PDF] From UML to ANSI-C - An Eclipse-Based Code Generation ...

www.semanticscholar.org › paper › Fro...

SchätzTobias Hain +5 authors. Alexander K. Wißpeintner. Engineering, Computer Science. 2003. TLDR. It is shown how eight different CASE tools for embedded ...

[PDF] A Study Using the Model Checking Framework MIC

wwwbroy.in.tum.de › publ › WHP00

[16] Alexander K. Wißpeintner. Model-Checking Strategien mit MIC. Master's thesis, Tech- nische Universität München, November 1999.

[PDF] Diagnosis and handling of inconsistencies in heterogeneous ...

www.semanticscholar.org › paper › Diag...

HuberAlexander K. Wißpeintner. Computer Science, Engineering. 10th IEEE International Conference and Workshop… 2003. TLDR. Development of complex software ...

[PDF] Model Checking and Random Competition – A Study ... - CiteSeerX

citeseerx.ist.psu.edu › document

... Aided Verification, 1997. [16] Alexander K. Wißpeintner. Model-Checking Strategien mit MIC. Master's thesis, Tech- nische Universität München, November 1999.

Consistency in Model-Based Development. - BibBase

bibbase.org › network › publication › sc...

Consistency in Model-Based Development. Schätz, B., Braun, P., Huber, F., & Wißpeintner, A. K. In ECBS, pages 287-296, 2003. IEEE Computer Society.

Checking and Transforming Models with AutoFOCUS. - dblp

dblp.uni-trier.de › ecbs › SchatzBHW05

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314.

Monika Vetterling - dblp

dblp.org › Persons

Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner: Secure systems development based on the common criteria: the PalME project.

Towards Development of Secure Systems Using UMLsec ...

www.connectedpapers.com › main › graph

Guido Wimmel, Alexander K. Wißpeintner. 2001, IFIP International Information Security Conference. Software engineering for security: a roadmap. Premkumar T ...