|
|
|
|
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 | Thomas Arts, Stefano Tonetta |
Safely Using the AUTOSAR End-to-End Protection Library.  |
SAFECOMP  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman |
Model-Based Analysis for Safety Critical Software. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel |
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Ganesh J. Pai |
Towards a Formal Basis for Modular Safety Cases. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Floor Koornneef, Coen van Gulijk (eds.) |
Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew L. King, Lu Feng 0001, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee 0001 |
Towards Assurance for Plug & Play Medical Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Homa Alemzadeh, Daniel Chen 0001, Andrew Lewis, Zbigniew T. Kalbarczyk, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer |
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann |
Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anita Finnegan, Fergal McCaffery |
Towards an International Security Case Framework for Networked Medical Devices. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dagmar Rosenbrand, Rob de Weerd, Lex Bothe, Jan Jaap Baalbergen |
Risk Classification of Data Transfer in Medical Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner |
Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee 0001 |
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris W. Johnson 0001 |
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandra Ruiz 0001, Paulo Barbosa, Yang Medeiros, Huáscar Espinoza |
Safety Case Driven Development for Medical Devices. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric A. M. Luiijf |
Cyber (In-)security of Industrial Control Systems: A Societal Challenge. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Abdulkhaleq, Stefan Wagner 0001 |
Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli |
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bishop 0001 |
Modeling the Impact of Testing on Diverse Programs. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Fedler, Sebastian Banescu, Alexander Pretschner |
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. |
SAFECOMP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter G. Bishop, Lorenzo Strigini |
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick John Graydon |
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schmittner, Thomas Gruber 0004, Peter P. Puschner, Erwin Schoitsch |
Security Application of Failure Mode and Effect Analysis (FMEA). |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber |
Debugging with Timed Automata Mutations. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Dwight Naylor, Ganesh J. Pai |
Querying Safety Cases. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xueyi Zou, Rob Alexander, John A. McDermid |
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Michele Dorigatti, Stefano Tonetta |
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Kleberger, Tomas Olovsson |
Securing Vehicle Diagnostics in Repair Shops. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel |
Systematic Derivation of Functional Safety Requirements for Automotive Systems. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Schirmeier, Christoph Borchert, Olaf Spinczyk |
Rapid Fault-Space Exploration by Evolutionary Pruning. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Felicita Di Giandomenico (eds.) |
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez 0001, Asier Larrucea, Peter P. Puschner |
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck |
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
Generation of Safety Case Argument-Fragments from Safety Contracts. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kästner, Christian Ferdinand |
Proving the Absence of Stack Overflows. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Woskowski |
A Pragmatic Approach towards Safe and Secure Medical Device Integration. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti 0001, Tim Kelly, John Rowlands |
Assurance Cases for Block-Configurable Software. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini |
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Xu, QingPing Tan, Zeming Shao, Hong Ning |
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser |
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Piètre-Cambacédès |
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Buccafurri, Luigi Coppolino, Salvatore D'Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera, Luigi Romano |
Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks. |
SAFECOMP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Novak 0001, Christoph Stoegerer |
Embedded System Platform for Safety-Critical Road Traffic Signal Applications. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin |
Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermeson C. Andrade, Marcelo Alves, Rúbens de Souza Matos Júnior, Bruno Silva 0001, Paulo Romero Martins Maciel |
OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Ganesh Pai |
A Formal Basis for Safety Case Patterns. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
Formalisation of an Industrial Approach to Monitoring Critical Data. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Vulnerability Analysis on Smart Cards Using Fault Tree. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
The SafeCap Platform for Modelling Railway Safety and Capacity. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck |
Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ute Schiffel |
Safety Transformations: Sound and Complete? |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga |
DFTCalc: A Tool for Efficient Fault Tree Analysis. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.) |
Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini |
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Ern, Viet Yen Nguyen, Thomas Noll 0001 |
Characterization of Failure Effects on AADL Models. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Kleberger, Tomas Olovsson |
Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Westman, Mattias Nyberg, Martin Törngren |
Structuring Safety Requirements in ISO 26262 Using Contract Theory. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | James Arnold, Rob Alexander |
Testing Autonomous Robot Control Software Using Procedural Content Generation. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John Rushby |
Logic and Epistemology in Safety Cases. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis J. Saiz-Adalid, Pedro J. Gil-Vicente, Juan-Carlos Ruiz-Garcia, Daniel Gil-Tomas, Juan Carlos Baraza, Joaquin Gracia-Moran |
Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, Anaheed Ayoub, Paul Curzon, Insup Lee 0001, Oleg Sokolsky, Harold W. Thimbleby |
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller |
A Controlled Experiment on Component Fault Trees. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gruber 0004, Georg Neubauer, Andreas Weinfurter, Petr Böhm, Kurt Lamedschwandner |
Derived Hazard Analysis Method for Critical Infrastructures. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic 0002, Michel Cukier |
Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Strigini, Andrey Povyakalo |
Software Fault-Freeness and Reliability Predictions. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bishop 0001 |
Does Software Have to Be Ultra Reliable in Safety Critical Systems? |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Haddadin, Sven Parusel, Rico Belder, Alin Albu-Schäffer |
It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz Górski, Aleksander Jarzebowicz, Jakub Miler |
Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette |
Low-Level Attacks on Avionics Embedded Systems. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson, Johan Karlsson |
A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Wieczorek, Christoph Krauß, Frank Schiller, Claudia Eckert 0001 |
Towards Secure Fieldbus Communication. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Asplund, Jad El-khoury, Martin Törngren |
Qualifying Software Tools, a Systems Approach. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Stürmer, Elke Salecker, Hartmut Pohlheim |
Reviewing Software Models in Compliance with ISO 26262. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson |
On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich |
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rikard Land, Mikael Åkerholm, Jan Carlson |
Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart |
Which Automata for Which Safety Assessment Step of Satellite FDIR? |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Song, Deming Zhong, Hang Zhong |
A STAMP Analysis on the China-Yongwen Railway Accident. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario |
An Ontological Approach to Systematization of SW-FMEA. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Zakonov, Anatoly Shalyto 0001 |
Extracting EFSMs of Web Applications for Formal Requirements Specification. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto |
Online Black-Box Failure Prediction for Mission Critical Distributed Systems. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anaheed Ayoub, BaekGyu Kim, Insup Lee 0001, Oleg Sokolsky |
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wildmoser, Jan Philipps, Oscar Slotosch |
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Günther, Stefan Milius, Oliver Möller |
On the Formal Verification of Systems of Synchronous Software Components. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Läsche, Eckard Böde, Thomas Peikenkamp |
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , . |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp, Peter Liggesmeyer |
Safety-Focused Deployment Optimization in Open Integrated Architectures. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz, Jana Dittmann |
IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Gil Casals, Philippe Owezarski, Gilles Descargues |
Risk Assessment for Airworthiness Security. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin |
Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, . |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Olof Hannius, Johan Karlsson |
Impact of Soft Errors in a Jet Engine Controller. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Edifor, Martin Walker, Neil A. Gordon |
Quantification of Priority-OR Gates in Temporal Fault Trees. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Novak 0001, Christoph Stoegerer |
Software Architecture of a Safety-Related Actuator in Traffic Management Systems. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Woskowski |
Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Alexandersen Hauge, Ketil Stølen |
A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Peter Daniel (eds.) |
Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schäbe |
Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |
Formal Development and Assessment of a Reconfigurable On-board Satellite System. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosana T. Vaccare Braga, Onofre Trindade Júnior, Kalinka Regina Lucas Jaquie Castelo Branco, Luciano de Oliveira Neris, Jaejoon Lee |
Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems. |
SAFECOMP |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 928 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license