Jeffrey Templon

According to our database, Jeffrey Templon authored at least 10 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Message from the eScience 2018 Program Committee Chairs for the Focused Session on Exascale Computing for High-Energy Physics.

Jeff Templon, Yifat Dzigan

Proceedings of the 14th IEEE International Conference on e-Science, 2018

2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Using model checking to analyze the system behavior of the LHC production grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal

Future Gener. Comput. Syst., 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal

Proceedings of the NASA Formal Methods, 2013

2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2006

Crunching real data on the Grid: practice and experience with the European DataGrid.

David L. Groep, Jeffrey Templon, Charles Loomis

Concurr. Comput. Pract. Exp., 2006

Job Failure Analysis and Its Implications in a Large-Scale Production Grid.

Hui Li, David L. Groep, Lex Wolters, Jeffrey Templon

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2004

HEP Applications and Their Experience with the Use of DataGrid Middleware.

Stephen Burke, F. Harris, Ian Stokes-Rees, I. Augustin, F. Carminati, Joel Closier, Eric van Herwijnen, Andrea Sciabà, D. Boutigny, J. J. Blaising, Vincent Garonne, Andrei Tsaregorodtsev, P. Capiluppi, Alessandra Fanfani, Claudio Grandi, Roberto Barbera, Eleonora Luppi, Guido Negri, Laura Perini, Silvia Resconi, Mario Reale, Alessandro De Salvo, Stefano Bagnasco, Piergiorgio Cerello, K. Bos, David L. Groep, W. van Leeuwen, Jeffrey Templon, Oxana Smirnova, Owen Maroney, Frederic Brochu, D. Colling

J. Grid Comput., 2004

Predicting job start times on clusters.

Hui Li, David L. Groep, Jeffrey Templon, Lex Wolters

Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

2003

HEP Applications Evaluation of the EDG Testbed and Middleware

I. Augustin, F. Carminati, Joel Closier, Eric van Herwijnen, J. J. Blaising, D. Boutigny, C. Charlot, Vincent Garonne, Andrei Tsaregorodtsev, K. Bos, Jeffrey Templon, P. Capiluppi, Alessandra Fanfani, Roberto Barbera, Guido Negri, Laura Perini, Silvia Resconi, M. Sitta, Mario Reale, Domenico Vicinanza, Stefano Bagnasco, Piergiorgio Cerello, Andrea Sciabà, Oxana Smirnova, D. Colling, F. Harris, Stephen Burke

CoRR, 2003