default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID55th DSN 2025: Workshops, Naples, Italy - Workshops
- 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN - Workshops, Naples, Italy, June 23-26, 2025. IEEE 2025, ISBN 979-8-3315-1205-7
- Antonio Fernández Anta, Nicolas Nicolaou, Efstathios Stavrakis:
The Power of On-line Indirect Surveys to Monitor Society. xl - George E. Violettas:
Advancing Secure & Safe IoT and Edge Computing Platforms: Lessons from LoLiPoP IoT and SuzECK project. xxxix - Francesco Flammini:
Digital Twins for Trustworthy Autonomy. xl - Dan Dongseong Kim:
Graphical Security Models and Their Applications. xxxviii - Shengkun Cui, Archit Patke, Ziheng Chen, Aditya Ranjan, Hung Nguyen, Phuong Cao, Brett M. Bode, Gregory H. Bauer
, Saurabh Jha, Chandra Narayanaswami, Daby Sow, Catello Di Martino, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer:
Characterizing Modern GPU Resilience and Impact in HPC Systems: A Case Study of A100 GPUs. 1-6 - Jie Han:
Approximate and Stochastic Ising Machines. 1 - Artem Abakumov, Vyacheslav Kharchenko, Peter T. Popov:
A Hybrid Cybersecurity Assessment Framework for Unmanned Aircraft Vehicles Based on IMECA and Penetration Testing. 7-14 - Mahwish Kundi, Faraz Ahmad, Rosemary Monahan:
Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework. 15-22 - Jatin Arora, Alexandre Esper, Vasco Santos:
Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems. 23-26 - András Földvári, András Pataricza:
Model-Driven, Logic-Supported Exploratory Dependability Analysis. 27-34 - Max Taylor, Arthur Amorim:
Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions. 35-42 - Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik:
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework. 43-46 - András Gergely Deé-Lukács, András Földvári:
Dependability Assurance with Symbolic Reasoning in LLM-Enabled Systems. 47-54 - Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa:
Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. 55-62 - Trisanth Srinivasan, Santosh V. Patapati, Himani Musku, Idhant Gode, Aditya Arora, Samvit Bhattacharya, Abubakr Nazriev, Sanika Hirave, Zaryab Kanjiani, Srinjoy Ghose:
DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems. 63-70 - Nicole Alati, Davide Bargellini, Alex Pasquali, Yahya Abbass, Maurizio Valle, Gianluca Palli, Roberto Meattini:
Leveraging Time-Frequency Features for Contact Classification and Regression with a Piezoelectric Tactile Skin for Robotic Fingertips. 71-78 - Luis de-Marcos, Adrián Domínguez-Díaz, Carlos Cilleruelo, Daniel Rodríguez:
Ransomware Threats in Manufacturing Industry: Patterns Based on Dark Web Tor Groups. 79-82 - Michele Zannoni, Virginia Vignali:
Human-AI Interaction Implementation in Consolidate Digital Environments Through a Collaborative and Multidisciplinary Design Approach. 83-87 - Francesco Boccola, Marcello Cinque, Luigi De Simone, Davide De Vita, Nike Di Giacomo:
Orchestration of Sustainable Mixed-Criticality Systems Over Heterogenous Edge Nodes. 88-95 - Victor Molina, Oriol Ruiz-Celada, Raúl Suárez, Jan Rosell, Isiah Zaplana:
Robot Situation and Task Awareness Using Large Language Models and Ontologies. 96-103 - Mattia Tafuri, Davide Chiaravalli, Mona Saber Gharamaleki, Claudio Melchiorri, Gianluca Palli, Roberto Meattini:
Experimental Evaluation of a User-Centered Unilateral Telemanipulation System for Training and Control in Robotic Industrial Scenarios. 104-110 - Ahsan Rafiq, Maksim Jenihhin:
XMULT: An Energy-Efficient Design of Approximate Multiplier. 111-114 - Farjana Jalil, Muhammad Awais, Qazi Arbab Ahmed, Hassan Ghasemzadeh Mohammadi, Thorsten Jungeblut, Marco Platzner:
Deep&Wide: Achieving Area Efficiency in Scalable Approximate Accelerators. 115-118 - Antonio Porsia, Giacomo Perlo, Annachiara Ruospo, Ernesto Sánchez:
On the Resilience of INT8 Quantized Neural Networks on Low-Power RISC-V Devices. 119-122 - Mario Barbareschi, Antonio Emmanuele:
A Margin Based Early-Stopping Approach for Random Forest Classifiers. 123-126 - Angelo Martella, Antonella Longo, Cristian Martella, Marco Zappatore, Francesca Miccoli:
An Architectural Framework for Urban Digital Twin Design: A Case Study on Hydrogeological Risk Management. 127-134 - Manoj Herath, Hrishikesh Dutta, Roberto Minerva, Noël Crespi, Maira Alvi, Syed Mohsan Raza:
An Integrated Digital Twin Architecture for Real-Time Urban Air Quality Management. 135-138 - Roland Nagy, Árpád Török:
A Digital Twin Approach to Autonomous Emergency Braking: HiL Testing with Raspberry Pi and Standardized Scenarios. 139-145 - Andrea Marchetta, Tamás Márton Kazár, Marcello Cinque, Angelo Coppola, Zsombor Petho, Zsolt Szalay, Árpád Török:
Network and Vehicle Digital Twins for Hardware in the Loop Simulation of C-ITS Applications. 146-151 - Biagio Boi, Christian Esposito:
A Digital Twin Network for Proactive Security: The Smart Grid Use-Case. 152-159 - Umberto Bellini, Marzieh Kordi, Bruno Crispo, Paolo Lollini, Andrea Bondavalli, Davide Compar:
A Model-based Approach for Cybersecurity Assessment of Off-Road and Defense Vehicles. 160-167 - Huzaifah Nadeem, Amy Babay:
Using Digital Twins as an Upgrade Path for Critical Infrastructure Control Systems. 168-175 - Emil Nagy, József Pázmány, Dávid Tollner, Árpád Török:
Toward Predictive Diagnostics: Real-Time Digital Twin for Electric Vehicle Power Systems. 176-183 - Paolo Viviani, Roberto Rocco, Matteo Barbieri, Gabriella Bettonte, Elisabetta Boella, Marco Cipollini, Jonathan Frassineti, Fulvio Ganz, Sara Marzella, Daniele Ottaviani, Simone Rizzo, Alberto Scionti, Chiara Vercellino, Giacomo Vitali, Olivier Terzo, Bartolomeo Montrucchio, Daniele Gregori:
Assessing the Elephant in the Room in Scheduling for Current Hybrid HPC-QC Clusters. 184-187 - Edoardo Giusto, Santiago Núñez-Corrales, Alessandro Cilardo, Nicola Mazzocca, Travis S. Humble:
A Typology of Quantum-Classical Faults. 188-195 - Davide Venturelli, Erik Gustafson, Doga Murat Kürkçüoglu, Silvia Zorzetti:
Near-Term Application Engineering Challenges in Emerging Superconducting Qudit Processors. 196-199 - Francesco Marchiori, Mauro Conti:
ATTAQ: Adversarial Robustness of Quantum Machine Learning. 200-207 - Sthefanie Jofer Gomes Passo, Vishal H. Kothavade, John J. Prevost:
Supply Chain Malware Detection via Classical and Quantum Kernel Methods in Embedded Systems. 208-215 - Jai Nana, Xinpeng Li, Ning Xie, Shusen Pu, Yifan Yu, Qiang Guan, Xiaotian Han, Shuai Xu, Vipin Chaudhary:
AI-Augmented Parameter Initialization for QAOA. 216-219 - Xinpeng Li, Vinooth Rao Kulkarni, Jai Nana, Shusen Pu, Ning Xie, Qiang Guan, Ruihao Li, Shulei Zhang, Shuai Xu, Daniel Blankenberg, Vipin Chaudhary:
Quantum Circuit Optimization for Protein Structure Prediction. 220-223 - Tasfia Nuzhat, Fumio Machida, Ermeson Carneiro de Andrade:
Weather Impact Analysis for UAV-based Deforestation Monitoring Systems. 224-230 - Po-Wu Cheng, Wen-Ping Tsai:
Federated Learning-Based Approach for Landslide Prediction - the Case Study in Taiwan. 231-234 - Andrea Garbugli, Armir Bujari, Paolo Bellavista:
Beyond Control: Embracing Emergent Behavior in Symbiotic Digital Twin and CPS Ecosystems. 235 - Pei-Ju Tsang, Wen-Ping Tasi:
Integrating Groundwater Level Forecasting Models into Climate Risk Assessment for Adaptive Water Resource Management: A Case Study of Tainan, Taiwan. 236-239 - Vina Dang, Layann Shaban, Lewis Tseng:
Experience: Evaluating Real-Time Drone OS Under Extreme and Adversarial Environment. 240-241 - Cheng Chen, Yuhong Wang, Nafis S. Munir, Xiangwei Zhou, Xugui Zhou:
Revisiting Adversarial Perception Attacks and Defense Methods on Autonomous Driving Systems. 242-249 - Niklas Bunzel:
On the Transferability of Adversarial Attacks from Convolutional Neural Networks to Variants of ChatGPT4. 250-255 - Mohammed Elnawawy, Gargi Mitra, Shahrear Iqbal, Karthik Pattabiraman:
Learning from the Good Ones: Risk Profiling-Based Defenses Against Evasion Attacks on DNNs. 256-258 - Binhao Ma, Hanqing Guo, Zhengping Jay Luo, Rui Duan:
Audio Jailbreak Attacks: Exposing Vulnerabilities in SpeechGPT in a White-Box Framework. 259-265 - Martin Nocker, Linus Henke, Pascal Schöttle:
FHE ML Tuxedo: A Tailored Wrapper Architecture for Homomorphic Encryption in Machine Learning. 266-273 - Radouane Bouchekir, Fathiyeh Faghih, Tewodros A. Beyene:
Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis. 274-281 - Francesco Altiero, Domenico Cotroneo, Roberta De Luca, Pietro Liguori:
Securing AI Code Generation Through Automated Pattern-Based Patching. 282-289 - Andrew Cart, Shaohu Zhang, Melanie Escue, Xugui Zhou, Haitao Zhao, Prashanth Busireddygari, Beiyu Lin, Shuang Li:
Decoding Neighborhood Environments with Large Language Models. 290-297 - Kavindu Herath, Suraj Mahangade, Saurabh Bagchi:
A Lightweight Reputation-Based Mechanism for Incentivizing Cooperation in Decentralized Federated Learning. 298-304
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.
last updated on 2025-12-04 22:07 CET 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:
