Edward R. Griffor

21 papers A* 2B 3C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2023 C conf
Formalizing and Reasoning About Supply Chain Contracts Between Agents.
PADL
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
2023 J jnl
IoT Capabilities Composition and Decomposition: A Systematic Review.
IEEE Access
Khalid Halba, Edward R. Griffor, Ahmed Lbath, Anton Dahbura
2023 J jnl
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.
Theory Pract. Log. Program.
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2022 J jnl
A Methodology for Modeling Interoperability of Smart Sensors in Smart Grids.
IEEE Trans. Smart Grid
Eugene Y. Song, Gerald J. FitzPatrick, Kang B. Lee, Edward R. Griffor
2022 J jnl
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.
CoRR
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2021 B conf
A Framework for the Composition of IoT and CPS Capabilities.
COMPSAC
Khalid Halba, Edward R. Griffor, Ahmed Lbath, Anton Dahbura
2020 B conf
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.
PRIMA
Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2019 — conf
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.
MSCPES@CPSIoTWeek
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
2018 A* conf
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.
DAC
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
2018 J jnl
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.
CoRR
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
2018 B conf
Reasoning about Smart City.
SMARTCOMP
Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
2018 — conf
Robust Safety for Autonomous Vehicles through Reconfigurable Networking.
SCAV@CPSWeek
Khalid Halba, Charif Mahmoudi, Edward R. Griffor
2017 A* conf
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited.
DAC
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
2017 J jnl
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
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
1999 — book
Handbook of Computability Theory
Handbook of Computability Theory
Edward R. Griffor
1999 — ch.
Preface.
Handbook of Computability Theory
Edward R. Griffor
1998 J jnl
Inaccessibility in Constructive Set Theory and Type Theory.
Ann. Pure Appl. Log.
Michael Rathjen, Edward R. Griffor, Erik Palmgren
1994 — book
Mathematical theory of domains.
Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor
1994 J jnl
The strength of some Martin-Löf type theories.
Arch. Math. Log.
Edward R. Griffor, Michael Rathjen
1984 J jnl
The Definability of E(alpha).
J. Symb. Log.
Edward R. Griffor, Dag Normann
1983 J jnl
Some Consequences of Ad for Kleene Recursion in
Math. Log. Q.
Edward R. Griffor