Tephilla Prince

According to our database, Tephilla Prince authored at least 8 papers between 2022 and 2025.

Collaborative distances:

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

2025

Nets-within-Nets through the Lens of Data Nets.

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

CoRR, June, 2025

A Lower Bound on Conservative Elementary Object Systems Coverability.

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

CoRR, April, 2025

2024

Report on WiL 2024.

Daniele Nantes-Sobrinho, Elaine Pimentel, Tephilla Prince

ACM SIGLOG News, October, 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