Neil Walkinshaw

Identifiers

No identifiers captured yet.

Papers (6)

1. Causal Software Engineering: A Vision and Roadmap cs.SE · 2026 · author #5
2. Active Inference of Extended Finite State Machine Models with Registers and Guards cs.FL · 2026 · author #5
3. Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data cs.NI · 2016 · author #2
4. Uncertainty-Driven Black-Box Test Data Generation cs.SE · 2016 · author #1
5. SEPIA: Search for Proofs Using Inferred Automata cs.LO · 2015 · author #2
6. Mining State-Based Models from Proof Corpora cs.LO · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Rajeev Raman 2 shared papers
• Thomas Gransden 2 shared papers
• Adenilso Simao (ICMC-USP) 1 shared papers
• Catherine Oriat (LIG) 1 shared papers
• German Eduardo Vega Baez (LIG) 1 shared papers
• Gordon Fraser 1 shared papers
• Julien Siebert 1 shared papers
• Luca Giamattei 1 shared papers
• Michael Foster 1 shared papers
• Othman Esoul 1 shared papers
• Roberto Pietrantuono 1 shared papers
• Roland Groz (LIG) 1 shared papers
• Stefano Russo 1 shared papers