Marc Wiartalla, M.Sc. RWTH
Kontakt
Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21183
Fax +49 241 80 22150
Email: wiartalla[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2320(Gebäude H)
Sprechstunden
Nach Vereinbarung
Lehre
| Semester | Titel | Art |
| Sommersemester 23 | Praktikum Systemprogrammierung | P |
| Seminar: Ausgesuchte Themen zur Eingebetteten Software | S | |
| Proseminar: Grundlagen eingebetteter Systeme | PS | |
| Wintersemester 22/23 | Praktikum Systemprogrammierung | P |
| Seminar: Ausgesuchte Themen zur Eingebetteten Software | S | |
| Proseminar: Grundlagen eingebetteter Systeme | PS | |
| Sommersemester 22 | Praktikum Systemprogrammierung | P |
| Seminar: Ausgesuchte Themen zur Eingebetteten Software | S | |
| Wintersemester 21/22 | Praktikum Systemprogrammierung | P |
| Seminar: Ausgesuchte Themen zur Eingebetteten Software | S | |
| Proseminar: Grundlagen eingebetteter Systeme | PS | |
| Sommersemester 21 | Praktikum Systemprogrammierung | P |
| Seminar: Ausgesuchte Themen zur Eingebetteten Software | S | |
| Proseminar: Grundlagen eingebetteter Systeme | PS | |
| Wintersemester 20/21 | Seminar: Ausgesuchte Themen zur Eingebetteten Software | S |
| Proseminar: Grundlagen eingebetteter Systeme | PS | |
| Sommersemester 20 | Proseminar: Grundlagen eingebetteter Systeme | PS |
Publikationen
Publikations-Export
- [BWH+23]
- Berg, F. J., Wiartalla, M. O., Hüllmann, M., Derks, A., Kowalewski, S., and Stollenwerk, A., "ASMO: a decentralized and verifiable interoperability platform in intensive care", Proceedings on automation in medical engineering, vol. 2, iss. 1, p. 2, 2023
ASMO: a decentralized and verifiable interoperability platform in intensive care
Bibtex entry :
@article { BWH+23, author = { Berg, Frederik Julius and Wiartalla, Marc Oliver and H{\"u}llmann, Moritz and Derks, Andreas and Kowalewski, Stefan and Stollenwerk, André }, title = { ASMO: a decentralized and verifiable interoperability platform in intensive care }, journal = { Proceedings on automation in medical engineering }, publisher = { Infinite Science GmbH }, pages = { 2 Seiten }, volume = { 2 }, number = { 1 }, year = { 2023 }, address = { L{\"u}beck }, organization = { 16. Interdisziplin{\"a}res Symposium AUTOMED - Automatisierungstechnische Verfahren f{\"u}r die Medizintechnik, Gie{\ss}en (Germany), 2023-03-30 - 2023-03-31 }, doi = { 10.18154/RWTH-2023-03716 }, typ = { PUB:(DE-HGF)16 }, reportid = { RWTH-2023-03716 }, cin = { 122810 / 120000 }, url = { https://doi.org/10.18416/AUTOMED.2023 }, } - [BKR+20]
- Bürger, J. C., Kausch, H., Raco, D., Ringert, J. O., Rumpe, B., Stüber, S. W., and Wiartalla, M. O., "Towards an Isabelle Theory for distributed, interactive systems : the untimed case", , Düren2020.
Towards an Isabelle Theory for distributed, interactive systems : the untimed case
Bibtex entry :
@techreport { BKR+20, author = { B{\"u}rger, Jens Christoph and Kausch, Hendrik and Raco, Deni and Ringert, Jan Oliver and Rumpe, Bernhard and St{\"u}ber, Sebastian Wolfram and Wiartalla, Marc Oliver }, title = { Towards an Isabelle Theory for distributed, interactive systems : the untimed case }, publisher = { Shaker Verlag }, pages = { 254 Seiten }, volume = { 45 }, series = { Aachener Informatik-Berichte, Software-Engineering }, year = { 2020 }, address = { D{\"u}ren }, doi = { 10.18154/RWTH-2020-10398 }, typ = { PUB:(DE-HGF)29 }, reportid = { RWTH-2020-10398 }, cin = { 121510 / 120000 / 122810 }, url = { https://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-7265-5 }, }
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland