Thomas Baar

	2012
33		Cédric Jeanneret, Martin Glinz, Thomas Baar: Modeling the Purposes of Models. Modellierung 2012: 11-26
	2011
32		Thomas Baar, Philipp Kumar: Detecting Entry Points in Java Libraries. Ershov Memorial Conference 2011: 42-54
	2010
31		Thomas Baar: On the Need of User-defined Libraries in OCL. ECEASST 36: (2010)
	2009
30		Philipp Kumar, Thomas Baar: Using AOP for Discovering and Defining Executable Test Cases. Ershov Memorial Conference 2009: 269-281
	2008
29		Slavisa Markovic, Thomas Baar: Refactoring OCL annotated UML class diagrams. Software and System Modeling 7(1): 25-47 (2008)
28		Thomas Baar: Correctly defined concrete syntax. Software and System Modeling 7(4): 383-398 (2008)
27		Slavisa Markovic, Thomas Baar: Semantics of OCL specified with QVT. Software and System Modeling 7(4): 399-422 (2008)
	2007
26		Slavisa Markovic, Thomas Baar: Synchronizing Refactored UML Class Diagrams and OCL Constraints. WRT 2007: 15-16
25		Thomas Baar, Ana Moreira: Guest Editorial to the Special Issue on UML 2004. Software and System Modeling 6(2): 111-112 (2007)
	2006
24		Thomas Baar, Slavisa Markovic: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83
23		Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
22		Thomas Baar: Correctly Defined Concrete Syntax for Visual Modeling Languages. MoDELS 2006: 111-125
21		Slavisa Markovic, Thomas Baar: An OCL Semantics Specified with QVT. MoDELS 2006: 661-675
20		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
19		Frédéric Fondement, Thomas Baar: Making Metamodels Aware of Concrete Syntax. ECMDA-FA 2005: 190-204
18		Slavisa Markovic, Thomas Baar: Refactoring OCL Annotated UML Class Diagrams. MoDELS 2005: 280-294
17		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
16		Thomas Baar: OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. MoDELS Satellite Events 2005: 20-31
15		Thomas Baar: Non-deterministic Constructs in OCL - What Does any() Mean. SDL Forum 2005: 32-46
14		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
13		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
12		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
11		Alfred Strohmeier, Thomas Baar, Shane Sendall: Applying Fondue to Specify a Drink Vending Machine. Electr. Notes Theor. Comput. Sci. 102: 155-173 (2004)
	2003
10		Thomas Baar: The Definition of Transitive Closure with OCL - Limitations and Applications. Ershov Memorial Conference 2003: 358-365
9		Thomas Baar: Über die Semantikbeschreibung OCL-artiger Sprachen. Karlsruhe Institute of Technology 2003: 1-184
	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] [14]
2	Bernhard Beckert	[5] [6] [8] [14]
3	Jean Bézivin	[12]
4	Richard Bubel	[14]
5	Dan Ioan Chiorean (Dan Chiorean)	[17]
6	Alexandre L. Correa	[17]
7	Bernd Fischer	[1]
8	Frédéric Fondement	[19] [20]
9	Dirk Fuchs	[1]
10	Tracy Gardner	[12]
11	Martin Giese	[5] [8] [14]
12	Martin Glinz	[33]
13	Martin Gogolla	[12] [17]
14	Elmar Habermalz	[5] [8]
15	Reiner Hähnle	[4] [5] [8] [12] [14]
16	Heinrich Hußmann (Heinrich Hussmann)	[12] [17]
17	Cédric Jeanneret	[33]
18	Ekkart Kindler	[2] [3]
19	Philipp Kumar	[30] [32]
20	Slavisa Markovic	[18] [20] [21] [24] [26] [27] [29]
21	Stephen J. Mellor	[13]
22	Wolfram Menzel	[5] [8] [14]
23	Ana Moreira (Ana M. D. Moreira)	[13] [25]
24	Wojciech Mostowski	[8] [14]
25	Octavian Patrascoiu	[12] [17]
26	Andreas Roth	[14]
27	Theo Sattler	[4]
28	Steffen Schlager	[14]
29	Peter H. Schmitt	[4] [5] [6] [8] [12] [14] [17]
30	Shane Sendall	[11]
31	Alfred Strohmeier	[11] [13] [20]
32	Hagen Völzer	[3]
33	Jos Warmer	[12] [17]
34	Jon Whittle (Jonathan Whittle)	[23]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page