Publications 2011

Academic Journals

1. Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwena\"e Delaval, É Rutten, Mohamed Moez Yeddes. An approach for the synthesis of decentralised supervisors for distributed adaptive systems. International Journal of Critical Computer-Based Systems, 2(3):246-265, 2011.
2. Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Trans. Comput. Biology Bioinform, 8(3):672-682, 2011.
3. Peter Schrammel, Bertrand Jeannet. Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs. Journal of Symbolic Computation - Special issue on WING2010, 2011.

International Conferences

1. B. Bonakdarpour, M. Bozga, Gregor Gössler. A Theory of Fault Recovery for Component-Based Models. In SRDS, Pages 265-270, 2011.
2. Tayeb Bouhadiba, Quentin Sabah, Gwena\"el Delaval, Éric Rutten. Synchronous Control of Reconfiguration in Fractal Component-based Systems: a Case Study. In Proceedings of the ninth ACM international conference on Embedded software, EMSOFT'11, Pages 309-318, New York, NY, USA, 2011. download download
3. J. C\'amara, A. Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. In HSCC, M. Caccamo, E. Frazzoli, R. Grosu (eds.), Pages 191-200, 2011.
4. J. C\'amara, A. Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. In CDC-ECC, 2011.
5. Gregor Gössler, G. Salaün. Realizability of Choreographies for Services Interacting Asynchronously. In FACS (Formal Aspects of Computer Software), LNCS, 2011.
6. Bertrand Jeannet, Pascal Sotin. Inferring Effective Types for Static Analysis of C Programs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011, ENTCS, Venice (Italy), 2011.
7. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 492-502, Taipei (Taiwan), 2011.
8. Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. In Static Analysis Symposium, SAS'11, LNCS, Volume 6887, Pages 233-248, Venice (Italy), 2011.
9. Pascal Sotin, Bertrand Jeannet, Franck Védrine, É Goubault. Policy Iteration within Logico-Numerical Abstract Domains. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 290-305, 2011.
10. Pascal Sotin, Bertrand Jeannet. Precise Interprocedural Analysis in the Presence of Pointers to the Stack. In European Symposium on Programming, ESOP'11, LNCS, Volume 6602, Pages 459-479, Sarrebrück, 2011.
11. Gwena\"e Delaval, É Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. In Actes du 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), Pages 125-140, Lille, France, November 2011.
12. Ismail Assayad, Alain Girault, Hamoudi Kalla. Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. In International Conference on Computer Safety, Reliability and Security, SAFECOMP'11, LNCS, Volume 6894, Pages 437-451, Napoli, Italy, September 2011.
13. Soufyane Aboubekr, Gwena\"el Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon. Automatic Generation of Discrete Handlers of Real-Time Continuous Control Tasks. In Proceedings of the 18th IFAC World Congress, Volume 18, Milano, Italy, August 2011.
14. Fabienne Boyer, Gwena\"el Delaval, No\"el de Palma, Olivier Gruber, Éric Rutten. Case Studies in Discrete Control of Autonomic Computing Systems. In Proc. of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Karlsruhe, Germany, June 2011.
15. Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs. In International Conference on Application of Concurrency to System Design, ACSD'11, Newcastle, UK, June 2011.
16. S. Andalam, Partha Roop, Alain Girault. Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs. In Design Automation and Test in Europe Conference, DATE'11, Grenoble, France, April 2011.

Research Reports

1. Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric Dataflow Graph Model (extended version). Research Report INRIA, No 7828, December 2011.
2. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. Rapport de recherche INRIA, No 0, July 2011.

Misc

1. Pascal Fradet, Alain Girault, Peter Poplavko, Ali-Erdem Ozcan. A Dataflow Model for Interactive Data-dependent Streaming Applications. Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, poster, 2011.
2. Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. 5th Workshop on Mapping of Applications to MPSoCs, one-page abstract, 2011.
3. Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. Platform 2012 Developers' Conference, one-page abstract, 2011.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.