Skip to content Skip to footer

Research Portal of the TU Dresden

Prof. Dr. rer. nat. Uwe Aßmann
Person

Affiliations

Chair of Software Technology
- Full Professor
- uwe.assmann@tu-dresden.de
Clusters of Excellence CeTI: Centre for Tactile Internet
- Associate member

Identification Numbers

ORCID	0000-0002-3513-6448
Scopus author ID	6603009666

RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice

Aßmann, U. & Gutsche, C., 27 Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Nature, p. 191–207 16 p. (Lecture Notes in Computer Science, Vol. 15220).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Rule-Based DSL for Continuous Features and ML Models Selection in Multiple Sclerosis Research

Zhao, W., Wendt, K., Ziemssen, T. & Aßmann, U., 16 Jul 2024, In: Applied sciences. 14, 14, p. 6193 6193.

Research output: Contribution to journal › Research article › Contributed › peer-review

Waffle: A Novel Feature Modeling Language for Highly-Configurable Software Systems

Prokopets, V., Pukhkaiev, D. & Aßmann, U., 27 Jun 2024, p. 382-385. 4 p.

Research output: Contribution to conferences › Paper › Contributed › peer-review

Distributed Petri nets for model-driven verifiable robotic applications in ROS

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., 25 Jun 2024, In: Innovations in Systems and Software Engineering.

Research output: Contribution to journal › Research article › Contributed › peer-review

Systematic Testing of a ROS Interface Specification Backend

Mey, J., Podlubne, A., Schöne, R., Gottschaldt, P., Göhringer, D. & Aßmann, U., 15 Apr 2024, Proceedings - 2024 IEEE/ACM 6th International Workshop on Robotics Software Engineering, RoSE 2024. Association for Computing Machinery, Inc, p. 25-30 6 p. (International Conference on Software Engineering (ICSE)).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (98)

PNRG –A Library for Modeling Variable Structure Energy Grids in Modelicausing Energetic Petri Nets

Gutsche, C. (Speaker), Wang, Z. (Speaker), Götz, S. (Involved person), Prokopets, V. (Involved person), Aßmann, U. (Involved person)

9 Oct 2023 → 11 Oct 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (1)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content