Elaine Li

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Coloured Petri Nets

Communication Protocols

Top Venues

Publications

Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) (2024)
Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. CoRR (2024)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CAV (3) (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CoRR (2023)
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu
Specification of the Giskard Consensus Protocol. CoRR (2020)
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu
Formalizing Correct-by-Construction Casper in Coq. IEEE ICBC (2020)
Aquinas Hobor, Elaine Li, Frank Stephan
Pumping, with or Without Choice. APLAS (2019)