Edward Griffor - McMaster Experts

Affiliations

Faculty of Engineering, McMaster University
Adjunct Professor, Computing and Software, Faculty of Engineering

Scholarly Activity in McMaster Experts

Co-author Network

Scholarly Activity
Contact
View All

selected scholarly activity

books
- Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems 2016
- Mathematical Theory of Information Systems
chapters
- Facilitating stakeholder communication around AI-enabled systems and business processes. 268-283. 2023
- 1 Editor’s Preface. 3-13. 2017
- 12 The Algebra of Systems and System Interactions with an Application to Smart Grid. 253-266. 2017
- 4 Evolving Security. 67-82. 2017
- 7 Reasoning About Safety and Security The Logic of Assurance. 113-129. 2017
- Editor’s Preface. 3-13. 2017
- Evolving Security. 67-82. 2017
- Reasoning Bbout Safety and Security: The Logic of Assurance. 113-129. 2017
- The Algebra of Systems and System Interactions with an Application to Smart Grid. 253-266. 2017
- "Preface". Studies in Logic and the Foundations of Mathematics. xiii-xxiv. 2012
- Preface. Studies in Logic and the Foundations of Mathematics. v-vii. 1999
conferences
- Formalizing and Reasoning About Supply Chain Contracts Between Agents. Lecture Notes in Computer Science. 144-160. 2023
- Well-being as a Composite Capability in the Smart Building Domain: A Formal and Technical Study. 2022 IEEE European Technology and Engineering Management Summit (E-TEMS). 115-125. 2022
- A Framework for the Composition of IoT and CPS Capabilities. Proceedings - International Computer Software and Applications Conference. 1265-1272. 2021
- Designing Metrology for Automated Driving Systems Safety using NIST CPS Framework. 2021 Virtual Simulation Innovation Workshop, SIW 2021. 2021
- Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. Lecture Notes in Computer Science. 51-67. 2021
- Using Statistical Methods and Co-Simulation to Evaluate ADS-Equipped Vehicle Trustworthiness. 2019 Electric Vehicles International Conference (EV). 1-5. 2019
- Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. 2019 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). 1-6. 2019
- An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. Proceedings - Design Automation Conference. 1-6. 2018
- An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC). 1-6. 2018
- Reasoning about Smart City. 2018 IEEE International Conference on Smart Computing (SMARTCOMP). 381-386. 2018
- Ontology-based Reasoning about the Trustworthiness of Cyber-physical Systems. Living in the Internet of Things: Cybersecurity of the IoT - 2018. 12 (10 pp.)-12 (10 pp.). 2018
- Universal CPS Environment for Federation (UCEF). 2018 Winter Simulation Innovation Workshop, SIW 2018. 2018
- A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. Proceedings - Design Automation Conference. 1-6. 2017
- C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids. 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). 1-6. 2016
- Validation and Verification of Automated Road Vehicles. Lecture Notes in Mobility. 201-210. 2016
journal articles
- Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory and Practice of Logic Programming. 23:1029-1069. 2023
- IoT Capabilities Composition and Decomposition: A Systematic Review. IEEE Access. 11:29959-30007. 2023
- A Methodology for Modeling Interoperability of Smart Sensors in Smart Grids. IEEE Transactions on Smart Grid. 13:555-563. 2022
- Elaborating the Human Aspect of the NIST Framework for Cyber-Physical Systems. Proceedings of the Human Factors and Ergonomics Society. 62:450-454. 2018
- Robust Safety for Autonomous Vehicles through Reconfigurable Networking. Electronic Proceedings in Theoretical Computer Science. 269:48-58. 2018
- Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. Transactions on Embedded Computing Systems. 16:1-20. 2017
- Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 (1996), pp. 1–16.. Journal of Symbolic Logic (JSL). 64:913-913. 1999
- Inaccessibility in constructive set theory and type theory. Annals of Pure and Applied Logic. 94:181-200. 1998
- The strength of some Martin-L�f type theories. Archive for Mathematical Logic. 33:347-385. 1994
- An application of Π 2 1 -logic to descriptive set theory. Lecture Notes in Mathematics. 1141:148-158. 1985
- The definability of E(α). Journal of Symbolic Logic (JSL). 49:437-442. 1984
- Effective cofinalities and admissibility in E-recursion. Fundamenta Mathematicae. 123:151-161. 1984
- Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304.. Journal of Symbolic Logic (JSL). 48:212-213. 1983
- SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN 3E. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK. 29:485-492. 1983
- SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN ³E. Mathematical Logic Quarterly. 29:485-492. 1983
- Dag Normann. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 251–264.. Journal of Symbolic Logic (JSL). 47:902-902. 1982
- Definability and forcing in E-recursion.. Mathematica Scandinavica. 57:5-5.
- Handbook of computability theory
- Mathematical theory of domains
- The Definability of $\mathrmE(α)$
preprints