Horatiu Cirstea

51 papers A* 1B 4C 5Misc 2Journal 12Unranked 22

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Validating Traces of Distributed Programs Against TLA SEFM Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
2024	J	`jnl`	Validating Traces of Distributed Programs Against TLA+ Specifications. CoRR Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
2023	B	`conf`	Combining representation formalisms for reasoning upon mathematical knowledge. K-CAP Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian
2023	B	`conf`	Extending PlusCal for Modeling Distributed Algorithms. iFM Horatiu Cirstea, Stephan Merz
2023	Misc	`conf`	Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2021	C	`conf`	Static analysis of pattern-free properties. PPDP Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2020	—	`conf`	Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS Horatiu Cirstea, Alexis Grall, Dominique Méry
2020	C	`conf`	Pattern Eliminating Transformations. LOPSTR Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2019	C	`conf`	Generic Encodings of Constructor Rewriting Systems. PPDP Horatiu Cirstea, Pierre-Etienne Moreau
2019	J	`jnl`	Generic Encodings of Constructor Rewriting Systems. CoRR Horatiu Cirstea, Pierre-Etienne Moreau
2018	—	`ed.`	Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. WPTE@FSCD Horatiu Cirstea, David Sabel
2017	J	`jnl`	Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2017	J	`jnl`	Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2017	—	`ed.`	Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. WPTE@FSCD Horatiu Cirstea, Santiago Escobar
2015	—	`conf`	A faithful encoding of programmable strategies into term rewriting systems. RTA Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2015	Misc	`conf`	Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea
2011	—	`conf`	Formal Specification and Validation of Security Policies. FPS Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
2011	C	`conf`	Symbolic analysis of network security policies using rewrite systems. PPDP Tony Bourdier, Horatiu Cirstea
2010	J	`jnl`	Anti-patterns for rule-based languages. J. Symb. Comput. Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2010	—	`book`	Le calcul de réécriture. (The rewriting calculus). Horatiu Cirstea
2009	—	`conf`	Extensional and Intensional Strategies WRS Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
2009	—	`conf`	TomML: A Rule Language for Structured Data. RuleML Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2008	—	`conf`	Rewrite Based Specification of Access Control Policies. SecReT@LICS/CSF Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
2008	J	`jnl`	Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. Horatiu Cirstea, Maribel Fernández
2007	J	`jnl`	A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	J	`jnl`	A rho-calculus of explicit constraint application. High. Order Symb. Comput. Horatiu Cirstea, Germain Faure, Claude Kirchner
2007	—	`conf`	Confluence of Pattern-Based Calculi. RTA Horatiu Cirstea, Germain Faure
2007	—	`conf`	Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2006	—	`conf`	Distributive rho-calculus. WRLA Horatiu Cirstea, Clément Houtmann, Benjamin Wack
2006	J	`jnl`	Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2006	—	`conf`	From Functional Programs to Interaction Nets via the Rewriting Calculus. WRS@FLoC Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
2006	—	`ed.`	Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005 RULE@RDP Horatiu Cirstea, Narciso Martí-Oliet
2005	—	`conf`	Preface. RULE@RDP Horatiu Cirstea, Narciso Martí-Oliet
2004	—	`conf`	A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
2004	—	`conf`	A rho-Calculus of Explicit Constraint Application. WRLA Horatiu Cirstea, Germain Faure, Claude Kirchner
2004	—	`conf`	Rule-based Programming in Java For Protocol Verification. WRLA Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2003	A*	`conf`	Pure patterns type systems. POPL Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2003	—	`conf`	Rewrite strategies in the rewriting calculus. WRS Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
2003	—	`conf`	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES Horatiu Cirstea, Luigi Liquori, Benjamin Wack
2003	—	`conf`	Translating Combinatory Reduction Systems into the Rewriting Calculus. RULE@RDP Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2002	—	`conf`	Rewriting Calculus with(out) Types. WRLA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	—	`conf`	Matching Power. RTA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	C	`conf`	Specifying Authentication Protocols Using Rewriting and Strategies. PADL Horatiu Cirstea
2001	B	`conf`	The Rho Cube. FoSSaCS Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	J	`jnl`	The rewriting calculus - Part I. Log. J. IGPL Horatiu Cirstea, Claude Kirchner
2001	J	`jnl`	The rewriting calculus - Part II. Log. J. IGPL Horatiu Cirstea, Claude Kirchner
2000	—	`—`	Calcul de réécriture : fondements et applications. Horatiu Cirstea
2000	J	`jnl`	Rewriting Calculus: Foundations and Applications CoRR Horatiu Cirstea
2000	—	`conf`	The simply typed rewriting calculus. WRLA Horatiu Cirstea, Claude Kirchner
1998	—	`conf`	Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS Horatiu Cirstea, Claude Kirchner
1998	—	`conf`	The Rewriting Calculus as a Semantics of ELAN. ASIAN Horatiu Cirstea, Claude Kirchner