SAFECOMP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1501

2026

Computer Safety, Reliability, and Security - 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, ProceedingsBarbara Gallina, Martin Törngren, Friedemann Bitsch, editors, Volume 15954 of Lecture Notes in Computer Science, Springer, 2026. [doi]

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, ProceedingsMartin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch, editors, Volume 15955 of Lecture Notes in Computer Science, Springer, 2026. [doi]

2025

Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?Peter Bishop 0001, Andrey Povyakalo, Lorenzo Strigini. safecomp 2026: 226-239 [doi]

From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and SecurityLuca Arnaboldi 0001, David Aspinall 0001, Christina Kolb, Sasa Radomirovic. safecomp 2026: 88-100 [doi]

ULS: A Unified Likelihood Scale for Cross-Standard Risk AssessmentMohamed AbdElSalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier. safecomp 2026: 175-189 [doi]

Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAALNazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat. safecomp 2026: 73-87 [doi]

Improving Out-of-Distribution Detection via Test-Time AugmentationImanol Allende, Nicholas Mc Guire, Javier del Campo, Carles Hernández 0001. safecomp 2026: 128-141 [doi]

Principled Safety Assurance ArgumentsNicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng. safecomp 2026: 18-32 [doi]

Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-AttacksMuhammad Arsal, Hafizul Asad, Tamer S. Kamel, Asiya Khan. safecomp 2026: 340-354 [doi]

Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual TestingRamana Reddy Avula, Mazen Mohamad, Behrooz Sangchoolie, Marvin Damschen. safecomp 2026: 156-168 [doi]

Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing EmailsArifa Islam Champa, Md. Fazle Rabbi, Farjana Z. Eishita, Minhaz Fahim Zibran. safecomp 2026: 299-311 [doi]

Formal Analysis of Resilience in Transport Systems with BigraphsSusmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani. safecomp 2026: 423-436 [doi]

Applying Machine Learning Towards the Recognition of Driving BehaviorMatheus João Silva de Almeida, Gabriel Nicoli Niederauer, Vinícius K. Marini, Marcia Pasin. safecomp 2026: 399-411 [doi]

Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case DevelopmentSimon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce. safecomp 2026: 209-225 [doi]

Certus: A Domain Specific Language for Confidence Assessment in Assurance CasesSimon Diemert, Jens H. Weber. safecomp 2026: 211-225 [doi]

Dependable AI Inference - A Work-in-Progress on CPU, Co-processor and FPGA ApproachesHans Dermot Doran, Carlos Rafael Tordoya Taquichiri, Pablo Ghiglino, Mandar Harshe. safecomp 2026: 49-60 [doi]

Systematic Test Scenario Generation and Risk Assessment for Automated Driving SystemAlexandru Forrai. safecomp 2026: 371-385 [doi]

Temporal Intent-Aware Multi-agent Learning for Network OptimizationAlbin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova. safecomp 2026: 29-40 [doi]

Efficient Safety Retrofitting Against Jailbreaking for LLMsDario Garcia-Gasulla, Adrián Tormos, Anna Arias-Duart, Daniel Hinjos, Oscar Molina-Sedano, Ashwin Kumar Gurarajan, Maria Eugenia Cardello. safecomp 2026: 537-565 [doi]

High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking StudyPablo Ghiglino, Mandar Harshe, Hans Dermot Doran, Carlos Rafael Tordoya Taquichiri. safecomp 2026: 267-280 [doi]

Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761ATim Gonschorek, Frank Ortmeier. safecomp 2026: 253-266 [doi]

Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit ImplementationsJoaquin Gracia-Moran, Juan-Carlos Ruiz-Garcia 0001, David de Andrés, Luis J. Saiz-Adalid. safecomp 2026: 145-159 [doi]

Real-Time Control Selection over the Computing ContinuumXiyu Gu, Luca Schenato 0001, Subhrakanti Dey, Matthias Pezzutto. safecomp 2026: 17-28 [doi]

Efficient Injury Risk Assessment for Automated Driving Systems Using Subset SimulationMagnus Gyllenhammar, Daniel Åsljung, Majid Khorsand Vakilzadeh, Gabriel Rodrigues de Campos. safecomp 2026: 82-96 [doi]

