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, external link
Scopus author ID	6603009666

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

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., Dec 2024, In: Innovations in Systems and Software Engineering. 20, 4, p. 531-557 27 p.

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

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, Proceedings: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Nature, p. 191–207 17 p. (Lecture Notes in Computer Science, Vol. 15220).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education

Hamann, M., Götz, S. & Aßmann, U., 22 Sept 2024, Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Linz, Austria: Association for Computing Machinery, p. 95-102 8 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

Feichtinger, K., Kegel, K., Pascual, R., Aßmann, U., Beckert, B. & Reussner, R., 22 Sept 2024, Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 915-919 5 p.

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

View all research output (105)

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

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

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

Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

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