Search results for "SAFECOMP"

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

Publications at "SAFECOMP"( http://dblp.L3S.de/Venues/SAFECOMP )