Paola Glavan

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 6

Top Topics

Epistemic Logic

Coloured Petri Nets

Network Protocols

Top Venues

J. Log. Comput.

Peer-to-Peer Netw. Appl.

Comput. Sci. Inf. Syst.

Publications

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord protocol. Comput. Sci. Inf. Syst. 17 (1) (2020)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Proving properties of the Chord protocol using the ASM formalism. Theor. Comput. Sci. 756 (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Comput. 29 (5) (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
Probabilistic Consensus of the Blockchain Protocol. ECSQARU (2019)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord Protocol. CoRR (2017)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek
Correctness of the Chord Protocol. IIKI (2016)
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. 8 (5) (2015)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Description of the Chord Protocol using ASMs Formalism CoRR (2012)
Matko Botincan, Paola Glavan, Davor Runje
Verification of Causality Requirements in Java Memory Model Is Undecidable. PPAM (2) (2009)
Paola Glavan, Dean Rosenzweig
Evolving Algebra Model of Programming Language Semantics. IFIP Congress (1) (1994)
Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) (1994)
Paola Glavan, Dean Rosenzweig
Communicating Evolving Algebras. CSL (1992)