Tephilla Prince

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Peer To Peer Computing

Top Venues

PNSE@Petri Nets

Publications

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
Deciding Reachability and Coverability in Lossy EOS. PNSE@Petri Nets (2024)
Francesco Di Cosmo, Tephilla Prince
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. CILC (2024)
Tephilla Prince
On Verifying Unbounded Client-Server Systems. EUMAS (2023)
Tephilla Prince, Atif Abdur Rahman, Sheerazuddin Syed
Formal Verification of Safety Properties Using Interpolation and k-induction. CoRR (2022)
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded Model Checking for Unbounded Client Server Systems. CoRR (2022)