A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving SystemsMagnus Gyllenhammar, Gabriel Rodrigues de Campos, Martin Törngren. safecomp 2026: 197-210 [doi]

Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection AttacksImran Riaz Hasrat, Sani M. Abdullahi, Eun-Young Kang 0001. safecomp 2026: 327-339 [doi]

A GSN-Based Requirement Analysis of the EU AI RegulationNatsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno. safecomp 2026: 183-196 [doi]

An End-to-End Testbed for Communication, Compute, and Control Co-design: The Kista Innovation ParkAitor Hernandez Herranz, Fernando S. Barbosa. safecomp 2026: 5-16 [doi]

How Post-completion Error Leads to Software Faults and Vulnerabilities: Industrial Case StudiesFuqun Huang. safecomp 2026: 67-81 [doi]

PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive DelegationRiad Ibadulla, Hafiz ul Asad. safecomp 2026: 143-155 [doi]

Ensuring Information Security in Inclusive Digital EnvironmentsDamilola Innomesanghan, Emmanuel Kiwamu, Sergey Butakov, Eslam G. AbdAllah. safecomp 2026: 240-252 [doi]

Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-CollaborationAndreas Kreutz, René Beck, Gereon Weiss, Satoshi Otsuka. safecomp 2026: 472-484 [doi]

Managing Capability in Software Dependability Testing Through Generic Test RigsSilke Kuball, Lee Walker, Martin Rendell. safecomp 2026: 115-127 [doi]

AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTAZhouhang Lyu, Hongrui Kou, Tianxiao Wang, Mingyang Zhao, Ziyu Wang, Cheng Wang, Yuxin Zhang. safecomp 2026: 386-398 [doi]

Consensus Building in Level 4 Automated Driving Field Trials Through Assurance CasesYutaka Matsuno, Michio Hayashi, Tomoyuki Tsuchiya. safecomp 2026: 33-47 [doi]

Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital TwinsLaure Millet, Justin Kernot, Arun Adiththan, S. Ramesh, Rami Debouk, Jeffrey Joyce. safecomp 2026: 485-498 [doi]

HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical SystemsMamdouh Muhammad, Abdelkader Magdy Shaaban, Reinhard German, Loui Al Sardy. safecomp 2026: 129-142 [doi]

Large Language Models in Code Co-generation for Safe Autonomous VehiclesAli Nouri, Beatriz Cabrero Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger 0001. safecomp 2026: 193-208 [doi]

SmartGSN: An Online Tool to Semi-automatically Manage Assurance CasesOluwafemi Odu, Daniel Méndez Beltrán, Emiliano Berrones Gutiérrez, Alvine B. Belle, Gerhard Yu, Melika Sherafat. safecomp 2026: 3-17 [doi]

Cybersecurity in Partitioned Space Embedded SystemsLuis Ortiz, Alfons Crespo, Marc Fontalba, Patricia Balbastre, José E. Simó, Pedro Albertos. safecomp 2026: 169-178 [doi]

Hot PASTA: Improved Pragmatics for System-Theoretic Process AnalysisJette Petzold, Reinhard von Hanxleden. safecomp 2026: 160-174 [doi]

Rational Verification in Repeated Security GamesSurasak Phetmanee, Michele Sevegnani, Oana Andrei. safecomp 2026: 312-326 [doi]

A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept ImplementationMaximilian Pintz, Daniel Becker 0010, Michael Mock. safecomp 2026: 459-471 [doi]

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine EnvironmentNawshin Mannan Proma, Victoria J. Hodge, Rob Alexander. safecomp 2026: 281-293 [doi]

Creation and Use of a Representative Dataset for Advanced Persistent Threats DetectionTommaso Puccetti, Simona De Vivo, Davide Zhang, Pietro Liguori, Roberto Natella, Andrea Ceccarelli. safecomp 2026: 51-66 [doi]

Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural NetworksKrystian Radlak, Adam Popowicz, Michal Szczepankiewicz, Pawel Zawistowski. safecomp 2026: 566-578 [doi]

Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGATrishna Rajkumar, Johnny Öberg. safecomp 2026: 226-239 [doi]

