Some Consequences of Ad for Kleene Recursion in 3E. - Edward R. Griffor (Math. Log. Q., 1983)

The Definability of E(alpha). - Edward R. Griffor; Dag Normann (J. Symb. Log., 1984)

Mathematical theory of domains. - Viggo Stoltenberg-Hansen; Ingrid Lindström; Edward R. Griffor (Cambridge University Press, 1994)

The strength of some Martin-Löf type theories. - Edward R. Griffor; Michael Rathjen (Arch. Math. Log., 1994)

Inaccessibility in Constructive Set Theory and Type Theory. - Michael Rathjen; Edward R. Griffor; Erik Palmgren (Ann. Pure Appl. Log., 1998)

Preface. - Edward R. Griffor (Handbook of Computability Theory, 1999)

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. - 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 (DAC, 2017)

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. - 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 (ACM Trans. Embed. Comput. Syst., 2017)

An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. - 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 (DAC, 2018)

Reasoning about Smart City. - Martin Burns; Edward R. Griffor; Marcello Balduccini; Claire Vishik; Michael Huth 001; David A. Wollman (SMARTCOMP, 2018)

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. - Marcello Balduccini; Edward R. Griffor; Michael Huth 001; Claire Vishik; Martin Burns; David A. Wollman (CoRR, 2018)

Robust Safety for Autonomous Vehicles through Reconfigurable Networking. - Khalid Halba; Charif Mahmoudi; Edward R. Griffor (SCAV@CPSWeek, 2018)

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. - Marcello Balduccini; Edward R. Griffor; Michael Huth 001; Claire Vishik; David A. Wollman; Patrick Kamongi (MSCPES@CPSIoTWeek, 2019)

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. - Thanh Hai Nguyen 002; Tran Cao Son; Matthew Bundas; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (PRIMA, 2020)

A Framework for the Composition of IoT and CPS Capabilities. - Khalid Halba; Edward R. Griffor; Ahmed Lbath; Anton Dahbura (COMPSAC, 2021)

A Methodology for Modeling Interoperability of Smart Sensors in Smart Grids. - Eugene Y. Song; Gerald J. FitzPatrick; Kang B. Lee; Edward R. Griffor (IEEE Trans. Smart Grid, 2022)

Formalizing and Reasoning About Supply Chain Contracts Between Agents. - Dylan Flynn; Chasity Nadeau; Jeannine Shantz; Marcello Balduccini; Tran Cao Son; Edward R. Griffor (PADL, 2023)

IoT Capabilities Composition and Decomposition: A Systematic Review. - Khalid Halba; Edward R. Griffor; Ahmed Lbath; Anton Dahbura (IEEE Access, 2023)

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. - Thanh Hai Nguyen 002; Matthew Bundas; Tran Cao Son; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (Theory Pract. Log. Program., 2023)