Thomas Baar

ORCID

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Venues

Ershov Informatics Conference

Ershov Memorial Conference

FedCSIS

GI-Jahrestagung

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar
Visualization Support for Contracts in VeriFast. GI-Jahrestagung (2023)
Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. FedCSIS (2021)
Thomas Baar
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax. Ershov Informatics Conference (2019)
Marcel Toussaint, Thomas Baar
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor. Ershov Informatics Conference (2017)
Thomas Baar
Verification Support for a State-Transition-DSL Defined with Xtext. Ershov Memorial Conference (2015)
Thomas Baar, Issam Bendaas
Making the Evolution of Graphical Models Visible. Ershov Memorial Conference (Posters) (2014)
Thomas Baar
Improving software engineering education by modeling real-world implementations. EduSym@MoDELS (2012)
Cédric Jeanneret, Martin Glinz, Thomas Baar
Modeling the Purposes of Models. Modellierung (2012)
Thomas Baar
Modellbasierte GUI-Entwicklung mit Wireframes. GI-Jahrestagung (2011)
Thomas Baar, Philipp Kumar
Detecting Entry Points in Java Libraries. Ershov Memorial Conference (2011)
Thomas Baar
On the Need of User-defined Libraries in OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
Philipp Kumar, Thomas Baar
Using AOP for Discovering and Defining Executable Test Cases. Ershov Memorial Conference (2009)
Thomas Baar
Correctly defined concrete syntax. Softw. Syst. Model. 7 (4) (2008)
Slavisa Markovic, Thomas Baar
Refactoring OCL annotated UML class diagrams. Softw. Syst. Model. 7 (1) (2008)
Slavisa Markovic, Thomas Baar
Semantics of OCL specified with QVT. Softw. Syst. Model. 7 (4) (2008)
Thomas Baar, Ana Moreira
Guest Editorial to the Special Issue on UML 2004. Softw. Syst. Model. 6 (2) (2007)
Slavisa Markovic, Thomas Baar
Synchronizing Refactored UML Class Diagrams and OCL Constraints. WRT (2007)
Thomas Baar, Jon Whittle
On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference (2006)
Slavisa Markovic, Thomas Baar
An OCL Semantics Specified with QVT. MoDELS (2006)
Thomas Baar
Correctly Defined Concrete Syntax for Visual Modeling Languages. MoDELS (2006)
Thomas Baar, Slavisa Markovic
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference (2006)
Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier
Definition and Correct Refinement of Operation Specifications. Research Results of the DICS Program (2006)
Slavisa Markovic, Thomas Baar
Refactoring OCL Annotated UML Class Diagrams. MoDELS (2005)
Thomas Baar
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. MoDELS (Satellite Events) (2005)
Frédéric Fondement, Thomas Baar
Making Metamodels Aware of Concrete Syntax. ECMDA-FA (2005)
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)
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. Softw. Syst. Model. 4 (1) (2005)
Thomas Baar
Non-deterministic Constructs in OCL - What Does any() Mean. SDL Forum (2005)
Alfred Strohmeier, Thomas Baar, Shane Sendall
Applying Fondue to Specify a Drink Vending Machine. Electron. Notes Theor. Comput. Sci. 102 (2004)
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)
Thomas Baar
Metamodels without Metacircularities. Obj. Logiciel Base données Réseaux 9 (4) (2003)
Thomas Baar
The Definition of Transitive Closure with OCL - Limitations and Applications. Ershov Memorial Conference (2003)
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)
Thomas Baar
Executable and Symbolic Conformance Tests for Implementation Models. OOIS Workshops (2002)
Thomas Baar, Bernhard Beckert, Peter H. Schmitt
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference (2001)
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)
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. GI Jahrestagung (2000)
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20 (3) (2000)
Thomas Baar, Ekkart Kindler, Hagen Völzer
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN (1999)
Thomas Baar, Ekkart Kindler
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. Fundam. Informaticae 37 (3) (1999)
Thomas Baar, Bernd Fischer, Dirk Fuchs
Integrating Deduction Techniques in a Software Reuse Application. J. Univers. Comput. Sci. 5 (3) (1999)

Thomas Baar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Baar