The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Knapp: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:75-90 [Conf]
  2. Alexander Knapp, Stephan Merz, Martin Wirsing
    Refining Mobile UML State Machines. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:274-288 [Conf]
  3. María Victoria Cengarle, Alexander Knapp
    Towards OCL/RT. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:390-409 [Conf]
  4. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
    Semantic-Based Development of Service-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:24-45 [Conf]
  5. Alexander Knapp, Stephan Merz, Christopher Rauh
    Model Checking - Timed UML State Machines and Collaborations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:395-416 [Conf]
  6. Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
    Specifying Component Invariants with OCL. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:600-607 [Conf]
  7. Michael Barth, Alexander Knapp
    A coordination architecture for time-dependent components. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:6-11 [Conf]
  8. Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
    Interactive Verification of UML State Machines. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:434-448 [Conf]
  9. Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang
    Modelling Adaptivity with Aspects. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:406-416 [Conf]
  10. Alexander Knapp, Nora Koch, Gefei Zhang
    Modeling the Structure of Web Applications with ArgoUWE. [Citation Graph (0, 0)][DBLP]
    ICWE, 2004, pp:615-616 [Conf]
  11. Alexander Knapp, Nora Koch, Gefei Zhang
    Modelling the Behaviour of Web Applications with ArgoUWE. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:624-626 [Conf]
  12. Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, M. Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk
    EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. [Citation Graph (0, 0)][DBLP]
    IDMS, 1997, pp:199-209 [Conf]
  13. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    An Event-Based Structural Operational Semantics of Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:157-200 [Conf]
  14. Axel Rauschmayer, Alexander Knapp, Martin Wirsing
    Consistency Checking in an Infrastructure for Large-Scale Generative. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:238-247 [Conf]
  15. Alexander Knapp, Gefei Zhang
    Model Transformations for Integrating and Validating Web Application Models. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2006, pp:115-128 [Conf]
  16. Alexander Knapp, Jochen Wuttke
    Model Checking of UML 2.0 Interactions. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:42-51 [Conf]
  17. Martin Wirsing, Alexander Knapp
    View Consistency in Software Development. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:341-357 [Conf]
  18. Hubert Baumeister, Alexander Knapp, Martin Wirsing
    Property-Driven Development. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:96-102 [Conf]
  19. Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
    Glass-Box and Black-Box Views on Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:208-217 [Conf]
  20. Moritz Hammer, Alexander Knapp, Stephan Merz
    Truly On-the-Fly LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:191-205 [Conf]
  21. María Victoria Cengarle, Alexander Knapp
    A Formal Semantics for OCL 1.4. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:118-133 [Conf]
  22. Alexander Knapp
    A Formal Semantics for UML Interactions. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:116-130 [Conf]
  23. Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler
    Modeling Business Processes in Web Applications with ArgoUWE. [Citation Graph (0, 0)][DBLP]
    UML, 2004, pp:69-83 [Conf]
  24. Alexander Knapp, Harald Störrle
    Unified Modeling Language 2.0. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:9- [Conf]
  25. Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
    Verifying a compiler optimization for Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:402-417 [Conf]
  26. Rolf Hennicker, Alexander Knapp, Hubert Baumeister
    Semantics of OCL Operation Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:111-132 [Journal]
  27. Timm Schäfer, Alexander Knapp, Stephan Merz
    Model checking UML state machines and collaborations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  28. Martin Wirsing, Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  29. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
    A Component Model for Architectural Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:75-96 [Journal]
  30. María Victoria Cengarle, Alexander Knapp
    OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:9-30 [Journal]
  31. Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik- Trends, 2001, v:21, n:3, pp:- [Journal]
  32. Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
    Specification and refinement of mobile systems in MTLA and mobile UML. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:184-202 [Journal]
  33. Martin Wirsing, Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:519-560 [Journal]
  34. Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
    The Java Memory Model: Operationally, Denotationally, Axiomatically. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:331-346 [Conf]
  35. Rolf Hennicker, Alexander Knapp
    Activity-Driven Synthesis of State Machines. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:87-101 [Conf]
  36. Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
    Enhancing UML State Machines with Aspects. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:529-543 [Conf]

  37. A Heterogeneous Approach to UML Semantics. [Citation Graph (, )][DBLP]


  38. Modelling the CoCoME with the Java/AComponent Model. [Citation Graph (, )][DBLP]


  39. Model-Driven Generation of Web Applications in UWE. [Citation Graph (, )][DBLP]


  40. MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. [Citation Graph (, )][DBLP]


  41. UWE4JSF: A Model-Driven Generation Approach for Web Applications. [Citation Graph (, )][DBLP]


  42. Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. [Citation Graph (, )][DBLP]


  43. A heterogeneous approach to service-oriented systems specification. [Citation Graph (, )][DBLP]


  44. Layout of (Software) Engineering Diagrams. [Citation Graph (, )][DBLP]


  45. What Is a Multi-modeling Language? [Citation Graph (, )][DBLP]


  46. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. [Citation Graph (, )][DBLP]


  47. Truly On-The-Fly LTL Model Checking [Citation Graph (, )][DBLP]


  48. Correct Execution of Reconfiguration for Stateful Components. [Citation Graph (, )][DBLP]


  49. On the Observable Behaviour of Composite Components. [Citation Graph (, )][DBLP]


Search in 0.618secs, Finished in 0.619secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002