Publikationen

Alexander Knapp
2020 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996

2020

Alexander Knapp and Markus Roggenbach. in press. Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99). DOI: 10.1007/s00165-020-00510-7
PDF | BibTeX | RIS | DOI

2018

Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp and Wolfgang Reif. 2018. Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems.
BibTeX | RIS | URL

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp and Wolfgang Reif. 2018. An approach for isolated testing of self-organization algorithms. DOI: 10.1007/978-3-319-74183-3_7
BibTeX | RIS | DOI

André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2018. Applying deep learning for imitating adaptive agent behavior in statistical software testing.
BibTeX | RIS | URL

Alexander Schiendorfer, Alexander Knapp, Gerrit Anders and Wolfgang Reif. 2018. MiniBrass: soft constraints for MiniZinc. DOI: 10.1007/s10601-018-9289-2
BibTeX | RIS | DOI

Johannes Leupolz, Alexander Knapp, Axel Habermaier and Wolfgang Reif. 2018. Qualitative and quantitative analysis of safety-critical systems with. DOI: 10.1007/s10009-017-0464-3
BibTeX | RIS | DOI

2016

Axel Habermaier, Alexander Knapp, Johannes Leupolz and Wolfgang Reif. 2016. Fault-aware modeling and specification for efficient formal safety analysis. DOI: 10.1007/978-3-319-45943-1_7
BibTeX | RIS | DOI

2015

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. 2015. An Institution for Simple UML State Machines. DOI: 10.1007/978-3-662-46675-9_1
BibTeX | RIS | DOI

Alexander Knapp and María Victoria Cengarle. 2015. Institutions for OCL-Like Expression Languages. DOI: 10.1007/978-3-319-15545-6_14
BibTeX | RIS | DOI

Rolf Hennicker and Alexander Knapp. 2015. Moving from interface theories to assembly theories. DOI: 10.1007/s00236-015-0220-7
BibTeX | RIS | DOI

Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. Partial valuation structures for qualitative soft constraints. DOI: 10.1007/978-3-319-15545-6_10
BibTeX | RIS | DOI

Alexander Knapp, Till Mossakowski and Markus Roggenbach. 2015. Towards an Institutional Framework for Heterogeneous Formal Development in UML: A Position Paper. DOI: 10.1007/978-3-319-15545-6_15
BibTeX | RIS | DOI

2014

Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2014. Assembly Theories for Communication-Safe Component Systems. DOI: 10.1007/978-3-642-54848-2_10
BibTeX | RIS | DOI

Alexander Knapp and Harald Störrle. 2014. Efficient Representation of Timed UML 2 Interactions. DOI: 10.1007/978-3-319-11743-0_8
BibTeX | RIS | DOI

Alexander Knapp and Alexander Schiendorfer. 2014. Embedding constraint relationships into C-semirings.
PDF | BibTeX | RIS

Alexander Knapp, Markus Roggenbach and Bernd-Holger Schlingloff. 2014. On the use of test cases in model-based software product line development. DOI: 10.1145/2648511.2648539
BibTeX | RIS | DOI

Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. 2014. Quality over quantity in soft constraints. DOI: 10.1109/ictai.2014.75
BibTeX | RIS | DOI

Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2014. Towards testing self-organizing, adaptive systems. DOI: 10.1007/978-3-662-44857-1_13
BibTeX | RIS | DOI

2013

Vitalian A. Danciu and Alexander Knapp. 2013. Adapting applications to exploit virtualization management knowledge. DOI: 10.1109/cnsm.2013.6727858
BibTeX | RIS | DOI

Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz and Wolfgang Reif. 2013. Constraint relationships for soft constraints. DOI: 10.1007/978-3-319-02621-3_17
BibTeX | RIS | DOI

Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen and Alexander Knapp. 2013. Modellierung von Vorgehensmodellen – Paradigmen, Sprachen, Tools.
BibTeX | RIS

