Alexander Knapp

	2012
61		Axel Habermaier, Alexander Knapp: On the Correctness of the SIMT Execution Model of GPUs. ESOP 2012: 316-335
	2011
60		Marianne Busch, Alexander Knapp, Nora Koch: Modeling Secure Navigation in Web Information Systems. BIR 2011: 239-253
59		Rolf Hennicker, Alexander Knapp: Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153
	2010
58		Matthias P. Krieger, Alexander Knapp, Burkhart Wolff: Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62
57		Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki: A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484
56		Rolf Hennicker, Stephan Janisch, Alexander Knapp: On the Observable Behaviour of Composite Components. Electr. Notes Theor. Comput. Sci. 260: 125-153 (2010)
55		Moritz Hammer, Alexander Knapp: Correct Execution of Reconfiguration for Stateful Components. Electr. Notes Theor. Comput. Sci. 260: 91-108 (2010)
54		Matthias M. Hölzl, Alexander Knapp, Gefei Zhang: Modeling the Car Crash Crisis Management System Using HiLA. T. Aspect-Oriented Software Development 7: 234-271 (2010)
	2009
53		Christian Kroiss, Nora Koch, Alexander Knapp: UWE4JSF: A Model-Driven Generation Approach for Web Applications. ICWE 2009: 493-496
52		Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp: Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS Workshops 2009: 256-260
51		Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp: Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. ECEASST 24: (2009)
	2008
50		María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
49		Rolf Hennicker, Stephan Janisch, Alexander Knapp: Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180
48		Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87
47		Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister: Uml-Based Web Engineering - An Approach Based on Standards. Web Engineering 2008: 157-191
46		Matthias P. Krieger, Alexander Knapp: Executing Underspecified OCL Operation Contracts with a SAT Solver. ECEASST 15: (2008)
	2007
45		Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing: Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237
44		Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio: The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP 2007: 331-346
43		Rolf Hennicker, Alexander Knapp: Activity-Driven Synthesis of State Machines. FASE 2007: 87-101
42		Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigós, Jaime Gómez, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José Eduardo Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang: MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. MDWE 2007
41		Andreas Kraus, Alexander Knapp, Nora Koch: Model-Driven Generation of Web Applications in UWE. MDWE 2007
40		Gefei Zhang, Matthias M. Hölzl, Alexander Knapp: Enhancing UML State Machines with Aspects. MoDELS 2007: 529-543
39		Andrew Fish, Alexander Knapp: Layout of (Software) Engineering Diagrams. VL/HCC 2007: 4
38		Andrew Fish, Alexander Knapp, Harald Störrle: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. ECEASST 7: (2007)
37		Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang: UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007)
	2006
36		Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder: Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45
35		Alexander Knapp, Jochen Wuttke: Model Checking of UML 2.0 Interactions. MoDELS Workshops 2006: 42-51
34		Alexander Knapp, Gefei Zhang: Model Transformations for Integrating and Validating Web Application Models. Modellierung 2006: 115-128
33		Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)
32		Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe: Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006)
	2005
31		Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang: Modelling Adaptivity with Aspects. ICWE 2005: 406-416
30		Alexander Knapp, Nora Koch, Gefei Zhang: Modelling the Behaviour of Web Applications with ArgoUWE. ICWE 2005: 624-626
29		Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-the-Fly LTL Model Checking. TACAS 2005: 191-205
28		Alexander Knapp, Harald Störrle: Unified Modeling Language 2.0. VL/HCC 2005: 9
27		Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-The-Fly LTL Model Checking CoRR abs/cs/0511061: (2005)
	2004
26		Martin Wirsing, Alexander Knapp, Simonetta Balsamo: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers Springer 2004
25		Alexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288
24		Axel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247
23		Michael N. Barth, Alexander Knapp: A coordination architecture for time-dependent components. IASTED Conf. on Software Engineering 2004: 6-11
22		Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448
21		Alexander Knapp, Nora Koch, Gefei Zhang: Modeling the Structure of Web Applications with ArgoUWE. ICWE 2004: 615-616
20		Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217
19		Hubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102
18		Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler: Modeling Business Processes in Web Applications with ArgoUWE. UML 2004: 69-83
17		Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Semantics of OCL Operation Specifications. Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004)
16		María Victoria Cengarle, Alexander Knapp: OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Software and System Modeling 3(1): 9-30 (2004)
	2002
15		María Victoria Cengarle, Alexander Knapp: Towards OCL/RT. FME 2002: 390-409
14		Alexander Knapp, Stephan Merz, Christopher Rauh: Model Checking - Timed UML State Machines and Collaborations. FTRTFT 2002: 395-416
13		Martin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357
12		Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)
	2001
