Edward R. Griffor

According to our database, Edward R. Griffor authored at least 16 papers between 1983 and 2023.

Collaborative distances:

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

2023

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Theory Pract. Log. Program., September, 2023

Formalizing and Reasoning About Supply Chain Contracts Between Agents.

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

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

2020

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.

Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

2019

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.

Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi

Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.

Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman

CoRR, 2018

Reasoning about Smart City.

Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman

Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

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

Proceedings of the 55th Annual Design Automation Conference, 2018

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

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

Proceedings of the 54th Annual Design Automation Conference, 2017

1999

Preface.

Edward R. Griffor

Proceedings of the Handbook of Computability Theory, 1999

1998

Inaccessibility in Constructive Set Theory and Type Theory.

Michael Rathjen, Edward R. Griffor, Erik Palmgren

Ann. Pure Appl. Log., 1998

1994

The strength of some Martin-Löf type theories.

Edward R. Griffor, Michael Rathjen

Arch. Math. Log., 1994

Mathematical theory of domains.

Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor

Cambridge tracts in theoretical computer science 22, Cambridge University Press, ISBN: 978-0-521-38344-8, 1994

1984

The Definability of E(alpha).

Edward R. Griffor, Dag Normann

J. Symb. Log., 1984

1983

Some Consequences of Ad for Kleene Recursion in ³E.

Edward R. Griffor

Math. Log. Q., 1983