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
4152005
Refactoring OCL annotated UML class diagrams
S Marković, T Baar
International Conference On Model Driven Engineering Languages And Systems …, 2005
1612005
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
European Conference on Model Driven Architecture-Foundations and …, 2005
822005
On the usage of concrete syntax in model transformation rules
T Baar, J Whittle
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
542007
Correctly defined concrete syntax for visual modeling languages
T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2006
422006
Semantics of OCL specified with QVT
S Marković, T Baar
Software & Systems Modeling 7 (4), 399-422, 2008
412008
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
392002
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
352007
The definition of transitive closure with ocl–limitations and applications–
T Baar
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
352003
An integrated metamodel for OCL types
T Baar, R Hähnle
Proc. 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
242005
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
International Conference on Model Driven Engineering Languages and Systems …, 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
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, ...
CEUR workshop proceedings 2478, 74-91, 2019
192019
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
192018
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
Experiences with the UML/OCL-approach to precise software modeling: A report from practice
T Baar
Proc. Net. ObjectDays, Erfurt, Germany, 2000
182000
Non-deterministic constructs in OCL–what does any () mean
T Baar
SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005
162005
The system can't perform the operation now. Try again later.
Articles 1–20