Martin Walker - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2024

Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local ExplanationsKoorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos. IEEE Software, 41(1):87-97, January - February 2024. [doi]

2022

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable IdentitiesKoorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider 0001, Yiannis Papadopoulos. imbsa 2022: 252-266 [doi]

CAS Common Chemistry in 2021: Expanding Access to Trusted Chemical Information for the Scientific CommunityAndrea Jacobs, Dustin Williams, Katherine Hickey, Nathan Patrick, Antony J. Williams, Stuart J. Chalk, Leah McEwen, Egon L. Willighagen, Martin Walker, Evan Bolton, Gabriel Sinclair, Adam Sanford. jcisd, 62(11):2737-2743, 2022. [doi]

Wikipedia on the CompTox Chemicals Dashboard: Connecting Resources to Enrich Public Chemical DataGabriel Sinclair, Inthirany Thillainadarajah, Brian Meyer, Vicente Samano, Sakuntala Sivasupramaniam, Linda Adams, Egon L. Willighagen, Ann M. Richard, Martin Walker, Antony J. Williams. jcisd, 62(20):4888-4905, 2022. [doi]

2020

SU(2) × SU(2) Algebras and the Lorentz Group O(3, 3)Martin Walker. symmetry, 12(5):817, 2020. [doi]

2017

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation StudiesSohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker 0002, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde. imbsa 2017: 163-178 [doi]

2016

2015

Improving statistical inference on pathogen densities estimated by quantitative molecular methods: malaria gametocytaemia as a case studyMartin Walker, María-Gloria Basáñez, André Ouédraogo, Cornelus Hermsen, Teun Bousema, Thomas S. Churcher. bmcbi, 16:5, 2015. [doi]

2014

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity LevelsLuís Silva Azevedo, David Parker 0002, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo. imbsa 2014: 70-81 [doi]

Assisted Assignment of Automotive Safety RequirementsLuís da Silva Azevedo, David Parker 0002, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo. IEEE Software, 31(1):62-68, 2014. [doi]

Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal DistributionsErnest Edifor, Neil A. Gordon, Martin Walker, Yiannis Papadopoulos. depcos 2014: 177-187 [doi]

Detecting Document Structure in a Very Large Corpus of UK Financial ReportsMahmoud El-Haj, Paul Rayson, Steve Young, Martin Walker. lrec 2014: 1335-1338 [doi]

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian NetworksSohag Kabir, Martin Walker, Yiannis Papadopoulos. imbsa 2014: 96-109 [doi]

Quantification of Temporal Fault Trees Based on Fuzzy Set TheorySohag Kabir, Ernest Edifor, Martin Walker, Neil A. Gordon. depcos 2014: 255-264 [doi]

2013

Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic AlgorithmDavid Parker 0002, Martin Walker, Luís Silva Azevedo, Yiannis Papadopoulos, Rui Esteves Araujo. ieaaie 2013: 449-459 [doi]

Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu SearchLuís Silva Azevedo, David Parker 0002, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo. safecomp 2013: [doi]

Automatic Optimisation of System Architectures using EAST-ADLDe-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker. safecomp 2013: [doi]

Quantification of Simultaneous-AND Gates in Temporal Fault TreesErnest Edifor, Martin Walker, Neil A. Gordon. depcos 2013: 141-151 [doi]

Fuzzy Cognitive Map Based Situation Assessment Framework for Navigation Goal DetectionNuwan Ganganath, Martin Walker, Henry Leung. SMC 2013: 1444-1449 [doi]

Automatic optimisation of system architectures using EAST-ADLMartin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker 0002, De-Jiu Chen, David Servat. jss, 86(10):2467-2487, 2013. [doi]

2012

Quantification of Priority-OR Gates in Temporal Fault TreesErnest Edifor, Martin Walker, Neil A. Gordon. safecomp 2012: 99-110 [doi]

Compositional synthesis of temporal fault trees from state machinesNidhal Mahmud, Martin Walker, Yiannis Papadopoulos. sigmetrics, 39(4):79-88, 2012. [doi]

2011

On the Use of Mixed Reality Environments to Evaluate Interaction with LightVassilis-Javed Khan, Martin Walker, Dzmitry Aliakseyeu, Jon Mason. ami 2012: 45-48 [doi]

Compositional Synthesis of Temporal Fault Trees from State MachinesNidhal Mahmud, Martin Walker, Yiannis Papadopoulos. IEEEares 2011: 429-435 [doi]

2010

A translation of State Machines to temporal fault treesNidhal Mahmud, Yiannis Papadopoulos, Martin Walker. dsn 2010: 45-51 [doi]

Automatic allocation of safety integrity levelsYiannis 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. edcc 2010: 7-10 [doi]

A hierarchical method for the reduction of temporal expressions in PandoraMartin Walker, Yiannis Papadopoulos. edcc 2010: 7-12 [doi]

Generalizable safety annotations for specification of failure patternsIan Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos. SPE, 40(5):453-483, 2010. [doi]

Capture and reuse of composable failure patternsIan Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske. ijccbs, 1(1/2/3):128-147, 2010. [doi]

2008

A Language for Failure Patterns and Application in Safety AnalysisIan Wolforth, Martin Walker, Yiannis Papadopoulos. depcos 2008: 47-54 [doi]

2007

Compositional Temporal Fault Tree AnalysisMartin Walker, Leonardo Bottaci, Yiannis Papadopoulos. safecomp 2007: 106-119 [doi]

1994

A Shared Memory MPP from Cray ResearchR. Kent Koeninger, Mark Furtney, Martin Walker. dtj, 6(2), 1994. [doi]

1993

An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3DWilfried Oed, Martin Walker. spaa 1993: 271-272 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Martin Walker'

Viewing Publication 1 - 36 from 36

2024

2022

2020

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

1994

1993

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Martin Walker'

Viewing Publication 1 - 36 from 36

2024

2022

2020

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

1994

1993

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1