Search 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    = {Sun, 06 Oct 2024 01:00:00 +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    = {Sun, 06 Oct 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    = {Sun, 06 Oct 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    = {Sun, 06 Oct 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    = {Sun, 06 Oct 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    = {Sun, 06 Oct 2024 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    = {Sun, 06 Oct 2024 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    = {Sun, 06 Oct 2024 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}
}