Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dsn/dsn2023w.bht:"
download as .bib file
@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 = {Thu, 17 Aug 2023 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 = {Tue, 12 Mar 2024 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-06-01 02:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
