Tom Melham
Professor Tom Melham FRSE
Themes:
Completed Projects:
See Also:
Selected Publications
-
Contextualizing Formal Verification for Systems Security Engineering
Avi Shaked and Tom Melham
In IEEE Security & Privacy. Pages 2–11. 2024.
Details about Contextualizing Formal Verification for Systems Security Engineering | BibTeX data for Contextualizing Formal Verification for Systems Security Engineering | DOI (10.1109/MSEC.2024.3503753)
-
Modelling Tool Extension for Vulnerability Management
Avi Shaked‚ Nan Messe and Tom Melham
In MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Pages 56–60. Association for Computing Machinery. 2024.
Details about Modelling Tool Extension for Vulnerability Management | BibTeX data for Modelling Tool Extension for Vulnerability Management | DOI (10.1145/3652620.3687791)
-
Enhancing active model learning with equivalence checking using simulation relations
Natasha Yogananda Jeppu‚ Tom Melham and Daniel Kroening
In Formal Methods in System Design. Vol. 61. August, 2023.
Details about Enhancing active model learning with equivalence checking using simulation relations | BibTeX data for Enhancing active model learning with equivalence checking using simulation relations | DOI (10.1007/s10703-023-00433-y) | Download (pdf) of Enhancing active model learning with equivalence checking using simulation relations