- P. Darondeau, B. Genest, P.S. Thiagarajan, S. Yang. Quasi-static scheduling of communicating tasks. Information and Computation, Special Issue: 19th International Conference on Concurrency Theory (CONCUR 2008), 208(10):1154-1168, 2010. download download
- E. Elkind, B. Genest, D. Peled, P. Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Special Issue of ATVA'07). International Journal of Foundations of Computer Sciecnce (IJFCS), 21(2):211-233, 2010.
- V. Rehak, P. Slovak, J. Strejcek, L. Hélouet. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010.
- S. Rosario, A. Benveniste, C. Jard. Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Service Res, 7(2):21-42, 2010.
- S. Rosario, A. Benveniste, C. Jard. Flexible Probabilistic QoS Management of Orchestrations. International Journal of Web Services Research, 2, 2010.
- J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.
- Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: Rationality issues. In Conference on Decision and Control and European Control Conference, CDC-ECC, Pages 3855-3861, 2010.
- A. Benveniste, B. Caillaud, M. Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010.
- B. Bollig, L. Hélouet. Realizability of Dynamic MSC Languages. In CSR, Lecture Notes in Computer Science, Volume 6072, Pages 48-59, 2010.
- T. Chatain, E. Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. In Petri Nets, Pages 165-184, 2010.
- E. Fabre, L. Jézéquel, P. Haslum, S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. In Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Pages 65-72, Toronto, Ontario, Canada, 2010.
- E. Fabre, Loig Jézéquel. On the construction of probabilistic diagnosers. In Workshop on Discrete Event Systems, WODES'2010, 2010.
- L. Hélou\"et, A. Benveniste. Document Based Modeling of Web Services Choreographies Using Active XML. In ICWS, Pages 291-298, 2010.
- L. Hélou\"et, A. Roumy. Covert channel detection using Information Theory. In Secco 2010,8th International Workshop on Security Issues in Concurrency, ENTCS, Pages 93-116, 2010.
- Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. In 22nd IFIP International Conference on Testing Software and Systems, LNCS, Volume 6435, Pages 30-46, Natal, Brazil, November 2010.
- O. Landry Nguena, H. Marchand, A. Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints (Short paper). In 22nd IFIP International Conference on Testing Software and Systems, Pages 25-30, Natal, Brazil, November 2010.
- N. Bertrand, C. Morvan. Probabilistic Regular Graphs. In Infinity, EPTCS, Volume 39, Pages 77-90, Singapore, September 2010.
- E. Best, P. Darondeau, R. Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, August 2010.
- Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010.
- E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria optimal discrete controller synthesis for fault-tolerant real-time tasks. In Workshop on Discrete Event Systems, WODES'10, Pages 366-373, Berlin, Germany, August 2010.
- C. Morvan. Contextual graph grammars characterising Rational Graphs. In Non-Classical Models of Automata and Applications (NCMA), Pages 141-153, Jena, Germany, August 2010.
- E. Best, P. Darondeau. Separability in Persistent Petri Nets. In Applications and Theory of Petri Nets, ATPN 2010, Pages 246-266, Braga, Portugal, June 2010.
- G. Delaval, H. Marchand, E. Rutten. Contracts for Modular Discrete Controller Synthesis. In Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2010, Pages 57-66, Stockholm, Sweden, April 2010.
- B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In ICALP (2), Lecture Notes in Computer Science, Volume 6199, Pages 52-63, 2010.
- B. Genest, A. Muscholl, Z. Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Keywords: Active documents, Guarded Active XML, verification, data trees, tree rewriting, well-structured systems, Volume 8, Pages 469-480, Dagstuhl, Germany, 2010.
- A. Kattepur, S. Sen, B. Baudry, A. Benveniste, C. Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In ICWS, Pages 99-106, 2010.
- L. Hélouet, B. Bollig, S. Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010.
- L. Hélouett, A. Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010.
- N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Research Report INRIA, No 7381, October 2010.
- Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010.
- Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010.
- Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010.
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