Edward R. Griffor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PADL | Formalizing and Reasoning About Supply Chain Contracts Between Agents. | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
| 2021 | COMPSAC | A Framework for the Composition of IoT and CPS Capabilities. | Khalid Halba, Edward R. Griffor, Ahmed Lbath, Anton Dahbura |
| 2020 | PRIMA | 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 |
| 2018 | DAC | 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 |
| 2018 | SmartComp | Reasoning about Smart City. | Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman |
| 2017 | DAC | 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 |