Search results for "SAFECOMP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn	Towards a Unified Model-Based Safety Assessment.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon	Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Holger Giese, Matthias Tichy	Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Towards Filtering and Alerting Rule Rewriting on Single-Component Policies.	SAFECOMP	2006	DBLP DOI BibTeX RDF	NIDSs, Policy Anomalies, Network Security, Firewalls
1	Igor Nai Fovino, Marcelo Masera	Through the Description of Attacks: A Multidimensional View.	SAFECOMP	2006	DBLP DOI BibTeX RDF	Security assessment, Attack Pattern
1	Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon	Demonstration of Safety in Healthcare Organisations.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Norbert Oster, Francesca Saglietti	Automatic Test Data Generation by Multi-objective Optimisation.	SAFECOMP	2006	DBLP DOI BibTeX RDF	testing, evolutionary algorithms, data flow, mutation testing, object-oriented software, automated test data generation
1	Marcin Szpyrka, Tomasz Szmuc	Verification of Automatic Train Protection Systems with RTCP-Nets.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Aneta Poniszewska-Maranda	Access Control Coherence of Information Systems Based on Security Constraints.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Martin Hall-May, Tim Kelly	Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	I-Hsin Chou, Chin-Feng Fan	Regulatory Software Configuration Management System Design.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter, Ulrich Hannemann	Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Tomasz Gierszewski, Wojciech Molisz, Jacek Rak	On Certain Behavior of Scale-Free Networks Under Malicious Attacks.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Richard Banach, Marco Bozzano	Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger	Encapsulating Application Subsystems Using the DECOS Core OS.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Thomas Santen	Stepwise Development of Secure Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Won Jay Song, Moon Kyo Cho, Im Sook Há, Mun Kee Choi	Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Robert Alexander, Dimitar Kazakov, Tim Kelly	System of Systems Hazard Analysis Using Simulation and Machine Learning.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent	Checking SCADE Models for Correct Usage of Physical Units.	SAFECOMP	2006	DBLP DOI BibTeX RDF	physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection
1	Mário Brito, John May	Gaining Confidence in the Software Development Process Using Expert Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Janusz Górski (eds.)	Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski	A Tool for Databus Safety Analysis Using Fault Injection.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Byungryong Kim	Using Group Overlapping to Protect Server from Attack in Grid Computing.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Eimantas Garsva	Computer System Survivability Modelling by Using Stochastic Activity Network.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Fredrik Törner, Per Johannessen, Peter Öhman	Assessment of Hazard Identification Methods for the Automotive Domain.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Piotr Cholda, Jerzy Domzal, Andrzej Jajszczyk, Krzysztof Wajda	Reliability Analysis of Resilient Packet Rings.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Bengt Ljungquist, Thomas Thelin	An IEC 62061 Compliant Safety System Design Method for Machinery.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Martin Hall-May, Tim Kelly	Defining and Decomposing Safety Policy for Systems of Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Rune Winther, Bjørn Axel Gran, Gustav Dahll (eds.)	Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Nawal Addouche, Christian Antoine, Jacky Montmain	Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	George Bearfield, William Marsh 0001	Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Ola Løkberg, Øystein Skogstad	Functional Apportioning of Safety Requirements on Railway Signalling Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Tom Gilb	Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Anjali Joshi, Mats Per Erik Heimdahl	Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Massimo Felici	Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea	Safety Interfaces for Component-Based Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Jose J. Gonzalez	Towards a Cyber Security Reporting System - A Quality Improvement Process.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Robert Martinez, Torgeir Enkerud	The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Martin Skambraks	A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Atoosa P.-J. Thunem	Security Research from a Multi-disciplinary and Multi-sectoral Perspective.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha	Control and Data Flow Testing on Function Block Diagrams.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu 0001	End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci	Automatic Analysis of a Safety Critical Tele Control System.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Zeshan Kurd, Tim P. Kelly	Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Krzysztof Sacha	Automatic Code Generation for PLC Controllers.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah 0001	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
1	Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson	The TACO Approach for Traceability and Communication of Requirements.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Monica Kristiansen	Finding Upper Bounds for Software Failure Probabilities - Experiments and Results.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj	A Technique for Fault Tolerance Assessment of COTS Based Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Qiang Yan 0002, Huaying Shu	The Application of an Object-Oriented Method in Information System Security Evaluation.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas	Justification of Smart Sensors for Nuclear Applications.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Jose Antonio Fonseca, Jorge Rady de Almeida Jr.	CMMI RAMS Extension Based on CENELEC Railway Standard.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla	On the Effectiveness of Run-Time Checks.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Jan Henry Nyström, Philip W. Trinder, David J. King	Are High-Level Languages Suitable for Robust Telecoms Software?.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Denis Hatebur, Maritta Heisel	Problem Frames and Architectures for Security Problems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Tage Stabell-Kulø, Simone Lupetti	Public-Key Cryptography and Availability.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Hamid R. Zarandi, Seyed Ghassem Miremadi	A Highly Fault Detectable Cache Architecture for Dependable Computing.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna	Refinement of Fault Tolerant Control Systems in B.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)	Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	D. Rehage, Udo B. Carl, M. Merkel, A. Vahl	The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	D. Essame	Handling Safety Critical Requirements in System Engineering Using the B Formal Method .	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Ralf Guido Herrtwich	Automotive Telematics - Road Safety Versus IT Security?	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	E. Dillon, Christophe Meudec	Automatic Test Data Generation from Embedded C Code.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Holger Pfeifer, Friedrich W. von Henke	Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Bettina Buth	Analysing Mode Confusion: An Approach Using FDR2.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen	An Empirical Exploration of the Difficulty Function.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo	A Hybrid Testing Methodology for Railway Control Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo 0001	An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Ester Ciancamerla, Michele Minichino	Performability Measures of the Public Mobile Network of a Tele Control System.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Andreas Pfitzmann	Why Safety and Security Should and Will Merge.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Titos Saridakis	Towards the Integration of Fault, Resource, and Power Management.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Bernhard Kaiser, Catharina Gramlich	State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Zeshan Kurd, Tim Kelly	Using Fuzzy Self-Organising Maps for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	João Durães, Marco Vieira, Henrique Madeira	Dependability Benchmarking of Web-Servers.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem	An Approach for Model-Based Risk Assessment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Michael Vollmer 0002	Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	James M. Armstrong, Stephen Paynter	The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp	How Explicit Are the Barriers to Failure in Safety Arguments?	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Holger Giese, Matthias Tichy, Daniela Schilling	Compositional Hazard Analysis of UML Component and Deployment Models.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Lars-Henrik Eriksson	Using Formal Methods in a Retrospective Safety Case.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Richard Banach, R. Cross	Safety Requirements and Fault Trees Using Retrenchment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Michael Cebulla	Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF	Analysis and Modeling, Formal Methods, Human Factors
1	Per Johannessen, Fredrik Törner, Jan Torin	Actuator Based Hazard Analysis for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Andrew Rae, Daniel Jackson 0001, Prasad Ramanan, Jay Flanz, Didier Leyman	Critical Feature Analysis of a Radiotherapy Machine.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis	Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Atte Helminen, U. Pulkkinen	Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	N. Storey, Alastair Faulkner	The Characteristics of Data in Data-Intensive Safety-Related Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Chris W. Johnson 0001	The Application of Causal Analysis Techniques for Computer-Related Mishaps.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Magnos Martinello, Mohamed Kaâniche, Karama Kanoun	Web Service Availability - Impact of Error Recovery.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Shamus P. Smith, Michael D. Harrison	Reuse in Hazard Analysis: Identification and Support.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	M. Thomas	Issues in Safety Assurance.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield	A Dependability Model for Domestic Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	K. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg	Byzantine Fault Tolerance, from Theory to Reality.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Zeshan Kurd, Tim Kelly	Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Alberto Pasquini, Simone Pozzi	Safety Assessment of Experimental Air Traffc Management Procedures.	SAFECOMP	2003	DBLP DOI BibTeX RDF	Safety Assessment, Human-Computer Interaction, Air Traffic Management
1	David Wright 0001	Elicitation and Validation of Graphical Dependability Models.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Constance L. Heitmeyer	Developing High Assurance Systems: On the Role of Software Tools.	SAFECOMP	2003	DBLP DOI BibTeX RDF

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