Sean Callanan

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

Abhishek Rai, Radu Grosu, Erez Zadok, 2006, MBT.

Compiler-assisted software verification using plug-ins

Radu Grosu, Erez Zadok, Scott A. Smolka, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

S09: Application of digital slide scanning and tissue microarray technology in integration of toxicological pathology and biomarker development

Elton Rexhepaj, Sean Callanan, Maria Wendt, 2009 .

A Machine Learning System for Identifying Hypertrophy in Histopathology Images

Padraig Cunningham, Sean Callanan, Ross Foley, 2009, AICS.

Software monitoring with controllable overhead

Radu Grosu, Erez Zadok, Scott A. Smolka, 2010, International Journal on Software Tools for Technology Transfer.

Software monitoring with bounded overhead

Radu Grosu, Erez Zadok, Scott A. Smolka, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

Model Predictive Control for Memory Profiling

Radu Grosu, Erez Zadok, Scott A. Smolka, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

Remote Debugging with Controllable Overhead

Sean Callanan, S. Callanan, 2008 .

Efficient and safe execution of user-level code in the kernel

Abhishek Rai, Erez Zadok, Gopalan Sivathanu, 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

Internal benchmarking of a human blood-brain barrier cell model for screening of nanoparticle uptake and transcytosis.

Sean Callanan, Iseult Lynch, Kenneth A Dawson, 2011, European journal of pharmaceutics and biopharmaceutics : official journal of Arbeitsgemeinschaft fur Pharmazeutische Verfahrenstechnik e.V.