Alexander Knapp
发表
Nora Koch,
Alexander Knapp,
Geri Georg,
2012,
MDsec '12.
María Victoria Cengarle,
Alexander Knapp,
2002,
FME.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2016,
Lecture Notes in Computer Science.
Alexander Knapp,
Moritz Hammer,
2010,
Electron. Notes Theor. Comput. Sci..
Julien DeAntoni,
Jeffrey G. Gray,
Moussa Amrani,
2016,
GEMOC@MoDELS.
Martin Wirsing,
Bernhard Reus,
Alexander Knapp,
1999
.
Alexander Knapp,
André Reichstaller,
Alexander Knapp,
2016,
2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Martin Wirsing,
Alexander Knapp,
Alexander Knapp,
2001,
Softwaretechnik-Trends.
Alexander Knapp,
Alexander Knapp,
Alexander M. Knapp,
2017
.
Alexander Knapp,
Rolf Hennicker,
Hubert Baumeister,
2004,
OCL 2.0 @ UML.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2008,
Web Engineering.
Stephan Merz,
Alexander Knapp,
Christopher Rauh,
2002,
FTRTFT.
Alexander Knapp,
Alexandre Madeira,
Rolf Hennicker,
2019,
FASE.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2004,
AMAST.
Alexander Knapp,
André Reichstaller,
Alexander Knapp,
2018,
2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Martin Gogolla,
Jordi Cabot,
Frédéric Jouault,
2009,
MODELS'09.
Alexander Knapp,
Gefei Zhang,
2006,
Modellierung.
Alexander Knapp,
Wolfgang Reif,
Michael Balser,
2004,
ICFEM.
Martin Wirsing,
Alexander Knapp,
2002,
RISSEF.
Andrew Fish,
Alexander Knapp,
2007
.
Martin Wirsing,
Alexander Knapp,
Hubert Baumeister,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Alexander Knapp,
Wolfgang Reif,
Hella Seebach,
2018
.
Alexander Knapp,
Victoria Cengarle,
Alexander Knapp,
2008
.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2014
.
Alexander Knapp,
Wolfgang Reif,
Hella Seebach,
2018
.
Alexander Knapp,
Wolfgang Reif,
Axel Habermaier,
2016,
FMICS-AVoCS.
Artur Boronat,
José Meseguer,
Martin Wirsing,
2008,
WADT.
Till Mossakowski,
Alexander Knapp,
2018,
Graph Transformation, Specifications, and Nets.
Martin Wirsing,
Bernhard Reus,
Alexander Knapp,
1997,
AMAST.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2006,
FORTE.
Lenz Belzner,
Thomas Bauernhansl,
Alexander Knapp,
2018,
2018 29th Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC).
Alexander Knapp,
Alexander Knapp,
2001,
Softwaretechnik-Trends.
Alexander Knapp,
1999,
UML.
Markus Roggenbach,
Holger Schlingloff,
Alexander Knapp,
2015,
Int. J. Softw. Informatics.
Regina Hebig,
Alexander Knapp,
Harald Störrle,
2014
.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2005,
ICWE.
Andrew Fish,
Harald Störrle,
Alexander Knapp,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Alexander Knapp,
Kilian Telschig,
2019,
2019 IEEE 17th International Conference on Industrial Informatics (INDIN).
Alexander Knapp,
Alexandre Madeira,
Rolf Hennicker,
2019,
DaLí.
Alexander Knapp,
Wolfgang Reif,
Alexander Schiendorfer,
2018,
Constraints.
Alexander Knapp,
Norman Solomon,
Stanley Henig,
2016
.
Harald Störrle,
Alexander Knapp,
Alexander Knapp,
2016,
MoDeVVa@MoDELS.
Alexander Knapp,
Rolf Hennicker,
Stephan Janisch,
2007
.
Nora Koch,
Marianne Busch,
Alexander Knapp,
2011,
BIR.
Markus Roggenbach,
Holger Schlingloff,
Alexander Knapp,
2014,
SPLC.
Martin Wirsing,
Alexander Knapp,
Artur Zawlocki,
2010,
SAC '10.
Alexander Knapp,
Rolf Hennicker,
2011,
ICTAC.
Alexander Knapp,
Wolfgang Reif,
André Reichstaller,
2016,
ICTSS.
Nora Koch,
Alexander Knapp,
Sergej Kozuruba,
2012,
ICWE.
Allan Clark,
Stephen Gilmore,
Martin Wirsing,
2007,
CoCoME.
Alexander Knapp,
Axel Habermaier,
Alexander Knapp,
2012,
ESOP.
Christoph Elsner,
Alexander Knapp,
Klaus-Benedikt Schultis,
2016,
2016 1st International Workshop on Decision Making in Software ARCHitecture (MARCH).
Martin Wirsing,
Alexander Knapp,
Rolf Hennicker,
2006,
Electron. Notes Theor. Comput. Sci..
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Martin Wirsing,
Alexander Knapp,
Axel Rauschmayer,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
María Victoria Cengarle,
Alexander Knapp,
2018,
WADT.
Martin Wirsing,
Alexander Knapp,
Axel Rauschmayer,
2004
.
Martin Wirsing,
Bernhard Reus,
Alexander Knapp,
1999,
Formal Syntax and Semantics of Java.
María Victoria Cengarle,
Martin Wirsing,
Alexander Knapp,
2008,
Concurrency, Graphs and Models.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Alexander Knapp,
Kilian Telschig,
Andreas Schonberger,
2018,
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE).
Andrew Fish,
Alexander Knapp,
H. Stoerrie,
2007
.
Alexander Knapp,
Wolfgang Reif,
Axel Habermaier,
2017,
International Journal on Software Tools for Technology Transfer.
Alexander Knapp,
Rolf Hennicker,
2007,
FASE.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2005,
ICWE.
Antonio Vallecillo,
Gerti Kappel,
Werner Retschitzegger,
2007,
MDWE.
Alexander Knapp,
Wolfgang Reif,
Alexander Schiendorfer,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Alexander Knapp,
Pietro Cenciarelli,
Eleonora Sibilio,
2007,
ESOP.
Marco Kuhrmann,
Alexander Knapp,
Daniel Méndez Fernández,
2013,
PROFES.
Alexander Knapp,
Rolf Hennicker,
Stephan Janisch,
2008,
Monterey Workshop.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2006,
Theor. Comput. Sci..
Andrew Fish,
Alexander Knapp,
2007,
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007).
Alexander Knapp,
Wolfgang Reif,
Gerrit Anders,
2013,
Software Engineering for Self-Adaptive Systems.
Martin Wirsing,
Alexander Knapp,
Rolf Hennicker,
2014,
FPS@ETAPS.
Martin Wirsing,
Alexander Knapp,
Rolf Hennicker,
2001,
GI Jahrestagung.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2014,
FASE.
Harald Störrle,
Alexander Knapp,
2014,
SAM.
Alexander Knapp,
Maŕıa Victoria Cengarle,
2001
.
Maximilian Junker,
Alexander Knapp,
Ralf Huuck,
2012,
ICFEM.
Stephan Merz,
Alexander Knapp,
Moritz Hammer,
2005,
TACAS.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2005
.
Alexander Knapp,
2000
.
Alexander Knapp,
André Reichstaller,
Alexander Knapp,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).
María Victoria Cengarle,
Alexander Knapp,
M. V. Cengarle,
2004,
Software & Systems Modeling.
Alexander Knapp,
Kilian Telschig,
2019,
2019 IEEE International Conference on Software Architecture (ICSA).
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2004,
UML.
Alexander Knapp,
A. Knapp,
2000,
Ausgezeichnete Informatikdissertationen.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2003
.
María Victoria Cengarle,
Alexander Knapp,
2001,
UML.
Regina Hebig,
Harald Störrle,
Alexander Knapp,
2014,
PSRC@MoDELs.
Stephan Merz,
Alexander Knapp,
2002
.
Till Mossakowski,
Alexander Knapp,
T. Mossakowski,
2016,
ArXiv.
Alexander Knapp,
Jochen Wuttke,
Alexander Knapp,
2006,
MoDELS'06.
Nora Koch,
Alexander Knapp,
Gefei Zhang,
2004,
ICWE.
Alexander Knapp,
Matthias P. Krieger,
2008,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
María Victoria Cengarle,
Alexander Knapp,
M. V. Cengarle,
2015,
Software, Services, and Systems.
Nora Koch,
Alexander Knapp,
Christian Kroiss,
2009,
ICWE.
Harald Störrle,
Alexander Knapp,
Alexander Knapp,
2005,
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).
Till Mossakowski,
Alexander Knapp,
2017,
CALCO.
Stephan Merz,
Alexander Knapp,
Timm Schäfer,
2001,
Workshop on Software Model Checking @ CAV.
María Victoria Cengarle,
Alexander Knapp,
M. V. Cengarle,
2008
.
Martin Gogolla,
Jordi Cabot,
Frédéric Jouault,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Alexander Knapp,
Thomas Gabor,
André Reichstaller,
2018,
ISoLA.
Alexander Knapp,
Michael N. Barth,
2004,
IASTED Conf. on Software Engineering.
Alexander Knapp,
Wolfgang Reif,
Alexander Schiendorfer,
2015,
Software, Services, and Systems.
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -
pdf
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2015,
Software, Services, and Systems.
Martin Wirsing,
Bernhard Reus,
Alexander Knapp,
1997,
WADT.
Alexander Knapp,
Wolfgang Reif,
Michael Balser,
2004
.
Alexander Knapp,
Gefei Zhang,
Matthias M. Hölzl,
2010,
LNCS Trans. Aspect Oriented Softw. Dev..
Alexander Knapp,
Vitalian A. Danciu,
2013,
Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013).
Alexander Knapp,
Wolfgang Reif,
Hella Seebach,
2014,
ICTSS.
Andreas Turk,
Herbert Stoyan,
Nora Koch,
1997,
IDMS.
Alexander Knapp,
Rolf Hennicker,
2015,
Acta Informatica.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2001
.
Marco Kuhrmann,
Alexander Knapp,
Georg Kalus,
2013,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Alexander Knapp,
André Reichstaller,
Alexander Knapp,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Alexander Knapp,
Wolfgang Reif,
Alexander Schiendorfer,
2013,
SGAI Conf..
Alexander Knapp,
Gefei Zhang,
Matthias M. Hölzl,
2007,
MODELS'07.
Nora Koch,
Alexander Knapp,
Andreas Kraus,
2007,
MDWE.
Burkhart Wolff,
Alexander Knapp,
Matthias P. Krieger,
2010,
GPCE '10.
Alexander Knapp,
Rolf Hennicker,
Stephan Janisch,
2010,
Electron. Notes Theor. Comput. Sci..
Alexander Knapp,
Michel Bidoit,
Rolf Hennicker,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2012,
WADT.
Alexander Knapp,
Wolfgang Reif,
André Reichstaller,
2018,
2018 IEEE/ACM 13th International Workshop on Automation of Software Test (AST).
Alexander Knapp,
Kilian Telschig,
2017,
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Marco Kuhrmann,
Alexander Knapp,
Oliver Linssen,
2013,
Software Engineering.
Alexander Knapp,
Alexandre Madeira,
Rolf Hennicker,
2021,
Formal Aspects Comput..
Martin Wirsing,
Alexander Knapp,
Axel Rauschmayer,
2003
.
Alexander Knapp,
Alexander Schiendorfer,
Alexander Knapp,
2014
.
Alexander Knapp,
Maŕıa Victoria Cengarle,
2005
.
Stephan Merz,
Martin Wirsing,
Alexander Knapp,
2004
.
Alexander Knapp,
Maŕıa Victoria Cengarle,
2004
.