Rodica (Bozianu) Condurache
"It does not matter how slowly you go as long as you do not stop." (Confucius)
Lecturer in Computer Science Department
"Alexandru Ioan Cuza" University of Iasi
Email: rodica dot condurache at info.uaic.ro
Phd Thesis:
Papers:
- Rodica Condurache, Riccardo De Masellis, Valentin Goranko. "Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.", PRIMA 2019: 106-122
- Rodica Condurache, Youssouf Oualhadj, Nicolas Troquar. "The Complexity of Rational Synthesis for Concurrent Games..", CONCUR 2018
- Rodica Condurache. "Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications.", SYNASC 2018
- Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. "Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.", AAMAS 2017
- Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, and Jean-François Raskin. "The complexity of rational synthesis", ICALP 2016
- Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, and Jean-François Raskin. "The complexity of rational synthesis - full version", 2016
- Rodica Bozianu, Catalin Dima, Emmanuel Filiot:"Safraless Synthesis for Epistemic Temporal Specifications. " CAV 2014: 441-456
- Rodica Bozianu, Catalin Dima, Emmanuel Filiot:"Safraless Synthesis for Epistemic Temporal Specifications - full version. " CoRR abs/1405.0424 (2014)
- Rodica Bozianu, Catalin Dima, Constantin Enea:"Model-checking an Epistemic µ-calculus with Synchronous and Perfect Recall Semantics". TARK 2013
- Rodica Bozianu, Catalin Dima, Constantin Enea:"Model-checking an Epistemic µ-calculus with Synchronous and Perfect Recall Semantics - full version". CoRR abs/1204.2087 (2012)
Tools:
- Acacia-K : A tool for Positive-KLTL Synthesis
