|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 202 occurrences of 155 keywords
|
|
|
|
|
Results
Found 478 publication records. Showing 478 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl |
Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences.  |
SAFECOMP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi |
Evolutionary Risk Analysis: Expert Judgement. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Popov, Gabriele Manno |
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno |
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer |
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini |
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien |
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano |
Security Analysis of Smart Grid Data Collection Technologies. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Güdemann, Frank Ortmeier |
Model-Based Multi-objective Safety Optimization. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Cruciani, Enrico Vicario |
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Assayad, Alain Girault, Hamoudi Kalla |
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo |
An Integrated Approach for Availability and QoS Evaluation in Railway Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi |
On the Adoption of Model Checking in Safety-Related Software Industry. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano |
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders |
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque |
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni |
A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.) |
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram |
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
From Probabilistic Counterexamples via Causality to Fault Trees. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump |
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli |
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß |
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hawkins, Kester Clegg, Robert Alexander, Tim Kelly |
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hananeh Aliee, Hamid R. Zarandi |
A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Lami, Fabrizio Fabbrini, Mario Fusani |
ISO/IEC 15504-10: Motivations for Another Safety Standard. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos |
Modeling Aircraft Operational Reliability. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp |
Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini |
Model-Driven Availability Evaluation of Railway Control Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono |
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Pecchia, Roberto Pietrantuono, Stefano Russo |
Criticality-Driven Component Integration in Complex Software Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bieber, Remi Delmas, Christel Seguin |
DALculus - Theory and Tool for Development Assurance Level Allocation. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler |
INDEXYS, a Logical Step beyond GENESYS. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo C. Véras, Emilia Villani, Ana Maria Ambrosio, Rodrigo P. Pontes, Marco Vieira, Henrique Madeira |
Benchmarking Software Requirements Documentation for Space Application. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kästner, Reinhold Heckmann, Christian Ferdinand |
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Novak, Christoph Stoegerer |
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala |
Verifying Mode Consistency for On-Board Satellite Software. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin R. Driscoll |
Murphy Was an Optimist. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolina Gómez, Peter Liggesmeyer, Ariane Sutor |
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Hutchesson, John A. McDermid |
Development of High-Integrity Software Product Lines Using Model Transformation. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Johnson, Stefan Raue |
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric A. M. Luiijf |
Process Control Security: Go Dutch! (United, Shared, Lean and Mean). |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Palin, Ibrahim Habli |
Assurance of Automotive Safety - A Safety Case Approach. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Walter, Holger Täubig, Christoph Lüth |
Experiences in Applying Formal Verification in Robotics. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Dittel, Hans-Jörg Aryus |
How to "Survive" a Safety Case According to ISO 26262. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Kaiser, Vanessa Klaas, Stefan Schulz, Christian Herbst, Peter Lascych |
Integrating System Modelling with Safety Activities. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
Field Test Methods for a Co-operative Integrated Traffic Management System. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Schulz, Jan Peleska |
Reliability Analysis of Safety-Related Communication Architectures. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Kopetz |
System of Systems Challenges. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwin Schoitsch (eds.) |
Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Granzer, Wolfgang Kastner |
Security Analysis of Open Building Automation Systems. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bishop, Lukasz Cyra |
Overcoming Non-determinism in Testing Smart Devices: A Case Study. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Alexandersson, Peter Öhman, Johan Karlsson |
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Schiller, Tina Mattes |
Residual Error Probability of Embedded CRC by Stochastic Automata. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Akella, Bruce M. McMillin |
Information Flow Analysis of Energy Management in a Smart Grid. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter G. Bishop, Konstantinos Tourlas, Nick Chozos |
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzanne Haanappel, Sjaak Brinkkemper |
Software Testing by People with Autism. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele |
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurlida Basir, Ewen Denney, Bernd Fischer 0002 |
Deriving Safety Cases for Hierarchical Structure in Model-Based Development. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer |
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta Terruggia, Andrea Bobbio |
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe |
Evolving a Safe System Design Iteratively. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti |
A Metric for Measuring the Strength of Inter-dependencies. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Johnson |
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Böhm, Thomas Gruber |
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren |
MODIFI: A MODel-Implemented Fault Injection Tool. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Hatebur, Maritta Heisel |
A UML Profile for Requirements Analysis of Dependable Software. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee |
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen |
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Domis, Mario Trapp |
Component-Based Abstraction in Fault Tree Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure propagation, cyber-physical, FACTS devices, reliability analysis, power grid |
| 1 | Tobias Hoppe, Stefan Kiltz, Jana Dittmann |
Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe |
Probability of Failure on Demand - The Why and the How. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Probability of failure on demand, rate of dangerous failures, safety integrity level |
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Probabilistic Failure Propagation and Transformation Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure, probabilistic analysis, component-based system, safety analysis |
| 1 | Zaijun Hu, Carlos G. Bilich |
Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Safety Lifecycle, Management of Functional Safety, IEC 61508 |
| 1 | Anne Elisabeth Haxthausen |
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl |
Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedemann Bitsch, Ulrich Feucht, Huw Gough |
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Safety-related Application Conditions, SAC quality, conditions for defining SACs, process for defining and complying with SACs |
| 1 | Christof Fetzer, Ute Schiffel, Martin Süßkraut |
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Butka, Janusz Zalewski, Andrew J. Kornecki |
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD |
| 1 | Bettina Buth, Gerd Rabe, Till Seyfarth (eds.) |
Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety |
| 1 | Uwe Becker |
Model-Based Development of Medical Devices. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
model-driven analysis, MDRE, model-driven test, model-driven safety analysis, design process, model-driven design, medical devices |
| 1 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Åkerberg, Mats Björkman |
Exploring Network Security in PROFIsafe. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, A. Di Pietro, Alberto Tofani |
Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
PACS number(s) 9.75.Fb, Structures and organization in complex systems |
| 1 | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
Formal Verification of a Microkernel Used in Dependable Software Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Hatebur, Maritta Heisel |
A Foundation for Requirements Analysis of Dependable Software. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin |
Towards Model-Based Automatic Testing of Attack Scenarios. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos G. Bilich, Zaijun Hu |
Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Functional Safety, reusable components, IEC 61508 |
| 1 | Michaela Huhn, Axel Zechner |
Analysing Dependability Case Arguments Using Quality Models. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures |
| 1 | Thomas Steffen, Frank Schiller, Michael Blum, Roger Dixon |
Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
high redundancy actuator (HRA), fault mode and effect analysis (FMEA), multi-state system, k-out-of-n:G system, fault-tolerance, dependable systems, failure probability |
| 1 | Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton |
Why Are People's Decisions Sometimes Worse with Computer Support?. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
computer aided decision making, alerting systems, human-machine diversity, omission errors, decision support |
| 1 | Geraldine Vache |
Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad |
CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Control centre, Petroleum, Oil & Gas, CRIOP, Verification, Human Factors, Validation, Offshore, Control room |
Displaying result #1 - #100 of 478 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")