Marco Kuhrmann, Georg Kalus and Alexander Knapp. 2013. Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. DOI: 10.18417/emisa.8.1.4
PDF | BibTeX | RIS | DOI

Marco Kuhrmann, Daniel Méndez Fernández and Alexander Knapp. 2013. Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption. DOI: 10.1007/978-3-642-39259-7_13
BibTeX | RIS | DOI

2012

Nora Koch, Alexander Knapp and Sergej Kozuruba. 2012. Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. DOI: 10.1007/978-3-642-31753-8_16
BibTeX | RIS | DOI

G. Roeder, A. Mattes, M. Pfeffer, M. Schellenberger, L. Pfitzner, Alexander Knapp, H. Muhlberger, A. Kyek, B. Lenz, M. Frisch, J. Bichlmeier, G. Leditzky, E. Lind, S. Zoia and G. Fazio. 2012. Framework for integration of virtual metrology and predictive maintenance. DOI: 10.1109/asmc.2012.6212913
BibTeX | RIS | DOI

Axel Habermaier and Alexander Knapp. 2012. On the Correctness of the SIMT Execution Model of GPUs. DOI: 10.1007/978-3-642-28869-2_16
BibTeX | RIS | DOI

Axel Habermaier and Alexander Knapp. 2012. On the Correctness of the SIMT Execution Model of GPUs.
PDF | BibTeX | RIS

Maximilian Junker, Ralf Huuck, Ansgar Fehnker and Alexander Knapp. 2012. SMT-Based False Positive Elimination in Static Program Analysis. DOI: 10.1007/978-3-642-34281-3_23
BibTeX | RIS | DOI

2011

Matthias P. Krieger, Alexander Knapp and Burkhart Wolff. 2011. Automatic and efficient simulation of operation contracts. DOI: 10.1145/1942788.1868303
BibTeX | RIS | DOI

M. Schellenberger, Georg Roeder, Andreas Mattes, Markus Pfeffer, Lothar Pfitzner, Alexander Knapp, H. Mühlberger, Josef Bichlmeier, Christian Valeanu, Andreas Kyek, Benjamin Lenz, Markus Frisch and Günther Leditzky. 2011. Developing a Framework for Virtual Metrology and Predictive Maintenance.
BibTeX | RIS

Rolf Hennicker and Alexander Knapp. 2011. Modal Interface Theories for Communication-Safe Component Assemblies. DOI: 10.1007/978-3-642-23283-1_11
BibTeX | RIS | DOI

Marianne Busch, Alexander Knapp and Nora Koch. 2011. Modeling Secure Navigation in Web Information Systems. DOI: 10.1007/978-3-642-24511-4_19
BibTeX | RIS | DOI

2010

Alexander Knapp, Grzegorz Marczyński, Martin Wirsing and Artur Zawłocki. 2010. A heterogeneous approach to service-oriented systems specification. DOI: 10.1145/1774088.1774600
BibTeX | RIS | DOI

Moritz Hammer and Alexander Knapp. 2010. Correct Execution of Reconfiguration for Stateful Components. DOI: 10.1016/j.entcs.2009.12.033
PDF | BibTeX | RIS | DOI

Matthias Hölzl, Alexander Knapp and Gefei Zhang. 2010. Modeling the Car Crash Crisis Management System Using HiLA. DOI: 10.1007/978-3-642-16086-8_7
BibTeX | RIS | DOI

Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. On the Observable Behaviour of Composite Components. DOI: 10.1016/j.entcs.2009.12.035
PDF | BibTeX | RIS | DOI

Rolf Hennicker, Stephan Janisch and Alexander Knapp. 2010. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. DOI: 10.1007/978-3-642-12566-9_9
BibTeX | RIS | DOI

2009

