Thomas Baar
Thomas Baar
HTW Berlin
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
The key tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4 (1), 32-54, 2005
3772005
Refactoring OCL annotated UML class diagrams
S Marković, T Baar
International Conference On Model Driven Engineering Languages And Systems …, 2005
1502005
The Approach: Integrating Object Oriented Design and Formal Verification
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
European Workshop on Logics in Artificial Intelligence, 21-36, 2000
862000
Making metamodels aware of concrete syntax
F Fondement, T Baar
European Conference on Model Driven Architecture-Foundations and …, 2005
752005
On the usage of concrete syntax in model transformation rules
T Baar, J Whittle
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
522006
Correctly defined concrete syntax for visual modeling languages
T Baar
International Conference on Model Driven Engineering Languages and Systems …, 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, ...
International Conference on Fundamental Approaches to Software Engineering …, 2002
392002
Semantics of OCL specified with QVT
S Marković, T Baar
Software & Systems Modeling 7 (4), 399-422, 2008
362008
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules
T Baar, S Marković
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
322006
The definition of transitive closure with ocl–limitations and applications–
T Baar
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
312003
An integrated metamodel for OCL types
T Baar, R Hahnle
In Proc. of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, 2000
312000
OCL and graph-transformations–a symbiotic alliance to alleviate the frame problem
T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2005
232005
Tool support for OCL and related formalisms–needs and trends
T Baar, D Chiorean, A Correa, M Gogolla, H Hußmann, O Patrascoiu, ...
International Conference on Model Driven Engineering Languages and Systems, 1-9, 2005
212005
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints
T Baar, R Hähnle, T Sattler, PH Schmitt
Informatik 2000, 389-404, 2000
212000
An Extension of Dynamic Logic for Modelling OCL’s @pre Operator
T Baar, B Beckert, PH Schmitt
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
182001
Experiences with the UML/OCL-approach to precise software modeling: A report from practice
T Baar
Proc. Net. ObjectDays, Erfurt, Germany, 2000
182000
An OCL semantics specified with QVT
S Marković, T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2006
172006
Model-driven methods to design of reliable multiagent cyber-physical systems
S Staroletov, N Shilov, V Zyubin, T Liakh, A Rozov, I Konyukhov, I Shilov, ...
Proc. of the Conference on Modeling and Analysis of Complex Systems and …, 2019
142019
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
142018
Metamodels without Metacircularities.
T Baar
Obj. Logiciel Base données Réseaux 9 (4), 95-114, 2003
142003
The system can't perform the operation now. Try again later.
Articles 1–20