2015
Conference papers
- titre
- Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
- auteur
- Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea
- article
- 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Sep 2015, Timisoara, Romania
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- A faithful encoding of programmable strategies into term rewriting systems
- auteur
- Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
- article
- Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.RTA.2015.74
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Towards an automatic tool for multi-scale model derivation
- auteur
- Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea
- article
- 2015
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
- titre
- A Java Framework for Test Data Generation
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
- article
- 2015
- typdoc
- Preprints, Working Papers, …
- Accès au bibtex
-
- titre
- Bringing Strategic Rewriting into the Mainstream
- auteur
- Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau
- article
- 2015
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
- titre
- A faithful encoding of programmable strategies into term rewriting systems
- auteur
- Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
- article
- 2015
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Symbolic analysis of network security policies using rewrite systems
- auteur
- Tony Bourdier, Horatiu Cirstea
- article
- Symposium on Principles and Practices of Declarative Programming, Jul 2011, Odense, Denmark. pp.77-88, ⟨10.1145/2003476.2003489⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2003476.2003489
- Accès au texte intégral et bibtex
-
- titre
- Formal Specification and Validation of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- FPS – 4th Canada-France MITACS Workshop on Foundations and Practice of Security – 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-27901-0_12
- Accès au texte intégral et bibtex
-
Reports
- titre
- A constraint language for algebraic term based on rewriting theory
- auteur
- François Prugniel, Pierre-Etienne Moreau, Horatiu Cirstea
- article
- [Research Report] 2011, pp.8
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Anti-patterns for Rule-based Languages
- auteur
- Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- article
- Journal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.jsc.2010.01.007
- Accès au bibtex
-
- titre
- Extensional and Intensional Strategies
- auteur
- Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
- article
- Electronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.4204/EPTCS.15.1
- Accès au bibtex
-
Conference papers
- titre
- Rule-based Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 5th International Workshop on Security and Rewriting Techniques – SecReT 2010, Jun 2010, Valencia, Spain
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- On Formal Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- The rewriting calculus
- auteur
- Horatiu Cirstea
- article
- Génie logiciel [cs.SE]. Université Nancy II, 2010
- typdoc
- Habilitation à diriger des recherches
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Constrained rewriting in recognizable theories
- auteur
- Tony Bourdier, Horatiu Cirstea
- article
- 2010
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2009
Conference papers
- titre
- TomML: A Rule Language For Structured Data
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
- article
- International RuleML Symposium on Rule Interchange and Applications – RuleML 2009, Nov 2009, Las Vegas, United States. pp.262-271
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
- auteur
- Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
- article
- 1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. pp.33-40
- typdoc
- Conference papers
- Accès au bibtex
-
2008
Conference papers
- titre
- Rewrite Based Specification of Access Control Policies
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
- article
- 3rd International Workshop on Security and Rewriting Techniques – SecReT 2008, Jun 2008, Pittsburgh, United States. pp.37-54
- typdoc
- Conference papers
- Accès au bibtex
-
2007
Journal articles
- titre
- A rewriting calculus for cyclic higher-order term graphs
- auteur
- Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
- article
- Mathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1017/S0960129507006093
- Accès au bibtex
-
- titre
- A Rho-Calculus of explicit constraint application
- auteur
- Horatiu Cirstea, Germain Faure, Claude Kirchner
- article
- Higher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10990-007-9004-2
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Confluence of Pattern-Based Calculi
- auteur
- Horatiu Cirstea, Germain Faure
- article
- 18th International Conference on Term Rewriting and Applications – RTA 2007, Jun 2007, Paris, France. pp.78-92, ⟨10.1007/978-3-540-73449-9_8⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-540-73449-9_8
- Accès au bibtex
-
- titre
- Towards a sharing strategy for the graph rewriting calculus
- auteur
- Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
- article
- 7th International Workshop on Reduction Strategies in Rewriting and Programming – WRS 2007, Jun 2007, Paris, France
- typdoc
- Conference papers
- Accès au bibtex
-
2006
Journal articles
- titre
- Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
- auteur
- Horatiu Cirstea, Clara Bertolissi, Claude Kirchner
- article
- Higher-Order and Symbolic Computation, 2006
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- From functional programs to interaction nets via the Rewriting Calculus
- auteur
- Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, François-Régis Sinot
- article
- Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Aug 2006, Seattle, Washington, United States. pp.39-56
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Distributive rewriting calculus
- auteur
- Horatiu Cirstea, Clement Houtmann, Benjamin Wack
- article
- Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Apr 2006, Vienna, Austria. pp.95-111
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Distributive Rho-Calculus
- auteur
- Horatiu Cirstea, Clement Houtmann, Benjamin Wack
- article
- WRLA 2006, Apr 2006, Vienna, Austria. pp.29, ⟨10.1016/j.entcs.2007.06.010⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/j.entcs.2007.06.010
- Accès au texte intégral et bibtex
-
- titre
- Decidable Type Inference for the Polymorphic Rewriting Calculus
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
- article
- 17è Journées Francophones des Langages Applicatifs – JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2005
Other publications
- titre
- Types for REWERSE reasoning and query languages I3-D4
- auteur
- Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, Luigi Liquori, Benjamin Wack, Artur Wilk
- article
- 2005, 71p
- typdoc
- Other publications
- Accès au texte intégral et bibtex
-
Reports
- titre
- A rewriting calculus for cyclic higher-order term graphs
- auteur
- Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
- article
- [Intern report] 2005
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2004
Conference papers
- titre
- A rewriting calculus for cyclic higher-order term graphs
- auteur
- Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
- article
- 2nd International Workshop on Term Graph Rewriting – TERMGRAPH’2004, Oct 2004, Rome, Italy, 20 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A rho-calculus of explicit constraint application.
- auteur
- Horatiu Cirstea, Germain Faure, Claude Kirchner
- article
- Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Rule based programming in Java for protocol verification
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
- article
- 5th International Workshop on Rewriting Logic and its Applications – WRLA’2004, Narciso Marti-Oliet, 2004, Barcelona, Spain. 18 p, ⟨10.1016/j.entcs.2004.06.022⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/j.entcs.2004.06.022
- Accès au bibtex
-
Reports
- titre
- Production Systems and Rete Algorithm Formalisation
- auteur
- Horatiu Cirstea, Claude Kirchner, Michael Mm Moossen, Pierre-Etienne Moreau
- article
- [Research Report] 2004, pp.21
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Production and Rewrite Systems
- auteur
- Horatiu Cirstea, Claude Kirchner, Michael Mm Moossen, Pierre-Etienne Moreau
- article
- [Research Report] 2004, pp.23
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Types for Web Rule Languages: a preliminary study
- auteur
- Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, Jan Maluszynski, Benjamin Wack
- article
- [Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Production Systems and Rete Algorithm Formalisation
- auteur
- Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
- article
- [Contract] A04-R-546 || cirstea04d, 2004, 26 p
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Production Systems and Rewrite Systems
- auteur
- Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
- article
- [Contract] A04-R-563 || cirstea04f, 2004, 28 p
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2003
Conference papers
- titre
- Rewrite Strategies in the Rewriting Calculus
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
- article
- WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming – Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/S1571-0661(05)82613-1
- Accès au texte intégral et bibtex
-
- titre
- Rewriting Calculus with Fixpoints: Untyped and First-order Systems
- auteur
- Horatiu Cirstea, Luigi Liquori, Benjamin Wack
- article
- Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 – May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. pp.147-161, ⟨10.1007/978-3-540-24849-1_10⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-540-24849-1_10
- Accès au texte intégral et bibtex
-
- titre
- Pure Patterns Type Systems
- auteur
- Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 – 17, 2003, Jan 2003, New Orleans, United States. pp.250 – 261, ⟨10.1145/604131.604152⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/604131.604152
- Accès au texte intégral et bibtex
-
- titre
- Translating Combinatory Reduction Systems into the Rewriting Calculus
- auteur
- Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
- article
- 4th International Workshop on Rule-Based Programming – RULE 2003, 2003, Valencia, Spain
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2002
Conference papers
- titre
- Rewriting Calculus with(out) Types
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/S1571-0661(05)82526-5
- Accès au texte intégral et bibtex
-
- titre
- The rho cube : some results, some problems
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
- article
- First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- Rewriting and Multisets in Rho-calculus and ELAN
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- Romanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33–48
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- The Rewriting Calculus – Part I
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- Logic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/jigpal/9.3.339
- Accès au bibtex
-
- titre
- The Rewriting Calculus – Part II
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- Logic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/jigpal/9.3.377
- Accès au bibtex
-
Conference papers
- titre
- Matching Power
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/3-540-45127-7_8
- Accès au texte intégral et bibtex
-
- titre
- The Rho Cube
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- 4th International Conference on Foundations of Software Science and Computation Structures – FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/3-540-45315-6_11
- Accès au texte intégral et bibtex
-
- titre
- Specifying Authentication Protocols Using Rewriting and Strategies
- auteur
- Horatiu Cirstea
- article
- Third International Workshop on Practical Aspects of Declarative Languages – PADl’01, Mar 2001, Las Vegas, Nevada, USA, 15 p
- typdoc
- Conference papers
- Accès au bibtex
-
2000
Conference papers
- titre
- The simply typed rewriting calculus
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- 3rd International Workshop on Rewriting Logic & its Applications – WRLA2000, Sep 2000, none, 19 p
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Rewriting and Multisets in the Rewriting Calculus and ELAN
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Rho Cube
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
- typdoc
- Reports
- Accès au bibtex
-
- titre
- The Rewriting Calculus
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- [Intern report] A00-R-444 || cirstea00f, 2000
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Matching Power
- auteur
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- article
- [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
- typdoc
- Reports
- Accès au bibtex
-
Theses
- titre
- Calcul de réécriture : fondements et applications
- auteur
- Horatiu Cirstea
- article
- Autre [cs.OH]. Université Henri Poincaré – Nancy 1, 2000. Français. ⟨NNT : 2000NAN10087⟩
- typdoc
- Theses
- Accès au bibtex
-
1999
Conference papers
- titre
- Specifying Authentication Protocols Using ELAN
- auteur
- Horatiu Cirstea
- article
- Workshop on Modelling & Verification, Dec 1999, Besançon, France, 17 p
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- Introduction to the Rewriting Calculus
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- [Research Report] RR-3818, INRIA. 1999, pp.50
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Using Rewriting and Strategies for Describing the B Predicate Prover
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- [Intern report] 99-R-249 || cirstea99d, 1999, 23 p
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
1998
Conference papers
- titre
- Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- FroCoS’98, 1998, Amsterdam, The Netherlands, 25 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Using Rewriting and Strategies for Describing the B Predicate Prover
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- Proceedings of the Workshop on Strategies in Automated Deduction – CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- $\rho$-Calculus. Its Syntax and Basic Properties
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- [Intern report] 98-R-218 || cirstea98a, 1998, 16 p
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version
- auteur
- Horatiu Cirstea, Claude Kirchner
- article
- [Intern report] 98-R-220 || cirstea98b, 1998
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
