Alexander Knapp
Orcid: 0000-0002-4050-3249Affiliations:
- University of Augsburg, Germany
According to our database1,
Alexander Knapp
authored at least 130 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs).
CoRR, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Log. J. IGPL, November, 2023
Proceedings of the Programming Languages and Systems, 2023
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2022
Specification of systems with parameterised events: An institution-independent approach.
J. Log. Algebraic Methods Program., 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022
2021
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
J. Log. Algebraic Methods Program., 2021
Formal Aspects Comput., 2021
Proceedings of the 29th International Workshop on Concurrency, 2021
2020
Formal Aspects Comput., 2020
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2020
2019
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the IEEE International Conference on Software Architecture, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing.
Softwaretechnik-Trends, 2018
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems.
Softwaretechnik-Trends, 2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 13th International Workshop on Automation of Software Test, 2018
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Towards safe dynamic updates of distributed embedded applications in factory automation.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Proceedings of the 1st International Workshop on Decision Making in Software ARCHitecture, 2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the Testing Software and Systems, 2016
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
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
2015
Int. J. Softw. Informatics, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Proceedings of the Software, 2015
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
Proceedings of the Software, 2015
2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the Testing Software and Systems, 2014
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
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
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.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2013
Proceedings of the Research and Development in Intelligent Systems XXX, 2013
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.
Proceedings of the Product-Focused Software Process Improvement, 2013
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
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
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
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Programming Languages and Systems, 2012
2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
Proceedings of the Perspectives in Business Informatics Research, 2011
2010
LNCS Trans. Aspect Oriented Softw. Dev., 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.
Proceedings of the Models in Software Engineering, 2009
Proceedings of the Web Engineering, 9th International Conference, 2009
2008
Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
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
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
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
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the Programming Languages and Systems, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Models in Software Engineering, 2006
Proceedings of the Modellierung 2006, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Web Engineering, 5th International Conference, 2005
Proceedings of the Web Engineering, 5th International Conference, 2005
2004
Softw. Syst. Model., 2004
Proceedings of the «UML» 2004, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Web Engineering - 4th International Conference, 2004
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
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003
2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
2001
Softwaretechnik-Trends, 2001
Proceedings of the Workshop on Software Model Checking 2001, 2001
Specifying Component Invariants with OCL.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
2000
Proceedings of the Ausgezeichnete Informatikdissertationen 2000, 2000
1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Proceedings of the Formal Syntax and Semantics of Java, 1999
1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997