Ian Mitchell

11 papers Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2015 — conf
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels.
SNR@CAV
Ian Mitchell
2014 — conf
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery.
ARCH@CPSWeek
Victor Gan, Guy Albert Dumont, Ian Mitchell
2012 J jnl
Best Practices for Scientific Computing
CoRR
Dhavide A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark D. Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson
2012 J jnl
Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture.
Comput. Sci. Eng.
Victoria Stodden, Randall J. LeVeque, Ian Mitchell
2006 — conf
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation.
CDC
Meeko Oishi, Ian Mitchell, Claire J. Tomlin, Patrick Saint-Pierre
2003 J jnl
Computational techniques for the verification of hybrid systems.
Proc. IEEE
Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
2002 — conf
Hybrid verification of an interface for an automatic landing.
CDC
Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani
2001 J jnl
Safety verification of conflict resolution manoeuvres.
IEEE Trans. Intell. Transp. Syst.
Claire J. Tomlin, Ian Mitchell, Ronojoy Ghosh
2000 — conf
Level Set Methods for Computation in Hybrid Systems.
HSCC
Ian Mitchell, Claire J. Tomlin
1999 — conf
Reachability Analysis Using Polygonal Projections.
HSCC
Mark R. Greenstreet, Ian Mitchell
1998 — conf
Integrating Projections.
HSCC
Mark R. Greenstreet, Ian Mitchell
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski