Blog Archives

4 new Cassting publications

1. Quantified CTL: expressiveness and complexity François Laroussinie, Nicolas Markey. 2. Satisfiability of ATL with strategy contexts François Laroussinie, Nicolas Markey. 3. Robust Controller Synthesis in Timed Automata Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. 4. Robust Weighted Timed

Tagged with: ,
Posted in For Researchers, For Students, News Stream

New publication from Allow Ensembles

Domain Objects for Continuous Context-Aware Adaptation of Service-based Systems A. Bucchiarone, A. Marconi, M. Pistore, P. Traverso, P. Bertoli, and R. Kazhamiakin IEEE 20th International Conference on Web Services pages 571-578. June 27-July 2, 2013, Santa Clara Marriott, CA, USA

Tagged with: ,
Posted in For Researchers, For Students, News Stream