The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/safecomp

Publication years (Num. hits)
1993 (38) 1995 (36) 1996 (39) 1997 (31) 1998 (31) 1999 (41) 2000 (37) 2001 (24) 2002 (33) 2003 (33) 2004 (28) 2005 (31) 2006 (33) 2007 (50) 2008 (37) 2009 (27) 2010 (38) 2011 (35) 2012 (34) 2013 (28) 2014 (24) 2015 (35) 2016 (25) 2017 (23) 2018 (21) 2019 (22)
Publication types (Num. hits)
inproceedings(808) proceedings(26)
Venues (Conferences, Journals, ...)
SAFECOMP(834)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 202 occurrences of 155 keywords

Results
Found 834 publication records. Showing 834 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand Towards Zero Alarms in Sound Static Analysis of Finite State Machines. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch (eds.) Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper SafeDeML: On Integrating the Safety Design into the System Model. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Reich, Marc Zeller, Daniel Schneider 0001 Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philip Koopman, Beth Osyk, Jack Weast Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid A SysML Profile for Fault Trees - Linking Safety Models to System Design. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan 0003 Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kai Ding, Andrey Morozov, Klaus Janschek Efficient Model-Level Reliability Analysis of Simulink Models. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat Forecast Horizon for Automated Safety Actions in Automated Driving Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Hauer, Alexander Pretschner, Bernd Holzmüller Fitness Functions for Testing Automated and Autonomous Driving Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lisa Jöckel, Michael Kläs Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-data Generation Using Application Scope Characteristics. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fábio Luiz Leite Jr., Daniel Schneider 0001, Rasmus Adler Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikita Johnson, Tim Kelly Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran Formal Verification of Memory Preservation of x86-64 Binaries. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann Digital Forensics in Industrial Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jelena Frtunikj Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa Graceful Degradation Design Process for Autonomous Driving System. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Inna Vistbakka Deriving and Formalising Safety and Security Requirements for Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Frigerio, Bart Vermeulen, Kees Goossens A Generic Method for a Bottom-Up ASIL Decomposition. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky Formal Verification of Signalling Programs with SafeCap. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zoha Moztarzadeh Fault-Tolerant Clock Synchronization with Only Two Redundant Paths. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lydia Gauerhof, Peter Munk, Simon Burton Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Schwierz, Håkan Forsberg Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng Safe and Secure Automotive Over-the-Air Updates. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hafizul Asad, Ilir Gashi Diversity in Open Source Intrusion Detection Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Venesa Watson, Mahlet Bejiga Dependability Analysis of the AFDX Frame Management Design. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Schorn, Andre Guntoro, Gerd Ascheid Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (eds.) Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens Random Additive Control Flow Error Detection. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung 0001, Rasmus Adler A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarah Haas, Andrea Höller, Thomas Ulz, Christian Steger Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider 0001, Denis Uecker, Kentaro Yoshimura Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philip Koopman Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Ding, Andrey Morozov, Klaus Janschek MORE: MOdel-based REdundancy for Simulink. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Garazi Juez, Estibaliz Amparan Calonge, Ray Lattarulo, Alejandra Ruiz 0001, Joshué Pérez, Huáscar Espinoza Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mustafa Saraoglu, Andrey Morozov, Mehmet Turan Söylemez, Klaus Janschek ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider 0001, Georg Macher, Bernhard Winkler, Martin Krammer, Christian Kreiner Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm Benchmarking Static Code Analyzers. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kevin Delmas, Rémi Delmas, Claire Pagetti SMT-Based Synthesis of Fault-Tolerant Architectures. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser 0001, Neeraj Suri A Security Architecture for Railway Signalling. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takashi Kitamura, Akihisa Yamada 0002, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho Classification Tree Method with Parameter Shielding. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.) Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu Arguing on Software-Level Verification Techniques Appropriateness. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jürgen Dürrwang, Kristian Beckers, Reiner Kriesten A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rui Wang 0042, Jérémie Guiochet, Gilles Motet Confidence Assessment Framework for Safety Arguments. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrik Feth, Daniel Schneider 0001, Rasmus Adler A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga Rare Event Simulation for Dynamic Fault Trees. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer Generic Management of Availability in Fail-Operational Automotive Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Becker 0001, Emanuel Regnath, Samarjit Chakraborty Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Stig Ursing, Fredrik Warg, Anders Werneman A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Model-Based Safety Analysis for Vehicle Guidance Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Ganesh Pai, Iain Whiteside Modeling the Safety Architecture of UAS Flight Operations. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller A Simplex Architecture for Hybrid Systems Using Barrier Certificates. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcelo Zanetti, Edgard Jamhour, Marcelo Eduardo Pellenz, Manoel Camillo Penna A New SVM-Based Fraud Detection Model for AMI. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quentin Cappart, Pierre Schaus A Dedicated Algorithm for Verification of Interlocking Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Victor Bos, Harold Bruintjes, Stefano Tonetta Catalogue of System and Software Properties. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maryam Raiyat Aliabadi, Karthik Pattabiraman FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Fielder, Tingting Li, Chris Hankin Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nuno Silva, Marco Vieira Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Clausing, Robert Fischer 0001, Jana Dittmann, Yongjian Ding Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala Towards Security-Explicit Formal Modelling of Safety-Critical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Richard Hawkins, Thomas Richardson 0003, Tim Kelly Using Process Models in System Assurance. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Jämthagen, Patrik Lantz, Martin Hell Exploiting Trust in Deterministic Builds. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál Effective Static and Dynamic Fault Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens A High-Assurance, High-Performance Hardware-Based Cross-Domain System. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001 Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng Using STPA in an ISO 26262 Compliant Process. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Ganesh J. Pai Composition of Safety Argument Patterns. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John C. Knight, Jonathan C. Rowanhill The Indispensable Role of Rationale in Safety Standards. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo Automatic Invariant Selection for Online Anomaly Detection. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens FISSC: A Fault Injection and Simulation Secure Collection. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg Towards Cloud-Based Enactment of Safety-Related Processes. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch (eds.) Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1William Excoffon, Jean-Charles Fabre, Michaël Lauer Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kevin Delmas, Rémi Delmas, Claire Pagetti Automatic Architecture Hardening Using Safety Patterns. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carolina D. Villela, Humberto H. Sano, Juliana M. Bezerra Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska 0001 Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cor J. Kalkman Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjao, Jeferson Rosário The Safety Requirements Decomposition Pattern. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche A Model for Safety Case Confidence Assessment. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner A Comprehensive Safety, Security, and Serviceability Assessment Method. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert 0001 Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Navid Rajabpour, Yasser Sedaghat A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 834 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license