SEMECO-Q1: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture |Beschreibung DE=Weitere informationen finden Sie auf der [https://digitalhealth.tu-dresden.de/projects/semeco/ externen Projektwebseite]. |Beschreibung EN=For more information, see the [https://digitalhealth.tu-dresden.de/…“) |
Calvin Chau (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 12: | Zeile 12: | ||
|Projektstatus=aktiv | |Projektstatus=aktiv | ||
|Logo=Semeco-logo.png | |Logo=Semeco-logo.png | ||
|Person=Christel Baier | |Person=Christel Baier, Calvin Chau | ||
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
}} | }} | ||
Aktuelle Version vom 19. März 2025, 10:15 Uhr
SEMECO-Q1
Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen
Forschungsgruppe
Personen
- Kontaktperson Christel Baier
- https://digitalhealth.tu-dresden.de/projects/semeco/
- 2023 – 2026
- finanziert durch BMBF
Weitere informationen finden Sie auf der externen Projektwebseite.
Artikel in Tagungsbänden
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Calvin Chau, Jan Křetínský, Stefanie Mohr
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In André, Étienne and Sun, Jun, eds., Automated Technology for Verification and Analysis, 401--421, 2023. Springer Nature Switzerland
Details
