![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/dsn/dsn2023w.bht:"
@inproceedings{DBLP:conf/dsn/ArricaleCCCFFGMPS23, author = {Vincenzo Maria Arricale and Michele Caggiano and Marcello Cinque and Angelo Coppola and Flavio Farroni and Mario Fiorentino and Andrea Garofalo and Andrea Marchetta and Antimo Perfetto and Aleksandr Sakhnevych}, title = {{EMER-GO:} real-time grip enhanced speed advisory for emergency intelligent transportation systems}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {40--47}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00028}, doi = {10.1109/DSN-W58399.2023.00028}, timestamp = {Thu, 17 Aug 2023 15:16:15 +0200}, biburl = {https://dblp.org/rec/conf/dsn/ArricaleCCCFFGMPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/AsghariIM23, author = {Omid Asghari and Naghmeh Ivaki and Henrique Madeira}, title = {Integration of U-space Safety Assessment Methodologies With Experimentation}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {72--75}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00033}, doi = {10.1109/DSN-W58399.2023.00033}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/AsghariIM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BasagiannisBBCGMTTT23, author = {Stylianos Basagiannis and Ludovico Battista and Anna Becchi and Alessandro Cimatti and Georgios Giantamidis and Sergio Mover and Alberto Tacchella and Stefano Tonetta and Vassilios A. Tsachouridis}, title = {SMT-Based Stability Verification of an Industrial Switched {PI} Control Systems}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {243--250}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00063}, doi = {10.1109/DSN-W58399.2023.00063}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BasagiannisBBCGMTTT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BauerHHBS23, author = {Thomas Bauer and Wolfgang Herzner and Bob Hruska and Katia Di Blasio and Zain Shahwar}, title = {Modelling V{\&}V Workflows to Improve Development Processes of Software-intensive Systems}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {239--242}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00062}, doi = {10.1109/DSN-W58399.2023.00062}, timestamp = {Wed, 20 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BauerHHBS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BogaertsIF23, author = {C. G. Fr{\'{e}}d{\'{e}}ric Bogaerts and Naghmeh Ivaki and Jos{\'{e}} Fonseca}, title = {Using {AI} to Inject Vulnerabilities in Python Code}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {223--230}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00060}, doi = {10.1109/DSN-W58399.2023.00060}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BogaertsIF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BouchekirGCHW23, author = {R. Bouchekir and M. Guzman and A. Cook and J. Haindl and R. Woolnough}, title = {Formal Verification for Safe AI-based Flight Planning for UAVs\({}^{\mbox{*}}\)}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {275--282}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00068}, doi = {10.1109/DSN-W58399.2023.00068}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BouchekirGCHW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BozokiKP23, author = {Szil{\'{a}}rd Boz{\'{o}}ki and Imre Kocsis and Andr{\'{a}}s Pataricza}, title = {Underestimation-Aware Failure Statistical Model Creation for Large Scale Critical Systems}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {17--24}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00024}, doi = {10.1109/DSN-W58399.2023.00024}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BozokiKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BunzelG23, author = {Niklas Bunzel and Lukas Graner}, title = {A Concise Analysis of Pasting Attacks and their Impact on Image Classification}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {136--140}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00042}, doi = {10.1109/DSN-W58399.2023.00042}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BunzelG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BunzelSK23, author = {Niklas Bunzel and Ashim Siwakoti and Gerrit Klause}, title = {Adversarial Patch Detection and Mitigation by Detecting High Entropy Regions}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {124--128}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00040}, doi = {10.1109/DSN-W58399.2023.00040}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/BunzelSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/CastroGodinezHS23, author = {Jorge Castro{-}God{\'{\i}}nez and Muhammad Abdullah Hanif and Muhammad Shafique}, title = {Cross-Layer Approximations for System-Level Optimizations: Challenges and Opportunities}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {163--166}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00046}, doi = {10.1109/DSN-W58399.2023.00046}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/CastroGodinezHS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DehezClementiDLL23, author = {Marina Dehez{-}Clementi and Jean{-}Christophe Deneuville and Emmanuel Lochin and J{\'{e}}r{\^{o}}me Lacan}, title = {BEAT-Traffic: a Blockchain-Enabled infrastructure for Anonymous-yet-Traceable Traffic reporting}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {100--107}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00037}, doi = {10.1109/DSN-W58399.2023.00037}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/DehezClementiDLL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DingLYL23, author = {Ao Ding and Gaolei Li and Xiaoyu Yi and Yuchen Liu}, title = {IVSign: Interpretable Vulnerability Signature via Code Embedding and Static Analysis}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {25--31}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00025}, doi = {10.1109/DSN-W58399.2023.00025}, timestamp = {Wed, 24 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/DingLYL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DomingosCBM23, author = {Jomar Domingos and Frederico Cerveira and Raul Barbosa and Henrique Madeira}, title = {Predicting Cloud Applications Failures from Infrastructure Level Data}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {9--16}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00023}, doi = {10.1109/DSN-W58399.2023.00023}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/DomingosCBM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/EstevesMOP23, author = {T{\^{a}}nia Esteves and Ricardo Macedo and Rui Oliveira and Jo{\~{a}}o Paulo}, title = {Diagnosing applications' {I/O} behavior through system call observability}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {1--8}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00022}, doi = {10.1109/DSN-W58399.2023.00022}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/EstevesMOP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FerroCM23, author = {Carlos M{\~{a}}o de Ferro and Tiago Cogumbreiro and Francisco Martins}, title = {Formalizing Model Inference of MicroPython}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {283--289}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00069}, doi = {10.1109/DSN-W58399.2023.00069}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/FerroCM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FerroMDM23, author = {Carlos M{\~{a}}o de Ferro and Anastasia Mavridou and Michael Dille and Francisco Martins}, title = {Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {263--266}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00066}, doi = {10.1109/DSN-W58399.2023.00066}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/FerroMDM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FoldvariBP23, author = {Andr{\'{a}}s F{\"{o}}ldv{\'{a}}ri and Francesco Brancati and Andr{\'{a}}s Pataricza}, title = {Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {267--274}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00067}, doi = {10.1109/DSN-W58399.2023.00067}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/FoldvariBP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/FragosoSDRF23, author = {Tiago Fragoso and David Silva and Jo{\~{a}}o Pedro Dias and Andr{\'{e}} Restivo and Hugo Sereno Ferreira}, title = {SIMoT: {A} Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {290--296}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00070}, doi = {10.1109/DSN-W58399.2023.00070}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/FragosoSDRF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GallLD23, author = {Kilian Le Gall and Laurent Lemarchand and Catherine Dezan}, title = {Multi-Objective Optimization for an Online Re-Planning of Autonomous Vehicles}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {48--51}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00029}, doi = {10.1109/DSN-W58399.2023.00029}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/GallLD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GrossKJG23, author = {Janek Gro{\ss} and Michael Kl{\"{a}}s and Lisa J{\"{o}}ckel and Pascal Gerber}, title = {Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced {AI} Models based on Machine Learning}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {231--238}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00061}, doi = {10.1109/DSN-W58399.2023.00061}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/GrossKJG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/GrumerB23, author = {Patrick Gr{\"{u}}mer and Pedro Brand{\~{a}}o}, title = {An Automotive Cybersecurity Maturity Level Assessment Programme}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {84--91}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00035}, doi = {10.1109/DSN-W58399.2023.00035}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/GrumerB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KhanN23, author = {Muhidul Islam Khan and Gianfranco Nencioni}, title = {Revenue Maximization of a Slice Broker in the Presence of Byzantine Faults}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {157--162}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00045}, doi = {10.1109/DSN-W58399.2023.00045}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/KhanN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KohanHW23, author = {Somayeh Sadeghi Kohan and Sybille Hellebrand and Hans{-}Joachim Wunderlich}, title = {Low Power Streaming of Sensor Data Using Gray Code-Based Approximate Communication}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {203--206}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00056}, doi = {10.1109/DSN-W58399.2023.00056}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/KohanHW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KomiyaYYO23, author = {Chika Komiya and Naoto Yanai and Kyosuke Yamashita and Shingo Okamura}, title = {{JABBERWOCK:} {A} Tool for WebAssembly Dataset Generation towards Malicious Website Detection}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {36--39}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00027}, doi = {10.1109/DSN-W58399.2023.00027}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KomiyaYYO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/LeonVegaC23, author = {Luis G. Le{\'{o}}n{-}Vega and Jorge Castro{-}God{\'{\i}}nez}, title = {Generic Accuracy Configurable Matrix Multiplication-Addition Accelerator using {HLS}}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {171--174}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00048}, doi = {10.1109/DSN-W58399.2023.00048}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/LeonVegaC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/LeongB23, author = {Iat Tou Leong and Raul Barbosa}, title = {Translating Natural Language Requirements to Formal Specifications: {A} Study on {GPT} and Symbolic {NLP}}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {259--262}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00065}, doi = {10.1109/DSN-W58399.2023.00065}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/LeongB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/LylinaHJKW23, author = {Natalia Lylina and Stefan Holst and Hanieh Jafarzadeh and Alexandra Kourfali and Hans{-}Joachim Wunderlich}, title = {Guardband Optimization for the Preconditioned Conjugate Gradient Algorithm}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {195--198}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00054}, doi = {10.1109/DSN-W58399.2023.00054}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/LylinaHJKW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MalekiFS23, author = {Mehdi Maleki and Ashfaq Farooqui and Behrooz Sangchoolie}, title = {CarFASE: {A} Carla-based Tool for Evaluating the Effects of Faults and Attacks on Autonomous Driving Stacks}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {92--99}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00036}, doi = {10.1109/DSN-W58399.2023.00036}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/MalekiFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MendoncaMV23, author = {J{\'{u}}lio Mendon{\c{c}}a and Fumio Machida and Marcus V{\"{o}}lp}, title = {Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {149--156}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00044}, doi = {10.1109/DSN-W58399.2023.00044}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/MendoncaMV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/MinoharaS23, author = {Takashi Minohara and Masaya Shimakawa}, title = {Security Risk Growth Models for Software Vulnerability Assessment}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {32--35}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00026}, doi = {10.1109/DSN-W58399.2023.00026}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/MinoharaS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NanjundaswamyNPG23, author = {Nithin Ravani Nanjundaswamy and Gregor Nitsche and Frank Poppen and Kim Gr{\"{u}}ttner}, title = {{RISC-V} Timing-Instructions for Open Time-Triggered Architectures}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {211--214}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00058}, doi = {10.1109/DSN-W58399.2023.00058}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/NanjundaswamyNPG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NeugebauerVPH23, author = {Florian Neugebauer and Vivek Vekariya and Ilia Polian and John P. Hayes}, title = {Stochastic Computing as a Defence Against Adversarial Attacks}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {191--194}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00053}, doi = {10.1109/DSN-W58399.2023.00053}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/NeugebauerVPH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/ObertiSSPC23, author = {Franco Oberti and Ernesto S{\'{a}}nchez and Alessandro Savino and Filippo Parisi and Stefano Di Carlo}, title = {{PSP} Framework: {A} novel risk assessment method in compliance with {ISO/SAE-21434}}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {60--67}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00031}, doi = {10.1109/DSN-W58399.2023.00031}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/ObertiSSPC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PereiraKFS23, author = {Jo{\~{a}}o Pereira and Harrison Kurunathan and Enio Vasconcelos Filho and Pedro M. Santos}, title = {Edge-Aided {V2X} Collision Avoidance with Platoons: Towards a Hybrid Evaluation Toolset}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {68--71}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00032}, doi = {10.1109/DSN-W58399.2023.00032}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/PereiraKFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PereiraPFCB23, author = {Pedro Tau{\~{a}} Lopes Pereira and Guilherme Paim and Paulo F. Flores and Eduardo A. C. da Costa and Sergio Bampi}, title = {AxASRE: {A} Novel Approach to Approximate Adder Synthesis Results Estimation}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {183--186}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00051}, doi = {10.1109/DSN-W58399.2023.00051}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/PereiraPFCB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PinheiroFSA23, author = {Jos{\'{e}} M. Pinheiro and Enio Vasconcelos Filho and Pedro M. Santos and Lu{\'{\i}}s Almeida}, title = {An {ETSI} ITS-enabled Robotic Scale Testbed for Network-Aided Safety-Critical Scenarios}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {52--59}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00030}, doi = {10.1109/DSN-W58399.2023.00030}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/PinheiroFSA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/PiriPBBDTOB23, author = {Ali Piri and Salvatore Pappalardo and Salvatore Barone and Mario Barbareschi and Bastien Deveautour and Marcello Traiola and Ian O'Connor and Alberto Bosio}, title = {Input-aware accuracy characterization for approximate circuits}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {179--182}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00050}, doi = {10.1109/DSN-W58399.2023.00050}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/PiriPBBDTOB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RezaalipourBSCP23, author = {Morteza Rezaalipour and Marco Biasion and Ilaria Scarabottolo and George A. Constantinides and Laura Pozzi}, title = {A Parametrizable Template for Approximate Logic Synthesis}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {175--178}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00049}, doi = {10.1109/DSN-W58399.2023.00049}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RezaalipourBSCP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RezaalipourFSCP23, author = {Morteza Rezaalipour and Lorenzo Ferretti and Ilaria Scarabottolo and George A. Constantinides and Laura Pozzi}, title = {Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {199--202}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00055}, doi = {10.1109/DSN-W58399.2023.00055}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RezaalipourFSCP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RoccoP23, author = {Roberto Rocco and Gianluca Palermo}, title = {Exploit Approximation to Support Fault Resiliency in MPI-based Applications}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {187--190}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00052}, doi = {10.1109/DSN-W58399.2023.00052}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RoccoP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RodriguesP23, author = {V{\'{\i}}tor Rodrigues and Andr{\'{e}} de Matos Pedro}, title = {llhsc: {A} DeviceTree Syntax and Semantic Checker}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {251--258}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00064}, doi = {10.1109/DSN-W58399.2023.00064}, timestamp = {Sat, 09 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RodriguesP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RodriguesSN23, author = {Filipe Rodrigues and Rodrigo Sim{\~{o}}es and Nuno Neves}, title = {{FADO:} {A} Federated Learning Attack and Defense Orchestrator}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {141--148}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00043}, doi = {10.1109/DSN-W58399.2023.00043}, timestamp = {Sun, 20 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RodriguesSN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RozsivalS23, author = {Michal Rozs{\'{\i}}val and Ales Smrcka}, title = {NetLoiter: {A} Tool for Automated Testing of Network Applications using Fault-injection}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {207--210}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00057}, doi = {10.1109/DSN-W58399.2023.00057}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/RozsivalS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/SaeediSC23, author = {Sepide Saeedi and Alessandro Savino and Stefano Di Carlo}, title = {Design Space Exploration of Approximate Computing Techniques with a Reinforcement Learning Approach}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {167--170}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00047}, doi = {10.1109/DSN-W58399.2023.00047}, timestamp = {Fri, 05 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/SaeediSC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/TrivediW23, author = {Shrishti Trivedi and Fredrik Warg}, title = {Evaluating the Safety Impact of Network Disturbances for Remote Driving with Simulation-Based Human-in-the-Loop Testing}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {215--222}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00059}, doi = {10.1109/DSN-W58399.2023.00059}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/TrivediW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/VieiraAFB23, author = {Emanuel Vieira and Jo{\~{a}}o Almeida and Joaquim Ferreira and Paulo C. Bartolomeu}, title = {Safeguarding Cooperative Maneuver Information with Practical Byzantine Fault Tolerance}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {108--115}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00038}, doi = {10.1109/DSN-W58399.2023.00038}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/VieiraAFB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/VuWTUSHBC23, author = {Victoria Vu and Fredrik Warg and Anders Thors{\'{e}}n and Stig Ursing and Fredrik Sunnerstam and Jimmy Holler and Carl Bergenhem and Irina Cosmin}, title = {Minimal Risk Manoeuvre Strategies for Cooperative and Collaborative Automated Vehicles}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {116--123}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00039}, doi = {10.1109/DSN-W58399.2023.00039}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/VuWTUSHBC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/WuLZTKI23, author = {Yuting Wu and Xin Lou and Pengfei Zhou and Rui Tan and Zbigniew T. Kalbarczyk and Ravishankar K. Iyer}, title = {Susceptibility of Autonomous Driving Agents to Learning-Based Action-Space Attacks}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {76--83}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00034}, doi = {10.1109/DSN-W58399.2023.00034}, timestamp = {Fri, 12 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/WuLZTKI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/XuPP23, author = {Xiaoyun Xu and Guilherme Perin and Stjepan Picek}, title = {{IB-RAR:} Information Bottleneck as Regularizer for Adversarial Robustness}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, pages = {129--135}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023.00041}, doi = {10.1109/DSN-W58399.2023.00041}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/XuPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dsn/2023w, title = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30, 2023}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN-W58399.2023}, doi = {10.1109/DSN-W58399.2023}, isbn = {979-8-3503-2543-0}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/2023w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.