Ole Jørgen Abusdal

According to our database, Ole Jørgen Abusdal authored at least 2 papers in 2022.

Collaborative distances:

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

2022

A Notion of Equivalence for Refactorings with Abstract Execution.

Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.

Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022