Martin Walker

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 13

Top Topics

Fuzzy Set Theory

Reliability Analysis

Dynamic Systems

Top Venues

DepCoS-RELCOMEX

Publications

Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. IEEE Softw. 41 (1) (2024)
Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations. CoRR (2023)
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA (2022)
Andrea 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
CAS Common Chemistry in 2021: Expanding Access to Trusted Chemical Information for the Scientific Community. J. Chem. Inf. Model. 62 (11) (2022)
Gabriel Sinclair, Inthirany Thillainadarajah, Brian Meyer, Vicente Samano, Sakuntala Sivasupramaniam, Linda Adams, Egon L. Willighagen, Ann M. Richard, Martin Walker, Antony J. Williams
Wikipedia on the CompTox Chemicals Dashboard: Connecting Resources to Enrich Public Chemical Data. J. Chem. Inf. Model. 62 (20) (2022)
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR (2022)
Martin Walker
SU(2) × SU(2) Algebras and the Lorentz Group O(3, 3). Symmetry 12 (5) (2020)
Mahmoud El-Haj, Paul Rayson, Martin Walker, Steven Young, Vasiliki Simaki
In Search of Meaning: Lessons, Resources and Next Steps for Computational Analysis of Financial Discourse. CoRR (2019)
Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. IMBSA (2017)
Dongfei Xue, Yongqiang Cheng, Ping Jiang, Martin Walker
An Hybrid Online Training Face Recognition System Using Pervasive Intelligence Assisted Semantic Information. TAROS (2016)
Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos
A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. 41 (2016)
Sohag Kabir, Martin Walker, Yiannis Papadopoulos, Erich Rüde, Peter Securius
Fuzzy temporal fault tree analysis of dynamic systems. Int. J. Approx. Reason. 77 (2016)
Mahmoud El-Haj, Paul Rayson, Steven Young, Andrew Moore, Martin Walker, Thomas Schleicher, Vasiliki Athanasakou
Learning Tone and Attribution for Financial Text Mining. LREC (2016)
Martin Walker, María-Gloria Basáñez, André Ouédraogo, Cornelus Hermsen, Teun Bousema, Thomas S. Churcher
Improving statistical inference on pathogen densities estimated by quantitative molecular methods: malaria gametocytaemia as a case study. BMC Bioinform. 16 (2015)
Luís da Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo
Assisted Assignment of Automotive Safety Requirements. IEEE Softw. 31 (1) (2014)
Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. IMBSA (2014)
Ernest Edifor, Neil A. Gordon, Martin Walker, Yiannis Papadopoulos
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions. DepCoS-RELCOMEX (2014)
Mahmoud El-Haj, Paul Rayson, Steven Young, Martin Walker
Detecting Document Structure in a Very Large Corpus of UK Financial Reports. LREC (2014)
Sohag Kabir, Ernest Edifor, Martin Walker, Neil A. Gordon
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory. DepCoS-RELCOMEX (2014)
Sohag Kabir, Martin Walker, Yiannis Papadopoulos
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. IMBSA (2014)
Ernest Edifor, Martin Walker, Neil A. Gordon
Quantification of Simultaneous-AND Gates in Temporal Fault Trees. DepCoS-RELCOMEX (2013)
Nuwan Ganganath, Martin Walker, Henry Leung
Fuzzy Cognitive Map Based Situation Assessment Framework for Navigation Goal Detection. SMC (2013)
David Parker, Martin Walker, Luís Silva Azevedo, Yiannis Papadopoulos, Rui Esteves Araujo
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. IEA/AIE (2013)
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP (2013)
Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86 (10) (2013)
Luís Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. CARS@SAFECOMP (2013)
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Perform. Evaluation Rev. 39 (4) (2012)
Ernest Edifor, Martin Walker, Neil A. Gordon
Quantification of Priority-OR Gates in Temporal Fault Trees. SAFECOMP (2012)
De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg
. Elektrotech. Informationstechnik 128 (6) (2011)
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
Compositional Synthesis of Temporal Fault Trees from State Machines. ARES (2011)
Vassilis-Javed Khan, Martin Walker, Dzmitry Aliakseyeu, Jon Mason
On the Use of Mixed Reality Environments to Evaluate Interaction with Light. AmI Workshops (2011)
Martin Walker, Yiannis Papadopoulos
A hierarchical method for the reduction of temporal expressions in Pandora. DYADEM-FTS@EDCC (2010)
Ian Philip Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos
Generalizable safety annotations for specification of failure patterns. Softw. Pract. Exp. 40 (5) (2010)
Ian Philip Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske
Capture and reuse of composable failure patterns. Int. J. Crit. Comput. Based Syst. 1 (1/2/3) (2010)
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)
Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker
A translation of State Machines to temporal fault trees. DSN Workshops (2010)
Ian Philip Wolforth, Martin Walker, Yiannis Papadopoulos
A Language for Failure Patterns and Application in Safety Analysis. DepCoS-RELCOMEX (2008)
Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos
Compositional Temporal Fault Tree Analysis. SAFECOMP (2007)
R. Kent Koeninger, Mark Furtney, Martin Walker
A Shared Memory MPP from Cray Research. Digit. Tech. J. 6 (2) (1994)
Wilfried Oed, Martin Walker
An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D. SPAA (1993)