Jeff Templon

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Concurrent Systems

Formal Specification

Process Algebra

Top Venues

Future Gener. Comput. Syst.

Publications

Jeff Templon, Yifat Dzigan
Message from the eScience 2018 Program Committee Chairs for the Focused Session on Exascale Computing for High-Energy Physics. eScience (2018)
Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE (2014)
Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods (2013)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal
Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. 29 (8) (2013)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID (2012)