Ioana Cristescu

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 16

Top Topics

Modeling Language

Compositional Semantics

Security Threats

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Najah Ben Said, Ioana Cristescu
End-to-end information flow security for web services orchestration. Sci. Comput. Program. 187 (2020)
Ioana Cristescu, Thomas Given-Wilson, Axel Legay
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837 (2020)
Clément Aubert, Ioana Cristescu
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. CONCUR (2020)
Clément Aubert, Ioana Cristescu
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication). CoRR (2020)
Clément Aubert, Ioana Cristescu
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. CoRR (2020)
Pierre Boutillier, Ioana Cristescu, Jérôme Feret
Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP (2019)
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Salah Sadou
Security Analysis of IoT Systems Using Attack Trees. GraMSec@CSF (2019)
Clément Aubert, Ioana Cristescu
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems. CoRR (2018)
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
The Kappa platform for rule-based modeling. Bioinform. 34 (13) (2018)
Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf
A Modeling Language for Security Threats of IoT Systems. FMICS (2018)
Ioana Cristescu, Walter Fontana, Jean Krivine
Interactions between Causal Structures in Graph Rewriting Systems. CREST@ETAPS (2018)
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
A Language for Analyzing Security of IOT Systems. SoSE (2018)
Pierre Boutillier, Ioana Cristescu
When rule-based models need to count. CoRR (2017)
Clément Aubert, Ioana Cristescu
Contextual equivalences in configuration structures and reversibility. J. Log. Algebraic Methods Program. 86 (1) (2017)
Ioana Cristescu, Daniel Hirschkoff
Termination in a π-calculus with subtyping. Math. Struct. Comput. Sci. 26 (8) (2016)
Ioana Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for the Reversible π-Calculus. RC (2016)
Clément Aubert, Ioana Cristescu
Contextual equivalences in configuration structures and reversibility. CoRR (2015)
Clément Aubert, Ioana Cristescu
Reversible Barbed Congruence on Configuration Structures. ICE (2015)
Ioana Cristescu, Jean Krivine, Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus. LICS (2013)
Ioana Cristescu, Daniel Hirschkoff
Termination in a Pi-calculus with Subtyping EXPRESS (2011)