IMBSA

Keyphrases

Publications

2022

Guillaume Brau, Eric Jenn, Silvana Radu
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. IMBSA (2022)
Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker, Koorosh Aslansefat, Yiannis Papadopoulos
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. IMBSA (2022)
Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA (2022)
Bertille Noisette, Sébastien Dobol, Laurène Monteil
Model-Based Safety Analysis: A Practical Experience. IMBSA (2022)
Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok
Towards Causal Model-Based Engineering in Automotive System Safety. IMBSA (2022)
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA (2022)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Marc Zeller
Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis. IMBSA (2022)
Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork
An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation. IMBSA (2022)
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA (2022)
Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider, Denis Uecker
Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. IMBSA (2022)
Sheng Ding, Skander Ayoub, Andrey Morozov
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. IMBSA (2022)
Christophe Frazza, Pierre Darfeuil, Jean Gauthier
MBSA in Aeronautics: A Way to Support Safety Activities. IMBSA (2022)
Jan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider, Takehito Ogata, Satoshi Otsuka, Tasuku Ishigooka
Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces. IMBSA (2022)
Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs
A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. IMBSA (2022)
Ehsan Poorhadi, Elena Troubitsyna, György Dán
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. IMBSA (2022)
Anthony Legendre, Roland Donat
Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines. IMBSA (2022)
Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider
Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. IMBSA (2022)

volume 13525, 2022

Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings IMBSA 13525 (2022)

2020

volume 12297, 2020

Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings IMBSA 12297 (2020)

2019

volume 11842, 2019

Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings IMBSA 11842 (2019)