Horatiu Cirstea

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 13

Top Topics

Rewriting Systems

Static Analysis

Mathematical Knowledge

Functional Programs

Top Venues

Publications

Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
Validating Traces of Distributed Programs Against TLA+ Specifications. CoRR (2024)
Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian
Combining representation formalisms for reasoning upon mathematical knowledge. K-CAP (2023)
Horatiu Cirstea, Stephan Merz
Extending PlusCal for Modeling Distributed Algorithms. iFM (2023)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC (2023)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Static analysis of pattern-free properties. PPDP (2021)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Pattern Eliminating Transformations. LOPSTR (2020)
Horatiu Cirstea, Alexis Grall, Dominique Méry
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS (2020)
Horatiu Cirstea, Pierre-Etienne Moreau
Generic Encodings of Constructor Rewriting Systems. PPDP (2019)
Horatiu Cirstea, Pierre-Etienne Moreau
Generic Encodings of Constructor Rewriting Systems. CoRR (2019)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR (2017)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. 13 (4) (2017)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frederic Zamkotsian, Horatiu Cirstea
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC (2015)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
A faithful encoding of programmable strategies into term rewriting systems. RTA (2015)
Tony Bourdier, Horatiu Cirstea
Symbolic analysis of network security policies using rewrite systems. PPDP (2011)
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
Formal Specification and Validation of Security Policies. FPS (2011)
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
Anti-patterns for rule-based languages. J. Symb. Comput. 45 (5) (2010)
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
TomML: A Rule Language for Structured Data. RuleML (2009)
Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
Rewrite Based Specification of Access Control Policies. Electron. Notes Theor. Comput. Sci. 234 (2009)
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
Extensional and Intensional Strategies WRS (2009)
Horatiu Cirstea, Maribel Fernández
Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. 18 (3) (2008)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Towards a Sharing Strategy for the Graph Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 204 (2008)
Horatiu Cirstea, Germain Faure
Confluence of Pattern-Based Calculi. RTA (2007)
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
From Functional Programs to Interaction Nets via the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Horatiu Cirstea, Germain Faure, Claude Kirchner
A rho-calculus of explicit constraint application. High. Order Symb. Comput. 20 (1-2) (2007)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17 (3) (2007)
Horatiu Cirstea, Clément Houtmann, Benjamin Wack
Distributive rho-calculus. WRLA (2006)
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. 19 (4) (2006)
Horatiu Cirstea, Narciso Martí-Oliet
Preface. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
A Rewriting Calculus for Cyclic Higher-order Term Graphs. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
Rule-based Programming in Java For Protocol Verification. WRLA (2004)
Horatiu Cirstea, Germain Faure, Claude Kirchner
A rho-Calculus of Explicit Constraint Application. WRLA (2004)
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Pure patterns type systems. POPL (2003)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
Rewrite strategies in the rewriting calculus. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Translating Combinatory Reduction Systems into the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
Horatiu Cirstea, Luigi Liquori, Benjamin Wack
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES (2003)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Rewriting Calculus with(out) Types. Electron. Notes Theor. Comput. Sci. 71 (2002)
Horatiu Cirstea, Claude Kirchner
The rewriting calculus - Part II. Log. J. IGPL 9 (3) (2001)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
The Rho Cube. FoSSaCS (2001)
Horatiu Cirstea, Claude Kirchner
The rewriting calculus - Part I. Log. J. IGPL 9 (3) (2001)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Matching Power. RTA (2001)
Horatiu Cirstea
Specifying Authentication Protocols Using Rewriting and Strategies. PADL (2001)
Horatiu Cirstea, Claude Kirchner
The simply typed rewriting calculus. WRLA (2000)
Horatiu Cirstea
Rewriting Calculus: Foundations and Applications CoRR (2000)
Horatiu Cirstea, Claude Kirchner
The Rewriting Calculus as a Semantics of ELAN. ASIAN (1998)
Horatiu Cirstea, Claude Kirchner
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS (1998)