Publications 2008

Books

  1. J-M. Couvreur, T. Jéron (eds.). Proceedings of 8th School on MOdeling and VErifying parallel Process (MOVEP'08). 2008. details

Academic Journals

  1. S. Abbes, A. Benveniste. True-concurrency probabilistic models: Markov nets and a law of large numbers. Theoretical Computer Science, 390(2):129-170, 2008. details
  2. Eric Badouel, Maurice Tchoupé Tchendji. Merging Hierarchically-Structured Documents in Workflow Systems. Electronic Notes in Theoretical Computer Science, 203(5):3-24, 2008. details
  3. Eric Badouel, Maurice Tchoupé Tchendji. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 8:18-48, 2008. details
  4. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. details download pdf
  5. B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems (TOCS), 42(4):536-567, 2008. details
  6. S. Yang, L. Hélouet, T. Gazagnaire. Logic-based diagnosis for distributed systems. Theoretical Computer Science, Special Issue for P.S. Thiagarajan's Festchrift, 2008. details
  7. J. Komenda, J. van Schuppen, B. Gaudin, H. Marchand. Supervisory Control of Modular Systems with Global Specification Languages. Automatica, 44(4):1127-1134, April 2008. details doi pdf

Book Chapters

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu. Validation of Reactive Systems. In Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chap. 2, pp. 51-76, Hermès Science, January 2008. details

International Conferences

  1. E. Best, P. Darondeau. Decomposition Theorems for Bounded Persistent Petri Nets. In Applications and Theory of Petri Nets, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5062, Pages 33-51, 2008. details doi
  2. P. Darondeau, B. Genest, P. S. S. Thiagarajan, S. Yang. Quasi-Static Scheduling of Communicating Tasks. In CONCUR 2008 - Concurrency Theory, Springer-Verlag (ed.), Lecture Notes in Computer Science, Volume 5201, Pages 310-324, Berlin/Heidelberg, 2008. details doi
  3. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. In Foundations of Software Science and Computational Structures, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 4962, Pages 458-473, 2008. details
  4. P. Darondeau, M. Koutny, M. Pietkiewicz-Koutny, A. Yakovlev. Synthesis of Nets with Step Firing Policies. In Applications and Theory of Petri Nets, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5062, Pages 112-131, 2008. details doi
  5. N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. In Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Pages 55-64, Saint Malo, France, September 2008. details doi pdf
  6. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008. details pdf
  7. Ch. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. In Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Pages 217-226, Pittsburgh, PA, USA, June 2008. details doi pdf
  8. Ch. Baier, N. Bertrand, M. Groesser. On Decision Problems for Probabilistic Büchi Automata. In Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), LNCS, Volume 4962, Pages 287-301, Budapest, Hungary, March 2008. details doi pdf
  9. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. In Workshop on Discrete Event Systems, WODES'08, Pages 28-35, Gothenburg, Sweden, March 2008. details pdf

Invited Conferences

  1. A. Benveniste. Composing Web Services in an Open World: Issues of Quality of Service. In FORMATS, 2008. details
  2. P. Darondeau. On the Synthesis of Zero-Safe Nets. In Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Springer Berlin / Heidelberg (ed.), Lecture Notes in Computer Science, Volume 5065, 2008. details doi
  3. D. Biswas, T. Gazagnaire, B. Genest. Small Logs for Transactional Services. In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, China, December 2008. details
  4. P. Caspi, A. Benveniste. Time-Robust discrete control over networked Loosely Time-Triggered Architectures. In IEEE Control and Decision Conference, December 2008. details download
  5. B. Genest, A. Muscholl, O. Serre, M. Zeitoun. Tree Pattern Rewrite Systems. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS, Volume 5311, Pages 332-346, Seoul, Korea, October 2008. details
  6. T. Jéron. Symbolic model-based test selection. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, P. Machado, A. Andrade, A. Duran (eds.), Electronic Version available in ENTCS, Volume 240, pages 167-184, Pages 17-32, August 2008. details doi pdf
  7. D. Biswas, B. Genest. Minimal Observability for Transactional Hierarchical Services. In 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Volume ISBN 1-891706-22-5, Pages 531-536, San Francisco, USA, July 2008. details
  8. A. Madalinski, E. Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. In ACSD'08, Applications of Concurrency to System Design, Xian, China, July 2008. details

Research Reports

  1. A. Bouillard, S. Rosario, A. Benveniste, S. Haar. Monotonicity in Service Orchestrations. INRIA Research Report INRIA, No 0, 2008. details
  2. L. Hélouet. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008. details
  3. G. Kalyon, T. Le gall, H. Marchand, T. Massart. Control of Infinite Symbolic Transitions Systems under Partial Observation. Technical report of the verification group Université Libre de Bruxelles, No 103, October 2008. details pdf
  4. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008. details pdf
  5. C. Baier, N. Bertrand, P. Bouyer, T. Brihaye, M. Grosser. A Probabilistic Semantics for Timed Automata. Research Report No LSV-08-13 Laboratoire Spécification et Vérification, ENS Cachan, France, April 2008. details pdf
  6. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008. details pdf

Misc

  1. J. Dubreil, T. Jéron, L. Hélouët, H. Marchand. Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions. Delivrable, Politess Project, 2008. details
  2. L. Hélouet, H. Marchand, T. Jéron. Testing Covert Channels. 2008. details
  3. L. Hélouet, T. Gazagnaire, H. Marchand. Anomaly Detection with diagnosis technique. 2008. details
  4. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008. details
  5. A. Madalinski, E. Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. No 6412, 2008. details
  6. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008. details
  7. L. Hélouet. SOFAT V3 : Suer Manual. August 2008. details

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