Zobrazeno 1 - 10
of 154
pro vyhledávání: '"Rosu, Grigore"'
The Giskard consensus protocol is used to validate transactions and computations in the PlatON network. In this paper, we provide a rigorous specification of Giskard, suitable to serve as a reference in protocol implementation and in formal verificat
Externí odkaz:
http://arxiv.org/abs/2010.02124
Autor:
Alturki, Musab A., Chen, Jing, Luchangco, Victor, Moore, Brandon, Palmskog, Karl, Peña, Lucas, Roşu, Grigore
Publikováno v:
Formal Methods. FM 2019 International Workshops. Lecture Notes in Computer Science, vol 12232, pp. 362-367
The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round: that is, the protocol guarantees
Externí odkaz:
http://arxiv.org/abs/1907.05523
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2023 130
Autor:
Stefanescu, Andrei, Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Serbanuta, Traian Florin, Rosu, Grigore
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 2 (April 30, 2019) lmcs:4939
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-
Externí odkaz:
http://arxiv.org/abs/1810.10826
Autor:
Kheradmand, Ali, Rosu, Grigore
Programmable packet processors and P4 as a programming language for such devices have gained significant interest, because their flexibility enables rapid development of a diverse set of applications that work at line rate. However, this flexibility,
Externí odkaz:
http://arxiv.org/abs/1804.01468
Autor:
Rosu, Grigore
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 4 (December 20, 2017) lmcs:4153
This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quant
Externí odkaz:
http://arxiv.org/abs/1705.06312
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2021 120
Autor:
Rosu, Grigore, Chen, Feng
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 1 (February 23, 2012) lmcs:710
Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution traces are frequently parametric, i.e., they contain events with paramet
Externí odkaz:
http://arxiv.org/abs/1112.5761
Autor:
Popescu, Andrei, Roşu, Grigore
Publikováno v:
In Theoretical Computer Science 27 April 2015 577:1-24
Autor:
Fisman, Dana, Rosu, Grigore
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/54031