Safe Adversarial Control Through InteractionBenedikt Rank, Mario Trapp. safecomp 2026: 579-591 [doi]

Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity PredictorPhilippa Ryan, Berk Ozturk, Laura Fearnley, Tom Lawton, Ibrahim Habli. safecomp 2026: 511-523 [doi]

i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful ProtocolsLoui Al Sardy, Avinash Rajendra Prasad, Reinhard German. safecomp 2026: 115-128 [doi]

A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience ActAbdelkader Magdy Shaaban, Christoph Schmittner. safecomp 2026: 101-114 [doi]

Facilitating Fault Tree Analysis with Generative AIYujiao Shentu, Mario Trapp. safecomp 2026: 524-536 [doi]

Methodology for Test Case Allocation Based on a Formalized ODDMartin A. Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson. safecomp 2026: 61-72 [doi]

Alignment of SOTIF and Scenario-Based Safety Evaluation FrameworkIkue Warren, Kenji Taguchi 0001, Sou Kitajima, Hiroki Nakamura, Tomoyoshi Murata. safecomp 2026: 99-114 [doi]

External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous VehiclesHaotian Wei, Quan Yuan. safecomp 2026: 412-422 [doi]

Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value AnalysisPengcheng Wu, Sadegh Rahrovani, Zhennan Fei, Derong Yang, Stina Carlsson, Martin Törngren. safecomp 2026: 437-452 [doi]

Scenario Hazard Prevention for Autonomous Driving Based on Improved STPAMingyang Zhao, Ci Liang, Tianxiao Wang, Jinping Guan, Long Wan. safecomp 2026: 359-370 [doi]

AURORA Networks: Auto-associative Universal Real-Time Outlier Risk Assessment NetworksMoritz Zink, Daniel Grimm, Eric Sax. safecomp 2026: 499-510 [doi]

2024

Uncertainty-Aware Evaluation of Quantitative ML Safety RequirementsSimon Burton 0001, Benjamin Herd, João-Vitor Zacchi. safecomp 2024: 391-404 [doi]

Homeopathic Poisoning of RAG SystemsBoussad Addad, Katarzyna Kapusta. safecomp 2024: 358-364 [doi]

Safety Argumentation for Machinery Assembly Control SoftwareJulieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman. safecomp 2024: 251-266 [doi]

VUOS: A User-Space Hypervisor Based on System Call HijackingLuca Bassi, Davide Berardi, Renzo Davoli. safecomp 2024: 296-307 [doi]

Detecting and Mitigating Errors in Neural NetworksUwe Becker. safecomp 2024: 101-114 [doi]

Capability Ambient DO - A Usable Tool for Linux System SecurityDavide Berardi, Luca Bassi, Renzo Davoli. safecomp 2024: 284-295 [doi]

Intelligent Decision-Making in Lane Detection Systems Featuring Dynamic Framework for Autonomous VehiclesRomana Blazevic, Fynn Luca Maaß, Omar Veledar, Georg Macher. safecomp 2024: 21-33 [doi]

Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis ToolsSilvia Bonomi, Stefano Cappai, Emilio Coppa. safecomp 2024: 200-217 [doi]

Managing Changing Product Liability Obligations Emerging from New Proposed EU DirectiveJonas Borg, Dag McGeorge. safecomp 2024: 188-199 [doi]

Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling ApplicationsSina Borrami, Jorge Sanchez de Nova, Xavier Gallois, Jonas Melchert, Martin Törngren. safecomp 2024: 121-133 [doi]

Cyber Risk Propagation on NetworksElisa Botteghi, Davide Pastorello, Daniele Tantari. safecomp 2024: 308-315 [doi]

Neuro-Symbolic Artificial Intelligence for Safety EngineeringLaura Carnevali, Marco Lippi 0001. safecomp 2024: 438-445 [doi]

Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, ProceedingsAndrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch, editors, Volume 14988 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, ProceedingsAndrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch, editors, Volume 14989 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Multivariate Security Breach Probability: The Gordon-Loeb Model with CopulasUmberto Cherubini. safecomp 2024: 257-265 [doi]

