Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Baar
2010 – today
- 2012
[c22]Cédric Jeanneret, Martin Glinz, Thomas Baar: Modeling the Purposes of Models. Modellierung 2012: 11-26- [c21]Thomas Baar: Improving software engineering education by modeling real-world implementations. EduSym 2012: 36-39
- 2011
- [c20]Thomas Baar, Philipp Kumar: Detecting Entry Points in Java Libraries. Ershov Memorial Conference 2011: 42-54
- 2010
- [j10]
2000 – 2009
- 2009
- [c19]Philipp Kumar, Thomas Baar: Using AOP for Discovering and Defining Executable Test Cases. Ershov Memorial Conference 2009: 269-281
- 2008
- [j9]Slavisa Markovic, Thomas Baar: Refactoring OCL annotated UML class diagrams. Software and System Modeling 7(1): 25-47 (2008)
- [j8]
- [j7]Slavisa Markovic, Thomas Baar: Semantics of OCL specified with QVT. Software and System Modeling 7(4): 399-422 (2008)
- 2007
- [j6]Thomas Baar, Ana Moreira: Guest Editorial to the Special Issue on UML 2004. Software and System Modeling 6(2): 111-112 (2007)
- [c18]Slavisa Markovic, Thomas Baar: Synchronizing Refactored UML Class Diagrams and OCL Constraints. WRT 2007: 15-16
- 2006
- [c17]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
- [c16]Thomas Baar, Slavisa Markovic: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83
- [c15]Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
- [c14]
- [c13]
- 2005
- [j5]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)
- [c12]
- [c11]
- [c10]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
- [c9]Thomas Baar: OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. MoDELS Satellite Events 2005: 20-31
- [c8]
- 2004
- [j4]Alfred Strohmeier, Thomas Baar, Shane Sendall: Applying Fondue to Specify a Drink Vending Machine. Electr. Notes Theor. Comput. Sci. 102: 155-173 (2004)
- [c7]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
- [e1]Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor (Eds.): «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Lecture Notes in Computer Science 3273, Springer 2004, ISBN 3-540-23307-5
- 2003
- [b1]Thomas Baar: Über die Semantikbeschreibung OCL-artiger Sprachen. Karlsruhe Institute of Technology 2003, ISBN 3-8325-0433-8, pp. 1-184
- [c6]Thomas Baar: The Definition of Transitive Closure with OCL - Limitations and Applications. Ershov Memorial Conference 2003: 358-365
- 2002
- [c5]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
- [c4]Thomas Baar: Executable and Symbolic Conformance Tests for Implementation Models. OOIS Workshops 2002: 231-234
- 2001
- [c3]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
- [j3]Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3) (2000)
- [c2]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
1990 – 1999
- 1999
- [j2]Thomas Baar, Ekkart Kindler: ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. Fundam. Inform. 37(3): 201-211 (1999)
- [j1]Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)
- [c1]Thomas Baar, Ekkart Kindler, Hagen Völzer: Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-30 22:18 CEST by the dblp team