Verifying Intuition - ILF Checks DAWN Proofs. - Thomas Baar; Ekkart Kindler; Hagen Völzer (ICATPN, 1999)

ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. - Thomas Baar; Ekkart Kindler (Fundam. Informaticae, 1999)

Integrating Deduction Techniques in a Software Reuse Application. - Thomas Baar; Bernd Fischer 002; Dirk Fuchs (J. Univers. Comput. Sci., 1999)

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. - Thomas Baar; Reiner Hähnle; Theo Sattler; Peter H. Schmitt (GI Jahrestagung, 2000)

The KeY Approach: Integrating Object Oriented Design and Formal Verification. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (JELIA, 2000)

Entwurfgesteuerte Erzeugung von OCL-Constraints. - Thomas Baar; Reiner Hähnle; Theo Sattler; Peter H. Schmitt (Softwaretechnik-Trends, 2000)

An Extension of Dynamic Logic for Modelling OCL's @pre Operator. - Thomas Baar; Bernhard Beckert; Peter H. Schmitt (Ershov Memorial Conference, 2001)

The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)

Executable and Symbolic Conformance Tests for Implementation Models. - Thomas Baar (OOIS Workshops, 2002)

The Definition of Transitive Closure with OCL - Limitations and Applications. - Thomas Baar (Ershov Memorial Conference, 2003)

Metamodels without Metacircularities. - Thomas Baar (Obj. Logiciel Base données Réseaux, 2003)

Applying Fondue to Specify a Drink Vending Machine. - Alfred Strohmeier; Thomas Baar; Shane Sendall (OCL 2.0 @ UML, 2003)

Über die Semantikbeschreibung OCL-artiger Sprachen. - Thomas Baar (2003)

OCL and Model Driven Engineering. - Jean Bézivin; Thomas Baar; Tracy Gardner; Martin Gogolla; Reiner Hähnle; Heinrich Hußmann; Octavian Patrascoiu; Peter H. Schmitt; Jos Warmer (UML Satellite Activities, 2004)

Making Metamodels Aware of Concrete Syntax. - Frédéric Fondement; Thomas Baar (ECMDA-FA, 2005)

Non-deterministic Constructs in OCL - What Does any() Mean. - Thomas Baar (SDL Forum, 2005)

OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. - Thomas Baar (MoDELS (Satellite Events), 2005)

Tool Support for OCL and Related Formalisms - Needs and Trends. - Thomas Baar; Dan Chiorean; Alexandre L. Correa; Martin Gogolla; Heinrich Hußmann; Octavian Patrascoiu; Peter H. Schmitt; Jos Warmer (MoDELS (Satellite Events), 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

Definition and Correct Refinement of Operation Specifications. - Thomas Baar; Slavisa Markovic; Frédéric Fondement; Alfred Strohmeier (Research Results of the DICS Program, 2006)

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. - Thomas Baar; Slavisa Markovic (Ershov Memorial Conference, 2006)

On the Usage of Concrete Syntax in Model Transformation Rules. - Thomas Baar; Jon Whittle 001 (Ershov Memorial Conference, 2006)

Correctly Defined Concrete Syntax for Visual Modeling Languages. - Thomas Baar (MoDELS, 2006)

An OCL Semantics Specified with QVT. - Slavisa Markovic; Thomas Baar (MoDELS, 2006)

Synchronizing Refactored UML Class Diagrams and OCL Constraints. - Slavisa Markovic; Thomas Baar (WRT, 2007)

Guest Editorial to the Special Issue on UML 2004. - Thomas Baar; Ana Moreira 001 (Softw. Syst. Model., 2007)

Correctly defined concrete syntax. - Thomas Baar (Softw. Syst. Model., 2008)

Refactoring OCL annotated UML class diagrams. - Slavisa Markovic; Thomas Baar (Softw. Syst. Model., 2008)

Semantics of OCL specified with QVT. - Slavisa Markovic; Thomas Baar (Softw. Syst. Model., 2008)

Using AOP for Discovering and Defining Executable Test Cases. - Philipp Kumar; Thomas Baar (Ershov Memorial Conference, 2009)

On the Need of User-defined Libraries in OCL. - Thomas Baar (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Detecting Entry Points in Java Libraries. - Thomas Baar; Philipp Kumar (Ershov Memorial Conference, 2011)

Modellbasierte GUI-Entwicklung mit Wireframes. - Thomas Baar (GI-Jahrestagung, 2011)

Modeling the Purposes of Models. - Cédric Jeanneret; Martin Glinz; Thomas Baar (Modellierung, 2012)

Improving software engineering education by modeling real-world implementations. - Thomas Baar (EduSym@MoDELS, 2012)

Making the Evolution of Graphical Models Visible. - Thomas Baar; Issam Bendaas (Ershov Memorial Conference (Posters), 2014)

Verification Support for a State-Transition-DSL Defined with Xtext. - Thomas Baar (Ershov Memorial Conference, 2015)

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor. - Marcel Toussaint; Thomas Baar (Ershov Informatics Conference, 2017)

A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax. - Thomas Baar (Ershov Informatics Conference, 2019)

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. - Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergey M. Staroletov; Thomas Baar; Horst Schulte; Ivan Konyukhov; Nikolay Shilov 002 (FedCSIS, 2021)

Visualization Support for Contracts in VeriFast. - Pauline Hergersberg; Judith Lippold; Bastian Nahrstedt; Thomas Baar (GI-Jahrestagung, 2023)