• Home
• People
• Publications

Publications 2012

Books

1. E. Fabre. Distributed Control of Large Plants; Chapter 5, Observers and automata. E. FabreCarla Seatzu, Manuel Silva, Jan H. van Schuppen (eds.), to appear, Springer, 2012.
2. S. Haar, E. Fabre. Distributed Control of Large Plants; Chapter 13, Diagnosis with Petri nets unfoldings. S. Haar, E. FabreCarla Seatzu, Manuel Silva, Jan H. van Schuppen (eds.), to appear, Springer, 2012.

Academic Journals

1. S. Akshay, B. Genest, L. Hélouet, S. Yang. Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett, 112(14):592-598, 2012.
2. A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS), 78(3):877-910, 2012.
3. N. Bertrand, A. Legay, S. Pinchinat, Raclet JB.. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 77:1212-1234, 2012.
4. F. Cassez, J. Dubreil, H. Marchand. Synthesis of Opaque Systems with Static and Dynamic Masks. Formal Methods in System Design, 40(1):88-115, 2012.
5. Y. Falcone, J-C Fernandez, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. STTT: Software Tools for Technology Transfer, (Extension of the ICTSS'10 paper), 14(2):403-437, 2012.
6. Loig Jezequel, E. Fabre. On the construction of probabilistic diagnosers for modular systems. Journal of Discrete Events Dynamical Systems, to appear, 2012.
7. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation. Discrete Event Dynamic Systems : Theory and Applications, 22(2):121-161, 2012.
8. S. Palaniappan, S. Akshay, B. Liu, B. Genest, P. S. Thiagarajan. A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE/ACM Trans. Comput. Biology Bioinform, 9(5):1352-1365, 2012.
9. P. Darondeau, S. Demri, R. Meyer, C. Morvan. Petri Net Reachability Graphs: Decidability Status of First Order Properties. Logical Methods in Computer Science, 8(4):1-28, October 2012.
10. N. Bertrand, T. Jéron, A. Stainer, M. Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. Logical Methods in Computer Science, 8(4), March 2012.
11. C. Baier, M. Grösser, N. Bertrand. Probabilistic w-automata. Journal of the ACM, 59(1), February 2012.

International Conferences

1. M. Agrawal, S. Akshay, B. Genest, P. S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Pages 55-64, 2012.
2. S. Akshay, B. Genest, L. Hélouet, S. Yang. Symbolically Bounding the Drift in Time-Constrained MSC Graphs. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 1-15, 2012.
3. S. Akshay, L. Hélouet, C. Jard, D. Lime, O. H. Roux. Robustness of Time Petri Nets under Architectural Constraints. In FORMATS, Lecture Notes in Computer Science, Volume 7595, Pages 11-26, 2012.
4. S. Akshay, L. Hélouet, C. Jard, PA. Reynier. Robustness of Time Petri Nets under Guard Enlargement. In RP, Lecture Notes in Computer Science, Volume 7550, Pages 92-106, 2012.
5. Eric Badouel. On the alpha-Reconstructibility of Workflow Nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science, Volume 7347, Pages 128-147, 2012.
6. Eric Badouel, Mohamadou Lamine Diouf. Opacité dans les systèmes workflows. In Conférence africaine sur la recherche en informatique et mathématiques appliquées, CARI, 2012.
7. C. Hounkonnou, E. Fabre. Empowering self-diagnosis with self-modeling. In Conf. on Network and System Management, CNSM'12, Pages 364-370, 2012.
8. L. Jezequel, E. Fabre. Turbo Planning. In Workshop on Discrete Event Systems, WODES'12, 2012.
9. L. Jezequel, E. Fabre. A\# : a distributed version of A* for factored planning. In IEEE Conf. on Decision and Control, CDC'12, Pages 7377-7382, 2012.
10. A. Kattepur, A. Benveniste, C. Jard. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. In ICWS, Pages 106-113, 2012.
11. A. Benveniste, B. Caillaud, JB. Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs. In Proc. of the 51st IEEE Conference on Decision and Control (CDC'12), Hawaii, December 2012.
12. S. Chédor, C. Morvan, S. Pinchinat, H. Marchand. Analysis of partially observed recursive tile systems. In 11th Int. Workshop on Discrete Event Systems, Pages 265-271, Guadalajara, Mexico, October 2012.
13. N. Bertrand, J. Fearnley, S. Schewe. Bounded Satisfiability for PCTL. In proceedings of the 21st EACSL Annual Conferences on Computer Science Logic (CSL'12), LIPIcs, Pages 92-106, Fontainebleau, France, September 2012.
14. N. Bertrand, S. Schewe. Playing Optimally on Timed Automata with Random Delays. In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12), LNCS, Volume 7595, Pages 43-58, London, UK, September 2012.
15. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, LNCS, Volume 7687, Pages 229-244, Istanbul, Turkey, September 2012.
16. A. Stainer. Frequencies in Forgetful Timed Automata. In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12), LNCS, Volume 7595, London, UK, September 2012.
17. N. Bertrand, G. Delzanno, B. König, A. Sangnier, J. Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. In 23rd International Conference on Rewriting Techniques and Applications, LIPIcs 15, Pages 101-116, Nagoya, Japan, May 2012.
18. S. Chédor, T. Jéron, C. Morvan. Test generation from recursive tiles systems. In TAP - 6th International Conference on Tests & Proofs - 2012, LNCS, Volume 7305, Pages 99-114, Prague, May 2012.
19. P. Bulychev, D. David, K. Larsen, A. Legay, G. Li, D. Poulsen, A. Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. In The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LNCS, Volume 7180, Pages 168-182, Mérida, Venezuela, March 2012.

Invited Conferences

1. B. Masson, L. Hélouet, A. Benveniste. Compatibility of Data-Centric Web Services. In WS-FM, 8th International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science, to appear, 2012.

Research Reports

1. A. Stainer. Frequencies in Forgetful Timed Automata. Research Report INRIA, No 8009, 2012.
2. A. Junier, A. Bouillard, B. Ronot. Hidden Anomaly Detection in Telecommunication Networks. Research Report INRIA, No 0, October 2012. download
3. L. Jezequel, E. Fabre. A-sharp: a Distributed A-star for Factored Planning. Research Report INRIA, No 0, March 2012. download

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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic