2021
Conference papers
- titre
- Static analysis of pattern-free properties
- auteur
- Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
- article
- PPDP 2021 - 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-13, ⟨10.1145/3479394.3479404⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- GdR Génie de la Programmation et du Logiciel, Défis 2030
- auteur
- Mireille Blay-Fornarino, Catherine Dubois, Pierre-Etienne Moreau
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
Conference papers
- titre
- Pattern eliminating transformations
- auteur
- Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
- article
- LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
- Accès au texte intégral et bibtex
-
Book sections
- titre
- A Mission Definition, Verification and Validation Architecture
- auteur
- Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
- article
- Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
- Accès au bibtex
-
2019
Conference papers
- titre
- Generic Encodings of Constructor Rewriting Systems
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau
- article
- PPDP '19: Principles and Practice of Programming Languages 2019, Oct 2019, Porto, Portugal. pp.19, ⟨10.1145/3354166.3354173⟩
- Accès au texte intégral et bibtex
-
- titre
- Pattern eliminating transformations
- auteur
- Pierre Lermusiaux, Horatiu Cirstea, Pierre-Etienne Moreau
- article
- CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Monitor-Centric Mission Definition with Sophrosyne
- auteur
- Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
- article
- ICUAS -2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
- Accès au bibtex
-
2017
Journal articles
- titre
- Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems
- auteur
- Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
- article
- Logical Methods in Computer Science, 2017, 13 (4), pp.1-54. ⟨10.23638/LMCS-13(4:16)2017⟩
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Défis 2025
- auteur
- Philippe Collet, Lydie Du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (3), pp.311-324. ⟨10.3166/TSI.34.293-306⟩
- Accès au bibtex
-
Conference papers
- 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⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- A Java Framework for Test Data Generation
- auteur
- Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
- article
- 2015
- Accès au bibtex
-
- titre
- Bringing Strategic Rewriting into the Mainstream
- auteur
- Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau
- article
- 2015
- 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
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Effective Strategic Programming for Java Developers
- auteur
- Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
- article
- Software: Practice and Experience, 2014, Software: Practice and Experience, 44 (2), pp.34. ⟨10.1002/spe.2159⟩
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Island Grammar-based Parsing using GLL and Tom
- auteur
- Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
- article
- SLE 2012 - 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. pp.224-243, ⟨10.1007/978-3-642-36089-3_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Tom-based tools to transform EMF models in avionics context
- auteur
- Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
- article
- ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
- Accès au texte intégral et bibtex
-
- titre
- Model Transformations with Tom
- auteur
- Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
- article
- LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
- Accès au texte intégral et bibtex
-
2011
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
- 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⟩
- Accès au bibtex
-
Conference papers
- titre
- The Third Rewrite Engines Competition
- auteur
- Francisco Durán, Manuel Roldan, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C.L. Kats, Pierre-Etienne Moreau, Eelco Visser
- article
- 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨10.1007/978-3-642-16310-4_16⟩
- Accès au bibtex
-
Books
- titre
- Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS
- auteur
- Claus Brabrand, Pierre-Etienne Moreau
- article
- Claus Braband and Pierre-Etienne Moreau. ACM, 2010, 978-1-4503-0063-6
- Accès au 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
- Accès au bibtex
-
- titre
- A Type System for Tom
- auteur
- Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
- article
- Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
- Accès au texte intégral et 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
- Accès au bibtex
-
Reports
- titre
- Tom Manual
- auteur
- Jean-Christophe Bach, Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
- article
- [Technical Report] 2009, pp.155
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Towards an Efficient Implementation of Tree Automata Completion
- auteur
- Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
- article
- 12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. pp.67-82
- Accès au texte intégral et bibtex
-
- 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
- Accès au bibtex
-
- titre
- Term-graph rewriting via explicit paths
- auteur
- Emilie Balland, Pierre-Etienne Moreau
- article
- RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. pp.32-47
- Accès au texte intégral et bibtex
-
- titre
- Software Quality Improvement via Pattern Matching
- auteur
- Radu Kopetz, Pierre-Etienne Moreau
- article
- 11th International Conference on Fundamental Approaches to Software Engineering - FASE 2008, Mar 2008, Budapest, Hungary. pp.296-300, ⟨10.1007/978-3-540-78743-3⟩
- Accès au texte intégral et bibtex
-
- titre
- The Second Rewrite Engines Competition
- auteur
- Emilie Balland, Pierre-Etienne Moreau, Mark van den Brand, Eelco Visser, Francisco Duran, Manuel Roldan, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Ruslan Schevchenko
- article
- WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary
- Accès au bibtex
-
- titre
- Anti-Pattern Matching Modulo
- auteur
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- article
- Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Programmation et confiance
- auteur
- Pierre-Etienne Moreau
- article
- Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Tom: Piggybacking rewriting on java
- auteur
- Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
- article
- Conference on Rewriting Techniques and Applications - RTA'07, Jun 2007, Paris/France, France. pp.36-47
- Accès au texte intégral et bibtex
-
- titre
- Rules and Strategies in Java
- auteur
- Pierre-Etienne Moreau, Antoine Reilles
- article
- 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. pp.71-82
- Accès au texte intégral et bibtex
-
- titre
- Rewriting Strategies in Java
- auteur
- Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
- article
- The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Bytecode rewriting in Tom
- auteur
- Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
- article
- Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. pp.19-33
- Accès au texte intégral et bibtex
-
- titre
- Anti-Pattern Matching
- auteur
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- article
- 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Anti-Pattern Matching Modulo
- auteur
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- article
- 21th International Workshop on Unification - UNIF'07, 2007, Paris, France
- Accès au texte intégral et bibtex
-
Reports
- titre
- Anti-Pattern Matching Modulo
- auteur
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- article
- [Research Report] 2007, pp.21
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- Optimizing pattern matching compilation by program transformation
- auteur
- Emilie Balland, Pierre-Etienne Moreau
- article
- 3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Formal Islands
- auteur
- Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
- article
- 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
- Accès au texte intégral et bibtex
-
- titre
- Modular Formal Islands: Embed theory in your practice
- auteur
- Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira
- article
- Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
- Accès au texte intégral et bibtex
-
Books
- titre
- Editorial (special issue on rule based programming)
- auteur
- Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy P. King, Pierre-Etienne Moreau, Carolyn L. Talcott
- article
- n.a., pp.343--344, 2006, ⟨10.1007/s10990-006-0478-0⟩
- Accès au bibtex
-
Reports
- titre
- Optimizing pattern matching compilation by program transformation
- auteur
- Emilie Balland, Pierre-Etienne Moreau
- article
- [Technical Report] 2006, pp.19
- Accès au texte intégral et bibtex
-
2005
Journal articles
- titre
- A generator of efficient strongly typed abstract syntax trees in Java
- auteur
- Mark van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
- article
- IEE Proceedings - Software Engineering, 2005, IEE Proceedings - Software Engineering, 152 (2), pp.70--87
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Formal Validation of Pattern Matching Code
- auteur
- Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
- article
- Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
- Accès au texte intégral et bibtex
-
- titre
- Implementing Deep Inference in Tom
- auteur
- Ozan Kahramanogullari, Pierre-Etienne Moreau, Antoine Reilles
- article
- ICALP Workshop on Structures and Deduction, May 2005, Lisbon/Portugal, pp.158--172
- Accès au texte intégral et bibtex
-
2004
Journal articles
- titre
- GC2: a generational conservative garbage collector for the ATerm library
- auteur
- Pierre-Etienne Moreau, Olivier Zendra
- article
- Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.5-34. ⟨10.1016/j.jlap.2003.12.003⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An Integrated Development Environment for Pattern Matching Programming
- auteur
- Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
- article
- 2nd eclipse Technology eXchange workshop - eTX'2004, Brian Barry and Oege de Moor, Apr 2004, Barcelona, Spain, 16 p
- Accès au 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⟩
- 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
- 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
- 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
- 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
- Accès au texte intégral et bibtex
-
2003
Conference papers
- titre
- Formalisation et évaluation de politiques P3P
- auteur
- Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau
- article
- Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2003, Oct 2003, Paris, France, 16 p
- Accès au bibtex
-
- titre
- A Formal Approach to P3P Privacy Policies Evaluation
- auteur
- Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau
- article
- 9th Open European Summer School and IFIP Workshop on Next Generation Networks - EUNICE 2003, Sep 2003, hungary, Budapest, 6 p
- Accès au texte intégral et bibtex
-
- titre
- Environments for Term Rewriting Engines for Free!
- auteur
- Mark G. J. van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
- article
- International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, pp.424-435
- Accès au bibtex
-
- titre
- A Pattern Matching Compiler for Multiple Target Languages
- auteur
- Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
- article
- 12th International Conference on Compiler Construction 2003 - CC'2003, 2003, Varsovie, Pologne, pp.61-76
- Accès au bibtex
-
2002
Journal articles
- titre
- ELAN from a rewriting logic point of view
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
- article
- Theoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
- Accès au bibtex
-
Conference papers
- titre
- The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
- auteur
- Mark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
- article
- Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p
- Accès au bibtex
-
Reports
- titre
- GC^2: A Generational Conservative Garbage Collector for the ATerm Library
- auteur
- Pierre-Etienne Moreau, Olivier Zendra
- article
- [Research Report] RR-4548, INRIA. 2002, pp.28
- Accès au texte intégral et bibtex
-
- titre
- A Pattern Matching Compiler for Multiple Target Languages
- auteur
- Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
- article
- [Intern report] A02-R-184 || moreau02b, 2002, 16 p
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
- auteur
- Hélène Kirchner, Pierre-Etienne Moreau
- article
- Journal of Functional Programming, 2001, 11 (3), pp.207-251
- Accès au bibtex
-
Conference papers
- titre
- A Pattern-Matching Compiler
- auteur
- Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
- article
- First Workshop on Language Descriptions, Tools and Applications - LDTA'01, Apr 2001, Genova, Italy, 14 p
- Accès au bibtex
-
2000
Conference papers
- titre
- REM (Reduce Elan Machine): Core of the New ELAN Compiler
- auteur
- Pierre-Etienne Moreau
- article
- International Conference on Rewriting Techniques & Applications - RTA'2000, Richard Kennaway, 2000, Norwich, UK, pp.265-269
- Accès au bibtex
-
1999
Reports
- titre
- ELAN from the rewriting logic point of view
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
- article
- [Intern report] 99-R-284 || borovansky99b, 1999, 39 p
- Accès au texte intégral et bibtex
-
Theses
- titre
- Compilation de règles de réécriture et de stratégies non-déterministes
- auteur
- Pierre-Etienne Moreau
- article
- Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10121⟩
- Accès au bibtex
-
1998
Conference papers
- titre
- Non-deterministic computations in ELAN
- auteur
- Hélène Kirchner, Pierre-Etienne Moreau
- article
- Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, Jose Luiz Fiadeiro, 1998, Lisbone, 15 p
- Accès au bibtex
-
- titre
- An Overview of ELAN
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
- article
- Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
- Accès au bibtex
-
- titre
- A Compiler for Rewrite Programs in Associative-Commutative Theories
- auteur
- Pierre-Etienne Moreau, Hélène Kirchner
- article
- ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
- Accès au bibtex
-
- titre
- Handling ELAN Rewrite Programs via an Exchange Format
- auteur
- Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
- article
- Second Workshop on Rewriting Logic & its Applications - WRLA'98, 1998, Pont-à-Moussson, France, 18 p
- Accès au bibtex
-
Reports
- titre
- Compiling nondeterministic computations
- auteur
- Pierre-Etienne Moreau
- article
- [Intern report] 98-R-005 || moreau98a, 1998, 16 p
- Accès au bibtex
-