11		Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607
10		María Victoria Cengarle, Alexander Knapp: A Formal Semantics for OCL 1.4. UML 2001: 118-133
9		Timm Schäfer, Alexander Knapp, Stephan Merz: Model checking UML state machines and collaborations. Electr. Notes Theor. Comput. Sci. 55(3): 357-369 (2001)
8		Alexander Knapp: A formal approach to object-oriented software engineering. Softwaretechnik-Trends 21(3): (2001)
	2000
7		Alexander Knapp: A formal approach to object-oriented software engineering. Universität München 2000: I-X, 1-180
	1999
6		Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200
5		Alexander Knapp: A Formal Semantics for UML Interactions. UML 1999: 116-130
	1997
4		Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90
3		Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, M. Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk: EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209
2		Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
	1996
1		Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: 322-360 (1996)

Coauthor Index

1	Simonetta Balsamo	[26]
2	Michael Balser	[22]
3	Michael N. Barth	[23]
4	Hubert Baumeister	[11] [17] [19] [20] [31] [33] [45] [47]
5	Simon Bäumler	[22]
6	Michel Bidoit	[20]
7	Artur Boronat	[48]
8	Marianne Busch	[60]
9	Jordi Cabot	[51] [52]
10	Cristina Cachero (Cristina Cachero Castro)	[42]
11	Pietro Cenciarelli	[2] [4] [6] [44]
12	María Victoria Cengarle	[10] [15] [16] [50]
13	Joanna Chimiak-Opoka (Joanna Dobroslawa Chimiak-Opoka)	[51] [52]
14	Allan Clark	[36] [45]
15	Patrick Closhen	[3]
16	Sara Comai	[42]
17	J. Duckeck	[3]
18	Andrew Fish	[38] [39]
19	Piero Fraternali	[42]
20	M. Frisch	[3]
21	Hartmut Fritzsche	[3]
22	Bernd Gaede	[3]
23	Irene Garrigós	[42]
24	Stephen Gilmore (Stephen T. Gilmore)	[36] [45]
25	Martin Gogolla	[51] [52]
26	Jaime Gómez	[42]
27	Axel Habermaier	[61]
28	Florian Hacklinger	[33] [45]
29	Moritz Hammer	[27] [29] [55]
30	Hanns-Martin Hassler	[18]
31	Rolf Hennicker	[11] [17] [20] [33] [43] [45] [49] [56] [59]
32	Hans-Jürgen Hoffmann	[3]
33	Matthias M. Hölzl	[36] [40] [54]
34	Stephan Janisch	[45] [49] [56]
35	Frédéric Jouault	[51] [52]
36	Gerti Kappel	[42]
37	Nora Koch	[3] [18] [21] [30] [31] [36] [37] [41] [42] [47] [53] [60]
38	Andreas Kraus	[41]
39	Matthias P. Krieger	[46] [58]
40	Christian Kroiss	[53]
41	Rainer Lutze	[3]
42	Grzegorz Marczynski	[57]
43	Maristella Matera	[42]
44	Santiago Meliá (Santiago Meliá Beigbeder)	[42]
45	Stephan Merz	[9] [14] [25] [27] [29] [32]
46	José Meseguer	[48]
47	Nathalie Moreno (Nathalie Moreno Vergara)	[42]
48	Birgit Pröll	[42]
49	Christopher Rauh	[14]
50	Axel Rauschmayer	[24]
51	Wolfgang Reif	[22]
52	Thomas Reiter	[42]
53	Werner Retschitzegger	[42]
54	Bernhard Reus	[2] [4] [6]
55	José Eduardo Rivera	[42]
56	Timm Schäfer	[9]
57	Andrea Schauerhuber	[42]
58	Josef Schneeberger	[3]
59	Andreas Schroeder	[36]
60	Wieland Schwinger	[42]
61	Eleonora Sibilio	[44]
62	Harald Störrle	[28] [38]
63	Herbert Stoyan	[3]
64	Andrzej Tarlecki	[50]
65	Andreas Thums	[22]
66	D. Timm	[3]
67	Andreas Turk	[3]
68	Antonio Vallecillo (Antonio Vallecillo Moreno)	[42]
69	Manuel Wimmer	[42]
70	Martin Wirsing	[1] [2] [3] [4] [6] [11] [12] [13] [19] [24] [25] [26] [32] [33] [36] [37] [45] [48] [50] [57]
71	Burkhart Wolff	[58]
72	Jochen Wuttke	[35]
73	Júlia Zappe	[32]
74	Artur Zawlocki	[57]
75	Gefei Zhang	[18] [21] [30] [31] [34] [37] [40] [42] [47] [54]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page