Formal Verification of Safety Properties Using Interpolation and k-induction. - Tephilla Prince; Atif Abdur Rahman; Sheerazuddin Syed (CoRR, 2022)

Bounded Model Checking for Unbounded Client Server Systems. - Ramchandra Phawade; Tephilla Prince; S. Sheerazuddin (CoRR, 2022)

On Verifying Unbounded Client-Server Systems. - Tephilla Prince (EUMAS, 2023)

Deciding Reachability and Coverability in Lossy EOS. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (PNSE@Petri Nets, 2024)

Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. - Francesco Di Cosmo; Tephilla Prince (CILC, 2024)

Report on WiL 2024. - Daniele Nantes-Sobrinho; Elaine Pimentel; Tephilla Prince (ACM SIGLOG News, 2024)

A Lower Bound on Conservative Elementary Object Systems Coverability. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (CoRR, 2025)

Nets-within-Nets through the Lens of Data Nets. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (CoRR, 2025)