Alexander Knapp

According to our database, Alexander Knapp authored at least 126 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.

Martin Wirsing, Alexander Knapp

Log. J. IGPL, November, 2023

Interpreting Knowledge-based Programs (Extended Version with Proofs).

Alexander Knapp, Heribert Mühlberger, Bernhard Reus

CoRR, 2023

Interpreting Knowledge-based Programs.

Alexander Knapp, Heribert Mühlberger, Bernhard Reus

Proceedings of the Programming Languages and Systems, 2023

An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.

Alexander Knapp

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Specification of systems with parameterised events: An institution-independent approach.

Rolf Hennicker, Alexander Knapp

J. Log. Algebraic Methods Program., 2022

Epistemic Ensembles.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

A Hoare Logic with Regular Behavioral Specifications.

Gidon Ernst, Alexander Knapp, Toby Murray

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture.

Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

An Institutional Approach to Communicating UML State Machines.

Tobias Rosenberger, Alexander Knapp, Markus Roggenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Automated QoS-Aware Service Selection Based on Soft Constraints.

Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

Observational interpretations of hybrid dynamic logic with binders and silent transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

J. Log. Algebraic Methods Program., 2021

Hybrid dynamic logic institutions for event/data-based systems.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

Formal Aspects Comput., 2021

Specifying Event/Data-based Systems (keynote).

Alexander Knapp

Proceedings of the 29th International Workshop on Concurrency, 2021

2020

2-Term Charters.

Alexander Knapp, María Victoria Cengarle

J. Object Technol., 2020

André Platzer: Logical foundations of cyber-physical systems.

Alexander Knapp, Markus Roggenbach

Formal Aspects Comput., 2020

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.

Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

2019

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Time-Critical State Transfer during Operation of Distributed Embedded Applications.

Kilian Telschig, Alexander Knapp

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Synchronous Reconfiguration of Distributed Embedded Applications During Operation.

Kilian Telschig, Alexander Knapp

Proceedings of the IEEE International Conference on Software Architecture, 2019

A Hybrid Dynamic Logic for Event/Data-Based Systems.

Rolf Hennicker, Alexandre Madeira, Alexander Knapp

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Qualitative and quantitative analysis of safety-critical systems with s#.

Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif

Int. J. Softw. Tools Technol. Transf., 2018

Formal methods and automated verification of critical systems.

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Int. J. Softw. Tools Technol. Transf., 2018

Formal methods for transport systems.

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Int. J. Softw. Tools Technol. Transf., 2018

Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing.

André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif

Softwaretechnik-Trends, 2018

Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems.

Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif

Softwaretechnik-Trends, 2018

MiniBrass: Soft constraints for MiniZinc.

Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif

Constraints An Int. J., 2018

Term Charters.

Alexander Knapp, María Victoria Cengarle

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions.

André Reichstaller, Alexander Knapp

Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2018

Mutation-Based Test Suite Evolution for Self-Organizing Systems.

André Reichstaller, Thomas Gabor, Alexander Knapp

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Test suite reduction for self-organizing systems: a mutation-based approach.

André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

A Real-Time Container Architecture for Dependable Distributed Embedded Applications.

Kilian Telschig, Andreas Schonberger, Alexander Knapp

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Multi-view Consistency in UML: A Survey.

Alexander Knapp, Till Mossakowski

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Transferring Context-Dependent Test Inputs.

André Reichstaller, Alexander Knapp

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Compressing Uniform Test Suites Using Variational Autoencoders.

André Reichstaller, Alexander Knapp

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Towards safe dynamic updates of distributed embedded applications in factory automation.

Kilian Telschig, Alexander Knapp

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

UML Interactions Meet State Machines - An Institutional Approach.

Alexander Knapp, Till Mossakowski

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Multi-view Consistency in UML.

Alexander Knapp, Till Mossakowski

CoRR, 2016

SECO Patterns: Architectural Decision Support in Software Ecosystems.

Kilian Telschig, Nikolai Schoffel, Klaus-Benedikt Schultis, Christoph Elsner, Alexander Knapp

Proceedings of the 1st International Workshop on Decision Making in Software ARCHitecture, 2016

Hunting the Game - Towards a Game of Testing Adaptive Systems.

