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 | 416 | 2005 |
Refactoring OCL annotated UML class diagrams S Marković, T Baar International Conference On Model Driven Engineering Languages And Systems …, 2005 | 158 | 2005 |
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 | 89 | 2000 |
Making metamodels aware of concrete syntax F Fondement, T Baar European Conference on Model Driven Architecture-Foundations and …, 2005 | 82 | 2005 |
On the usage of concrete syntax in model transformation rules T Baar, J Whittle Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007 | 53 | 2007 |
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 | 42 | 2002 |
Semantics of OCL specified with QVT S Marković, T Baar Software & Systems Modeling 7 (4), 399-422, 2008 | 41 | 2008 |
Correctly defined concrete syntax for visual modeling languages T Baar International Conference on Model Driven Engineering Languages and Systems …, 2006 | 41 | 2006 |
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 | 36 | 2007 |
The definition of transitive closure with ocl–limitations and applications– T Baar International Andrei Ershov Memorial Conference on Perspectives of System …, 2003 | 34 | 2003 |
An integrated metamodel for OCL types T Baar, R Hähnle Proc. OOPSLA 2000 Workshop Refactoring the UML: In Search of the Core …, 2000 | 30 | 2000 |
OCL and graph-transformations–a symbiotic alliance to alleviate the frame problem T Baar International Conference on Model Driven Engineering Languages and Systems …, 2005 | 23 | 2005 |
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 | 22 | 2019 |
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 | 22 | 2006 |
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 | 20 | 2018 |
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 | 20 | 2000 |
An OCL semantics specified with QVT S Marković, T Baar International Conference on Model Driven Engineering Languages and Systems …, 2006 | 19 | 2006 |
Non-deterministic constructs in OCL–what does any () mean T Baar SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005 | 19 | 2005 |
Experiences with the UML/OCL-approach to precise software modeling: A report from practice T Baar Proc. Net. ObjectDays, Erfurt, Germany, 2000 | 19 | 2000 |
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 | 18 | 2001 |