Edward R. Griffor

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 11

Top Topics

Decision Support

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. 23 (5) (2023)
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL (2023)
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR (2022)
Eugene Y. Song, Gerald J. FitzPatrick, Kang B. Lee, Edward R. Griffor
A Methodology for Modeling Interoperability of Smart Sensors in Smart Grids. IEEE Trans. Smart Grid 13 (1) (2022)
Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA (2020)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. MSCPES@CPSIoTWeek (2019)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. CoRR (2018)
Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
Reasoning about Smart City. SMARTCOMP (2018)
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC (2018)
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, Kevin B. Stanton
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin B. Stanton, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, John C. Eidson
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC (2017)
Michael Rathjen, Edward R. Griffor, Erik Palmgren
Inaccessibility in Constructive Set Theory and Type Theory. Ann. Pure Appl. Log. 94 (1-3) (1998)
Edward R. Griffor, Michael Rathjen
The strength of some Martin-Löf type theories. Arch. Math. Log. 33 (5) (1994)
Edward R. Griffor, Dag Normann
The Definability of E(alpha). J. Symb. Log. 49 (2) (1984)
Edward R. Griffor
E. Math. Log. Q. 29 (10) (1983)