María Victoria Cengarle, Alexander Knapp and Heribert Mühlberger. 2009. Interactions. DOI: 10.1002/9780470522622.ch9
BibTeX | RIS | DOI | URL

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault and Alexander Knapp. 2009. Preface: The Pragmatics of OCL and Other Textual Specification Languages 2009. DOI: 10.14279/tuj.eceasst.24.342.326
PDF | BibTeX | RIS | DOI

Christian Kroiss, Nora Koch and Alexander Knapp. 2009. UWE4JSF: A Model-Driven Generation Approach for Web Applications. DOI: 10.1007/978-3-642-02818-2_46
BibTeX | RIS | DOI

Artur Boronat, Alexander Knapp, José Meseguer and Martin Wirsing. 2009. What Is a Multi-modeling Language?. DOI: 10.1007/978-3-642-03429-9_6
BibTeX | RIS | DOI

2008

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki and Martin Wirsing. 2008. A Heterogeneous Approach to UML Semantics. DOI: 10.1007/978-3-540-68679-8_23
BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2008. An institution for UML 2.0 interactions.

Matthias P. Krieger and Alexander Knapp. 2008. Executing Underspecified OCL Operation Contracts with a SAT Solver. DOI: 10.14279/tuj.eceasst.15.176.173
PDF | BibTeX | RIS | DOI

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister and Martin Wirsing. 2008. Modelling the CoCoME with the Java/A Component Model. DOI: 10.1007/978-3-540-85289-6_9
BibTeX | RIS | DOI

2007

Rolf Hennicker and Alexander Knapp. 2007. Activity-Driven Synthesis of State Machines. DOI: 10.1007/978-3-540-71289-3_8
BibTeX | RIS | DOI

Gefei Zhang, Matthias Hölzl and Alexander Knapp. 2007. Enhancing UML State Machines with Aspects. DOI: 10.1007/978-3-540-75209-7_36
BibTeX | RIS | DOI

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é E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer and Gefei Zhang. 2007. MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
BibTeX | RIS | URL

Alexander Knapp and Jochen Wuttke. 2007. Model Checking of UML 2.0 Interactions. DOI: 10.1007/978-3-540-69489-2_6
BibTeX | RIS | DOI

Andreas Kraus, Alexander Knapp and Nora Koch. 2007. Model-Driven Generation of Web Applications in UWE.
BibTeX | RIS | URL

Andrew Fish, Alexander Knapp and Harald Störrle. 2007. Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. DOI: 10.14279/tuj.eceasst.7
PDF | BibTeX | RIS | DOI

Pietro Cenciarelli, Alexander Knapp and Eleonora Sibilio. 2007. The Java Memory Model: Operationally, Denotationally, Axiomatically. DOI: 10.1007/978-3-540-71316-6_23
BibTeX | RIS | DOI

Alexander Knapp, Nora Koch, Martin Wirsing and Gefei Zhang. 2007. UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications). DOI: 10.1524/icom.2007.6.3.5
BibTeX | RIS | DOI

Nora Koch, Alexander Knapp, Gefei Zhang and Hubert Baumeister. 2007. Uml-Based Web Engineering: An Approach Based on Standards. DOI: 10.1007/978-1-84628-923-1_7
BibTeX | RIS | DOI

2006

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp and Martin Wirsing. 2006. A Component Model for Architectural Programming. DOI: 10.1016/j.entcs.2006.05.015
PDF | BibTeX | RIS | DOI

Alexander Knapp and Gefei Zhang. 2006. Model Transformations for Integrating and Validating Web Application Models.
BibTeX | RIS | URL

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch and Andreas Schroeder. 2006. Semantic-Based Development of Service-Oriented Systems. DOI: 10.1007/11888116_3
BibTeX | RIS | DOI

Alexander Knapp, Stephan Merz, Martin Wirsing and Júlia Zappe. 2006. Specification and refinement of mobile systems in MTLA and mobile UML. DOI: 10.1016/j.tcs.2005.09.067
BibTeX | RIS | DOI

2005

