Edward R. Griffor

21 papers A* 2B 3C 1Journal 10Unranked 2

Year	Rank	Type	Title / 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