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
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
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
Dorr, Tobias, Schade, Florian, Becker, Juergen, Keramidas, Georgios, Petrellis, Nikos, Kelefouras, Vasilios, Mavropoulos, Michail, Antonopoulos, Konstantinos, Antonopoulos, Christos P., Voros, Nikolaos, Ahlbrecht, Alexander, Zaeske, Wanja, Janson, Vincent, Noldeke, Phillip, Durak, Umut, Panagiotou, Christos, Karadimas, Dimitris, Adler, Nico, Reichmann, Clemens, Sailer, Andreas, Weber, Raphael, Wilhelm, Thomas, Gabler, Wolfgang, Weiden, Katrin, Recasens, Xavier Anzuela, Sezer, Sakir, Siddiqui, Fahad, Khan, Rafiullah, McLaughlin, Kieran, Tasdemir, Sena Yengec, Sonigara, Balmukund, Hui, Henry, Viguer, Esther Soriano, Suarez, Aridane Alvarez, Gallego, Vicente Nicolau, Alcobendas, Manuel Munoz, Tello, Miguel Masmano
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding
XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems
Siddiqui, Fahad, Khan, Rafiullah, Sezer, Sakir, McLaughlin, Kieran, Masing, Leonard, Dorr, Tobias, Schade, Florian, Becker, Jurgen, Ahlbrecht, Alexander, Zaeske, Wanja, Durak, Umut, Adler, Nico, Sailer, Andreas, Weber, Raphael, Wilhelm, Thomas, Nemeth, Geza, Morales, Victor, Gomez, Paco, Keramidas, Georgios, Antonopoulos, Christos P., Mavropoulos, Michail, Kelefouras, Vasilios, Antonopoulos, Konstantinos, Voros, Nikolaos, Panagiotou, Christos, Karadimas, Dimitris
Published in 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring) (01.06.2022)
Published in 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring) (01.06.2022)
Get full text
Conference Proceeding
WebAssembly in Avionics : Decoupling Software from Hardware
Zaeske, Wanja, Friedrich, Sven, Schubert, Tim, 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
Model-Based STPA: Towards Agile Safety-Guided Design with Formalization
Ahlbrecht, Alexander, Zaeske, Wanja, Durak, Umut
Published in 2022 IEEE International Symposium on Systems Engineering (ISSE) (24.10.2022)
Published in 2022 IEEE International Symposium on Systems Engineering (ISSE) (24.10.2022)
Get full text
Conference Proceeding
Cybersecurity Engineering: Bridging the Security Gaps in Avionics Architectures and DO-326A/ED-202A
Siddiqui, Fahad, Ahlbrecht, Alexander, Khan, Rafiullah, Tasdemir, Sena Yengec, Hui, Henry, Sonigara, Balmukund, Sezer, Sakir, McLaughlin, Kieran, Zaeske, Wanja, 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: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems
Becker, Jurgen, Masing, Leonard, Dorr, Tobias, Schade, Florian, 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, Oszwald, Florian, Reinhardt, Dominik, Chamas, Mohamad, Bekan, Adnan, Smethurst, Graham, Siddiqui, Fahad, Khan, Rafiullah, Garousi, Vahid, Sezer, Sakir, Morales, Victor
Published in 2021 31st International Conference on Field-Programmable Logic and Applications (FPL) (01.08.2021)
Published in 2021 31st International Conference on Field-Programmable Logic and Applications (FPL) (01.08.2021)
Get full text
Conference Proceeding