|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 202 occurrences of 155 keywords
|
|
|
Results
Found 928 publication records. Showing 928 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | Denis Hatebur, Maritta Heisel |
A Foundation for Requirements Analysis of Dependable Software. |
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 | Geraldine Vache |
Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. |
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 | 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 | Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
Formal Verification by Reverse Synthesis. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
formal methods, Formal verification, software dependability |
1 | Lukasz Cyra, Janusz Górski |
Expert Assessment of Arguments: A Method and Its Experimental Evaluation. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Argument assessment, Dempster-Shafer model, Safety Case, Trust Case, Assurance Case, Argument structures |
1 | Tobias Hoppe, Stefan Kiltz, Jana Dittmann |
Security Threats to Automotive CAN Networks - Practical Examples and Selected Short-Term Countermeasures. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Practical tests, Exemplary threats and countermeasures, Safety, Automotive, IT-Security |
1 | Krzysztof Sacha |
Model-Based Implementation of Real-Time Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nurlida Basir, Ewen Denney, Bernd Fischer 0002 |
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification |
1 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Reliability, power grid, complexity reduction |
1 | Antonio Chialastri, Simone Pozzi |
Resilience in the Aviation System. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold |
Analysis of Nested CRC with Additional Net Data in Communication. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual error probability, Safety-critical communication |
1 | Colin O'Halloran, Andy Bates |
Security and Interoperability for MANETs and a Fixed Core. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
NEC, NCO, Security, Verification, Trust, Interoperability, Validation, Certification, Risk, Identity Management |
1 | Dennis K. Nilsson, Ulf Larson, Erland Jonsson |
Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
security, wireless, policies, guidelines, Infrastructure, vehicle |
1 | Danielle Chrun, Michel Cukier, Gerry Sneeringer |
Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Empirical Study, Security Metrics, Intrusion Prevention Systems |
1 | Roger Rivett |
Technology, Society and Risk. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Paolo Masci 0001, Holger Pfeifer |
Early Prototyping of Wireless Sensor Network Algorithms in PVS. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
WSN algorithms, simulation, PVS |
1 | Dominik Domis, Mario Trapp |
Integrating Safety Analyses and Component-Based Design. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Erik Hollnagel |
Critical Information Infrastructures: Should Models Represent Structures or Functions? |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
functional resonance, Complexity, risk, socio-technical systems |
1 | David Navarre, Philippe A. Palanque, Sandra Basnyat |
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches |
1 | De-Jiu Chen, Rolf Johansson 0002, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren |
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis |
1 | Aad P. A. van Moorsel |
Panel: Complexity and Resilience. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
Formal Security Analysis of Electronic Software Distribution Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pasquini, Simone Pozzi, Luca Save |
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ellims, Darrel C. Ince, Marian Petre |
The Effectiveness of T-Way Test Data Generation. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
t-way testing, Software testing, random testing, unit test, mutation, combinatorial design, automated test generation, pairwise testing |
1 | Michael D. Harrison, Mark-Alexander Sujan (eds.) |
Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Becker |
Applying Safety Goals to a New Intensive Care Workstation System. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
safety goals, reliability, systems design, resilience, Medical devices, health care systems, safety cases |
1 | Christian Denger, Mario Trapp, Peter Liggesmeyer |
SafeSpection - A Systematic Customization Approach for Software Hazard Identification. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety |
1 | Michael Predeschly, Peter Dadam, Hilmar Acker |
Security Challenges in Adaptive e-Health Processes. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
Towards Agile Engineering of High-Integrity Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc |
Deriving Safety Software Requirements from an AltaRica System Model. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
System safety requirements, software functional requirement, failure propagation models, AltaRica languages and tools, system control of helicopter turboshaft engines |
1 | Dawid Trawczynski, Janusz Sosnowski, Piotr Gawkowski |
Analyzing Fault Susceptibility of ABS Microcontroller. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
safety evaluation, fault tolerance, Fault injection, real-time embedded systems, automotive systems |
1 | Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford |
Resilience Markers for Safer Systems and Organisations. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
nuclear domain, distributed cognition, Human error, control rooms |
1 | Yasser Sedaghat, Seyed Ghassem Miremadi |
Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Flex- Ray protocol, Fault injection, Distributed embedded systems, Safety-critical applications |
1 | Ayman K. Gendy, Michael J. Pont |
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Safety-related embedded systems, scheduler, automatic code generation, time triggered |
1 | Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski |
Modeling and Analyzing Disaster Recovery Plans as Business Processes. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liang Xiao 0002, Paul H. Lewis, Srinandan Dasmahapatra |
Secure Interaction Models for the HealthAgents System. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Multi-Agent System, Security Model, Clinical Information System |
1 | Andrzej Wardzinski |
Safety Assurance Strategies for Autonomous Vehicles. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jafar Haadi Jafarian, Morteza Amini, Rasool Jalili |
A Context-Aware Mandatory Access Control Model for Multilevel Security Environments. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Context-Awareness, Integrity, Confidentiality, Mandatory Access Control |
1 | Abdullah M. S. Alaraj, Malcolm Munro |
An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler |
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safely Embedded Software, Safe State Machine, Diverse Instructions, Safety Code Weaving, Safety Supervisor |
1 | Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold |
Analysis of Combinations of CRC in Industrial Communication. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication |
1 | Mohammad Alhammouri, Sead Muftic |
Management of Groups and Group Keys in Multi-level Security Environments. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Access Control, Key Management, Key Agreement Protocols, Group Management |
1 | Falk Salewski, Stefan Kowalewski |
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
intrusion attacks, e-commerce protocols, model checking, SPIN |
1 | Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques |
A Reliability Evaluation of a Group Membership Protocol. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche |
Modelling Interdependencies Between the Electricity and Information Infrastructures. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar |
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems |
1 | Ananda Challaghatta Muniyappa |
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon |
Defense-in-Depth and Diverse Qualification of Safety-Critical Software. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Täubrich, Reinhard von Hanxleden |
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Redundancy Management, AFDX, Model Checking, Case Study, TLA |
1 | Dennis K. Nilsson, Phillip A. Porras, Erland Jonsson |
How to Secure Bluetooth-Based Pico Networks. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
pico networks, security controls, implementation flaws, Bluetooth, design flaws |
1 | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System |
1 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
Reliability Modeling for the Advanced Electric Power Grid. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
cyber-physical, Reliability, embedded, power grid, FACTS |
1 | Weihang Wu, Tim Kelly |
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber |
A Comparison of Partitioning Operating Systems for Integrated Systems. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Partitioning OS, Embedded Systems, Dependability |
1 | Francesca Saglietti, Norbert Oster (eds.) |
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Atte Helminen |
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kain, Hao Ding 0001, Frank Schiller, Olaf Stursberg |
Controller Architecture for Safe Cognitive Technical Systems. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
cognitive controllers, learning, safety, hybrid systems, cognitive systems |
1 | Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager |
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino |
A Tool for Network Reliability Analysis. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | István Majzik, Zoltán Micskei, Gergely Pintér |
Development of Model Based Tools to Support the Design of Railway Control Applications. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
UML state diagrams, test generation, assertions, static checking |
1 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis |
1 | Salvatore Distefano, Antonio Puliafito |
DFT and DRBD in Computing Systems Dependability Analysis. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lüdtke, Lothar Pfeifer |
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Safety Process Improvement with POSE and Alloy. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean Souyris, David Delmas |
Experimental Assessment of Astrée on Safety-Critical Avionics Software. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety |
1 | Jean-Claude Laprie |
Safety Demonstration and Software Development. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hans Russo, Andreas Turk |
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz J. Nalepa |
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Friske, Bernd-Holger Schlingloff |
Improving Test Coverage for UML State Machines Using Transition Instrumentation. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ute Wappler, Christof Fetzer |
Software Encoded Processing: Building Dependable Systems with Commodity Hardware. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Heilmann, Stefan Rothbauer, Ariane Sutor |
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Hierarchical Fault Trees, Combinatorial Fault Trees, Railway Brake System, Practical Example |
1 | Rainer Faller |
Specification of a Software Common Cause Analysis Method. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Software Common Cause Initiators, Event Tree, Fault Control, Fault Avoidance |
1 | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan 0001 |
Verification of Distributed Applications. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | William Marsh 0001, George Bearfield |
Representing Parameterised Fault Trees Using Bayesian Networks. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Bayesian network, risk analysis, fault tree |
1 | Armin Selhofer, Thomas Gruber 0004, Michael Putz, Erwin Schoitsch, Gerald Sonneck |
RAMSS Analysis for a Co-operative Integrated Traffic Management System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
RAMSS, co-operative traffic management, traffic telematics, dependability, analysis, road safety |
1 | Fevzi Belli, Axel Hollmann, Nimal Nissanke |
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs |
1 | Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos |
Compositional Temporal Fault Tree Analysis. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis |
1 | Andreas Lang 0001, Jana Dittmann, Stefan Kiltz, Tobias Hoppe |
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Future Vision, Security, Safety, Automotive |
1 | Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr |
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Berthing, Thomas Maier |
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
dependable architectures, safety related architectures, IEC61508 |
1 | Finn Olav Sveen, José Manuel Torres 0001, Jose María Sarriegi |
Learning from Your Elders: A Shortcut to Information Security Management Success. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Knowledge Management, Information Security Management, Quality Improvement, Safety Management |
1 | Kizito Salako |
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gilje Jaatun, Åsmund Ahlmann Nyre, Jan Tore Sørensen |
Survival by Deception. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Alexander Sujan, Floor Koornneef, Udo Voges |
Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wan-Hui Tseng, Chin-Feng Fan |
Handling Malicious Code on Control Systems. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
control systems security, malicious code classification, undecidability |
1 | S. M. Hadi Hosseini, Makoto Takahashi |
Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Meine van der Meulen, Miguel A. Revilla |
Experiences with the Design of a Run-Time Check. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Felicjan Rydzak, Lars S. Breistrand, Finn Olav Sveen, Ying Qian, Jose J. Gonzalez |
Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lassaad Cheikhrouhou, Georg Rock, Werner Stephan 0001, Matthias Schwan, Gunter Lassmann |
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Bialas |
Development of an Integrated, Risk-Based Platform for Information and E-Services Security. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
UML, risk, information security management, IT services |
1 | Wojciech Mazurczyk, Zbigniew Kotulski |
New VoIP Traffic Security Scheme with Digital Watermarking. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán |
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Wardzinski |
The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 928 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|