DSN-W

Publications

2023

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W (2023)
András Földvári, Francesco Brancati, András Pataricza
Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems. DSN-W (2023)
Niklas Bunzel, Ashim Siwakoti, Gerrit Klause
Adversarial Patch Detection and Mitigation by Detecting High Entropy Regions. DSN-W (2023)
Victoria Vu, Fredrik Warg, Anders Thorsén, Stig Ursing, Fredrik Sunnerstam, Jimmy Holler, Carl Bergenhem, Irina Cosmin
Minimal Risk Manoeuvre Strategies for Cooperative and Collaborative Automated Vehicles. DSN-W (2023)
Niklas Bunzel, Lukas Graner
A Concise Analysis of Pasting Attacks and their Impact on Image Classification. DSN-W (2023)
Sepide Saeedi, Alessandro Savino, Stefano Di Calro
Design Space Exploration of Approximate Computing Techniques with a Reinforcement Learning Approach. DSN-W (2023)
Muhidul Islam Khan, Gianfranco Nencioni
Revenue Maximization of a Slice Broker in the Presence of Byzantine Faults. DSN-W (2023)
Natalia Lylina, Stefan Holst, Hanieh Jafarzadeh, Alexandra Kourfali, Hans-Joachim Wunderlich
Guardband Optimization for the Preconditioned Conjugate Gradient Algorithm. DSN-W (2023)
Ao Ding, Gaolei Li, Xiaoyu Yi, Yuchen Liu
IVSign: Interpretable Vulnerability Signature via Code Embedding and Static Analysis. DSN-W (2023)
Filipe Rodrigues, Rodrigo Simões, Nuno Neves
FADO: A Federated Learning Attack and Defense Orchestrator. DSN-W (2023)
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
José M. Pinheiro, Enio Vasconcelos Filho, Pedro M. Santos, Luís Almeida
An ETSI ITS-enabled Robotic Scale Testbed for Network-Aided Safety-Critical Scenarios. DSN-W (2023)
Iat Tou Leong, Raul Barbosa
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. DSN-W (2023)
Tiago Fragoso, David Silva, João Pedro Dias, André Restivo, Hugo Sereno Ferreira
SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices. DSN-W (2023)
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection. DSN-W (2023)
Kilian Le Gall, Laurent Lemarchand, Catherine Dezan
Multi-Objective Optimization for an Online Re-Planning of Autonomous Vehicles. DSN-W (2023)
Omid Asghari, Naghmeh Ivaki, Henrique Madeira
Integration of U-space Safety Assessment Methodologies With Experimentation. DSN-W (2023)
Jorge Castro-Godínez, Muhammad Abdullah Hanif, Muhammad Shafique
Cross-Layer Approximations for System-Level Optimizations: Challenges and Opportunities. DSN-W (2023)
Luis G. León-Vega, Jorge Castro-Godínez
Generic Accuracy Configurable Matrix Multiplication-Addition Accelerator using HLS. DSN-W (2023)
João Pereira, Harrison Kurunathan, Enio Vasconcelos Filho, Pedro M. Santos
Edge-Aided V2X Collision Avoidance with Platoons: Towards a Hybrid Evaluation Toolset. DSN-W (2023)
Szilárd Bozóki, Imre Kocsis, András Pataricza
Underestimation-Aware Failure Statistical Model Creation for Large Scale Critical Systems. DSN-W (2023)
Marina Dehez-Clementi, Jean-Christophe Deneuville, Emmanuel Lochin, Jérôme Lacan
BEAT-Traffic: a Blockchain-Enabled infrastructure for Anonymous-yet-Traceable Traffic reporting. DSN-W (2023)
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023 DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Formalizing Model Inference of MicroPython. DSN-W (2023)
Patrick Grümer, Pedro Brandão
An Automotive Cybersecurity Maturity Level Assessment Programme. DSN-W (2023)
Vincenzo Maria Arricale, Michele Caggiano, Marcello Cinque, Angelo Coppola, Flavio Farroni, Mario Fiorentino, Andrea Garofalo, Andrea Marchetta, Antimo Perfetto, Aleksandr Sakhnevych
EMER-GO: real-time grip enhanced speed advisory for emergency intelligent transportation systems. DSN-W (2023)
Roberto Rocco, Gianluca Palermo
Exploit Approximation to Support Fault Resiliency in MPI-based Applications. DSN-W (2023)
Ali Piri, Salvatore Pappalardo, Salvatore Barone, Mario Barbareschi, Bastien Deveautour, Marcello Traiola, Ian O'Connor, Alberto Bosio
Input-aware accuracy characterization for approximate circuits. DSN-W (2023)
Mehdi Maleki, Ashfaq Farooqui, Behrooz Sangchoolie
CarFASE: A Carla-based Tool for Evaluating the Effects of Faults and Attacks on Autonomous Driving Stacks. DSN-W (2023)
Júlio Mendonça, Fumio Machida, Marcus Völp
Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. DSN-W (2023)
Janek Groß, Michael Kläs, Lisa Jöckel, Pascal Gerber
Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning. DSN-W (2023)
R. Bouchekir, M. Guzman, A. Cook, J. Haindl, R. Woolnough
. DSN-W (2023)
Shrishti Trivedi, Fredrik Warg
Evaluating the Safety Impact of Network Disturbances for Remote Driving with Simulation-Based Human-in-the-Loop Testing. DSN-W (2023)
Nithin Ravani Nanjundaswamy, Gregor Nitsche, Frank Poppen, Kim Grüttner
RISC-V Timing-Instructions for Open Time-Triggered Architectures. DSN-W (2023)
Morteza Rezaalipour, Lorenzo Ferretti, Ilaria Scarabottolo, George A. Constantinides, Laura Pozzi
Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits. DSN-W (2023)
Morteza Rezaalipour, Marco Biasion, Ilaria Scarabottolo, George A. Constantinides, Laura Pozzi
A Parametrizable Template for Approximate Logic Synthesis. DSN-W (2023)
Emanuel Vieira, João Almeida, Joaquim Ferreira, Paulo C. Bartolomeu
Safeguarding Cooperative Maneuver Information with Practical Byzantine Fault Tolerance. DSN-W (2023)
C. G. Frédéric Bogaerts, Naghmeh Ivaki, José Fonseca
Using AI to Inject Vulnerabilities in Python Code. DSN-W (2023)
Takashi Minohara, Masaya Shimakawa
Security Risk Growth Models for Software Vulnerability Assessment. DSN-W (2023)
Yuting Wu, Xin Lou, Pengfei Zhou, Rui Tan, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer
Susceptibility of Autonomous Driving Agents to Learning-Based Action-Space Attacks. DSN-W (2023)
Tânia Esteves, Ricardo Macedo, Rui Oliveira, João Paulo
Diagnosing applications' I/O behavior through system call observability. DSN-W (2023)
Pedro Tauã Lopes Pereira, Guilherme Paim, Paulo F. Flores, Eduardo A. C. da Costa, Sergio Bampi
AxASRE: A Novel Approach to Approximate Adder Synthesis Results Estimation. DSN-W (2023)
Franco Oberti, Ernesto Sánchez, Alessandro Savino, Filippo Parisi, Stefano Di Carlo
PSP Framework: A novel risk assessment method in compliance with ISO/SAE-21434. DSN-W (2023)
Vítor Rodrigues, André Mato Pedro
llhsc: A DeviceTree Syntax and Semantic Checker. DSN-W (2023)
Michal Rozsíval, Ales Smrcka
NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. DSN-W (2023)
Xiaoyun Xu, Guilherme Perin, Stjepan Picek
IB-RAR: Information Bottleneck as Regularizer for Adversarial Robustness. DSN-W (2023)
Thomas Bauer, Wolfgang Herzner, Bob Hruska, Katia Di Blasio, Zain Shahwar
Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems. DSN-W (2023)
Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W (2023)
Florian Neugebauer, Vivek Vekariya, Ilia Polian, John P. Hayes
Stochastic Computing as a Defence Against Adversarial Attacks. DSN-W (2023)
Somayeh Sadeghi Kohan, Sybille Hellebrand, Hans-Joachim Wunderlich
Low Power Streaming of Sensor Data Using Gray Code-Based Approximate Communication. DSN-W (2023)