Thomas Baar

According to our database, Thomas Baar authored at least 41 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Visualization Support for Contracts in VeriFast.

Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2021

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

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

2019

A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax.

Thomas Baar

Proceedings of the Perspectives of System Informatics, 2019

2017

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor.

Marcel Toussaint, Thomas Baar

Proceedings of the Perspectives of System Informatics, 2017

2015

Verification Support for a State-Transition-DSL Defined with Xtext.

Thomas Baar

Proceedings of the Perspectives of System Informatics, 2015

2014

Making the Evolution of Graphical Models Visible.

Thomas Baar, Issam Bendaas

Proceedings of the PSI 2014. Ershov Informatics Conference, 2014

2012

Improving software engineering education by modeling real-world implementations.

Thomas Baar

Proceedings of the 8th edition of the Educators' Symposium, 2012

Modeling the Purposes of Models.

Cédric Jeanneret, Martin Glinz, Thomas Baar

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

2011

Modellbasierte GUI-Entwicklung mit Wireframes.

Thomas Baar

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Detecting Entry Points in Java Libraries.

Thomas Baar, Philipp Kumar

Proceedings of the Perspectives of Systems Informatics, 2011

2010

On the Need of User-defined Libraries in OCL.

Thomas Baar

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Using AOP for Discovering and Defining Executable Test Cases.

Philipp Kumar, Thomas Baar

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Semantics of OCL specified with QVT.

Slavisa Markovic, Thomas Baar

Softw. Syst. Model., 2008

Refactoring OCL annotated UML class diagrams.

Slavisa Markovic, Thomas Baar

Softw. Syst. Model., 2008

Correctly defined concrete syntax.

Thomas Baar

Softw. Syst. Model., 2008

2007

Guest Editorial to the Special Issue on UML 2004.

Thomas Baar, Ana Moreira

Softw. Syst. Model., 2007

Synchronizing Refactored UML Class Diagrams and OCL Constraints.

Slavisa Markovic, Thomas Baar

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

An OCL Semantics Specified with QVT.

Slavisa Markovic, Thomas Baar

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Correctly Defined Concrete Syntax for Visual Modeling Languages.

Thomas Baar

Proceedings of the Model Driven Engineering Languages and Systems, 2006

On the Usage of Concrete Syntax in Model Transformation Rules.

Thomas Baar, Jon Whittle

Proceedings of the Perspectives of Systems Informatics, 2006

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.

Thomas Baar, Slavisa Markovic

Proceedings of the Perspectives of Systems Informatics, 2006

Definition and Correct Refinement of Operation Specifications.

Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 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

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.

Thomas Baar

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Non-deterministic Constructs in OCL - What Does any() Mean.

Thomas Baar

Proceedings of the SDL 2005: Model Driven, 2005

Making Metamodels Aware of Concrete Syntax.

Frédéric Fondement, Thomas Baar

Proceedings of the Model Driven Architecture, 2005

2004

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

Proceedings of the UML Modeling Languages and Applications, 2004

2003

Über die Semantikbeschreibung OCL-artiger Sprachen.

Thomas Baar

PhD thesis, 2003

Applying Fondue to Specify a Drink Vending Machine.

Alfred Strohmeier, Thomas Baar, Shane Sendall

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

Metamodels without Metacircularities.

Thomas Baar

Obj. Logiciel Base données Réseaux, 2003

The Definition of Transitive Closure with OCL - Limitations and Applications.

Thomas Baar

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Executable and Symbolic Conformance Tests for Implementation Models.

Thomas Baar

Proceedings of the Advances in Object-Oriented Information Systems, 2002

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

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

An Extension of Dynamic Logic for Modelling OCL's @pre Operator.

Thomas Baar, Bernhard Beckert, Peter H. Schmitt

Proceedings of the Perspectives of System Informatics, 2001

2000

Entwurfgesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Softwaretechnik-Trends, 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

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Proceedings of the Informatik 2000, 2000

1999

Integrating Deduction Techniques in a Software Reuse Application.

Thomas Baar, Bernd Fischer, Dirk Fuchs

J. Univers. Comput. Sci., 1999

ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.

Thomas Baar, Ekkart Kindler

Fundam. Informaticae, 1999

Verifying Intuition - ILF Checks DAWN Proofs.

Thomas Baar, Ekkart Kindler, Hagen Völzer

Proceedings of the Application and Theory of Petri Nets 1999, 1999