André Reichstaller, Alexander Knapp

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Risk-Based Interoperability Testing Using Reinforcement Learning.

André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen

Proceedings of the Testing Software and Systems, 2016

Discovering Timing Feature Interactions with Timed UML 2 Interactions.

Harald Störrle, Alexander Knapp

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).

Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp

Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.

Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Automating Test Case Selection in Model-Based Software Product Line Development.

Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff

Int. J. Softw. Informatics, 2015

Moving from interface theories to assembly theories.

Rolf Hennicker, Alexander Knapp

Acta Informatica, 2015

An Institution for Simple UML State Machines.

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Partial Valuation Structures for Qualitative Soft Constraints.

Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif

Proceedings of the Software, 2015

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.

Alexander Knapp, Till Mossakowski, Markus Roggenbach

Proceedings of the Software, 2015

Institutions for OCL-Like Expression Languages.

Alexander Knapp, María Victoria Cengarle

Proceedings of the Software, 2015

2014

An Institutional Framework for Heterogeneous Formal Development in UML.

Alexander Knapp, Till Mossakowski, Markus Roggenbach

CoRR, 2014

On the use of test cases in model-based software product line development.

Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the 18th International Software Product Line Conference, 2014

Efficient Representation of Timed UML 2 Interactions.

Alexander Knapp, Harald Störrle

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Towards Testing Self-organizing, Adaptive Systems.

Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif

Proceedings of the Testing Software and Systems, 2014

An Index for Software Engineering Models.

Harald Störrle, Regina Hebig, Alexander Knapp

Proceedings of the Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014

Quality over Quantity in Soft Constraints.

Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Assembly Theories for Communication-Safe Component Systems.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools.

Marco Kuhrmann, Georg Kalus, Alexander Knapp

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2013

Constraint Relationships for Soft Constraints.

Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif

Proceedings of the Research and Development in Intelligent Systems XXX, 2013

Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools.

Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption.

Marco Kuhrmann, Daniel Méndez Fernández, Alexander Knapp

Proceedings of the Product-Focused Software Process Improvement, 2013

An Approach for Isolated Testing of Self-Organization Algorithms.

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Adapting applications to exploit virtualization management knowledge.

Vitalian A. Danciu, Alexander Knapp

Proceedings of the 9th International Conference on Network and Service Management, 2013

2012

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.

Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry

Proceedings of the Model-Driven Security Workshop, 2012

Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain.

Nora Koch, Alexander Knapp, Sergej Kozuruba

Proceedings of the Web Engineering - 12th International Conference, 2012

SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Proceedings of the Formal Methods and Software Engineering, 2012

On the Correctness of the SIMT Execution Model of GPUs.

Axel Habermaier, Alexander Knapp

Proceedings of the Programming Languages and Systems, 2012

2011

Modal Interface Theories for Communication-Safe Component Assemblies.

Rolf Hennicker, Alexander Knapp

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Modeling Secure Navigation in Web Information Systems.

Marianne Busch, Alexander Knapp, Nora Koch

Proceedings of the Perspectives in Business Informatics Research, 2011

2010

Modeling the Car Crash Crisis Management System Using HiLA.

Matthias M. Hölzl, Alexander Knapp, Gefei Zhang

LNCS Trans. Aspect Oriented Softw. Dev., 2010

A heterogeneous approach to service-oriented systems specification.

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Automatic and efficient simulation of operation contracts.

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp

Proceedings of the Models in Software Engineering, 2009

UWE4JSF: A Model-Driven Generation Approach for Web Applications.

Christian Kroiss, Nora Koch, Alexander Knapp

Proceedings of the Web Engineering, 9th International Conference, 2009

Interactions.

María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Uml-Based Web Engineering - An Approach Based on Standards.

Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister

Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008

On the Observable Behaviour of Composite Components.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Correct Execution of Reconfiguration for Stateful Components.

Moritz Hammer, Alexander Knapp

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Executing Underspecified OCL Operation Contracts with a SAT Solver.

Matthias P. Krieger, Alexander Knapp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

What Is a Multi-modeling Language?

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Heterogeneous Approach to UML Semantics.

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing

Proceedings of the Concurrency, 2008

2007

UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications).

Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang

i-com, 2007

Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface.

Andrew Fish, Alexander Knapp, Harald Störrle

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Layout of (Software) Engineering Diagrams.

Andrew Fish, Alexander Knapp

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Enhancing UML State Machines with Aspects.

Gefei Zhang, Matthias M. Hölzl, Alexander Knapp

Proceedings of the Model Driven Engineering Languages and Systems, 2007

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.

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

Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Model-Driven Generation of Web Applications in UWE.

Andreas Kraus, Alexander Knapp, Nora Koch

Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Activity-Driven Synthesis of State Machines.

Rolf Hennicker, Alexander Knapp

Proceedings of the Fundamental Approaches to Software Engineering, 2007

The Java Memory Model: Operationally, Denotationally, Axiomatically.

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio

Proceedings of the Programming Languages and Systems, 2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Specification and refinement of mobile systems in MTLA and mobile UML.

Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe

Theor. Comput. Sci., 2006

Model Checking of UML 2.0 Interactions.

Alexander Knapp, Jochen Wuttke

Proceedings of the Models in Software Engineering, 2006

Model Transformations for Integrating and Validating Web Application Models.

Alexander Knapp, Gefei Zhang

Proceedings of the Modellierung 2006, 2006

Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

A Component Model for Architectural Programming.

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Unified Modeling Language 2.0.

Alexander Knapp, Harald Störrle

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Truly On-the-Fly LTL Model Checking.

Moritz Hammer, Alexander Knapp, Stephan Merz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Modelling the Behaviour of Web Applications with ArgoUWE.

Alexander Knapp, Nora Koch, Gefei Zhang

Proceedings of the Web Engineering, 5th International Conference, 2005

Modelling Adaptivity with Aspects.

Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang

Proceedings of the Web Engineering, 5th International Conference, 2005

2004

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.

María Victoria Cengarle, Alexander Knapp

Softw. Syst. Model., 2004

Modeling Business Processes in Web Applications with ArgoUWE.

Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler

Proceedings of the «UML» 2004, 2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Property-Driven Development.

Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Consistency Checking in an Infrastructure for Large-Scale Generative.

Axel Rauschmayer, Alexander Knapp, Martin Wirsing

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Modeling the Structure of Web Applications with ArgoUWE.

Alexander Knapp, Nora Koch, Gefei Zhang

Proceedings of the Web Engineering - 4th International Conference, 2004

Interactive Verification of UML State Machines.

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

Proceedings of the Formal Methods and Software Engineering, 2004

A coordination architecture for time-dependent components.

Michael N. Barth, Alexander Knapp

Proceedings of the IASTED International Conference on Software Engineering, 2004

Refining Mobile UML State Machines.

Alexander Knapp, Stephan Merz, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Semantics of OCL Operation Specifications.

Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

2002

View Consistency in Software Development.

Martin Wirsing, Alexander Knapp

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Model Checking - Timed UML State Machines and Collaborations.

Alexander Knapp, Stephan Merz, Christopher Rauh

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Towards OCL/RT.

María Victoria Cengarle, Alexander Knapp

Proceedings of the FME 2002: Formal Methods, 2002

2001

A formal approach to object-oriented software engineering.

Alexander Knapp

Softwaretechnik-Trends, 2001

Model checking UML state machines and collaborations.

Timm Schäfer, Alexander Knapp, Stephan Merz

Proceedings of the Workshop on Software Model Checking 2001, 2001

A Formal Semantics for OCL 1.4.

María Victoria Cengarle, Alexander Knapp

Proceedings of the «UML» 2001, 2001

Specifying Component Invariants with OCL.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

fOOSE- Eine integrierte formale Softwareentwicklungsmethode.

Alexander Knapp

Proceedings of the Ausgezeichnete Informatikdissertationen 2000, 2000

A formal approach to object-oriented software engineering.

Alexander Knapp

PhD thesis, 2000

1999

A Formal Semantics for UML Interactions.

Alexander Knapp

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Formal Syntax and Semantics of Java, 1999

1997

Verifying a compiler optimization for Multi-Threaded Java.

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.

Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, Markus Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A formal approach to object-oriented software engineering.

Martin Wirsing, Alexander Knapp

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996