Ioana Cristescu

According to our database, Ioana Cristescu authored at least 20 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Expressiveness of concurrent intensionality.

Ioana Cristescu, Thomas Given-Wilson, Axel Legay

Theor. Comput. Sci., 2020

End-to-end information flow security for web services orchestration.

Najah Ben Said, Ioana Cristescu

Sci. Comput. Program., 2020

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication).

Clément Aubert, Ioana Cristescu

CoRR, 2020

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.

Clément Aubert, Ioana Cristescu

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Assessing Vulnerabilities in IoT-Based Ambient Assisted Living Systems.

Ioana Domnina Cristescu, José Ginés Giménez-Manuel, Juan Carlos Augusto

Proceedings of the Security and Privacy in the Internet of Things: Challenges and Solutions, 2019

Security Analysis of IoT Systems Using Attack Trees.

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Salah Sadou

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

Counters in Kappa: Semantics, Simulation, and Static Analysis.

Pierre Boutillier, Ioana Cristescu, Jérôme Feret

Proceedings of the Programming Languages and Systems, 2019

2018

Interactions between Causal Structures in Graph Rewriting Systems.

Ioana Cristescu, Walter Fontana, Jean Krivine

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems.

Clément Aubert, Ioana Cristescu

CoRR, 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

A Language for Analyzing Security of IOT Systems.

Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Modeling Language for Security Threats of IoT Systems.

Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Contextual equivalences in configuration structures and reversibility.

Clément Aubert, Ioana Cristescu

J. Log. Algebraic Methods Program., 2017

When rule-based models need to count.

Pierre Boutillier, Ioana Cristescu

CoRR, 2017

2016

Termination in a π-calculus with subtyping.

Ioana Cristescu, Daniel Hirschkoff

Math. Struct. Comput. Sci., 2016

Rigid Families for the Reversible π-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Reversible Barbed Congruence on Configuration Structures.

Clément Aubert, Ioana Cristescu

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Rigid Families for CCS and the π-calculus.

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2013

A Compositional Semantics for the Reversible p-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

Termination in a Pi-calculus with Subtyping

Ioana Cristescu, Daniel Hirschkoff

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011