| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marc Zeller |
Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis.  |
IMBSA  |
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. |
IMBSA |
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. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Frazza, Pierre Darfeuil, Jean Gauthier |
MBSA in Aeronautics: A Way to Support Safety Activities. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Ding, Skander Ayoub, Andrey Morozov 0001 |
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. |
IMBSA |
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. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok |
Towards Causal Model-Based Engineering in Automotive System Safety. |
IMBSA |
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. |
IMBSA |
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 |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertille Noisette, Sébastien Dobol, Laurène Monteil |
Model-Based Safety Analysis: A Practical Experience. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kaalen, Mattias Nyberg |
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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 |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nungki Selviandro, Richard Hawkins, Ibrahim Habli |
A Visual Notation for the Representation of Assurance Cases Using SACM. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Iwo Kurzidem, Ahmad Saad, Philipp Schleiss |
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles. |
IMBSA |
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. |
IMBSA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer |
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties. |
IMBSA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske |
Counterexample Interpretation for Contract-Based Design. |
IMBSA |
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. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhensheng Guo, Marc Zeller |
DPN - Dependability Priority Numbers. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Vistbakka, Elena Troubitsyna |
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. |
IMBSA |
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 |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stylianos Basagiannis, Panagiotis Katsaros |
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0083, Leïla Kloul |
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid |
Integrating Existing Safety Analyses into SysML. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Yang, Antoine Rauzy |
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Delmas, Christel Seguin, Pierre Bieber |
Tiered Model-Based Safety Assessment. |
IMBSA |
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. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier |
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan |
A Serverless Architecture for Wireless Body Area Network Applications. |
IMBSA |
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. |
IMBSA |
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). |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Greiner, Peter Munk, Arne Nordmann |
Compositionality of Component Fault Trees. |
IMBSA |
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. |
IMBSA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy |
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Cannarile, Michele Compare, Enrico Zio |
A Fault Diagnostic Tool Based on a First Principle Model Simulator. |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson |
Learning-Based Testing for Safety Critical Automotive Applications. |
IMBSA |
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. |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker 0002, Nicholas Matragkas, Septavera Sharvia |
Model-Connected Safety Cases. |
IMBSA |
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. |
IMBSA |
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 |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Montecchi, Barbara Gallina |
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier |
Handling Consistency Between Safety and System Models. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Invariant Management in the Presence of Failures. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Gholami, Hanifa Boucheneb |
Applying Formal Methods into Safety-Critical Health Applications. |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier |
On Efficiently Specifying Models for Model Checking. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaojun Li, Su Duo |
A Practicable MBSA Modeling Process Using Altarica. |
IMBSA |
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. |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Abraham Cherfi, Antoine Rauzy, Michel Leeman |
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marion Morel |
Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy |
Safety Assessment of an Electrical System with AltaRica 3.0. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Höfig, Marc Zeller, Lars Grunske |
metaFMEA-A Framework for Reusable FMEAs. |
IMBSA |
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 |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Melissa Issad, Leïla Kloul, Antoine Rauzy |
A Model-Based Methodology to Formalize Specifications of Railway Systems. |
IMBSA |
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. |
IMBSA |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license