Tue 17 Sep 2024 11:35 - 11:45 at EI 2 Pichelmayer - Student Presentations - I
The reliability of a network is a crucial requirement for systems such as IoT, client-server, or cloud-based solutions. Unfortunately, real networks cannot be assumed to be fault-free, especially when considering various hardware problems, performance issues, or malicious attacks. Testing networked systems should therefore include evaluating fault tolerance under various network conditions. The paper presents a doctoral research project on automated verification of networked systems using fault-attack injection using a derived model of network communication.
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 15mTalk | Soft Verification for Actor Contract Systems Doctoral Symposium S: Bram Vandenbogaerde Vrije Universiteit Brussel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
10:45 10mTalk | Integrating Mutation Techniques to Keep Specification and Source Code in Sync Doctoral Symposium S: Kerstin Jacob University of Bamberg, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
10:55 10mTalk | Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Doctoral Symposium S: Alix Decrop University of Namur, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
11:05 15mTalk | From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Doctoral Symposium S: Drishti Yadav Technische Universität Wien, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
11:20 15mTalk | Robustness against the C/C++11 memory model Doctoral Symposium S: Roy Margalit Tel Aviv University, Israel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
11:35 10mTalk | Automated Testing of Networked Systems Reliability Doctoral Symposium S: Michal Rozsíval Faculty of Information Technology, Brno University of Technology, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
11:45 10mTalk | Search-Based Translations for Tensor Operations Doctoral Symposium Link to publication | ||
Information for Participants
Tue 17 Sep 2024 10:30 - 12:00 at EI 2 Pichelmayer - Student Presentations - I
Info for room EI 2 Pichelmayer: