According to our database1, Jeffrey Templon authored at least 9 papers between 2003 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
Using model checking to analyze the system behavior of the LHC production grid.
Future Generation Comp. Syst., 2013
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
Proceedings of the NASA Formal Methods, 2013
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
Crunching real data on the Grid: practice and experience with the European DataGrid.
Concurrency and Computation: Practice and Experience, 2006
Job Failure Analysis and Its Implications in a Large-Scale Production Grid.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006
HEP Applications and Their Experience with the Use of DataGrid Middleware.
J. Grid Comput., 2004
Predicting job start times on clusters.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004
HEP Applications Evaluation of the EDG Testbed and Middleware