Alexander Knapp

According to our database1, Alexander Knapp
  • authored at least 94 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Transferring Context-Dependent Test Inputs.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Compressing Uniform Test Suites Using Variational Autoencoders.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016
Multi-view Consistency in UML.
CoRR, 2016

An Approach for Isolated Testing of Self-Organization Algorithms.
CoRR, 2016

Hunting the Game - Towards a Game of Testing Adaptive Systems.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Risk-Based Interoperability Testing Using Reinforcement Learning.
Proceedings of the Testing Software and Systems, 2016

Discovering Timing Feature Interactions with Timed UML 2 Interactions.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).
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.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015
Automating Test Case Selection in Model-Based Software Product Line Development.
Int. J. Software and Informatics, 2015

Moving from interface theories to assembly theories.
Acta Inf., 2015

An Institution for Simple UML State Machines.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Partial Valuation Structures for Qualitative Soft Constraints.
Proceedings of the Software, 2015

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
Proceedings of the Software, 2015

Institutions for OCL-Like Expression Languages.
Proceedings of the Software, 2015

2014
An Institution for Simple UML State Machines.
CoRR, 2014

An Institutional Framework for Heterogeneous Formal Development in UML.
CoRR, 2014

On the use of test cases in model-based software product line development.
Proceedings of the 18th International Software Product Line Conference, 2014

Efficient Representation of Timed UML 2 Interactions.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Towards Testing Self-organizing, Adaptive Systems.
Proceedings of the Testing Software and Systems, 2014

An Index for Software Engineering Models.
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.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Assembly Theories for Communication-Safe Component Systems.
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.
Enterprise Modelling and Information Systems Architectures, 2013

Constraint Relationships for Soft Constraints.
Proceedings of the Research and Development in Intelligent Systems XXX, 2013

Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools.
Proceedings of the Software Engineering 2013: 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.
Proceedings of the Product-Focused Software Process Improvement, 2013

Adapting applications to exploit virtualization management knowledge.
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.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.
Proceedings of the Model-Driven Security Workshop, 2012

Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain.
Proceedings of the Web Engineering - 12th International Conference, 2012

SMT-Based False Positive Elimination in Static Program Analysis.
Proceedings of the Formal Methods and Software Engineering, 2012

On the Correctness of the SIMT Execution Model of GPUs.
Proceedings of the Programming Languages and Systems, 2012

2011
Modal Interface Theories for Communication-Safe Component Assemblies.
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.
Proceedings of the Perspectives in Business Informatics Research, 2011

2010
Modeling the Car Crash Crisis Management System Using HiLA.
Trans. Aspect-Oriented Software Development, 2010

On the Observable Behaviour of Composite Components.
Electr. Notes Theor. Comput. Sci., 2010

Correct Execution of Reconfiguration for Stateful Components.
Electr. Notes Theor. Comput. Sci., 2010

A heterogeneous approach to service-oriented systems specification.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Automatic and efficient simulation of operation contracts.
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.
ECEASST, 2009

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.
Proceedings of the Models in Software Engineering, 2009

UWE4JSF: A Model-Driven Generation Approach for Web Applications.
Proceedings of the Web Engineering, 9th International Conference, 2009

2008
Uml-Based Web Engineering - An Approach Based on Standards.
Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008

Executing Underspecified OCL Operation Contracts with a SAT Solver.
ECEASST, 2008

What Is a Multi-modeling Language?
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Heterogeneous Approach to UML Semantics.
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).
i-com, 2007

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

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

Enhancing UML State Machines with Aspects.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Model-Driven Generation of Web Applications in UWE.
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Activity-Driven Synthesis of State Machines.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

The Java Memory Model: Operationally, Denotationally, Axiomatically.
Proceedings of the Programming Languages and Systems, 2007

Modelling the CoCoME with the Java/AComponent Model.
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.
Theor. Comput. Sci., 2006

A Component Model for Architectural Programming.
Electr. Notes Theor. Comput. Sci., 2006

Model Checking of UML 2.0 Interactions.
Proceedings of the Models in Software Engineering, 2006

Model Transformations for Integrating and Validating Web Application Models.
Proceedings of the Modellierung 2006, 2006

Semantic-Based Development of Service-Oriented Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
Truly On-The-Fly LTL Model Checking
CoRR, 2005

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

Truly On-the-Fly LTL Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Modelling the Behaviour of Web Applications with ArgoUWE.
Proceedings of the Web Engineering, 5th International Conference, 2005

Modelling Adaptivity with Aspects.
Proceedings of the Web Engineering, 5th International Conference, 2005

2004
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
Software and System Modeling, 2004

Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci., 2004

Modeling Business Processes in Web Applications with ArgoUWE.
Proceedings of the «UML» 2004, 2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Property-Driven Development.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Consistency Checking in an Infrastructure for Large-Scale Generative.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Modeling the Structure of Web Applications with ArgoUWE.
Proceedings of the Web Engineering - 4th International Conference, 2004

Interactive Verification of UML State Machines.
Proceedings of the Formal Methods and Software Engineering, 2004

A coordination architecture for time-dependent components.
Proceedings of the IASTED International Conference on Software Engineering, 2004

Refining Mobile UML State Machines.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2002
A formal approach to object-oriented software engineering.
Theor. Comput. Sci., 2002

View Consistency in Software Development.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Model Checking - Timed UML State Machines and Collaborations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Towards OCL/RT.
Proceedings of the FME 2002: Formal Methods, 2002

2001
A formal approach to object-oriented software engineering.
Softwaretechnik-Trends, 2001

Model checking UML state machines and collaborations.
Electr. Notes Theor. Comput. Sci., 2001

A Formal Semantics for OCL 1.4.
Proceedings of the «UML» 2001, 2001

Specifying Component Invariants with OCL.
GI Jahrestagung (1), 2001

2000
fOOSE- Eine integrierte formale Softwareentwicklungsmethode.
Proceedings of the Ausgezeichnete Informatikdissertationen 2000, 2000

A formal approach to object-oriented software engineering.
PhD thesis, 2000

1999
A Formal Semantics for UML Interactions.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Proceedings of the Formal Syntax and Semantics of Java, 1999

1997
Verifying a compiler optimization for Multi-Threaded Java.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
A formal approach to object-oriented software engineering.
Electr. Notes Theor. Comput. Sci., 1996


  Loading...