Marc Wiartalla

According to our database, Marc Wiartalla authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A modular and verifiable software architecture for interconnected medical systems in intensive care.

Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Kühn, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk

Proceedings of the Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, 2023

2020

Towards an Isabelle Theory for distributed, interactive systems: The untimed case.

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020