Tephilla Prince

According to our database, Tephilla Prince authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report.

Francesco Di Cosmo, Tephilla Prince

Proceedings of the 39th Italian Conference on Computational Logic, 2024

Deciding Reachability and Coverability in Lossy EOS.

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

On Verifying Unbounded Client-Server Systems.

Tephilla Prince

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Bounded Model Checking for Unbounded Client Server Systems.

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin

CoRR, 2022

Formal Verification of Safety Properties Using Interpolation and k-induction.

Tephilla Prince, Atif Abdur Rahman, Sheerazuddin Syed

CoRR, 2022