Search results for "SAFECOMP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ewen Denney, Ganesh Pai	A Lightweight Methodology for Safety Case Assembly.	SAFECOMP	2012	DBLP DOI BibTeX RDF
1	Carl Bergenhem, Rolf Johansson 0002, Henrik Lönn	A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context.	SAFECOMP	2012	DBLP DOI BibTeX RDF
1	Philipp Helle, Michael Masin, Lev Greenberg	Approximate Reliability Algebra for Architecture Optimization.	SAFECOMP	2012	DBLP DOI BibTeX RDF
1	Michael Glaß, Heng Yu 0001, Felix Reimann, Jürgen Teich	Cross-Level Compositional Reliability Analysis for Embedded Systems.	SAFECOMP	2012	DBLP DOI BibTeX RDF
1	Mark-Alexander Sujan, Massimo Felici	Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings.	SAFECOMP	2012	DBLP DOI BibTeX RDF
1	Manfred Schäfer	Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA.	SAFECOMP	2012	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	Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi	Evolutionary Risk Analysis: Expert Judgement.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Eun-Young Kang 0001, Pierre-Yves Schobbens, Paul Pettersson	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.	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	Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos	Modeling Aircraft Operational Reliability.	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	Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé 0002, Samuel Mimram	Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.	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	Peter T. 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	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	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	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	Matthew P. Webster, Michael Fisher 0001, Neil Cameron, Mike Jump	Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly	Using a Software Safety Argument Pattern Catalogue: Two Case Studies.	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	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	Antonio Bovenzi, Francesco Brancati, Stefano Russo 0001, Andrea Bondavalli	A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Simona Bernardi 0001, Francesco Flammini, Stefano Marrone 0001, José Merseguer, Camilla Papa, Valeria Vittorini	Model-Driven Availability Evaluation of Railway Control 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	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	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	Ismail Assayad, Alain Girault, Hamoudi Kalla	Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.	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	Pierre Bieber, Remi Delmas, Christel Seguin	DALculus - Theory and Tool for Development Assurance Level Allocation.	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	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	Alessandro Fantechi, Stefania Gnesi	On the Adoption of Model Checking in Safety-Related Software Industry.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Antonio Pecchia, Roberto Pietrantuono, Stefano Russo 0001	Criticality-Driven Component Integration in Complex Software Systems.	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	Matthias Güdemann, Frank Ortmeier	Model-Based Multi-objective Safety Optimization.	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	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	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	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	Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue	From Probabilistic Counterexamples via Causality to Fault Trees.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Alexandre Mota 0001, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe	Evolving a Safe System Design Iteratively.	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	Christopher W. Johnson 0001	Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Suzanne Haanappel, Sjaak Brinkkemper	Software Testing by People with Autism.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych	Integrating System Modelling with Safety Activities.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira	Benchmarking Software Requirements Documentation for Space Application.	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	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	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	Roberta Terruggia, Andrea Bobbio	QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams.	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	Denis Hatebur, Maritta Heisel	A UML Profile for Requirements Analysis of Dependable Software.	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	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	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	Oliver Schulz, Jan Peleska 0001	Reliability Analysis of Safety-Related Communication Architectures.	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	Petr Böhm, Thomas Gruber 0004	A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children.	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	Ravi Akella, Bruce M. McMillin	Information Flow Analysis of Energy Management in a Smart Grid.	SAFECOMP	2010	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	Peter G. Bishop, Lukasz Cyra	Overcoming Non-determinism in Testing Smart Devices: A Case Study.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee 0001	Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Kevin R. Driscoll	Murphy Was an Optimist.	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	Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson 0002, Lei Feng 0002, 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	Torsten Dittel, Hans-Jörg Aryus	How to "Survive" a Safety Case According to ISO 26262.	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	Thomas Novak 0001, Christoph Stoegerer	The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Christopher W. Johnson 0001, 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	Ruben Alexandersson, Peter Öhman, Johan Karlsson	Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Thomas Gruber 0004, Egbert Althammer, Erwin Schoitsch	Field Test Methods for a Co-operative Integrated Traffic Management System.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Hermann Kopetz	System of Systems Challenges.	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	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	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. 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	Dennis Walter, Holger Täubig, Christoph Lüth	Experiences in Applying Formal Verification in Robotics.	SAFECOMP	2010	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
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	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	Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, Antonio 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	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	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	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	Anne E. Haxthausen	A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
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	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri	The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.	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	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Johan Åkerberg, Mats Björkman	Exploring Network Security in PROFIsafe.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Thomas Gruber 0004, 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	Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin 0001	Towards Model-Based Automatic Testing of Attack Scenarios.	SAFECOMP	2009	DBLP DOI BibTeX RDF
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	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	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	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
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	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

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