SAFECOMP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1443

2024

Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process TheoryKrzysztof Czarnecki 0001. safecomp 2024: 405-411 [doi]

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

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set MetricsReza Soltani 0001, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. safecomp 2024: 218-232 [doi]

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

Comprehensive Change Impact Analysis Applied to Advanced Automotive SystemsNicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh 0002, Alan Wassyng. safecomp 2024: 134-149 [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. 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]

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]

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

Using GPT-4 to Generate Failure LogicKester Dean Clegg, Ibrahim Habli, John A. McDermid. safecomp 2024: 148-159 [doi]

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

Including Defeaters in Quantitative Confidence Assessments for Assurance CasesSimon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber. safecomp 2024: 239-250 [doi]

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

Coyan: Fault Tree Analysis - Exact and ScalableNazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio. safecomp 2024: 235-250 [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]

A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles SystemJia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa 0001. safecomp 2024: 184-199 [doi]

A Flow-Based Credibility Metric for Safety-Critical Pedestrian DetectionMaria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel. safecomp 2024: 335-350 [doi]

A Failure Model Library for Simulation-Based Validation of Functional SafetyTiziano Munaro, Irina Muntean, Alexander Pretschner. safecomp 2024: 18-32 [doi]

TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-TrustAlberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva, Francesco Barchi. safecomp 2024: 169-183 [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]

Towards an Argument Pattern for the Use of Safety Performance IndicatorsDaniel Ratiu, Tihomir Rohlinger, Torben Stolte, Stefan Wagner 0001. safecomp 2024: 160-172 [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]

Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight ControllerPhilippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid. safecomp 2024: 412-424 [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]

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated SynthesisSrivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta 0001, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias. safecomp 2024: 173-187 [doi]

Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway DomainMarc 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. safecomp 2024: 446-459 [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]

Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault AnalysisZhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar. safecomp 2024: 134-147 [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]

2023

Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative ModelsThomas Decker 0004, Ananta R. Bhattarai, Michael Lebacher. safecomp 2023: 273-281 [doi]

Uncertainty Quantification for Semantic Segmentation Models via Evidential ReasoningRui Wang 0042, Mengying Wang, Ci Liang, Zhouxian Jiang. safecomp 2023: 218-229 [doi]

Structuring Research Related to Dynamic Risk Management for Autonomous SystemsRasmus Adler, Jan Reich, Richard Hawkins. safecomp 2023: 362-368 [doi]

Safety and Robustness for Deep Neural Networks: An Automotive Use CaseDavide Bacciu, Antonio Carta, Claudio Gallicchio, Christoph Schmittner. safecomp 2023: 95-107 [doi]

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety VulnerabilitiesVictor Bandur, Mark Lawford, Sébastien Mosser 0001, Richard F. Paige, Vera Pantelic, Alan Wassyng. safecomp 2023: 5-14 [doi]

Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway DispatchingDandan Bi, Wei Zheng, Xiaorong Meng. safecomp 2023: 239-246 [doi]

A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT DevicesIrene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai. safecomp 2023: 123-134 [doi]

Towards an Effective Generation of Functional Scenarios for AVs to Guide SamplingHugues Blache, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi. safecomp 2023: 260-270 [doi]

Towards Safe Machine Learning Lifecycles with ESG Model CardsThomas Bonnier, Benjamin Bosch. safecomp 2023: 369-381 [doi]

The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support SystemsPhilippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli. safecomp 2023: 213-226 [doi]

Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance CasesSpencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng. safecomp 2023: 25-38 [doi]

Safety Integrity Levels for Artificial IntelligenceSimon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce. safecomp 2023: 397-409 [doi]

Can Large Language Models Assist in Hazard Analysis?Simon Diemert, Jens H. Weber. safecomp 2023: 410-422 [doi]

Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser InjectionMathieu Dumont, Kevin Hector, Pierre-Alain Moëllic, Jean-Max Dutertre, Simon Pontié. safecomp 2023: 259-272 [doi]

A Group-Level Learning Approach Using Logistic Regression for Fairer DecisionsMarc Elliott, Deepak P 0001. safecomp 2023: 301-313 [doi]

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB RoboticsArnaud Gotlieb, Morten Mossige, Helge Spieker. safecomp 2023: 64-72 [doi]

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, ProceedingsJérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch, editors, Volume 14182 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, ProceedingsJérémie Guiochet, Stefano Tonetta, Friedemann Bitsch, editors, Volume 14181 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety ArgumentsRichard Hawkins, Philippa Ryan Conmy. safecomp 2023: 11-24 [doi]

From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key InfrastructuresMichael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl. safecomp 2023: 196-210 [doi]

Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological SignalsLiuxing Hu, Wei Zheng. safecomp 2023: 230-238 [doi]

Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning?Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber. safecomp 2023: 314-327 [doi]

Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical ProductsFateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela. safecomp 2023: 227-242 [doi]

Assurance Cases for Timing Properties of Automotive TSN NetworksRyan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford. safecomp 2023: 26-31 [doi]

Towards Deep Anomaly Detection with Structured Knowledge RepresentationsKonstantin Kirchheim. safecomp 2023: 382-389 [doi]

A Reasonable Driver Standard for Automated Vehicle SafetyPhilip Koopman, William H. Widen. safecomp 2023: 355-361 [doi]

AIMOS: Metamorphic Testing of AI - An Industrial ApplicationAugustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet. safecomp 2023: 328-340 [doi]

Rear-End Collision Risk Analysis for Autonomous DrivingCi Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang 0042, Wei Zheng. safecomp 2023: 271-282 [doi]

Towards Dependable Integration Concepts for AI-Based SystemsGeorg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner. safecomp 2023: 108-117 [doi]

Toward Dependability Assurance Framework for Automated Driving SystemsYutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya. safecomp 2023: 32-37 [doi]

Assurance Case Arguments in the Large: The CERN LHC Machine Protection SystemLaure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey Joyce. safecomp 2023: 3-10 [doi]

RACK: A Semantic Model and Triplestore for Curation of Assurance Case EvidenceAbha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng. safecomp 2023: 149-160 [doi]

MBTA: A Model-Based Threat Analysis Approach for Software ArchitecturesAnas Motii. safecomp 2023: 121-134 [doi]

Evaluating and Increasing Segmentation Robustness in CARLAVenkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier. safecomp 2023: 390-396 [doi]

Towards DO-178C Compliance of a Secure ProductLijun Shan. safecomp 2023: 61-72 [doi]

Probabilistic Spatial Relations for Monitoring Behavior of Road UsersLennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske. safecomp 2023: 151-164 [doi]

Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining ApproachJorge Da Silva, Miren Illarramendi, Asier Iriarte. safecomp 2023: 85-94 [doi]

Attribute Repair for Threat PreventionThorsten Tarrach, Masoud Ebrahimi 0002, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic. safecomp 2023: 135-148 [doi]

Utilising Redundancy to Enhance Security of Safety-Critical SystemsElena Troubitsyna. safecomp 2023: 188-196 [doi]

Patterns for Integrating NIST 800-53 Controls into Security Assurance CasesTorin Viger, Simon Diemert, Olivia Foster. safecomp 2023: 165-175 [doi]

Computer-Aided Generation of Assurance CasesTimothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo 0002. safecomp 2023: 135-148 [doi]

Contextualised Out-of-Distribution Detection Using Pattern IdentificationRomain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani. safecomp 2023: 423-435 [doi]

A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMateHuanjun Zhang, Yutaka Matsubara, Hiroaki Takada. safecomp 2023: 47-60 [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 1443

2024

2023

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 1443

2024

2023

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