14 citations · 22 across the 6 of their papers we have counts for
7 papers
Validating Traces of Distributed Programs Against TLA+ Specifications
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier +1
TLA+ is a formal language for specifying systems, including distributed algorithms, that is supported by powerful verification tools. In this work we present a framework for relati…
Generating Distributed Programs from Event-B Models
Horatiu Cirstea, Alexis Grall, Dominique Méry
Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties…
Generic Encodings of Constructor Rewriting Systems
Horatiu Cirstea, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order ov…
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September…
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transfor…
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, Santiago Escobar
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 20…
Extensional and Intensional Strategies
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty +1
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a str…