Julie Wilson

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 5

Top Topics

Automated Verification

Autonomous Systems

Top Venues

ACM Trans. Auton. Adapt. Syst.

Publications

Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR (2022)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS (2022)
Bradford Kerst, Lynda Crouch, Jamey Fox, Julie Wilson, Joshua Schultz
Effects of a Head Support on Children with Hypotonia in the Cervical Spine. EMBC (2020)
Andrew E. Bruno, Patrick Charbonneau, Janet Newman, Edward H. Snell, David R. So, Vincent Vanhoucke, Shawn Williams, Julie Wilson
Classification of crystallization outcomes using deep convolutional neural networks. CoRR (2018)
Jobie Kirkwood, David Hargreaves, Simon O'Keefe, Julie Wilson
Using isoelectric point to determine the pH for initial protein crystallization trials. Bioinform. 31 (9) (2015)
Gero Szepannek, Julia Schiffner, Julie Wilson, Claus Weihs
Local Modelling in Classification. ICDM (2008)
Julie Wilson
Automated Classification of Images from Crystallisation Experiments. ICDM (2006)
Ian Berry, Julie Wilson, Jon Diprose, Dave Stuart, Stephen Fuller, Robert Esnouf
Image storage for automated crystallization imaging systems. Int. J. Neural Syst. 15 (6) (2005)
Ian Berry, Julie Wilson, Chris Mayo, Jon Diprose, Robert Esnouf
The Effect of Image Compression on Classification and Storage Requirements in a High-Throughput Crystallization System. IDEAL (2004)