|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 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 | 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 | 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 | Ian Wolforth, Martin Walker, Yiannis Papadopoulos |
A Language for Failure Patterns and Application in Safety Analysis. |
DepCoS-RELCOMEX |
2008 |
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 | Wilfried Oed, Martin Walker |
An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D. |
SPAA |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")