default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd SAFECOMP Workshops 2014: Florence, Italy
- Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier:
Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Lecture Notes in Computer Science 8696, Springer 2014, ISBN 978-3-319-10556-7
Architecting Safety in Collaborative Mobile Systems (ASCoMS'14)
- Renato Librino, Martin Törngren
:
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS). 1-2 - Kenneth Östberg, Martin Törngren, Fredrik Asplund, Magnus Bengtsson:
Intelligent Transport Systems - The Role of a Safety Loop for Holistic Safety Management. 3-10 - Kozo Okano, Toshifusa Sekizawa:
Safety Verification of Multiple Autonomous Systems by Formal Approach. 11-18 - Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes:
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. 19-26 - Eric Vial, António Casimiro:
Evaluation of Safety Rules in a Safety Kernel-Based Architecture. 27-35 - Christian Berger, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller:
Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed. 36-45 - Tino Brade, Georg Jäger, Sebastian Zug, Jörg Kaiser:
Sensor- and Environment Dependent Performance Adaptation for Maintaining Safety Requirements. 46-54 - Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg:
Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics. 55-62 - Attila Nagy, Olaf Landsiedel:
Towards Energy Efficient, High-Speed Communication in WSNs. 63-70 - Luís Almeida, Frederico Santos, Luis Oliveira:
Comparing Adaptive TDMA against a Clock Synchronization Approach. 71-79
ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14)
- Erwin Schoitsch, Amund Skavhaug:
Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014 - A European Approach to Critical Systems Engineering. 80-83 - Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand:
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. 84-96 - Markus Oertel, Omar Kacimi, Eckard Böde:
Proving Compliance of Implementation Models to Safety Specifications. 97-107 - Christian Ellen, Martin Böschen, Thomas Peikenkamp:
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. 108-118 - Rocco Aversa, Beniamino Di Martino, Francesco Moscato:
Critical Systems Verification in MetaMORP(h)OSY. 119-129 - Alexandre Ginisty, Frédérique Vallée, Elie Soubiran, Vidal-delmas Tchapet-Nya:
Report on the Railway Use-Case of the Crystal Project: Objectives and Progress. 130-136 - Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi:
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. 137-146 - Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini:
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. 147-156 - Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Modelling Resilient Systems-of-Systems in Event-B. 157-166 - Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner:
Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems. 167-179 - Daniel Schneider, Eric Armengaud, Erwin Schoitsch:
Towards Trust Assurance and Certification in Cyber-Physical Systems. 180-191
DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS'14)
- Francesco Brancati, Nuno Laranjeiro, Ábel Hegedüs:
Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14). 192-194 - Jussi Lahtinen:
Verification of Fault-Tolerant System Architectures Using Model Checking. 195-206 - Tamás Tóth, András Vörös:
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. 207-218 - Daniel Skarin, Jonny Vinter, Rickard Svenningsson:
Visualization of Model-Implemented Fault Injection Experiments. 219-230 - Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli:
Cost-Effective Testing for Critical Off-the-Shelf Services. 231-242 - Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
On Security Countermeasures Ranking through Threat Analysis. 243-254 - Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven:
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. 255-266
Integration of Safety and Security Engineering (ISSE'14)
- Laurent Rioux, John M. Favaro:
1st International Workshop on the Integration of Safety and Security Engineering (ISSE '14). 267-268 - Pierre Bieber, Julien Brunel:
From Safety Models to Security Models: Preliminary Lessons Learnt. 269-281 - Christoph Schmittner, Zhendong Ma, Paul Smith:
FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles. 282-288 - Jana Fruth, Edgar Nett:
Uniform Approach of Risk Communication in Distributed IT Environments Combining Safety and Security Aspects. 289-300
Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI'14)
- Silvia Bonomi, Ilaria Matteucci:
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). 301-303 - Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano:
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. 304-315 - Oleksandr Netkachov, Peter T. Popov, Kizito Salako:
Quantification of the Impact of Cyber Attack in Critical Infrastructures. 316-327 - Paolo Franchin, Luigi Laura:
Probabilistic Inference in the Physical Simulation of Interdependent Critical Infrastructure Systems. 328-338 - Cesario Di Sarno, Alessia Garofalo:
Energy-Based Detection of Multi-layer Flooding Attacks on Wireless Sensor Network. 339-349 - Roberto Baldoni, Adriano Cerocchi, Claudio Ciccotelli, Alessandro Donno, Federico Lombardi, Luca Montanari:
Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers. 350-359 - Richard M. Zahoransky, Thomas G. Koslowski, Rafael Accorsi:
Toward Resilience Assessment in Business Process Architectures. 360-370
Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR'14)
- Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara:
Introduction to SASSUR 2014. 371-374 - Tom Ferrell, Uma Ferrell:
Assuring Avionics - Updating the Approach for the 21st Century. 375-383 - Linling Sun, Nuno Silva, Tim Kelly:
Rethinking of Strategy for Safety Argument Development. 384-395 - Marc Zeller, Kai Höfig, Martin Rothfelder:
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. 396-400 - Asim Abdulkhaleq, Stefan Wagner:
A Software Safety Verification Method Based on System-Theoretic Process Analysis. 401-412 - Sunil Nair, Neil Walkinshaw, Tim Kelly:
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. 413-418 - Yaping Luo, Luc Engelen, Mark van den Brand:
Metamodel Comparison and Model Comparison for Safety Assurance. 419-430 - Ragaad AlTarawneh, Max Steiner, Davide Taibi, Shah Rukh Humayoun, Peter Liggesmeyer:
Does Visualization Speed Up the Safety Analysis Process? 431-443 - Tor Stålhane, Geir Kjetil Hanssen, Thor Myklebust, Børge Haugset:
Agile Change Impact Analysis of Safety Critical Software. 444-454
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 2024-12-27 21:32 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:
