Thomas Given-Wilson
Orcid: 0000-0001-8700-2671
According to our database1,
Thomas Given-Wilson
authored at least 42 papers
between 2011 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
2021
Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs.
Proceedings of the Model Checking Software - 27th International Symposium, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the From Data to Models and Back, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Innov. Syst. Softw. Eng., 2020
Comput. Secur., 2020
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020
Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020
2019
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries.
Concurr. Comput. Pract. Exp., 2019
Comput. Secur., 2019
Proceedings of the ACM Special Interest Group on Data Communication, 2019
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019
2018
Group abstraction for assisted navigation of social activities in intelligent environments.
J. Reliab. Intell. Environ., 2018
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Models, Mindsets, 2018
2017
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.
Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015
2014
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
2012
Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012
2011