|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 202 occurrences of 155 keywords
|
|
|
Results
Found 928 publication records. Showing 928 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid |
A SysML Profile for Fault Trees - Linking Safety Models to System Design. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan 0003 |
Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
Efficient Model-Level Reliability Analysis of Simulink Models. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat |
Forecast Horizon for Automated Safety Actions in Automated Driving Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florian Hauer 0002, Alexander Pretschner, Bernd Holzmüller |
Fitness Functions for Testing Automated and Autonomous Driving Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lisa 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. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk |
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philippe 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. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fábio Luiz Leite Jr., Daniel Schneider 0001, Rasmus Adler |
Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Johnson, Tim Kelly |
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
Formal Verification of Memory Preservation of x86-64 Binaries. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta |
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann |
Digital Forensics in Industrial Control Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Frtunikj |
Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa |
Graceful Degradation Design Process for Autonomous Driving System. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter |
BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elena Troubitsyna, Inna Vistbakka |
Deriving and Formalising Safety and Security Requirements for Control Systems. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Frigerio, Bart Vermeulen, Kees Goossens |
A Generic Method for a Bottom-Up ASIL Decomposition. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
Formal Verification of Signalling Programs with SafeCap. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zoha Moztarzadeh |
Fault-Tolerant Clock Synchronization with Only Two Redundant Paths. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lydia Gauerhof, Peter Munk, Simon Burton 0001 |
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schwierz, Håkan Forsberg |
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas 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. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hafizul Asad, Ilir Gashi |
Diversity in Open Source Intrusion Detection Systems. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Venesa Watson, Mahlet Bejiga |
Dependability Analysis of the AFDX Frame Management Design. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Schorn, Andre Guntoro, Gerd Ascheid |
Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Barbara 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 |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eckard 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. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens |
Random Additive Control Flow Error Detection. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph 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. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Haas, Andrea Höller, Thomas Ulz, Christian Steger |
Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kitamura 0001, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini |
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrik 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. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp |
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philip Koopman |
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael 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. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
MORE: MOdel-based REdundancy for Simulink. |
SAFECOMP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Garazi 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. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz |
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mustafa Saraoglu, Andrey Morozov 0001, Mehmet Turan Söylemez, Klaus Janschek |
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Amorim 0001, 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. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm |
Benchmarking Static Code Analyzers. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi 0001, Federico Vicentini |
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Delmas, Rémi Delmas, Claire Pagetti |
SMT-Based Synthesis of Fault-Tolerant Architectures. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser 0001, Neeraj Suri |
A Security Architecture for Railway Signalling. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kitamura 0001, Akihisa Yamada 0002, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
Classification Tree Method with Parameter Shielding. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.) |
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
Arguing on Software-Level Verification Techniques Appropriateness. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dürrwang, Kristian Beckers, Reiner Kriesten |
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rui Wang 0042, Jérémie Guiochet, Gilles Motet |
Confidence Assessment Framework for Safety Arguments. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Feth, Daniel Schneider 0001, Rasmus Adler |
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga |
Rare Event Simulation for Dynamic Fault Trees. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer |
Generic Management of Availability in Fail-Operational Automotive Systems. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Becker 0001, Emanuel Regnath, Samarjit Chakraborty |
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Johansson 0002, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson 0001, Anders Sandberg, Stig Ursing, Fredrik Warg, Anders Werneman |
A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 |
Model-Based Safety Analysis for Vehicle Guidance Systems. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh Pai, Iain Whiteside |
Modeling the Safety Architecture of UAS Flight Operations. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth |
Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Zanetti, Edgard Jamhour, Marcelo Eduardo Pellenz, Manoel Camillo Penna |
A New SVM-Based Fraud Detection Model for AMI. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cappart, Pierre Schaus |
A Dedicated Algorithm for Verification of Interlocking Systems. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bos, Harold Bruintjes, Stefano Tonetta |
Catalogue of System and Software Properties. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Raiyat Aliabadi, Karthik Pattabiraman |
FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Fielder, Tingting Li 0001, Chris Hankin |
Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen |
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Silva, Marco Vieira |
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Clausing, Robert Fischer 0001, Jana Dittmann, Yongjian Ding |
Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hawkins, Thomas Richardson 0003, Tim Kelly |
Using Process Models in System Assurance. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Jämthagen, Patrik Lantz, Martin Hell |
Exploiting Trust in Deterministic Builds. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál |
Effective Static and Dynamic Fault Tree Analysis. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
A High-Assurance, High-Performance Hardware-Based Cross-Domain System. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi 0001, Federico Vicentini |
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001 |
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
Using STPA in an ISO 26262 Compliant Process. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh J. Pai |
Composition of Safety Argument Patterns. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner |
A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight, Jonathan C. Rowanhill |
The Indispensable Role of Rationale in Safety Standards. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo 0001 |
Automatic Invariant Selection for Online Anomaly Detection. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens |
FISSC: A Fault Injection and Simulation Secure Collection. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
Towards Cloud-Based Enactment of Safety-Related Processes. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amund 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 |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | William Excoffon, Jean-Charles Fabre, Michaël Lauer |
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. |
SAFECOMP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Delmas, Rémi Delmas, Claire Pagetti |
Automatic Architecture Hardening Using Safety Patterns. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carolina D. Villela, Humberto Hayashi Sano, Juliana de Melo Bezerra |
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska 0001 |
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cor J. Kalkman |
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjao, Jeferson Rosário |
The Safety Requirements Decomposition Pattern. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche |
A Model for Safety Case Confidence Assessment. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner |
A Comprehensive Safety, Security, and Serviceability Assessment Method. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert 0001 |
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Navid Rajabpour, Yasser Sedaghat |
A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra |
Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jian Xiang, John C. Knight, Kevin J. Sullivan |
Real-World Types and Their Application. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Popov |
Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maria Vasilevskaya, Simin Nadjm-Tehrani |
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Md. Islam, Johan Karlsson |
Back-to-Back Fault Injection Testing in Model-Based Development. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 928 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|