Reconciling Safety Measurement and Dynamic AssuranceEwen Denney, Ganesh Pai. safecomp 2024: 51-67 [doi]

A New Approach to Creating Clear Operational Safety ArgumentsJane Fenn, Richard Hawkins, Mark Nicholson 0001. safecomp 2024: 227-238 [doi]

Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its EvaluationCarlo Grigioni, Franca Corradini, Alessandro Antonucci 0001, Jérôme Guzzi, Francesco Flammini. safecomp 2024: 47-60 [doi]

Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced ProtectionChandranshu Gupta, Gaurav Varshney. safecomp 2024: 74-87 [doi]

A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective LogicBenjamin Herd, João-Vitor Zacchi, Simon Burton 0001. safecomp 2024: 213-226 [doi]

Safety Invariant Engineering for Interlocking VerificationAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. safecomp 2024: 68-83 [doi]

A Systems Viewpoint on the Integration of Subsystems Developed with Heterogeneous Safety StandardsJames Inge, Katia Potiron. safecomp 2024: 9-20 [doi]

Language Models as Reasoners for Out-of-Distribution DetectionKonstantin Kirchheim, Frank Ortmeier. safecomp 2024: 379-390 [doi]

A Case Study of Continuous Assurance Argument for Level 4 Automated DrivingHideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya. safecomp 2024: 150-165 [doi]

Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery RobotsChristina Kolb, Lin Xie. safecomp 2024: 34-46 [doi]

Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging MishapPhilip Koopman. safecomp 2024: 119-133 [doi]

Redefining Safety for Autonomous VehiclesPhilip Koopman, William H. Widen. safecomp 2024: 300-314 [doi]

Security Modeling Challenges and Research Directions Around the ADVISE Meta FrameworkMarzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli. safecomp 2024: 275-283 [doi]

Sound Non-interference Analysis for C/C++Daniel Kästner, Laurent Mauborgne, Sebastian Hahn 0001, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand. safecomp 2024: 267-282 [doi]

Enclosing Prototypical Variational Autoencoder for Explainable Out-of-Distribution DetectionConrad Orglmeister, Erik Bochinski, Volker Eiselein, Elvira Fleig. safecomp 2024: 365-378 [doi]

Quantum Machine Learning: Perspectives in CybersecurityDavide Pastorello. safecomp 2024: 266-274 [doi]

Assurance Case Synthesis from a Curated Semantic TriplestoreSaswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling. safecomp 2024: 84-99 [doi]

Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on SafetyEhsan Poorhadi, Elena Troubitsyna. safecomp 2024: 61-73 [doi]

Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent InterplayMegha Quamara, Christina Kolb, Ankur Lohachab. safecomp 2024: 316-328 [doi]

In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant BitsJuan Carlos Ruiz, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran. safecomp 2024: 3-17 [doi]

A Dynamic Assurance Framework for an Autonomous Survey DronePhilippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy. safecomp 2024: 285-299 [doi]

Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle SoftwareAnna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh, Evgenia Smirni. safecomp 2024: 33-48 [doi]

Enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk AssessmentAbdelkader Magdy Shaaban, Bernhard Klampfer, Martin Latzenhofer, Arndt Bonitz, Christoph Schmittner, Harald Kammerer. safecomp 2024: 88-100 [doi]

CyberDS: Auditable Monitoring in the CloudLev Sorokin, Ulrich Schöpp. safecomp 2024: 100-115 [doi]

LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and LimitationsRebeka Tóth, Tamás Bisztray, László Erdodi. safecomp 2024: 425-437 [doi]

Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a ServiceHuanjun Zhang, Yutaka Matsubara, Hiroaki Takada. safecomp 2024: 200-212 [doi]

Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree?Tommaso Zoppi, Fahad Ahmed Kohkar, Andrea Ceccarelli, Andrea Bondavalli. safecomp 2024: 351-357 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

SAFECOMP (safecomp)

Viewing Publication 1 - 100 from 1501

2026

2025

2024

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

SAFECOMP (safecomp)

Viewing Publication 1 - 100 from 1501

2026

2025

2024

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1