SAFECOMP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1386

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]

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic SwarmsDhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder. safecomp 2023: 341-354 [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]

Online Quantization Adaptation for Fault-Tolerant Neural Network InferenceMichael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume. safecomp 2023: 243-256 [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]

Pattern-Based Information Flow Control for Safety-Critical On-Chip SystemsTobias Dörr, Florian Schade, Jürgen Becker 0001. safecomp 2023: 181-195 [doi]

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

Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated VehiclesGianfilippo Fornaro, Martin Törngren. safecomp 2023: 283-294 [doi]

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural NetworksFlorian Geissler, Syed Qutub, Michael Paulitsch, Karthik Pattabiraman. safecomp 2023: 75-88 [doi]

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

Model-Based Generation of Attack-Fault TreesRaffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer. safecomp 2023: 107-120 [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]

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]

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]

A Taxonomy of Software Defect Forms for Certification Tests in Aviation IndustryFuqun Huang, Bing Huang, Yikun Wang, Yichen Wang. safecomp 2023: 55-63 [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]

Are Transformers More Robust? Towards Exact Robustness Verification for TransformersBrian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll. safecomp 2023: 89-103 [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]

Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and EvolutionSatoshi Otsuka, Natsumi Watanabe, Takehito Ogata, Donato Di Paola, Daniel Hillen, Joshua Frey, Nishanth Laxman, Jan Reich. safecomp 2023: 247-259 [doi]

Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level ModelMegha Quamara, Christina Kolb, Brahim Hamid. safecomp 2023: 176-187 [doi]

Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous SystemsJan Reich, Daniel Hillen, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka, Natsumi Watanabe. safecomp 2023: 165-178 [doi]

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

The Need for Threat Modelling in Unmanned Aerial SystemsAbdelkader Magdy Shaaban, Oliver Jung, Christoph Schmittner. safecomp 2023: 73-84 [doi]

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

Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov ChainBingyv Shen, Guangyun Liu, Shaowu Cheng, Xiantong Li, Kui Li, Chen Liang. safecomp 2023: 205-217 [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]

Constructing Security Cases Based on Formal Verification of Security Requirements in AlloyMarwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. safecomp 2023: 15-25 [doi]

A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMateHuanjun Zhang, Yutaka Matsubara, Hiroaki Takada. safecomp 2023: 47-60 [doi]

A Cognitive Framework for Modeling Coincident Software Faults: An Experimental StudyBo Zhao, You Song, Wenhao Xu, Fuqun Huang. safecomp 2023: 41-54 [doi]

2022

Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its ComponentsPeter Bishop 0001, Andrey Povyakalo. safecomp 2022: 365-378 [doi]

Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in AutomotiveEsra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer. safecomp 2022: 319-332 [doi]

StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance MeasuresMohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider 0001. safecomp 2022: 289-301 [doi]

+ ModelsNicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng. safecomp 2022: 97-110 [doi]

Towards Interdependent Safety Security Assessments Using BowtiesLuca Arnaboldi, David Aspinall 0001. safecomp 2022: 211-229 [doi]

Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety ConstraintsIll-ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran. safecomp 2022: 83-96 [doi]

Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical SystemsPierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig. safecomp 2022: 175-188 [doi]

Increasing IoT Security by Supply Power MeasurementUwe Becker. safecomp 2022: 197-210 [doi]

Interval Weight-Based Abstraction for Neural Network VerificationFateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. safecomp 2022: 330-342 [doi]

Logically Sound Arguments for the Effectiveness of ML Safety MeasuresChih-Hong Cheng, Tobias Schuster, Simon Burton. safecomp 2022: 343-350 [doi]

State of the Art Study of the Safety Argumentation Frameworks for Automated Driving SystemIlona Cieslik, Víctor Juan Expósito Jiménez, Helmut Martin, Heiko Scharke, Hannes Schneider. safecomp 2022: 178-191 [doi]

Watch: A Validation Framework and Language for Tool QualificationLuiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann. safecomp 2022: 127-139 [doi]

Neural Criticality Metric for Object Detection Deep Neural NetworksVáclav Divis, Tobias Schuster, Marek Hrúz. safecomp 2022: 276-288 [doi]

A Statistical View on Automated Driving System Safety ArchitecturesRainer Faller, Krystian Radlak. safecomp 2022: 23-34 [doi]

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical SystemsEnrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie. safecomp 2022: 35-46 [doi]

Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer CalculationsMarc Fischer, Oliver Riedel, Armin Lechler. safecomp 2022: 144-157 [doi]

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard DetectionSmitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks. safecomp 2022: 158-172 [doi]

