Thomas Baar

43 papers A 3B 2C 1Journal 10Unranked 25
YearRankTypeTitle / Venue / Authors
2023 — conf
Visualization Support for Contracts in VeriFast.
GI-Jahrestagung
Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar
2021 C conf
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.
FedCSIS
Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
2019 — conf
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax.
Ershov Informatics Conference
Thomas Baar
2017 — conf
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor.
Ershov Informatics Conference
Marcel Toussaint, Thomas Baar
2015 — conf
Verification Support for a State-Transition-DSL Defined with Xtext.
Ershov Memorial Conference
Thomas Baar
2014 — conf
Making the Evolution of Graphical Models Visible.
Ershov Memorial Conference (Posters)
Thomas Baar, Issam Bendaas
2012 — conf
Improving software engineering education by modeling real-world implementations.
EduSym@MoDELS
Thomas Baar
2012 — conf
Modeling the Purposes of Models.
Modellierung
Cédric Jeanneret, Martin Glinz, Thomas Baar
2011 — conf
Detecting Entry Points in Java Libraries.
Ershov Memorial Conference
Thomas Baar, Philipp Kumar
2011 — conf
Modellbasierte GUI-Entwicklung mit Wireframes.
GI-Jahrestagung
Thomas Baar
2010 J jnl
On the Need of User-defined Libraries in OCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Thomas Baar
2009 — conf
Using AOP for Discovering and Defining Executable Test Cases.
Ershov Memorial Conference
Philipp Kumar, Thomas Baar
2008 J jnl
Correctly defined concrete syntax.
Softw. Syst. Model.
Thomas Baar
2008 J jnl
Refactoring OCL annotated UML class diagrams.
Softw. Syst. Model.
Slavisa Markovic, Thomas Baar
2008 J jnl
Semantics of OCL specified with QVT.
Softw. Syst. Model.
Slavisa Markovic, Thomas Baar
2007 J jnl
Guest Editorial to the Special Issue on UML 2004.
Softw. Syst. Model.
Thomas Baar, Ana Moreira
2007 — conf
Synchronizing Refactored UML Class Diagrams and OCL Constraints.
WRT
Slavisa Markovic, Thomas Baar
2006 — conf
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.
Ershov Memorial Conference
Thomas Baar, Slavisa Markovic
2006 A conf
An OCL Semantics Specified with QVT.
MoDELS
Slavisa Markovic, Thomas Baar
2006 A conf
Correctly Defined Concrete Syntax for Visual Modeling Languages.
MoDELS
Thomas Baar
2006 — conf
Definition and Correct Refinement of Operation Specifications.
Research Results of the DICS Program
Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier
2006 — conf
On the Usage of Concrete Syntax in Model Transformation Rules.
Ershov Memorial Conference
Thomas Baar, Jon Whittle
2005 — conf
Making Metamodels Aware of Concrete Syntax.
ECMDA-FA
Frédéric Fondement, Thomas Baar
2005 — conf
Non-deterministic Constructs in OCL - What Does any() Mean.
SDL Forum
Thomas Baar
2005 — conf
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.
MoDELS (Satellite Events)
Thomas Baar
2005 A conf
Refactoring OCL Annotated UML Class Diagrams.
MoDELS
Slavisa Markovic, Thomas Baar
2005 J jnl
The KeY tool.
Softw. Syst. Model.
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2005 — conf
Tool Support for OCL and Related Formalisms - Needs and Trends.
MoDELS (Satellite Events)
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2004 — conf
OCL and Model Driven Engineering.
UML Satellite Activities
Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2004 — ed.
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
UML
Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor
2003 — conf
Applying Fondue to Specify a Drink Vending Machine.
OCL 2.0 @ UML
Alfred Strohmeier, Thomas Baar, Shane Sendall
2003 J jnl
Metamodels without Metacircularities.
Obj. Logiciel Base données Réseaux
Thomas Baar
2003 — conf
The Definition of Transitive Closure with OCL - Limitations and Applications.
Ershov Memorial Conference
Thomas Baar
2003 — —
Über die Semantikbeschreibung OCL-artiger Sprachen.
Thomas Baar
2002 — conf
Executable and Symbolic Conformance Tests for Implementation Models.
OOIS Workshops
Thomas Baar
2002 B conf
The KeY System: Integrating Object-Oriented Design and Formal Methods.
FASE
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2001 — conf
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Ershov Memorial Conference
Thomas Baar, Bernhard Beckert, Peter H. Schmitt
2000 J jnl
Entwurfgesteuerte Erzeugung von OCL-Constraints.
Softwaretechnik-Trends
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000 — conf
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
GI Jahrestagung
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000 B conf
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
JELIA
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999 J jnl
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Fundam. Informaticae
Thomas Baar, Ekkart Kindler
1999 J jnl
Integrating Deduction Techniques in a Software Reuse Application.
J. Univers. Comput. Sci.
Thomas Baar, Bernd Fischer, Dirk Fuchs
1999 — conf
Verifying Intuition - ILF Checks DAWN Proofs.
ICATPN
Thomas Baar, Ekkart Kindler, Hagen Völzer