Horatiu Cirstea - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2023

Extending PlusCal for Modeling Distributed AlgorithmsHoratiu Cirstea, Stephan Merz. IFM 2024: 321-340 [doi]

Combining representation formalisms for reasoning upon mathematical knowledgeMathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian. kcap 2023: 180-187 [doi]

2021

Static analysis of pattern-free propertiesHoratiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. ppdp 2021: [doi]

2020

Pattern Eliminating TransformationsHoratiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. LOPSTR 2021: 74-92 [doi]

2019

Generic Encodings of Constructor Rewriting SystemsHoratiu Cirstea, Pierre-Etienne Moreau. ppdp 2019: [doi]

2017

Faithful (meta-)encodings of programmable strategies into term rewriting systemsHoratiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau. lmcs, 13(4), 2017. [doi]

2015

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror ArrayWalid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frederic Zamkotsian, Horatiu Cirstea. synasc 2015: 47-54 [doi]

A faithful encoding of programmable strategies into term rewriting systemsHoratiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau. RTA 2015: 74-88 [doi]

2011

Symbolic analysis of network security policies using rewrite systemsTony Bourdier, Horatiu Cirstea. ppdp 2011: 77-88 [doi]

Formal Specification and Validation of Security PoliciesTony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner. fps 2012: 148-163 [doi]

2010

Le calcul de réécriture. (The rewriting calculus)Horatiu Cirstea. 2010. [doi]

Anti-patterns for rule-based languagesHoratiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. JSC, 45(5):523-550, 2010. [doi]

2009

TomML: A Rule Language for Structured DataHoratiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles. ruleml 2009: 262-271 [doi]

Rewrite Based Specification of Access Control PoliciesHoratiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira. ENTCS, 234:37-54, 2009. [doi]

2008

Towards a Sharing Strategy for the Graph Rewriting CalculusPaolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. ENTCS, 204:111-127, 2008. [doi]

Rewriting calculi, higher-order reductions and patterns: introductionHoratiu Cirstea, Maribel Fernández. mscs, 18(3):427-429, 2008. [doi]

2007

A rewriting calculus for cyclic higher-order term graphsPaolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. mscs, 17(3):363-406, 2007. [doi]

Confluence of Pattern-Based CalculiHoratiu Cirstea, Germain Faure. RTA 2007: 78-92 [doi]

A rho-calculus of explicit constraint applicationHoratiu Cirstea, Germain Faure, Claude Kirchner. lisp, 20(1-2):37-72, 2007. [doi]

Distributive rho-calculusHoratiu Cirstea, Clément Houtmann, Benjamin Wack. ENTCS, 176(4):95-111, 2007. [doi]

From Functional Programs to Interaction Nets via the Rewriting CalculusHoratiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot. ENTCS, 174(10):39-56, 2007. [doi]

2006

Expressing combinatory reduction systems derivations in the rewriting calculusClara Bertolissi, Horatiu Cirstea, Claude Kirchner. lisp, 19(4):345-376, 2006. [doi]

PrefaceHoratiu Cirstea, Narciso Martí-Oliet. ENTCS, 147(1):1-3, 2006. [doi]

2005

A Rewriting Calculus for Cyclic Higher-order Term GraphsClara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner. ENTCS, 127(5):21-41, 2005. [doi]

A rho-Calculus of Explicit Constraint ApplicationHoratiu Cirstea, Germain Faure, Claude Kirchner. ENTCS, 117:51-67, 2005. [doi]

Rule-based Programming in Java For Protocol VerificationHoratiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles. ENTCS, 117:209-227, 2005. [doi]

2003

2002

Rewriting Calculus with(out) TypesHoratiu Cirstea, Claude Kirchner, Luigi Liquori. ENTCS, 71:3-19, 2002. [doi]

2001

The Rho CubeHoratiu Cirstea, Claude Kirchner, Luigi Liquori. fossacs 2001: 168-183 [doi]

Matching PowerHoratiu Cirstea, Claude Kirchner, Luigi Liquori. RTA 2001: 77-92 [doi]

Specifying Authentication Protocols Using Rewriting and StrategiesHoratiu Cirstea. PADL 2001: 138-152 [doi]

The rewriting calculus - Part IIHoratiu Cirstea, Claude Kirchner. igpl, 9(3):377-410, 2001. [doi]

The rewriting calculus - Part IHoratiu Cirstea, Claude Kirchner. igpl, 9(3):339-375, 2001. [doi]

2000

The simply typed rewriting calculusHoratiu Cirstea, Claude Kirchner. ENTCS, 36:24-42, 2000. [doi]

Calcul de réécriture : fondements et applicationsHoratiu Cirstea. PhD thesis, Henri Poincaré University, Nancy, France, 2000. [doi]

1998

Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELANHoratiu Cirstea, Claude Kirchner. frocos 1998: 95-120

The Rewriting Calculus as a Semantics of ELANHoratiu Cirstea, Claude Kirchner. asian 1998: 84-85 [doi]

Sign in or sign up to see more results.

runs on WebDSL