default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander Knapp
Person information
- affiliation: University of Augsburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c98]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407- [i11]Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski
, Martin Wirsing:
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR abs/2406.02094 (2024) - [i10]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR abs/2408.01115 (2024) - 2023
- [j24]Martin Wirsing, Alexander Knapp:
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31(6): 1047-1068 (2023) - [c97]Alexander Knapp:
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. Applicable Formal Methods for Safe Industrial Products 2023: 289-307 - [c96]Alexander Knapp, Heribert Mühlberger, Bernhard Reus:
Interpreting Knowledge-based Programs. ESOP 2023: 253-280 - [i9]Alexander Knapp, Heribert Mühlberger, Bernhard Reus:
Interpreting Knowledge-based Programs (Extended Version with Proofs). CoRR abs/2301.10807 (2023) - 2022
- [j23]Rolf Hennicker, Alexander Knapp:
Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. 128: 100791 (2022) - [c95]Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp:
Automated QoS-Aware Service Selection Based on Soft Constraints. WADT 2022: 121-140 - [c94]Tobias Rosenberger, Alexander Knapp, Markus Roggenbach:
An Institutional Approach to Communicating UML State Machines. FASE 2022: 205-224 - [c93]Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp:
Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. INDIN 2022: 312-316 - [c92]Gidon Ernst, Alexander Knapp, Toby Murray:
A Hoare Logic with Regular Behavioral Specifications. ISoLA (1) 2022: 45-64 - [c91]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. ISoLA (3) 2022: 110-126 - [i8]Gidon Ernst, Alexander Knapp, Toby Murray:
A Hoare Logic with Regular Behavioral Specifications. CoRR abs/2205.06584 (2022) - 2021
- [j22]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021) - [j21]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021) - [c90]Alexander Knapp:
Specifying Event/Data-based Systems (keynote). CS&P 2021: 1 - 2020
- [j20]Alexander Knapp, Markus Roggenbach:
André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32(1): 149-151 (2020) - [j19]Alexander Knapp, María Victoria Cengarle:
2-Term Charters. J. Object Technol. 19(3): 3:1-12 (2020) - [c89]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT 2020: 120-141 - [i7]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR abs/2011.00556 (2020)
2010 – 2019
- 2019
- [c88]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97 - [c87]Kilian Telschig, Alexander Knapp:
Synchronous Reconfiguration of Distributed Embedded Applications During Operation. ICSA 2019: 121-130 - [c86]Kilian Telschig, Alexander Knapp:
Time-Critical State Transfer during Operation of Distributed Embedded Applications. INDIN 2019: 516-523 - [c85]Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34 - [i6]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019) - 2018
- [j18]Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif:
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23(4): 403-450 (2018) - [j17]André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif:
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. Softwaretechnik-Trends 38(1): 57-60 (2018) - [j16]Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif:
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. Softwaretechnik-Trends 38(1): 61-64 (2018) - [j15]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 237-241 (2018) - [j14]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20(4): 355-358 (2018) - [j13]Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif:
Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. 20(4): 359-377 (2018) - [c84]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets 2018: 37-60 - [c83]Kilian Telschig, Andreas Schonberger, Alexander Knapp:
A Real-Time Container Architecture for Dependable Distributed Embedded Applications. CASE 2018: 1367-1374 - [c82]André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif:
Test suite reduction for self-organizing systems: a mutation-based approach. AST@ICSE 2018: 64-70 - [c81]André Reichstaller, Thomas Gabor, Alexander Knapp:
Mutation-Based Test Suite Evolution for Self-Organizing Systems. ISoLA (3) 2018: 118-136 - [c80]André Reichstaller, Alexander Knapp:
Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions. SASO 2018: 80-89 - [c79]Alexander Knapp, María Victoria Cengarle:
Term Charters. WADT 2018: 119-138 - 2017
- [c78]Alexander Knapp, Till Mossakowski:
UML Interactions Meet State Machines - An Institutional Approach. CALCO 2017: 15:1-15:15 - [c77]Kilian Telschig, Alexander Knapp:
Towards safe dynamic updates of distributed embedded applications in factory automation. ETFA 2017: 1-4 - [c76]André Reichstaller, Alexander Knapp:
Transferring Context-Dependent Test Inputs. QRS 2017: 65-72 - [c75]André Reichstaller, Alexander Knapp:
Compressing Uniform Test Suites Using Variational Autoencoders. QRS Companion 2017: 435-440 - 2016
- [c74]Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif:
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS 2016: 97-114 - [c73]Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp:
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). GEMOC@MoDELS 2016: 0-7 - [c72]Harald Störrle, Alexander Knapp:
Discovering Timing Feature Interactions with Timed UML 2 Interactions. MoDeVVa@MoDELS 2016: 10-19 - [c71]André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen:
Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS 2016: 52-69 - [c70]André Reichstaller, Alexander Knapp:
Hunting the Game - Towards a Game of Testing Adaptive Systems. QRS Companion 2016: 303-304 - [c69]Kilian Telschig, Nikolai Schoffel, Klaus-Benedikt Schultis, Christoph Elsner, Alexander Knapp:
SECO Patterns: Architectural Decision Support in Software Ecosystems. MARCH@WICSA 2016: 38-44 - [e2]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science 9933, Springer 2016, ISBN 978-3-319-45942-4 [contents] - [i5]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif:
An Approach for Isolated Testing of Self-Organization Algorithms. CoRR abs/1606.02442 (2016) - [i4]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML. CoRR abs/1610.03960 (2016) - 2015
- [j12]Rolf Hennicker, Alexander Knapp:
Moving from interface theories to assembly theories. Acta Informatica 52(2-3): 235-268 (2015) - [j11]Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9(2): 153-175 (2015) - [c68]Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif:
Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems 2015: 115-133 - [c67]Alexander Knapp, María Victoria Cengarle:
Institutions for OCL-Like Expression Languages. Software, Services, and Systems 2015: 193-214 - [c66]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems 2015: 215-230 - [c65]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. FASE 2015: 3-18 - 2014
- [c64]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS 2014: 145-160 - [c63]Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif:
Quality over Quantity in Soft Constraints. ICTAI 2014: 453-460 - [c62]Harald Störrle, Regina Hebig, Alexander Knapp:
An Index for Software Engineering Models. PSRC@MoDELS 2014: 36-40 - [c61]Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif:
Towards Testing Self-organizing, Adaptive Systems. ICTSS 2014: 180-185 - [c60]Alexander Knapp, Harald Störrle:
Efficient Representation of Timed UML 2 Interactions. SAM 2014: 110-125 - [c59]Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
On the use of test cases in model-based software product line development. SPLC 2014: 247-251 - [i3]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR abs/1403.7747 (2014) - [i2]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. CoRR abs/1411.4495 (2014) - 2013
- [j10]Marco Kuhrmann, Georg Kalus, Alexander Knapp:
Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 8(1): 62-74 (2013) - [c58]Vitalian A. Danciu, Alexander Knapp:
Adapting applications to exploit virtualization management knowledge. CNSM 2013: 355-363 - [c57]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif:
An Approach for Isolated Testing of Self-Organization Algorithms. Software Engineering for Self-Adaptive Systems 2013: 188-222 - [c56]Marco Kuhrmann, Daniel Méndez Fernández, Alexander Knapp:
Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption. PROFES 2013: 138-152 - [c55]Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp:
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. Software Engineering 2013: 371-372 - [c54]Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp:
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools. Software Engineering (Workshops) 2013: 403-404 - [c53]Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif:
Constraint Relationships for Soft Constraints. SGAI Conf. 2013: 241-255 - 2012
- [c52]Axel Habermaier, Alexander Knapp:
On the Correctness of the SIMT Execution Model of GPUs. ESOP 2012: 316-335 - [c51]Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp:
SMT-Based False Positive Elimination in Static Program Analysis. ICFEM 2012: 316-331 - [c50]Nora Koch, Alexander Knapp, Sergej Kozuruba:
Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. ICWE 2012: 215-222 - [c49]Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry:
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. MDsec@MoDELS 2012: 1 - [c48]Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT 2012: 178-194 - 2011
- [c47]Marianne Busch, Alexander Knapp, Nora Koch:
Modeling Secure Navigation in Web Information Systems. BIR 2011: 239-253 - [c46]Rolf Hennicker, Alexander Knapp:
Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153 - 2010
- [j9]Matthias M. Hölzl, Alexander Knapp, Gefei Zhang:
Modeling the Car Crash Crisis Management System Using HiLA. LNCS Trans. Aspect Oriented Softw. Dev. 7: 234-271 (2010) - [c45]Matthias P. Krieger, Alexander Knapp, Burkhart Wolff:
Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62 - [c44]Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki:
A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484
2000 – 2009
- 2009
- [j8]Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009) - [c43]Christian Kroiss, Nora Koch, Alexander Knapp:
UWE4JSF: A Model-Driven Generation Approach for Web Applications. ICWE 2009: 493-496 - [c42]Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. MoDELS (Workshops) 2009: 256-260 - [p3]María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger:
Interactions. UML 2 Semantics and Applications 2009: 205-248 - 2008
- [j7]Matthias P. Krieger, Alexander Knapp:
Executing Underspecified OCL Operation Contracts with a SAT Solver. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [c41]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing:
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402 - [c40]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180 - [c39]Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing:
What Is a Multi-modeling Language? WADT 2008: 71-87 - [c38]Moritz Hammer, Alexander Knapp:
Correct Execution of Reconfiguration for Stateful Components. FACS 2008: 91-108 - [c37]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
On the Observable Behaviour of Composite Components. FACS 2008: 125-153 - [p2]Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister:
Uml-Based Web Engineering - An Approach Based on Standards. Web Engineering 2008: 157-191 - 2007
- [j6]Andrew Fish, Alexander Knapp, Harald Störrle:
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - [j5]Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang:
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007) - [c36]Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237 - [c35]Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio:
The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP 2007: 331-346 - [c34]Rolf Hennicker, Alexander Knapp:
Activity-Driven Synthesis of State Machines. FASE 2007: 87-101 - [c33]Andreas Kraus, Alexander Knapp, Nora Koch:
Model-Driven Generation of Web Applications in UWE. MDWE 2007 - [c32]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:
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. MDWE 2007 - [c31]Gefei Zhang, Matthias M. Hölzl, Alexander Knapp:
Enhancing UML State Machines with Aspects. MoDELS 2007: 529-543 - [c30]Andrew Fish, Alexander Knapp:
Layout of (Software) Engineering Diagrams. VL/HCC 2007: 4 - 2006
- [j4]Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe:
Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006) - [c29]Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45 - [c28]Alexander Knapp, Gefei Zhang:
Model Transformations for Integrating and Validating Web Application Models. Modellierung 2006: 115-128 - [c27]Alexander Knapp, Jochen Wuttke:
Model Checking of UML 2.0 Interactions. MoDELS (Workshops) 2006: 42-51 - 2005
- [c26]Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang:
Modelling Adaptivity with Aspects. ICWE 2005: 406-416 - [c25]Alexander Knapp, Nora Koch, Gefei Zhang:
Modelling the Behaviour of Web Applications with ArgoUWE. ICWE 2005: 624-626 - [c24]Moritz Hammer, Alexander Knapp, Stephan Merz:
Truly On-the-Fly LTL Model Checking. TACAS 2005: 191-205 - [c23]Alexander Knapp, Harald Störrle:
Unified Modeling Language 2.0. VL/HCC 2005: 9 - [c22]Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. FACS 2005: 75-96 - [i1]Moritz Hammer, Alexander Knapp, Stephan Merz:
Truly On-The-Fly LTL Model Checking. CoRR abs/cs/0511061 (2005) - 2004
- [j3]María Victoria Cengarle, Alexander Knapp:
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. Softw. Syst. Model. 3(1): 9-30 (2004) - [c21]Alexander Knapp, Stephan Merz, Martin Wirsing:
Refining Mobile UML State Machines. AMAST 2004: 274-288 - [c20]Michael N. Barth, Alexander Knapp:
A coordination architecture for time-dependent components. IASTED Conf. on Software Engineering 2004: 6-11 - [c19]Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums:
Interactive Verification of UML State Machines. ICFEM 2004: 434-448 - [c18]Alexander Knapp, Nora Koch, Gefei Zhang:
Modeling the Structure of Web Applications with ArgoUWE. ICWE 2004: 615-616 - [c17]Axel Rauschmayer, Alexander Knapp, Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247 - [c16]Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Property-Driven Development. SEFM 2004: 96-102 - [c15]Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217 - [c14]Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler:
Modeling Business Processes in Web Applications with ArgoUWE. UML 2004: 69-83 - [e1]Martin Wirsing, Alexander Knapp, Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9 [contents] - 2003
- [c13]Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Semantics of OCL Operation Specifications. OCL 2.0 @ UML 2003: 111-132 - 2002
- [j2]Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002) - [c12]María Victoria Cengarle, Alexander Knapp:
Towards OCL/RT. FME 2002: 390-409 - [c11]Alexander Knapp, Stephan Merz, Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations. FTRTFT 2002: 395-416 - [c10]Martin Wirsing, Alexander Knapp:
View Consistency in Software Development. RISSEF 2002: 341-357 - 2001
- [j1]Alexander Knapp:
A formal approach to object-oriented software engineering. Softwaretechnik-Trends 21(3) (2001) - [c9]Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607 - [c8]María Victoria Cengarle, Alexander Knapp:
A Formal Semantics for OCL 1.4. UML 2001: 118-133 - [c7]Timm Schäfer, Alexander Knapp, Stephan Merz:
Model checking UML state machines and collaborations. Workshop on Software Model Checking @ CAV 2001: 357-369 - 2000
- [b1]Alexander Knapp:
A formal approach to object-oriented software engineering. Ludwig Maximilian University of Munich, Germany, Shaker 2000, ISBN 978-3-8265-8575-3, pp. I-X, 1-180 - [p1]Alexander Knapp:
fOOSE- Eine integrierte formale Softwareentwicklungsmethode. Ausgezeichnete Informatikdissertationen 2000: 85-96
1990 – 1999
- 1999
- [c6]Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200 - [c5]Alexander Knapp:
A Formal Semantics for UML Interactions. UML 1999: 116-130 - 1997
- [c4]Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90 - [c3]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:
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209 - [c2]Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417 - 1996
- [c1]Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. WRLA 1996: 322-360
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
