Thomas Baar - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Thomas Baar' as author, editor, or advisor:

The KeY toolWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt. SoSyM, 4(1):32-54, 2005. [doi]
Using AOP for Discovering and Defining Executable Test CasesPhilipp Kumar, Thomas Baar. ershov 2010: 269-281 [doi]
Applying Fondue to Specify a Drink Vending MachineAlfred Strohmeier, Thomas Baar, Shane Sendall. ENTCS, 102:155-173, 2004. [doi]
Correctly defined concrete syntaxThomas Baar. SoSyM, 7(4):383-398, 2008. [doi]
On the Need of User-deﬁned Libraries in OCLThomas Baar. eceasst, 36, 2010. [doi]
Guest Editorial to the Special Issue on UML 2004Thomas Baar, Ana Moreira. SoSyM, 6(2):111-112, 2007. [doi]
Executable and Symbolic Conformance Tests for Implementation ModelsThomas Baar. oois 2002: 231-234 [doi]
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input SyntaxThomas Baar. ershov 2019: 125-139 [doi]
Refactoring OCL Annotated UML Class DiagramsSlavisa Markovic, Thomas Baar. uml 2005: 280-294 [doi]
Verifying Intuition - ILF Checks DAWN ProofsThomas Baar, Ekkart Kindler, Hagen Völzer. apn 1999: 404-424 [doi]
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring RulesThomas Baar, Slavisa Markovic. ershov 2007: 70-83 [doi]
Detecting Entry Points in Java LibrariesThomas Baar, Philipp Kumar. ershov 2012: 42-54 [doi]
Modeling the Purposes of ModelsCédric Jeanneret, Martin Glinz, Thomas Baar. modellierung 2012: 11-26
Synchronizing Refactored UML Class Diagrams and OCL ConstraintsSlavisa Markovic, Thomas Baar. ECOOP 2007: 15-16 [doi]
Non-deterministic Constructs in OCL - What Does any() MeanThomas Baar. sdl 2005: 32-46 [doi]
The Definition of Transitive Closure with OCL - Limitations and ApplicationsThomas Baar. ershov 2003: 358-365 [doi]
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. ProceedingsThomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor, editors, Volume 3273 of Lecture Notes in Computer Science, Springer, 2004.
Über die Semantikbeschreibung OCL-artiger SprachenThomas Baar. PhD thesis, Karlsruhe Institute of Technology, 2003.
Visualization Support for Contracts in VeriFastPauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar. gi 2023: 265-275 [doi]
The KeY Approach: Integrating Object Oriented Design and Formal VerificationWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt. jelia 2000: 21-36 [doi]
Definition and Correct Refinement of Operation SpecificationsThomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier. dics 2006: 127-144 [doi]
Enriching Textual Xtext-DSLs with a Graphical GEF-Based EditorMarcel Toussaint, Thomas Baar. ershov 2018: 394-401 [doi]
The KeY System: Integrating Object-Oriented Design and Formal MethodsWolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt. FASE 2002: 327-330 [doi]
Verification Support for a State-Transition-DSL Defined with XtextThomas Baar. ershov 2016: 50-60 [doi]
An OCL Semantics Specified with QVTSlavisa Markovic, Thomas Baar. MoDELS 2006: 661-675 [doi]
Entwurfgesteuerte Erzeugung von OCL-ConstraintsThomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt. stt, 20(3), 2000.
Correctly Defined Concrete Syntax for Visual Modeling LanguagesThomas Baar. MoDELS 2006: 111-125 [doi]
Entwurfsmustergesteuerte Erzeugung von OCL-ConstraintsThomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt. gi 2000: 389-404 [doi]
Modellbasierte GUI-Entwicklung mit WireframesThomas Baar. gi 2011: 123 [doi]
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame ProblemThomas Baar. uml 2006: 20-31 [doi]
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case StudyTatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov. FedCSIS 2021: 485-488 [doi]
Refactoring OCL annotated UML class diagramsSlavisa Markovic, Thomas Baar. SoSyM, 7(1):25-47, 2008. [doi]
Tool Support for OCL and Related Formalisms - Needs and TrendsThomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer. uml 2006: 1-9 [doi]
On the Usage of Concrete Syntax in Model Transformation RulesThomas Baar, Jon Whittle. ershov 2007: 84-97 [doi]
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a ToolThomas Baar, Ekkart Kindler. FUIN, 37(3):201-211, 1999.
An Extension of Dynamic Logic for Modelling OCL s @pre OperatorThomas Baar, Bernhard Beckert, Peter H. Schmitt. ershov 2001: 47-54 [doi]
Making Metamodels Aware of Concrete SyntaxFrédéric Fondement, Thomas Baar. ECMDA-FA 2005: 190-204 [doi]
OCL and Model Driven EngineeringJean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer. uml 2005: 67-75 [doi]
Semantics of OCL specified with QVTSlavisa Markovic, Thomas Baar. SoSyM, 7(4):399-422, 2008. [doi]
Making the Evolution of Graphical Models VisibleThomas Baar, Issam Bendaas. ershov 2014: 1-8 [doi]
Improving software engineering education by modeling real-world implementationsThomas Baar. MoDELS 2012: 36-39 [doi]
Metamodels without MetacircularitiesT. Baar. Lobjet, 9(4):95-114, 2003. [doi]

runs on WebDSL