{"id":338,"date":"2020-07-16T10:30:48","date_gmt":"2020-07-16T10:30:48","guid":{"rendered":"http:\/\/easyconferences.eu\/imbsa2020\/?page_id=338"},"modified":"2020-07-16T10:40:27","modified_gmt":"2020-07-16T10:40:27","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/imbsa2020\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"

[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.0.7″ background_image=”http:\/\/easyconferences.eu\/imbsa2020\/wp-content\/uploads\/2019\/12\/tour_img-1187177-148.jpg” min_height=”234px” max_height=”234px” custom_margin=”|0px|2px|0px|false|false” custom_padding=”|0px|103px|0px|false|false” bottom_divider_style=”arrow2″ custom_margin__hover_enabled=”off|desktop”][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.0.7″][et_pb_row _builder_version=”4.0.7″ custom_margin=”-42px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ hover_enabled=”0″]<\/p>\n

Accepted Papers<\/h1>\n

[\/et_pb_text][et_pb_divider _builder_version=”4.0.7″][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″ custom_padding=”0px|||||”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ custom_margin=”||18px|||” hover_enabled=”0″]<\/p>\n

Koorosh Aslansefat, Gholamreza Latif-Shabgahi and Mehrdad Mohammadi<\/span>.
<\/span>Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Hamid Jahanian, David Parker, Marc Zeller, Yannis Papadopoulos and Annabelle McIver<\/span>.
<\/span>Failure Mode Reasoning in Model Based Safety Analysis<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Lucas Bressan, Andr\u00e9 Luiz de Oliveira, Fernanda Campos, Yiannis Papadopoulos and David Parker<\/span>.
<\/span>An integrated approach to support cost-effective process-based certification of variant-intensive systems<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel and Lars Grunske<\/span>.
<\/span>Counterexample Interpretation for Contract-based Design<\/span><\/strong><\/div>\n
<\/span><\/div>\n

Nishanth Laxman, Chee Hung Koo and Peter Liggesmeyer<\/span>.
<\/span>U-Map: A reference map for safe handling of runtime uncertainties<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller and Martin Rothfelder<\/span>.
<\/span>Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich and Klaus Janschek<\/span>.
<\/span>Model-based Error Detection for Industrial Automation Systems using LSTM Networks<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Birte Kramer, Christian Neurohr, Matthias B\u00fcker, Eckard B\u00f6de, Martin Fr\u00e4nzle and Werner Damm<\/span>.
<\/span>Identification and Quantification of Hazardous Scenarios for Automated Driving<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Hariharan Thiagarajan, Brian Larson, John Hatcliff and Yi Zhang<\/span>.
<\/span>Model-based Risk Analysis for an Open Source PCA Pump using the AADL Error Modeling Annex<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Athira Varma Jayakumar and Carl Elks<\/span>.
<\/span>Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Stefan Kaalen and Mattias Nyberg<\/span>.
<\/span>Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Anas Abdelkarim and Ping Zhang<\/span>.
<\/span>Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Nungki Selviandro, Richard Hawkins and Ibrahim Habli<\/span>.
<\/span>A Visual Notation for the Representation of Assurance Cases using SACM<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Amr Hany Saleh, Jonathan Menu, Johan Vanhuyse and Mike Nicolai<\/span>.
<\/span>Generative engineering for safety-critical system design<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Iwo Kurzidem, Ahmad Saad and Philipp Schleiss<\/span>.
<\/span>A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Florian Grigoleit, Arnold Bitner and Iliya Valchev<\/span>.
<\/span>Modelwise Paitron \u2013 A tool for automated FMEA<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari and Yiannis Papadopoulos<\/span>.
<\/span>SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Florian Grigoleit, Peter Struss, Jana von Wedel, Markus Heine and Julian Rhein<\/span>.
<\/span>Lowering Barriers for Applying Model-based FMEA \u2013 Results of the qSafe Project<\/span><\/strong><\/div>\n
<\/span><\/span><\/div>\n

Jan Reich, Ioannis Sorokos and Marc Zeller<\/span>.
<\/span>An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities<\/span><\/strong><\/div>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

Accepted Papers Koorosh Aslansefat, Gholamreza Latif-Shabgahi and Mehrdad Mohammadi. Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation Hamid Jahanian, David Parker, Marc Zeller, Yannis Papadopoulos and Annabelle McIver. Failure Mode Reasoning in Model Based Safety Analysis Lucas Bressan, Andr\u00e9 Luiz de Oliveira, Fernanda Campos, Yiannis Papadopoulos and David […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/338"}],"collection":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/comments?post=338"}],"version-history":[{"count":3,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/338\/revisions"}],"predecessor-version":[{"id":343,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/338\/revisions\/343"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/media?parent=338"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}