dblp.uni-trier.dewww.uni-trier.de

Thomas Baar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)