A Tumefactive Multiple Sclerosis Case Mimicking a Focal Cerebral Mass
Olcay Unver, Zehra Isik Hasiloglu, Umut Durak, Serap Uysal
Published in Çukurova Üniversitesi tip fakültesi dergisi (01.04.2013)
Get full text
Published in Çukurova Üniversitesi tip fakültesi dergisi (01.04.2013)
Journal Article
A system-theoretic assurance framework for safety-driven systems engineering
Ahlbrecht, Alexander, Sprockhoff, Jasper, Durak, Umut
Published in Software and systems modeling (13.09.2024)
Published in Software and systems modeling (13.09.2024)
Get full text
Journal Article
ArTIC-M&S: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation
Bocciarelli, Paolo, D'Ambrogio, Andrea, Durak, Umut
Published in 2020 Winter Simulation Conference (WSC) (14.12.2020)
Published in 2020 Winter Simulation Conference (WSC) (14.12.2020)
Get full text
Conference Proceeding
A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
Dorr, Tobias, Schade, Florian, Ahlbrecht, Alexander, Zaeske, Wanja, Masing, Leonard, Durak, Umut, Becker, Juergen
Published in 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (26.09.2022)
Published in 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (26.09.2022)
Get full text
Conference Proceeding
Rethinking Simulation Engineering Process for MSaaS
Bocciarelli, Paolo, D'Ambrogio, Andrea, Durak, Umut, Panetti, Tommaso
Published in 2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.09.2020)
Published in 2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.09.2020)
Get full text
Conference Proceeding
Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization
Ahlbrecht, Alexander, Durak, Umut
Published in 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) (18.09.2022)
Published in 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) (18.09.2022)
Get full text
Conference Proceeding
The Current Regulatory Framework and the Overarching Properties
Ibrahim, Mohamad, Durak, Umut
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Get full text
Conference Proceeding
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
Masing, Leonard, Dorr, Tobias, Schade, Florian, Becker, Juergen, Keramidas, Georgios, Antonopoulos, Christos P., Mavropoulos, Michail, Tiganourias, Efstratios, Kelefouras, Vasilios, Antonopoulos, Konstantinos, Voros, Nikolaos, Durak, Umut, Ahlbrecht, Alexander, Zaeske, Wanja, Panagiotou, Christos, Karadimas, Dimitris, Adler, Nico, Sailer, Andreas, Weber, Raphael, Wilhelm, Thomas, Nemeth, Geza, Siddiqui, Fahad, Khan, Rafiullah, Garousi, Vahid, Sezer, Sakir, Morales, Victor
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Get full text
Conference Proceeding
Integrating Safety into MBSE Processes with Formal Methods
Ahlbrecht, Alexander, Durak, Umut
Published in 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC) (03.10.2021)
Published in 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC) (03.10.2021)
Get full text
Conference Proceeding