Gefei Zhang, Hubert Baumeister, Nora Koch and Alexander Knapp. 2005. Aspect-Oriented Modeling of Access Control in Web Applications.
BibTeX | RIS | URL

Hubert Baumeister, Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling Adaptivity with Aspects. DOI: 10.1007/11531371_53
BibTeX | RIS | DOI

Alexander Knapp, Nora Koch and Gefei Zhang. 2005. Modelling the Behaviour of Web Applications with ArgoUWE. DOI: 10.1007/11531371_87
BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2005. Operational Semantics of UML 2.0 Interactions.

Moritz Hammer, Alexander Knapp and Stephan Merz. 2005. Truly On-the-Fly LTL Model Checking. DOI: 10.1007/978-3-540-31980-1_13
BibTeX | RIS | DOI

2004

Michael Barth and Alexander Knapp. 2004. A Coordination Architecture for Time-Dependent Components.
BibTeX | RIS

A. Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Consistency checking in an infrastructure for large-scale generative programming. DOI: 10.1109/ase.2004.1342741
BibTeX | RIS | DOI

M. Bidoit, R. Hennicker, Alexander Knapp and H. Baumeister. 2004. Glass-box and black-box views on object-oriented specifications. DOI: 10.1109/sefm.2004.1347522
BibTeX | RIS | DOI

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif and Andreas Thums. 2004. Interactive Verification of UML State Machines. DOI: 10.1007/978-3-540-30482-1_36
BibTeX | RIS | DOI

Alexander Knapp, Nora Koch, Gefei Zhang and Hanns-Martin Hassler. 2004. Modeling Business Processes in Web Applications with ArgoUWE. DOI: 10.1007/978-3-540-30187-5_6
BibTeX | RIS | DOI

Alexander Knapp, Nora Koch and Gefei Zhang. 2004. Modeling the Structure of Web Applications with ArgoUWE. DOI: 10.1007/978-3-540-27834-4_91
BibTeX | RIS | DOI

María Victoria Cengarle and Alexander Knapp. 2004. OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. DOI: 10.1007/s10270-003-0035-9
BibTeX | RIS | DOI

H. Baumeister, Alexander Knapp and Martin Wirsing. 2004. Property-driven development. DOI: 10.1109/sefm.2004.1347507
BibTeX | RIS | DOI

Martin Wirsing, Alexander Knapp and Simonetta Balsamo (Ed.). 2004. Radical innovations of software and systems engineering in the future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002; revised papers. DOI: 10.1007/b96009
BibTeX | RIS | DOI

Alexander Knapp, Stephan Merz and Martin Wirsing. 2004. Refining Mobile UML State Machines. DOI: 10.1007/978-3-540-27815-3_23
BibTeX | RIS | DOI

Rolf Hennicker, Alexander Knapp and Hubert Baumeister. 2004. Semantics of OCL Operation Specifications. DOI: 10.1016/j.entcs.2003.09.006
PDF | BibTeX | RIS | DOI

Alexander Knapp. 2004. Semantics of UML State Machines.

Axel Rauschmayer, Alexander Knapp and Martin Wirsing. 2004. Type-Checking AHEAD.

María Victoria Cengarle and Alexander Knapp. 2004. UML 2.0 Interactions: Semantics and Refinement.
BibTeX | RIS | URL

Martin Wirsing and Alexander Knapp. 2004. View Consistency in Software Development. DOI: 10.1007/978-3-540-24626-8_24
BibTeX | RIS | DOI

2003

Alexander Knapp, Nora Koch, Flavia Moser and Gefei Zhang. 2003. ArgoUWE: A CASE Tool for Web Applications.
BibTeX | RIS | URL

2002

Martin Wirsing and Alexander Knapp. 2002. A formal approach to object-oriented software engineering. DOI: 10.1016/s0304-3975(01)00367-x
BibTeX | RIS | DOI

Alexander Knapp, Stephan Merz and Christopher Rauh. 2002. Model Checking Timed UML State Machines and Collaborations. DOI: 10.1007/3-540-45739-9_23
BibTeX | RIS | DOI

Alexander Knapp and Stephan Merz. 2002. Model Checking and Code Generation for UML State Machines and Collaborations.
BibTeX | RIS | URL

María Victoria Cengarle and Alexander Knapp. 2002. Towards OCL/RT. DOI: 10.1007/3-540-45614-7_22
BibTeX | RIS | DOI

2001

María Victoria Cengarle and Alexander Knapp. 2001. A Formal Semantics for OCL 1.4. DOI: 10.1007/3-540-45441-1_10
BibTeX | RIS | DOI

Timm Schäfer, Alexander Knapp and Stephan Merz. 2001. Model Checking UML State Machines and Collaborations. DOI: 10.1016/s1571-0661(04)00262-2
PDF | BibTeX | RIS | DOI

Hubert Baumeister, Rolf Henniker, Alexander Knapp and Martin Wirsing. 2001. OCL component invariants.
BibTeX | RIS | URL

María Victoria Cengarle and Alexander Knapp. 2001. On the Expressive Power of Pure OCL.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp and Martin Wirsing. 2001. Specifying Component Invariants with OCL.
BibTeX | RIS | URL

Alexander Knapp. 2001. fOOSE - eine integrierte formale Softwareentwicklungsmethode.
BibTeX | RIS | URL

2000

2000. Dynamic Behaviour in UML Models: Semantic Questions; Workshop Proceedings.

Alexander Knapp. 2000. Generating Rewrite Theories from UML Collaborations. DOI: 10.1016/b978-044450556-9/50065-4
BibTeX | RIS | DOI

1999

Alexander Knapp. 1999. A Formal Semantics for UML Interactions. DOI: 10.1007/3-540-46852-8_9
BibTeX | RIS | DOI

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1999. An Event-Based Structural Operational Semantics of Multi-threaded Java. DOI: 10.1007/3-540-48737-9_5
BibTeX | RIS | DOI

1998

Alexander Knapp. 1998. Case Studies With CafeOBJ.
BibTeX | RIS | URL

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli and Martin Wirsing. 1998. Verifying a compiler optimization for multi-threaded Java. DOI: 10.1007/3-540-64299-4_47
BibTeX | RIS | DOI

1997

Alexander Knapp and Luis Mandel. 1997. An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions.

Alexander Knapp and Piotr Kosiuczenko. 1997. Developing Formal Semantics of epkml.

Alexander Knapp, N. Koch, Martin Wirsing, J. Duckeck, R. Lutze, H. Fritzsche, D. Timm, P. Closhen, M. Frisch, H.-J. Hoffmann, B. Gaede, J. Schneeberger, H. Stoyan and A. Turk. 1997. EPK-fix: Methods and tools for engineering electronic product catalogues. DOI: 10.1007/bfb0000352
BibTeX | RIS | DOI

Alexander Knapp and Nora Koch. 1997. EPKML: eine Spezifikationssprache für elektronische Produktkataloge.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus and Martin Wirsing. 1997. From sequential to multi-threaded Java: An event-based operational semantics. DOI: 10.1007/bfb0000464
BibTeX | RIS | DOI

1996

Martin Wirsing and Alexander Knapp. 1996. A Formal Approach to Object-Oriented Software Engineering. DOI: 10.1016/s1571-0661(04)00046-5
PDF | BibTeX | RIS | DOI

Rainer Lutze, Patrick Closhen, Jochen Duckeck, Hartmut Fritzsche, Bernd Gaede, Alexander Knapp, Hans-Jürgen Hoffmann, Nora Koch, Dietrich Timm and Andreas Turk. 1996. EPK-fix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge.
BibTeX | RIS

Alexander Knapp, Nora Koch and Luis Mandel. 1996. The EPKML Language.

Suche