Thomas Baar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2000–2023
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | GI | Visualization Support for Contracts in VeriFast. | Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar |
| 2021 | FedCSIS | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. | Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov |
| 2012 | MODELS | Improving software engineering education by modeling real-world implementations. | Thomas Baar |
| 2011 | GI | Modellbasierte GUI-Entwicklung mit Wireframes. | Thomas Baar |
| 2007 | ECOOP | Synchronizing Refactored UML Class Diagrams and OCL Constraints. | Slavisa Markovic, Thomas Baar |
| 2006 | MODELS | Correctly Defined Concrete Syntax for Visual Modeling Languages. | Thomas Baar |
| 2006 | MODELS | An OCL Semantics Specified with QVT. | Slavisa Markovic, Thomas Baar |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2000 | GI | Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. | Thomas Baar, Reiner Hhnle, Theo Sattler, Peter H. Schmitt |
| 2000 | JELIA | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |