| 2012 | ||
|---|---|---|
| j5 | Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos: Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Performance Evaluation Review 39(4): 79-88 (2012) | |
| c7 | Ernest Edifor, Martin Walker, Neil Gordon: Quantification of Priority-OR Gates in Temporal Fault Trees. SAFECOMP 2012: 99-110 | |
| 2011 | ||
| j4 | De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg: Integrated safety and architecture modeling for automotive embedded systems*. Elektrotechnik und Informationstechnik 128(6): 196-202 (2011) | |
| c6 | Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos: Compositional Synthesis of Temporal Fault Trees from State Machines. ARES 2011: 429-435 | |
| c5 | Vassilis-Javed Khan, Martin Walker, Dzmitry Aliakseyeu, Jon Mason: On the Use of Mixed Reality Environments to Evaluate Interaction with Light. AmI Workshops 2011: 45-48 | |
| 2010 | ||
| j3 | Ian Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske: Capture and reuse of composable failure patterns. IJCCBS 1(1/2/3): 128-147 (2010) | |
| j2 | Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos: Generalizable safety annotations for specification of failure patterns. Softw., Pract. Exper. 40(5): 453-483 (2010) | |
| c4 | 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: 7-10 | |
| 2008 | ||
| c3 | Ian Wolforth, Martin Walker, Yiannis Papadopoulos: A Language for Failure Patterns and Application in Safety Analysis. DepCoS-RELCOMEX 2008: 47-54 | |
| 2007 | ||
| c2 | Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos: Compositional Temporal Fault Tree Analysis. SAFECOMP 2007: 106-119 | |
| 1994 | ||
| j1 | R. Kent Koeninger, Mark Furtney, Martin Walker: A Shared Memory MPP from Cray Research. Digital Technical Journal 6(2) (1994) | |
| 1993 | ||
| c1 | Wilfried Oed, Martin Walker: An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D. SPAA 1993: 271-272 | |
Colors in the list of coauthors
Last update Wed May 22 22:29:59 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page