×

zbMATH — the first resource for mathematics

Knapp, Alexander

Compute Distance To:
Author ID: knapp.alexander Recent zbMATH articles by "Knapp, Alexander"
Published as: Knapp, Alexander
Documents Indexed: 25 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 55 times in 34 Documents Cited by Year
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
A formal approach to object-oriented software engineering. Zbl 1001.68024
Wirsing, Martin; Knapp, Alexander
11
2002
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
Modal interface theories for communication-safe component assemblies. Zbl 1350.68182
Hennicker, Rolf; Knapp, Alexander
4
2011
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
4
2006
Truly on-the-fly LTL model checking. Zbl 1087.68591
Hammer, Moritz; Knapp, Alexander; Merz, Stephan
4
2005
Moving from interface theories to assembly theories. Zbl 1309.68047
Hennicker, Rolf; Knapp, Alexander
2
2015
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2013
The Java memory model: operationally, denotationally, axiomatically. Zbl 1187.68114
Cenciarelli, Pietro; Knapp, Alexander; Sibilio, Eleonora
2
2007
A formal approach to object-oriented software engineering. Zbl 0972.68512
Knapp, Alexander
2
2001
Institutions for OCL-like expression languages. Zbl 1453.68106
Knapp, Alexander; Cengarle, María Victoria
1
2015
On the correctness of the SIMT execution model of GPUs. Zbl 1352.68028
Habermaier, Axel; Knapp, Alexander
1
2012
Moving from interface theories to assembly theories. Zbl 1309.68047
Hennicker, Rolf; Knapp, Alexander
2
2015
Institutions for OCL-like expression languages. Zbl 1453.68106
Knapp, Alexander; Cengarle, María Victoria
1
2015
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2013
On the correctness of the SIMT execution model of GPUs. Zbl 1352.68028
Habermaier, Axel; Knapp, Alexander
1
2012
Modal interface theories for communication-safe component assemblies. Zbl 1350.68182
Hennicker, Rolf; Knapp, Alexander
4
2011
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
The Java memory model: operationally, denotationally, axiomatically. Zbl 1187.68114
Cenciarelli, Pietro; Knapp, Alexander; Sibilio, Eleonora
2
2007
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
4
2006
Truly on-the-fly LTL model checking. Zbl 1087.68591
Hammer, Moritz; Knapp, Alexander; Merz, Stephan
4
2005
A formal approach to object-oriented software engineering. Zbl 1001.68024
Wirsing, Martin; Knapp, Alexander
11
2002
A formal approach to object-oriented software engineering. Zbl 0972.68512
Knapp, Alexander
2
2001

Citations by Year