Termination in a Pi-calculus with Subtyping - Ioana Cristescu; Daniel Hirschkoff (EXPRESS, 2011)

A Compositional Semantics for the Reversible p-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (LICS, 2013)

Rigid Families for CCS and the π-calculus. - Ioana Domnina Cristescu; Jean Krivine; Daniele Varacca (ICTAC, 2015)

Reversible Barbed Congruence on Configuration Structures. - Clément Aubert; Ioana Cristescu (ICE, 2015)

Rigid Families for the Reversible π-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (RC, 2016)

Termination in a π-calculus with subtyping. - Ioana Cristescu; Daniel Hirschkoff (Math. Struct. Comput. Sci., 2016)

When rule-based models need to count. - Pierre Boutillier; Ioana Cristescu (CoRR, 2017)

Contextual equivalences in configuration structures and reversibility. - Clément Aubert; Ioana Cristescu (J. Log. Algebraic Methods Program., 2017)

A Modeling Language for Security Threats of IoT Systems. - Delphine Beaulaton; Ioana Cristescu; Axel Legay; Jean Quilbeuf (FMICS, 2018)

A Language for Analyzing Security of IOT Systems. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Régis Fleurquin; Axel Legay; Jean Quilbeuf; Salah Sadou (SoSE, 2018)

The Kappa platform for rule-based modeling. - Pierre Boutillier; Mutaamba Maasha; Xing Li; Héctor F. Medina-Abarca; Jean Krivine; Jérôme Feret; Ioana Cristescu; Angus G. Forbes; Walter Fontana (Bioinform., 2018)

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems. - Clément Aubert; Ioana Cristescu (CoRR, 2018)

Interactions between Causal Structures in Graph Rewriting Systems. - Ioana Cristescu; Walter Fontana; Jean Krivine (CREST@ETAPS, 2018)

Counters in Kappa: Semantics, Simulation, and Static Analysis. - Pierre Boutillier; Ioana Cristescu; Jérôme Feret (ESOP, 2019)

Security Analysis of IoT Systems Using Attack Trees. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Salah Sadou (GraMSec@CSF, 2019)

Assessing Vulnerabilities in IoT-Based Ambient Assisted Living Systems. - Ioana Domnina Cristescu; José Ginés Giménez-Manuel; Juan Carlos Augusto (Security and Privacy in the Internet of Things, 2019)

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. - Clément Aubert; Ioana Cristescu (CONCUR, 2020)

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication). - Clément Aubert; Ioana Cristescu (CoRR, 2020)

End-to-end information flow security for web services orchestration. - Najah Ben Said; Ioana Cristescu (Sci. Comput. Program., 2020)

Expressiveness of concurrent intensionality. - Ioana Cristescu; Thomas Given-Wilson; Axel Legay (Theor. Comput. Sci., 2020)