Publications

Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Kostis Sagonas, and Juraj Somorovsky. Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th USENIX Security Symposium, accepted for publication.

Adriano Branco, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. Intermittent Asynchronous Peripheral Operations. 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS). November 2019. (PDF)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas. Optimal stateless model checking for reads-from equivalence under sequential consistency. PACMPL 3(OOPSLA): 150:1-150:29. October 2019. (DOI)
- Saad Ahmed, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. Efficient Intermittent Computing with Differential Checkpointing. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)
Saad Ahmed, Abu Bhakar, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-powered Computers. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)
Andrea Maioli, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. On Intermittence Bugs in the Battery-less Internet of Things. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)

Andreas Löscher and Konstantinos Sagonas. Automating Targeted Property-Based Testing. 11th IEEE Conference on Software Testing, Verification and Validation (ICST 2018), pages 70-80. April 2018. IEEE Computer Society. (DOI, PDF)