Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marc Zeller |
Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 146-152, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 189-203, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider 0001, Yiannis Papadopoulos |
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 252-266, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Frazza, Pierre Darfeuil, Jean Gauthier |
MBSA in Aeronautics: A Way to Support Safety Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 31-42, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 237-251, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 101-115, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt 0003, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider 0001 |
Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 219-234, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Ding, Skander Ayoub, Andrey Morozov 0001 |
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 204-218, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ehsan Poorhadi, Elena Troubitsyna, György Dán |
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 170-185, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 130-145, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Brau, Eric Jenn, Silvana Radu |
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 155-169, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 3-20, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok |
Towards Causal Model-Based Engineering in Automotive System Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 116-129, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 68-82, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christel Seguin, Marc Zeller, Tatiana Prosvirnova (eds.) |
Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![Springer, 978-3-031-15841-4 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bertille Noisette, Sébastien Dobol, Laurène Monteil |
Model-Based Safety Analysis: A Practical Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 60-67, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 21-27, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hillen, Tom Philip Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt 0003, Daniel Schneider 0001, Denis Uecker |
Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 83-97, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker 0002, Koorosh Aslansefat, Yiannis Papadopoulos |
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings, pp. 43-59, 2022, Springer, 978-3-031-15841-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kaalen, Mattias Nyberg |
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 68-82, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos |
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 197-211, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koorosh Aslansefat, Gholamreza Latif-Shabgahi, Mehrdad Mohammadi |
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 53-67, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051 |
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 34-50, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Athira V. Jayakumar, Carl R. Elks |
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 115-129, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marc Zeller, Kai Höfig (eds.) |
Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![Springer, 978-3-030-58919-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker 0002 |
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 179-193, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Ding, Andrey Morozov 0001, Silvia Vock, Michael Weyrich, Klaus Janschek |
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 212-226, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder |
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 19-33, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nungki Selviandro, Richard Hawkins, Ibrahim Habli |
A Visual Notation for the Representation of Assurance Cases Using SACM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 3-18, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anas Abdelkarim, Ping Zhang 0022 |
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 83-96, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm |
Identification and Quantification of Hazardous Scenarios for Automated Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 163-178, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Iwo Kurzidem, Ahmad Saad, Philipp Schleiss |
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 149-162, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Jahanian, David Parker 0002, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos |
Failure Mode Reasoning in Model Based Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 130-145, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer |
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 227-241, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske |
Counterexample Interpretation for Contract-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 99-114, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei |
A Runtime Safety Analysis Concept for Open Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 332-346, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhensheng Guo, Marc Zeller |
DPN - Dependability Priority Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 173-187, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Elena Troubitsyna |
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 363-378, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano (eds.) |
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![Springer, 978-3-030-32871-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel 0001, Arne Nordmann |
A Domain Specific Language to Support HAZOP Studies of SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 47-62, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller |
SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 222-236, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stylianos Basagiannis, Panagiotis Katsaros |
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 204-221, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wei Chen 0083, Leïla Kloul |
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 317-331, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid |
Integrating Existing Safety Analyses into SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 63-77, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Liu Yang, Antoine Rauzy |
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 78-92, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Wuellner, Sebastian Feuerstack, Axel Hahn |
Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 349-362, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille |
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 3-17, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia |
A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 109-124, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna |
Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 18-31, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 157-172, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Delmas, Christel Seguin, Pierre Bieber |
Tiered Model-Based Safety Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 141-156, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jose Ignacio Aizpurua, Unai Garro, Eñaut Muxika, Mikel Mendicute, Ian Paul Gilbert |
Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 188-203, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier |
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 93-106, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan |
A Serverless Architecture for Wireless Body Area Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 239-254, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Rao, Plato Pathrose, Felix Huening, Jithin Sid |
An Approach for Validating Safety of Perception Software in Autonomous Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 303-316, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georg Macher, Norbert Druml, Omar Veledar, Jakob Reckenzaun |
Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 286-300, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Greiner, Peter Munk, Arne Nordmann |
Compositionality of Component Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 125-140, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll |
Automated Model-Based Attack Tree Analysis Using HiP-HOPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 255-269, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 32-46, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Markus Zoppelt, Ramin Tavakoli Kolagari |
What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 270-285, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | De-Jiu Chen, Zhonghai Lu |
A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 227-240, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Cannarile, Michele Compare, Enrico Zio |
A Fault Diagnostic Tool Based on a First Principle Model Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 179-193, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson |
Learning-Based Testing for Safety Critical Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 197-211, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy |
Safety Analysis of a Data Center's Electrical System Using Production Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 82-96, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker 0002, Nicholas Matragkas, Septavera Sharvia |
Model-Connected Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 50-63, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl |
Architectural Modeling and Analysis for Safety Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 97-111, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Yiannis Papadopoulos (eds.) |
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![Springer, 978-3-319-64118-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Montecchi, Barbara Gallina |
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 129-144, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier |
Handling Consistency Between Safety and System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 19-34, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier |
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 147-162, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage |
Performing Safety Analyses with AADL and AltaRica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 67-81, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Reiter 0003, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Verification of Component Fault Trees Using Error Effect Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 212-226, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker 0002, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde |
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 163-178, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari |
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 243-254, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Legendre, Agnes Lanusse, Antoine Rauzy |
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 35-49, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Invariant Management in the Presence of Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 112-128, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti |
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 255-271, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Filax, Tim Gonschorek, Frank Ortmeier |
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 3-18, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sohag Kabir, Martin Walker, Yiannis Papadopoulos |
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 96-109, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Gholami, Hanifa Boucheneb |
Applying Formal Methods into Safety-Critical Health Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 195-208, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein |
An Integrated Process for FDIR Design in Aerospace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 82-95, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier |
On Efficiently Specifying Models for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 14-27, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaojun Li, Su Duo |
A Practicable MBSA Modeling Process Using Altarica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 1-13, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Toby Wilkinson, Michael J. Butler, John Colley |
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 43-56, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois C. Knoll |
Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 166-180, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abraham Cherfi, Antoine Rauzy, Michel Leeman |
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 123-136, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok |
Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 152-165, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marion Morel |
Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 57-69, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy |
Safety Assessment of an Electrical System with AltaRica 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 181-194, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kai Höfig, Marc Zeller, Lars Grunske |
metaFMEA-A Framework for Reusable FMEAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 110-122, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frank Ortmeier, Antoine Rauzy (eds.) |
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![Springer, 978-3-319-12213-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luís Silva Azevedo, David Parker 0002, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo |
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 70-81, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Melissa Issad, Leïla Kloul, Antoine Rauzy |
A Model-Based Methodology to Formalize Specifications of Railway Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 28-42, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maged Khalil, Alejandro Prieto, Florian Hölzl |
A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, pp. 137-151, 2014, Springer, 978-3-319-12213-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|