Thomas Baar

	2008
27		Slavisa Markovic, Thomas Baar: Refactoring OCL annotated UML class diagrams. Software and System Modeling 7(1): 25-47 (2008)
26		Thomas Baar: Correctly defined concrete syntax. Software and System Modeling 7(4): 383-398 (2008)
25		Slavisa Markovic, Thomas Baar: Semantics of OCL specified with QVT. Software and System Modeling 7(4): 399-422 (2008)
	2007
24		Thomas Baar, Ana Moreira: Guest Editorial to the Special Issue on UML 2004. Software and System Modeling 6(2): 111-112 (2007)
	2006
23		Thomas Baar, Slavisa Markovic: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83
22		Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
21		Thomas Baar: Correctly Defined Concrete Syntax for Visual Modeling Languages. MoDELS 2006: 111-125
20		Slavisa Markovic, Thomas Baar: An OCL Semantics Specified with QVT. MoDELS 2006: 661-675
19		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		Frédéric Fondement, Thomas Baar: Making Metamodels Aware of Concrete Syntax. ECMDA-FA 2005: 190-204
17		Slavisa Markovic, Thomas Baar: Refactoring OCL Annotated UML Class Diagrams. MoDELS 2005: 280-294
16		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		Thomas Baar: OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. MoDELS Satellite Events 2005: 20-31
14		Thomas Baar: Non-deterministic Constructs in OCL - What Does any() Mean. SDL Forum 2005: 32-46
13		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		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		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		Thomas Baar: The Definition of Transitive Closure with OCL - Limitations and Applications. Ershov Memorial Conference 2003: 358-365
	2002
8		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		Thomas Baar: Executable and Symbolic Conformance Tests for Implementation Models. OOIS Workshops 2002: 231-234
	2001
6		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		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		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		Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)

Coauthor Index

1	Wolfgang Ahrendt	[5] [8] [13]
2	Bernhard Beckert	[5] [6] [8] [13]
3	Jean Bézivin	[11]
4	Richard Bubel	[13]
5	Dan Ioan Chiorean (Dan Chiorean)	[16]
6	Alexandre L. Correa	[16]
7	Bernd Fischer	[1]
8	Frédéric Fondement	[18] [19]
9	Dirk Fuchs	[1]
10	Tracy Gardner	[11]
11	Martin Giese	[5] [8] [13]
12	Martin Gogolla	[11] [16]
13	Elmar Habermalz	[5] [8]
14	Reiner Hähnle	[4] [5] [8] [11] [13]
15	Heinrich Hußmann (Heinrich Hussmann)	[11] [16]
16	Ekkart Kindler	[2] [3]
17	Slavisa Markovic	[17] [19] [20] [23] [25] [27]
18	Stephen J. Mellor	[12]
19	Wolfram Menzel	[5] [8] [13]
20	Ana Moreira (Ana M. D. Moreira)	[12] [24]
21	Wojciech Mostowski	[8] [13]
22	Octavian Patrascoiu	[11] [16]
23	Andreas Roth	[13]
24	Theo Sattler	[4]
25	Steffen Schlager	[13]
26	Peter H. Schmitt	[4] [5] [6] [8] [11] [13] [16]
27	Shane Sendall	[10]
28	Alfred Strohmeier	[10] [12] [19]
29	Hagen Völzer	[3]
30	Jos Warmer	[11] [16]
31	Jon Whittle (Jonathan Whittle)	[22]

Colors in the list of coauthors