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)
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)
Publication types (Num. hits)
inproceedings(647) proceedings(21)
Venues (Conferences, Journals, ...)
SAFECOMP(668)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 202 occurrences of 155 keywords

Results
Found 668 publication records. Showing 668 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
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
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
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
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
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
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
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
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
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
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
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
1Zoha Moztarzadeh Fault-Tolerant Clock Synchronization with Only Two Redundant Paths. Search on Bibsonomy SAFECOMP The full citation details ... 2018 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
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
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
1Hafizul Asad, Ilir Gashi Diversity in Open Source Intrusion Detection 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
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
1Philip Koopman Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. 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
1Rui Wang, 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
1Ewen Denney, Ganesh J. Pai Composition of Safety Argument Patterns. 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
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
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
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
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
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
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
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, Tim Kelly Using Process Models in System Assurance. 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
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
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
1Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anita Finnegan, Fergal McCaffery Towards an International Security Case Framework for Networked Medical Devices. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Ganesh J. Pai Towards a Formal Basis for Modular Safety Cases. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Bishop 0001 Modeling the Impact of Testing on Diverse Programs. Search on Bibsonomy SAFECOMP The full citation details ... 2015 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
1Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition. 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
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
1Alejandra Ruiz 0001, Paulo Barbosa, Yang Medeiros, Huáscar Espinoza Safety Case Driven Development for Medical Devices. 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
1Chris W. Johnson 0001 Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maria Vasilevskaya, Simin Nadjm-Tehrani Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jian Xiang, John C. Knight, Kevin J. Sullivan Real-World Types and Their Application. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rafael Fedler, Sebastian Banescu, Alexander Pretschner ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. 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
1Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman Model-Based Analysis for Safety Critical Software. 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
1Eric A. M. Luiijf Cyber (In-)security of Industrial Control Systems: A Societal Challenge. 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
1Homa Alemzadeh, Daniel Chen, Andrew Lewis, Zbigniew T. Kalbarczyk, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Md. Islam, Johan Karlsson Back-to-Back Fault Injection Testing in Model-Based Development. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dagmar Rosenbrand, Rob de Weerd, Lex Bothe, Jan Jaap Baalbergen Risk Classification of Data Transfer in Medical Systems. 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
1Asim Abdulkhaleq, Stefan Wagner 0001 Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. 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
1Andrew L. King, Lu Feng 0001, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee Towards Assurance for Plug & Play Medical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 668 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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