default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDSN 2015: Rio de Janeiro, Brazil
- IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-8044-7
International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015)
- Andrea Bondavalli:
MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks. 1-2 - Paulo Jorge Esteves Veríssimo:
MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems. 3
Workshop on Dependability Issues on SDN and NFV (DISN 2015)
- Chun-Jen Chung, Tianyi Xing, Dijiang Huang
, Deep Medhi, Kishor S. Trivedi:
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment. 4-11 - Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rúbens de Souza Matos Júnior, Ivanildo José de Melo Filho, Paulo Romero Martins Maciel:
Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis. 12-18 - Rogério C. Turchetti, Elias Procópio Duarte Jr.:
Implementation of Failure Detector Based on Network Function Virtualization. 19-25
International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015)
- Bradley R. Schmerl:
RADIANCE 2015 Keynote: Challenges in Engineering Dependable Self-Adaptive System. 26
RADIANCE 2015: Session I - Security and Dependability Analysis
- Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner:
Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method. 27-32 - Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. 33-38
RADIANCE 2015: Session II - Agile Development and Natural Language Requirements
- Ricardo Barbosa, Daniele Januario, Ana Estela Silva, Regina Lúcia de Oliveira Moraes, Paulo Martins:
An Approach to Clustering and Sequencing of Textual Requirements. 39-44 - Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho:
Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents. 45-50
RADIANCE 2015: Session III - Safety Assessment in Industrial Systems
- Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono:
An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. 51-56 - Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito:
Cost Prediction for V&V and Certification Processes. 57-62 - Nuno Silva, Marco Vieira, Dario Ricci, Domenico Cotroneo:
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues. 63-68
RADIANCE 2015: Session IV - Fault Injection for Complex Systems
- Andrea Höller, Georg Macher, Tobias Rauter, Johannes Iber, Christian Kreiner:
A Virtual Fault Injection Framework for Reliability-Aware Software Development. 69-74 - Ivano Irrera, Marco Vieira:
Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction. 75-80 - Cristiana Areias, João Carlos Cunha, Marco Vieira:
Studying the Propagation of Failures in SOAs. 81-86
First Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015)
SSIV 2015: Session I - Safety and Security of Intelligent Vehicles
- Roberto Gallo:
SSIV 2015 Keynote I: On the Security of Critical Cyber-Physical Systems. 87 - Daniel Baraldi Sesso, Lucio Flavio Vismari, Antonio V. Silva Neto, Paulo Sérgio Cugnasca, João Batista Camargo Jr.:
Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems. 88-95
SSIV 2015: Session II - Collision Avoidance and Control on Automotive and Aerial Vehicles
- Thiago Toshio Matsumoto, Lucio Flavio Vismari, Ricardo Alexandre Veiga Gimenes, Jorge Rady de Almeida Jr., João Batista Camargo Jr.:
A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft. 96-103 - Benjamin Vedder, Jonny Vinter, Magnus Jonsson:
Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System. 104-111 - Dennis Böhmländer, Sinan Hasirlioglu, Vitor Yano, Christian Lauerer, Thomas Brandmeier, Alessandro Zimmer:
Advantages in Crash Severity Prediction Using Vehicle to Vehicle Communication. 112-117 - Ian de Medeiros Esper, Paulo Fernando Ferreira Rosa:
Heading Controller for a Fixed Wing UAV with Reduced Control Surfaces Based on ANFIS. 118-123
SSIV 2015: Session III - Design Issues for Autonomous Cooperating Objects
- Paulo Veríssimo:
SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects. 124 - Mikael Asplund:
Model-Based Membership Verification in Vehicular Platoons. 125-132 - Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli:
Software Faults Emulation at Model-Level: Towards Automated Software FMEA. 133-140
SSIV 2015: Session IV - Automotive Safety through Environment Awareness
- Jaime Armando Delgado Vargas, Paulo Roberto Gardel Kurka:
The Use of a Graphic Processing Unit (GPU) in a Real Time Visual Odometry Application. 141-146 - Wilfried Steiner, Ayhan Mehmed, Sasikumar Punnekkat:
Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests. 147-152
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.
last updated on 2025-12-01 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
