|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos |
Compositional synthesis of temporal fault trees from state machines.  |
SIGMETRICS Performance Evaluation Review  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker 0002, Tetsuya Tohdo |
An approach to optimization of fault tolerant architectures using HiP-HOPS. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | De-Jiu Chen, Rolf Johansson, Henrik Lönn, H. Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg |
Integrated safety and architecture modeling for automotive embedded systems*. |
Elektrotechnik und Informationstechnik |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Septavera Sharvia, Yiannis Papadopoulos |
IACoB-SA: An approach towards integrated safety assessment. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos |
Compositional Synthesis of Temporal Fault Trees from State Machines. |
ARES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos |
Generalizable safety annotations for specification of failure patterns. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske |
Capture and reuse of composable failure patterns. |
IJCCBS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg |
Automatic allocation of safety integrity levels. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508 |
| 1 | Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber |
The CVM Framework - A Prototype Tool for Compositional Variability Management. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ian Wolforth, Martin Walker, Yiannis Papadopoulos |
A Language for Failure Patterns and Application in Safety Analysis. |
DepCoS-RELCOMEX |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren |
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis |
| 1 | Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, et al. |
The EAST-ADL Architecture Description Language for Automotive Embedded Software. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos |
Compositional Temporal Fault Tree Analysis. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis |
| 1 | David Parker 0002, Yiannis Papadopoulos |
Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002 |
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, Christian Grante |
Evolving car designs using model-based automated safety analysis and optimisation techniques. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos |
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, David Parker 0002, Christian Grante |
Automating the Failure Modes and Effects Analysis of Safety Critical Systems. (PDF / PS) |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, David Parker 0002, Christian Grante |
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, Christian Grante |
Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos |
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, Matthias Maruhn |
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, John A. McDermid |
Hierarchically Performed Hazard Origin and Propagation Studies. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")