| 2008 |
|---|
| 27 | EE | Slavisa Markovic,
Thomas Baar:
Refactoring OCL annotated UML class diagrams.
Software and System Modeling 7(1): 25-47 (2008) |
| 26 | EE | Thomas Baar:
Correctly defined concrete syntax.
Software and System Modeling 7(4): 383-398 (2008) |
| 25 | EE | Slavisa Markovic,
Thomas Baar:
Semantics of OCL specified with QVT.
Software and System Modeling 7(4): 399-422 (2008) |
| 2007 |
|---|
| 24 | EE | Thomas Baar,
Ana Moreira:
Guest Editorial to the Special Issue on UML 2004.
Software and System Modeling 6(2): 111-112 (2007) |
| 2006 |
|---|
| 23 | EE | Thomas Baar,
Slavisa Markovic:
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.
Ershov Memorial Conference 2006: 70-83 |
| 22 | EE | Thomas Baar,
Jon Whittle:
On the Usage of Concrete Syntax in Model Transformation Rules.
Ershov Memorial Conference 2006: 84-97 |
| 21 | EE | Thomas Baar:
Correctly Defined Concrete Syntax for Visual Modeling Languages.
MoDELS 2006: 111-125 |
| 20 | EE | Slavisa Markovic,
Thomas Baar:
An OCL Semantics Specified with QVT.
MoDELS 2006: 661-675 |
| 19 | EE | Thomas Baar,
Slavisa Markovic,
Frédéric Fondement,
Alfred Strohmeier:
Definition and Correct Refinement of Operation Specifications.
Research Results of the DICS Program 2006: 127-144 |
| 2005 |
|---|
| 18 | EE | Frédéric Fondement,
Thomas Baar:
Making Metamodels Aware of Concrete Syntax.
ECMDA-FA 2005: 190-204 |
| 17 | EE | Slavisa Markovic,
Thomas Baar:
Refactoring OCL Annotated UML Class Diagrams.
MoDELS 2005: 280-294 |
| 16 | EE | 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.
MoDELS Satellite Events 2005: 1-9 |
| 15 | EE | Thomas Baar:
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.
MoDELS Satellite Events 2005: 20-31 |
| 14 | EE | Thomas Baar:
Non-deterministic Constructs in OCL - What Does any() Mean.
SDL Forum 2005: 32-46 |
| 13 | EE | 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.
Software and System Modeling 4(1): 32-54 (2005) |
| 2004 |
|---|
| 12 | | Thomas Baar,
Alfred Strohmeier,
Ana M. D. Moreira,
Stephen J. Mellor:
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
Springer 2004 |
| 11 | EE | 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.
UML Satellite Activities 2004: 67-75 |
| 10 | EE | Alfred Strohmeier,
Thomas Baar,
Shane Sendall:
Applying Fondue to Specify a Drink Vending Machine.
Electr. Notes Theor. Comput. Sci. 102: 155-173 (2004) |
| 2003 |
|---|
| 9 | EE | Thomas Baar:
The Definition of Transitive Closure with OCL - Limitations and Applications.
Ershov Memorial Conference 2003: 358-365 |
| 2002 |
|---|
| 8 | EE | 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.
FASE 2002: 327-330 |
| 7 | EE | Thomas Baar:
Executable and Symbolic Conformance Tests for Implementation Models.
OOIS Workshops 2002: 231-234 |
| 2001 |
|---|
| 6 | EE | Thomas Baar,
Bernhard Beckert,
Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Ershov Memorial Conference 2001: 47-54 |
| 2000 |
|---|
| 5 | EE | 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.
JELIA 2000: 21-36 |
| 4 | | Thomas Baar,
Reiner Hähnle,
Theo Sattler,
Peter H. Schmitt:
Entwurfgesteuerte Erzeugung von OCL-Constraints.
Softwaretechnik-Trends 20(3): (2000) |
| 1999 |
|---|
| 3 | EE | Thomas Baar,
Ekkart Kindler,
Hagen Völzer:
Verifying Intuition - ILF Checks DAWN Proofs.
ICATPN 1999: 404-424 |
| 2 | | Thomas Baar,
Ekkart Kindler:
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Fundam. Inform. 37(3): 201-211 (1999) |
| 1 | EE | Thomas Baar,
Bernd Fischer,
Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application.
J. UCS 5(3): 52-72 (1999) |