Security Assessment Prospects as Part of Vehicle RegulationsMona Gierl, Reiner Kriesten, Eric Sax. safecomp 2022: 97-109 [doi]

Object Detection with Probabilistic Guarantees: A Conformal Prediction ApproachFlorence De Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet, David Vigouroux. safecomp 2022: 316-329 [doi]

Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical PerceptionJanek Groß, Rasmus Adler, Michael Kläs, Jan Reich, Lisa Jöckel, Roman Gansch. safecomp 2022: 284-297 [doi]

Quality of Fault Injection Strategies on Hardware AcceleratorIban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti. safecomp 2022: 222-236 [doi]

Safe Design of Stable Neural Networks for Fault Detection in Small UAVsKavya Gupta, Fateh Kaakai, Béatrice Pesquet-Popescu, Jean-Christophe Pesquet. safecomp 2022: 263-275 [doi]

Uncertainty Elicitation and Propagation in GSN Models of Assurance CasesYassir Idmessaoud, Didier Dubois, Jérémie Guiochet. safecomp 2022: 111-125 [doi]

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and ModularizationLisandro Arturo Jimenez-Roa, Matthias Volk 0001, Mariëlle Stoelinga. safecomp 2022: 46-61 [doi]

Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS FunctionsVíctor Juan Expósito Jiménez, Helmut Martin, Christian Schwarzl, Georg Macher, Eugen Brenner. safecomp 2022: 11-22 [doi]

Assessment of the Impact of U-space Faulty Conditions on Drones Conflict RateAnamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira. safecomp 2022: 237-251 [doi]

An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving SystemsMarzana Khatun, Heinrich Litagin, Rolf Jung, Michael Glaß. safecomp 2022: 166-177 [doi]

Data-Driven Assessment of Parameterized Scenarios for Autonomous VehiclesNicola Kolb, Florian Hauer 0002, Mojdeh Golagha, Alexander Pretschner. safecomp 2022: 350-364 [doi]

Safety Certification with the Open Source Microkernel-Based Operating System L4ReKai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel. safecomp 2022: 31-45 [doi]

Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCertJabier Martinez, Ángel Jesús Varela-Vaca. safecomp 2022: 158-165 [doi]

DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent ReleasesPeter Munk, Markus Schweizer. safecomp 2022: 145-157 [doi]

Building a Test Bed for the Periodical Technical Inspection of Sensors Perceiving the Environment in Autonomous VehiclesFelix Müller, Philipp Nenninger, Eric Sax. safecomp 2022: 59-70 [doi]

A Guided Search for Races Based on Data Flow PatternsAndreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer. safecomp 2022: 47-58 [doi]

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract NetworksChanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo. safecomp 2022: 65-81 [doi]

Analysing the Safety of Decision-Making in Autonomous SystemsMatt Osborne, Richard Hawkins, John Alexander McDermid. safecomp 2022: 3-16 [doi]

A Safety Assurable Human-Inspired Perception ArchitectureRick Salay, Krzysztof Czarnecki. safecomp 2022: 302-315 [doi]

Exploring a Maximal Number of Relevant Obstacles for Testing UAVsTabea Schmidt, Florian Hauer 0002, Alexander Pretschner. safecomp 2022: 335-349 [doi]

Formally Compensating Performance Limitations for Imprecise 2D Object DetectionTobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng. safecomp 2022: 269-283 [doi]

Testing and Verification of the Deep Neural Networks Against Sparse Pixel DefectsMichal Szczepankiewicz, Krystian Radlak, Karolina Szczepankiewicz, Adam Popowicz, Pawel Zawistowski. safecomp 2022: 71-82 [doi]

Impact of Machine Learning on Safety MonitorsFrancesco Terrosi, Lorenzo Strigini, Andrea Bondavalli. safecomp 2022: 129-143 [doi]

Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, ProceedingsMario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch, editors, Volume 13414 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Research Questions in the Acceptance of Cybersecurity by SMEs in the EUMerijn van Tooren, Daniel Reti, Daniel Schneider 0007, Cédric Bassem, Raúl Santos de La Cámara, Hans Dieter Schotten. safecomp 2022: 247-255 [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 1386

2023

2022

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 1386

2023

2022

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