Skip to content Skip to footer

Research Portal of the TU Dresden

Chair of Software Technology

Organisational unit: Chair

Organisation profile

Chair Holder: Prof. Dr. rer. nat. Uwe Aßmann

Contact

TUD website: https://tu-dresden.de/ing/informatik/smt/st, external link

Parent units

Institute of Software and Multimedia Technology

Keywords

Research Focus

Related content and researchers (public profile)

Aßmann, Uwe

uwe.assmann@tu-dresden.de

Chair of Software Technology - Academic Staff
Clusters of Excellence CeTI: Centre for Tactile Internet - Member

Person

Belov, Mikhail

mikhail.belov@tu-dresden.de

Chair of Software Technology - Academic Staff

Person

Ebert, Sebastian

sebastian.ebert@tu-dresden.de

Chair of Software Technology - Academic Staff

Person

Götz, Sebastian

sebastian.goetz1@tu-dresden.de

Chair of Software Technology - Academic Staff

Person

Gutsche, Christian

christian.gutsche@tu-dresden.de

Boysen TUD Research Training Group - Academic Staff
Chair of Software Technology - Academic Staff

Person

View all researchers with public profile (16)

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, MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. 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

Digital dimensions in medicine: Exploring the interplay of biomarkers, phenotypes, and twins

Kählig, M., Schlieter, H., Wendt, K. & Hickmann, E., 19 Sept 2024. 16 p.

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

View all research output (240)

International journal of innovation, management and technology : IJIMT

ISSNs: 2010-0248

Singapore : International Association of Computer Science and Information Technology Press (IACSIT Press), Singapore

Journal

Wissenschaftliche Zeitschrift der Technischen Universitat Dresden

ISSNs: 0043-6925

Technische Universitaet Dresden, Germany

Journal

Science of computer programming : methods of software design: techniques and applications

ISSNs: 0167-6423

Additional searchable ISSN (electronic): 0167-6423

Elsevier Science B.V., Netherlands

Scopus rating (2023): CiteScore 3.8 SJR 0.511 SNIP 0.916

Journal

Communications medicine

ISSNs: 2730-664X

Additional searchable ISSN (electronic): 2730-664X

Springer Nature

Indexed in DOAJ

Journal

Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen

ISSNs: 0170-6012, 1432-122X

Springer Verlag, Germany

Scopus rating (2023): CiteScore 1.1 SJR 0.196 SNIP 0.442

Journal

View all journals (29)

International Joint Conference on Neural Networks 2025

Götz, S. (Member of programme committee)

30 Jun 2025 → 5 Jul 2025

Activity: Organising or participating in an event › Organising an event

20th International Conference on Software Engineering for Adaptive and Self-Managing Systems

Götz, S. (Member of programme committee)

28 Apr 2025 → 29 Apr 2025

Activity: Organising or participating in an event › Organising an event

Models at Runtime and Self-Adaptive Systems

Götz, S. (Speaker), Bencomo, N. (Speaker)

21 Sept 2024

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

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems

Götz, S. (Member of programme committee)

16 Sept 2024 → 20 Sept 2024

Activity: Organising or participating in an event › Organising an event

International Joint Conference on Neural Networks 2024

Götz, S. (Member of programme committee)

30 Jun 2024 → 5 Jul 2024

Activity: Organising or participating in an event › Organising an event

View all activities (24)

Best Artifact Paper Award

Götz, S. (Recipient), Bencomo, N. (Recipient) & Samin, H. (Recipient), 16 Apr 2024

Prize: Publication/Conference prize

Best Reviewer Award

Götz, S. (Recipient), 5 Oct 2023

Prize: Publication/Conference prize

3m5-Excellence Award

Westermann, L. (Recipient), 29 Jun 2023

Prize: Student prize

ACM Senior Member

Demuth, B. (Recipient), 2016

Prize: Honors › Honorary membership in an Academy

Best Workshop Award

Götz, S. (Recipient), Bencomo, N. (Recipient), Blair, G. (Recipient) & Song, H. (Recipient), 29 Sept 2015

Prize: Publication/Conference prize

View all prizes (8)

bigraph-toolkit-suite/bigraphs.grgen-bigraphs: BiGGer v1.1.0

Grzelak, D. (Creator), Zenodo, 11 Mar 2024

DOI: https://doi.org/10.5281/zenodo.10803176, external link, https://zenodo.org/records/10803176, external link

Dataset: Code

50 Jahre Informatikausbildung an der TU Dresden

Demuth, B. (Data Collector), Technische Universität Dresden, 2019

https://festtage.inf.tu-dresden.de/zeitzeugen/, external link

Dataset: Audiovisual publication › Video

View all research data (2)