Sophie Lathouwers

Orcid: 0000-0002-7544-447X

According to our database1, Sophie Lathouwers authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Survey of annotation generators for deductive verifiers.
J. Syst. Softw., 2024

2023
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.
Proceedings of the iFM 2023 - 18th International Conference, 2023

2022
Modelling program verification tools for software engineers.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021
Modular Transformation of Java Exceptions Modulo Errors.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020


  Loading...