Folgen
Amrita Suresh
Amrita Suresh
PhD student, ENS Paris Saclay
Bestätigte E-Mail-Adresse bei ens-paris-saclay.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Bounded reachability problems are decidable in FIFO machines
B Bollig, A Finkel, A Suresh
Logical Methods in Computer Science 18, 2022
162022
A unifying framework for deciding synchronizability
B Bollig, C Di Giusto, A Finkel, L Laversa, E Lozes, A Suresh
CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021
152021
Branch-Well-Structured Transition Systems and Extensions
B Bollig, A Finkel, A Suresh
International Conference on Formal Techniques for Distributed Objects …, 2022
22022
Formal Verification of Communicating Automata
A Suresh
Université Paris-Saclay, 2022
2022
Verification of FIFO Systems
A Suresh
2021
Termination, Boundedness and Reachability for Input-bounded FIFO Machines
A Suresh
2019
Verification of Population Protocols
A Suresh
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7