Jeffrey Templon

According to our database1, Jeffrey Templon
  • authored at least 9 papers between 2003 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
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

2013
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

2012
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
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.
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

2004
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

2003
HEP Applications Evaluation of the EDG Testbed and Middleware
CoRR, 2003


  Loading...