Follow
Thomas Baar
Thomas Baar
HTW Berlin
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
The KeY tool: integrating object oriented design and formal verification
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4, 32-54, 2005
3922005
Refactoring OCL annotated UML class diagrams
S Marković, T Baar
Model Driven Engineering Languages and Systems: 8th International Conference …, 2005
1562005
The approach: integrating object oriented design and formal verification
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga …, 2000
882000
Making metamodels aware of concrete syntax
F Fondement, T Baar
Model Driven Architecture–Foundations and Applications: First European …, 2005
762005
On the usage of concrete syntax in model transformation rules
T Baar, J Whittle
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
522007
Semantics of OCL specified with QVT
S Marković, T Baar
Software & Systems Modeling 7 (4), 399-422, 2008
402008
Correctly defined concrete syntax for visual modeling languages
T Baar
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
402006
The KeY system: Integrating object-oriented design and formal methods
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
Fundamental Approaches to Software Engineering: 5th International Conference …, 2002
402002
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules
T Baar, S Marković
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
332007
The definition of transitive closure with ocl–limitations and applications–
T Baar
Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003
332003
An integrated metamodel for OCL types
T Baar, R Hähnle
Proc. OOPSLA 2000 Workshop Refactoring the UML: In Search of the Core …, 2000
292000
OCL and graph-transformations–a symbiotic alliance to alleviate the frame problem
T Baar
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International …, 2006
242006
Tool support for OCL and related formalisms–needs and trends
T Baar, D Chiorean, A Correa, M Gogolla, H Hußmann, O Patrascoiu, ...
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International …, 2006
222006
An OCL semantics specified with QVT
S Marković, T Baar
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
202006
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints
T Baar, R Hähnle, T Sattler, PH Schmitt
Informatik 2000: Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der …, 2000
202000
An Extension of Dynamic Logic for Modelling OCL’s @pre Operator
T Baar, B Beckert, PH Schmitt
Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001
182001
Model-driven methods to design of reliable multiagent cyber-physical systems
S Staroletov, N Shilov, I Konyukhov, V Zyubin, T Liakh, A Rozov, I Shilov, ...
CEUR workshop proceedings 2478, 74-91, 2019
172019
Experiences with the UML/OCL-approach to precise software modeling: A report from practice
T Baar
Proc. Net. ObjectDays, Erfurt, Germany, 2000
162000
A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
T Baar, SM Staroletov
Моделирование и анализ информационных систем 25 (5), 465-480, 2018
152018
Non-deterministic constructs in OCL–what does any () mean
T Baar
SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005
152005
The system can't perform the operation now. Try again later.
Articles 1–20