Publikationen von Prof. Dr. Thomas Baar

Visualization Support for Contracts in VeriFast
Hergersberg, Pauline et al. In: INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Bonn: 2023, S. 265-275.

Konferenzbeitrag › Konferenzpaper › 2023
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
Liakh, Tatiana et al. In: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. Polish Academy of Sciences, Warsaw, Poland: 2021, S. 485–488.

Konferenzbeitrag › Konferenzpaper › 2021
Notes on Recent Achievements in Proving Stability using KeYmaeraX. (In Russian)
Baar, Thomas; Schulte, Horst. In: Modeling and Analysis of Information Systems 28(4). (2021), S. 326-336.

Artikel › Journalartikel › 2021
CeCar: A platform for research, development and education on autonomous and cooperative driving
Thomas, Carsten et al. In: 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France: 2020, S. 1-7 (hal-02463797).

Konferenzbeitrag › Konferenzpaper › 2020
НЕКОТОРЫЕ НЕДОСТАТКИ ВХОДНОГО СИНТАКСИСА KEYMAERA
Baar, Thomas. In: ПРОГРАММИРОВАНИЕ , 4. (2020), S. 36-45.

Artikel › Journalartikel › 2020
A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax
Baar, Thomas. In: Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, {PSI} 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. Heidelberg: 2019, S. 125-139.

Konferenzbeitrag › Konferenzpaper › 2019
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
Staroletov, Serge et al. In: Proceeding of MacsPro 2019 - Modeling and Analysis of Complex Systems and Processes. Aachen: 2019, S. 74-91.

Konferenzbeitrag › Konferenzpaper › 2019
Safety Analysis of Longitunal Motion Controllers during Climb Flight
Baar, Thomas; Schulte, Horst. In: System Informatics Vol. 2019-14, Issue 237. (2019), S. 11-18.

Artikel › Journalartikel › 2019
Анализ безопасности контроллеров продольного движения во время набора высоты
Baar, Thomas; Schulte, Horst. In: Modelirovanie i analiz informatsionnykh sistem 26/2019, 4. (2019), S. 488-501.

Artikel › Journalartikel › 2019
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
Baar, Thomas; Staroletov, Sergey. In: Modeling and Analysis of Information Systems Vol 25 / 2018, No 5. (2018), S. 465-480.

Artikel › Journalartikel › 2018
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor
Toussaint, Marcel; Baar, Thomas. In: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. Heidelberg: 2018, S. 394-401.

Konferenzbeitrag › Konferenzpaper › 2018
Making Verification in KeYmeara Easier - A Graphical Approach for Better Usability
Baar, Thomas; Staroletov, Sergey. In: Proceeding of 9th Workshop "Program Semantics, Specification and Verification: Theory and Applications" dedicated to the memory of B.A. Trakhtenbrot, M.I. Dekhtyar, and M.K. Valiev. Yaroslavl, Russia: 2018, S. 22-28.

Konferenzbeitrag › Konferenzpaper › 2018
Towards Measuring the Abstractness of State Machines based on Mutation Testing
Baar, Thomas. In: Modeling and Analysis of Information Systems , Vol. 24, No 6 (2017). (2017), S. 691–703.

Artikel › Journalartikel › 2017
A DSL and a SPIN-frontend for river-crossing problems defined with Xtext
Baar, Thomas. In: Bulletin o the Novosibirsk Computing Center 28 (2015). (2015), S. 29-36.

Artikel › Journalartikel › 2015
Verification Support for a State-Transition-DSL defined with Xtext
Baar, Thomas. In: Proceedings of Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith. Heidelberg: 2015, S. 50-60.

Konferenzbeitrag › Konferenzpaper › 2015
Maintaining Vaadin Legacy Applications using DSLs based on Xtext
Toussaint, Marcel; Baar, Thomas. In: Proceedings of The Ninth International Conference on Software Engineering Advances (ICSEA 14), part of SoftNet 2014, October 12 - 16, 2014 – Nice, France. Web-based: 2014, S. 618-621.

Konferenzbeitrag › Konferenzpaper › 2014
Making the Evolution of Graphical Models Visible
Baar, Thomas; Bendaas, Issam. PSI14 Ershov Informatics Conference. 2014.

Konferenzbeitrag › Poster › 2014
Improving software engineering education by modeling real-world implementations
Baar, Thomas. In: EduSymp '12: Proceedings of the 8th edition of the Educators' Symposium. New York, NY, USA: 2012, S. 36-39.

Konferenzbeitrag › Konferenzpaper › 2012
Modeling the Purposes of Models
Jeanneret, Cédric et al. In: Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland. Bonn: 2012, S. 11-26.

Konferenzbeitrag › Konferenzpaper › 2012

Hochschule für Technik und Wirtschaft Berlin

University of Applied Sciences

Publikationen von Prof. Dr. Thomas Baar

Themen

Informationen für

Über die HTW Berlin

Beliebte Seiten

Portale

Service