default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID43rd SAFECOMP Workshops 2024: Florence, Italy - Workshops
- Andrea Ceccarelli
, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings. Lecture Notes in Computer Science 14989, Springer 2024, ISBN 978-3-031-68737-2
19th International ERCIM/EWICS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of Systems (DECSoS 2024)
- James Inge, Katia Potiron:
A Systems Viewpoint on the Integration of Subsystems Developed with Heterogeneous Safety Standards. 9-20 - Romana Blazevic, Fynn Luca Maaß, Omar Veledar, Georg Macher:
Intelligent Decision-Making in Lane Detection Systems Featuring Dynamic Framework for Autonomous Vehicles. 21-33 - Christina Kolb, Lin Xie:
Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery Robots. 34-46 - Carlo Grigioni, Franca Corradini, Alessandro Antonucci, Jérôme Guzzi, Francesco Flammini:
Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation. 47-60 - Ehsan Poorhadi, Elena Troubitsyna:
Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. 61-73 - Chandranshu Gupta, Gaurav Varshney:
Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced Protection. 74-87 - Abdelkader Magdy Shaaban, Bernhard Klampfer, Martin Latzenhofer, Arndt Bonitz, Christoph Schmittner, Harald Kammerer:
Enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk Assessment. 88-100 - Uwe Becker:
Detecting and Mitigating Errors in Neural Networks. 101-114
11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024)
- Sina Borrami, Jorge Sanchez de Nova, Xavier Gallois, Jonas Melchert, Martin Törngren:
Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications. 121-133 - Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar:
Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis. 134-147 - Kester Dean Clegg, Ibrahim Habli, John A. McDermid:
Using GPT-4 to Generate Failure Logic. 148-159 - Daniel Ratiu, Tihomir Rohlinger, Torben Stolte, Stefan Wagner:
Towards an Argument Pattern for the Use of Safety Performance Indicators. 160-172 - Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias:
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. 173-187 - Jonas Borg, Dag McGeorge:
Managing Changing Product Liability Obligations Emerging from New Proposed EU Directive. 188-199 - Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada:
Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a Service. 200-212 - Benjamin Herd, João-Vitor Zacchi, Simon Burton:
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. 213-226 - Jane Fenn, Richard Hawkins, Mark Nicholson:
A New Approach to Creating Clear Operational Safety Arguments. 227-238 - Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber:
Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. 239-250
1st International Workshop TOwards A Safer systems' architecture Through Security (TOASTS 2024)
- Umberto Cherubini:
Multivariate Security Breach Probability: The Gordon-Loeb Model with Copulas. 257-265 - Davide Pastorello:
Quantum Machine Learning: Perspectives in Cybersecurity. 266-274 - Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli:
Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. 275-283 - Davide Berardi, Luca Bassi, Renzo Davoli:
Capability Ambient DO - A Usable Tool for Linux System Security. 284-295 - Luca Bassi, Davide Berardi, Renzo Davoli:
VUOS: A User-Space Hypervisor Based on System Call Hijacking. 296-307 - Elisa Botteghi, Davide Pastorello, Daniele Tantari:
Cyber Risk Propagation on Networks. 308-315 - Megha Quamara, Christina Kolb, Ankur Lohachab:
Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent Interplay. 316-328
7th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2024)
- Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. 335-350 - Tommaso Zoppi, Fahad Ahmed Kohkar, Andrea Ceccarelli, Andrea Bondavalli:
Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree? 351-357 - Boussad Addad, Katarzyna Kapusta:
Homeopathic Poisoning of RAG Systems. 358-364 - Conrad Orglmeister, Erik Bochinski, Volker Eiselein, Elvira Fleig:
Enclosing Prototypical Variational Autoencoder for Explainable Out-of-Distribution Detection. 365-378 - Konstantin Kirchheim, Frank Ortmeier:
Language Models as Reasoners for Out-of-Distribution Detection. 379-390 - Simon Burton, Benjamin Herd, João-Vitor Zacchi:
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. 391-404 - Krzysztof Czarnecki:
Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory. 405-411 - Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid:
Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. 412-424 - Rebeka Tóth, Tamás Bisztray, László Erdodi:
LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations. 425-437 - Laura Carnevali, Marco Lippi:
Neuro-Symbolic Artificial Intelligence for Safety Engineering. 438-445 - Marc Zeller, Thomas Waschulzik, Carmen Carlan, Marat Serahlazau, Claus Bahlmann, Zhiliang Wu, Sigurd Spieckermann, Denis Krompass, Simon Geerkens, Christian Sieberichs, Konstantin Kirchheim, Batu Kaan Özen, Lucia Diez Robles:
Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. 446-459
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 2024-11-08 20:39 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:
