Ioana Cristescu

21 papers A* 1A 1B 1C 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
GenAI for Systems: Recurring Challenges and Design Principles from Software to Silicon.
CoRR
Arya Tschand, Chenyu Wang, Zishen Wan, Andrew Cheng, Ioana Cristescu, Kevin He, Howard Huang, Alexander Ingare, Akseli Kangaslahti, Sara Kangaslahti, Theo Lebryk, Hongjin Lin, Jeffrey Jian Ma, Alexandru Meterez, Clara Mohri, Depen Morwani, Sunny Qin, Roy Rinberg, Paula Rodriguez Diaz, Alyssa Mia Taliotis, Pernille Undrum Fathi, Rosie Zhao, Todd Zhou, Vijay Janapa Reddi
2020 J jnl
End-to-end information flow security for web services orchestration.
Sci. Comput. Program.
Najah Ben Said, Ioana Cristescu
2020 J jnl
Expressiveness of concurrent intensionality.
Theor. Comput. Sci.
Ioana Cristescu, Thomas Given-Wilson, Axel Legay
2020 B conf
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.
CONCUR
Clément Aubert, Ioana Cristescu
2020 J jnl
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.
CoRR
Clément Aubert, Ioana Cristescu
2020 J jnl
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication).
CoRR
Clément Aubert, Ioana Cristescu
2019 A conf
Counters in Kappa: Semantics, Simulation, and Static Analysis.
ESOP
Pierre Boutillier, Ioana Cristescu, Jérôme Feret
2019 — conf
Security Analysis of IoT Systems Using Attack Trees.
GraMSec
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Salah Sadou
2018 — conf
A Language for Analyzing Security of IOT Systems.
SoSE
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
2018 C conf
A Modeling Language for Security Threats of IoT Systems.
FMICS
Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf
2018 J jnl
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems.
CoRR
Clément Aubert, Ioana Cristescu
2018 — conf
Interactions between Causal Structures in Graph Rewriting Systems.
CREST
Ioana Cristescu, Walter Fontana, Jean Krivine
2018 J jnl
The Kappa platform for rule-based modeling.
Bioinform.
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
2017 J jnl
Contextual equivalences in configuration structures and reversibility.
J. Log. Algebraic Methods Program.
Clément Aubert, Ioana Cristescu
2017 J jnl
When rule-based models need to count.
CoRR
Pierre Boutillier, Ioana Cristescu
2016 C conf
Rigid Families for the Reversible π-Calculus.
RC
Ioana Cristescu, Jean Krivine, Daniele Varacca
2016 J jnl
Termination in a π-calculus with subtyping.
Math. Struct. Comput. Sci.
Ioana Cristescu, Daniel Hirschkoff
2015 J jnl
Contextual equivalences in configuration structures and reversibility.
CoRR
Clément Aubert, Ioana Cristescu
2015 — conf
Reversible Barbed Congruence on Configuration Structures.
ICE
Clément Aubert, Ioana Cristescu
2013 A* conf
A Compositional Semantics for the Reversible p-Calculus.
LICS
Ioana Cristescu, Jean Krivine, Daniele Varacca
2011 — conf
Termination in a Pi-calculus with Subtyping
EXPRESS
Ioana Cristescu, Daniel Hirschkoff