The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Baar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Baar, Ekkart Kindler, Hagen Völzer
    Verifying Intuition - ILF Checks DAWN Proofs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:404-424 [Conf]
  2. Frédéric Fondement, Thomas Baar
    Making Metamodels Aware of Concrete Syntax. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2005, pp:190-204 [Conf]
  3. Thomas Baar
    The Definition of Transitive Closure with OCL - Limitations and Applications. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:358-365 [Conf]
  4. Thomas Baar, Bernhard Beckert, Peter H. Schmitt
    An Extension of Dynamic Logic for Modelling OCL's @pre Operator. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:47-54 [Conf]
  5. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
    The KeY System: Integrating Object-Oriented Design and Formal Methods. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:327-330 [Conf]
  6. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
    The KeY Approach: Integrating Object Oriented Design and Formal Verification. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:21-36 [Conf]
  7. Thomas Baar
    Correctly Defined Concrete Syntax for Visual Modeling Languages. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:111-125 [Conf]
  8. Slavisa Markovic, Thomas Baar
    An OCL Semantics Specified with QVT. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:661-675 [Conf]
  9. Thomas Baar
    Executable and Symbolic Conformance Tests for Implementation Models. [Citation Graph (0, 0)][DBLP]
    OOIS Workshops, 2002, pp:231-234 [Conf]
  10. Thomas Baar
    Non-deterministic Constructs in OCL - What Does any() Mean. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:32-46 [Conf]
  11. Thomas Baar
    OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:20-31 [Conf]
  12. Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
    Tool Support for OCL and Related Formalisms - Needs and Trends. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:1-9 [Conf]
  13. Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
    OCL and Model Driven Engineering. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:67-75 [Conf]
  14. Slavisa Markovic, Thomas Baar
    Refactoring OCL Annotated UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:280-294 [Conf]
  15. Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier
    Definition and Correct Refinement of Operation Specifications. [Citation Graph (0, 0)][DBLP]
    Research Results of the DICS Program, 2006, pp:127-144 [Conf]
  16. Alfred Strohmeier, Thomas Baar, Shane Sendall
    Applying Fondue to Specify a Drink Vending Machine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:155-173 [Journal]
  17. Thomas Baar, Ekkart Kindler
    ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:37, n:3, pp:201-211 [Journal]
  18. Thomas Baar, Bernd Fischer, Dirk Fuchs
    Integrating Deduction Techniques in a Software Reuse Application. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:52-72 [Journal]
  19. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
    The KeY tool. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
  20. Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
    Entwurfgesteuerte Erzeugung von OCL-Constraints. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:3, pp:- [Journal]
  21. Thomas Baar, Slavisa Markovic
    A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:70-83 [Conf]
  22. Thomas Baar, Jon Whittle
    On the Usage of Concrete Syntax in Model Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:84-97 [Conf]

  23. Synchronizing Refactored UML Class Diagrams and OCL Constraints. [Citation Graph (, )][DBLP]


  24. Using AOP for Discovering and Defining Executable Test Cases. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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