Ellen Wittingen

According to our database, Ellen Wittingen authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deductive Verification of SYCL in VerCors.

Ellen Wittingen, Marieke Huisman, Ömer Sakar

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2021

IntelliJML: a JML plugin for IntelliJ IDEA.

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021