![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
35th SAFECOMP Workshops 2016: Trondheim, Norway
- Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Lecture Notes in Computer Science 9923, Springer 2016, ISBN 978-3-319-45479-5
4th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2016)
- Tor Stålhane, Thor Myklebust:
The Agile Safety Case. 5-16 - Omar Jaradat
, Iain Bate:
Systematic Maintenance of Safety Cases to Reduce Risk. 17-29 - Carmen Cârlan, Daniel Ratiu, Bernhard Schätz:
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. 30-42 - Irfan Sljivo
, Barbara Gallina, Jan Carlson, Hans A. Hansson:
Configuration-Aware Contracts. 43-54 - Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka:
Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases. 55-62 - Shuji Kinoshita, Yoshiki Kinoshita:
The 6W1H Model as a Basis for Systems Assurance Argument. 63-74 - Myra B. Cohen, Justin W. Firestone, Massimiliano Pierobon:
The Assurance Timeline: Building Assurance Cases for Synthetic Biology. 75-86 - Andrzej Wardzinski, Aleksander Jarzebowicz
:
Towards Safety Case Integration with Hazard Analysis for Medical Devices. 87-98
11th International ERCIM/EWICS/ARTEMIS Workshop on Cyber-Physical Systems and Systems-of-Systems (DECSoS)
- Joachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen:
Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study. 105-117 - Francesca Saglietti, Ralf Spengler, Matthias Meitner:
Quantitative Reliability Assessment for Mobile Cooperative Systems. 118-129 - Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel:
An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. 130-143 - Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello:
Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. 144-156 - Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner
:
Using SAE J3061 for Automotive Security Requirement Engineering. 157-170 - Sebastian Müller, Peter Liggesmeyer:
Dynamic Safety Contracts for Functional Cooperation of Automotive Systems. 171-182 - Hannes Plank, Gerald Holweg, Christian Steger
, Norbert Druml:
Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving. 183-194 - Christoph Schmittner, Zhendong Ma, Peter P. Puschner
:
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. 195-209 - Thomas Koller, Donatus Weber:
Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips. 210-221 - Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer:
Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems. 222-233 - Sándor Plósz, Csaba Hegedüs, Pál Varga:
Advanced Security Considerations in the Arrowhead Framework. 234-245 - Aitor Couce Vieira
, Siv Hilde Houmb:
The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling Rigs. 246-255 - Øyvind Netland, Amund Skavhaug:
Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave Microcontrollers. 256-267
5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)
- Irune Agirre
, Mikel Azkarate-askasua
, Asier Larrucea, Jon Pérez
, Tullio Vardanega
, Francisco J. Cazorla:
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. 273-285 - Fredrik Warg
, Martin Gassilewski, Jörgen Tryggvesson, Viacheslav Izosimov, Anders Werneman, Rolf Johansson:
Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements Refinement. 286-297 - Markus Fockel
:
ASIL Tailoring on Functional Safety Requirements. 298-310 - Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara
, Silvia Mazzini, Huáscar Espinoza:
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. 311-321 - Marc Zeller, Daniel Ratiu, Kai Höfig:
Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. 322-333 - Christophe Ponsard, Gautier Dallons, Philippe Massonet
:
Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems. 334-345 - Markus Borg
, Jose Luis de la Vara
, Krzysztof Wnuk:
Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis. 346-358 - Ralph Weissnegger, Markus Schuß, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger:
Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. 359-370
1st International Workshop on Timing Performance in Safety Engineering (TIPS)
- Anas Motii, Agnes Lanusse, Brahim Hamid
, Jean-Michel Bruel:
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. 375-389
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.