Articles de journaux

2009

  1. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control (To appear), 2009. (détails)

2008

  1. J. Komenda, J. van Schuppen, B. Gaudin, H. Marchand, Supervisory Control of Modular Systems with Global Specification Languages, Automatica, 44:1127-1134, 2008. (détails)

2007

  1. C. Baier, N. Bertrand, Ph. Schnoebelen, Verifying nondeterministic probabilistic channel systems against omega-regular linear-time properties, ACM Transactions on Computational Logic, 9(1), 2007. (détails) download
  2. B. Gaudin, H. marchand, An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach, Discrete Event Dynamic System, 17(2):179-209, 2007. (détails)
  3. C. Constant, T. Jéron, H. Marchand, V. Rusu, Integrating formal verification and conformance testing for reactive systems, IEEE Transactions on Software Engineering, 33(8):558-574, Août 2007. (détails)
  4. S. Pickin, C. Jard, T. Jéron, J-M Jézéquel, Y. Le Traon, Test Synthesis from UML Models of Distributed Software, IEEE Transactions on Software Engineering, 33(4):252-269, Avril 2007. (détails)

2006

  1. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Technique et Science Informatiques (TSI), 25:293-319, 2006. (détails)
  2. v. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Computer Journal, 49(6):710-730, Novembre 2006. (détails)
  3. C. Baier, N. Bertrand, Ph. Schnoebelen, A note on the attractor-property of infinite-state Markov chains, Information Processing Letters, 97(2):58-63, Janvier 2006. (détails)

2005

  1. P.A. Abdulla, N. Bertrand, A. Rabinovich, Ph. Schnoebelen, Verification of Probabilistic Systems with Faulty Communication, Information and Computation, 202(2):141-165, Novembre 2005. (détails)
  2. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, Theoretical Computer Science, 342(1):56-78, Septembre 2005. (détails)
  3. N. Bertrand, I. Charon, O. Hudry, A. Lobstein, 1-Identifying Codes on Trees, Australasian Journal of Combinatorics, 31:21-35, Février 2005. (détails)

2004

  1. B. Gaudin, H Marchand, Supervisory Control of Product and Hierarchical Discrete Event Systems, European Journal of Control, 10(2), 2004. (détails)
  2. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems by means of supervisory control, International Journal of Production Research, 42(14):2809-2826, 2004. (détails)
  3. N. Bertrand, I. Charon, O. Hudry, A. Lobstein, Identifying and Locating-Dominating Codes on Chains and Cycles, European Journal of Combinatorics, 25(7):969-987, Octobre 2004. (détails)
  4. C. Jard, T. Jéron, TGV: theory, principles and algorithms, A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, Software Tools for Technology Transfer (STTT), 6, Octobre 2004. (détails)

2003

  1. V. Rusu, Combining formal verification and conformance testing for validating reactive systems, Journal of Software Testing, Verification, and Reliability, 13(3), Septembre 2003. (détails)
  2. B. Jeannet, Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems, Formal Methods in System Design, 23(1):5-37, Juillet 2003. (détails)

2002

  1. T. Jéron, TGV: théorie, principes et algorithmes, Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002. (détails)
  2. H. Marchand, O. Boivineau, S. Lafortune, On Optimal Control of a class of partially-Observed Discrete Event Systems, Automatica, 38(11):1935-1943, Octobre 2002. (détails)

2001

  1. V. Rusu, E. Zinovieva, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Electronic Notes in Theoretical Computer Science, 50(4), 2001. (détails)
  2. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan, Formal Verification of programs specified with SIGNAL : Application to a Power Transformer Station Controller, Science of Computer Programming, 41(1):85-104, Août 2001. (détails)

2000

  1. C. Jard, T. Jéron, An educational case study in protocol verification and distributed observation, Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000. (détails)
  2. H Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, SIAM Journal on Control and Optimization, 39(2):512-532, 2000. (détails)
  3. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic, Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, Octobre 2000. (détails)
  4. H. Marchand, M. Samaan, Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology, IEEE Transaction on Software Engineering, 26(8):729-741, Août 2000. (détails)
  5. S. Ramangalahy, P. Le Gall, T. Jéron, Une application de la théorie des jeux au test de conformité, Revue Electronique sur les Réseaux et l'Informatique Répartie (RERIR), 9(0):3-23, Mai 2000. (détails)
  6. Y. Le Traon, T. Jéron, J.-M. Jézéquel, P. Morel, Efficient OO Integration and Regression Testing, IEEE Transactions on Reliability, 49(1):12-25, Mars 2000. (détails)
  7. M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, L. MounierS. Gnesi, J.R. Cuellor, D. Latella, Verification and test generation for the SSCOP protocol, Journal of Science of Computer Programming, special issue on Formal Methods in Industry, 36(1):27-52, Janvier 2000. (détails)

1999

  1. O Roux, V. Rusu, F. Cassez, Hybrid verifications of reactive programs, Formal Aspects of Computing, 11(4):448-471, 1999. (détails)
  2. T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, M. Bozga, Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV, Revue de l'Electricité et de l'Eléctronique (REE), 3, Mars 1999. (détails)

1998

  1. H. Ben-Abdallah, J.Y. Choi, D. Clarke, Y.S. Kim, I. Lee, A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems, Real-Time Systems, 15(3):189-219, Novembre 1998. (détails)
  2. E. Marchand, E. Rutten, H. Marchand, F. Chaumette, Specifying and verifying active vision-based robotic systems with the Signal environment, Int. Journal of Robotics Research, 17(4):418-432, Avril 1998. (détails)

1997

  1. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology, Science of Computer Programming, 29:123-146, 1997. (détails) download

1994

  1. O. Roux, V. Rusu, Translating from GRAFCET to the reactive language ELECTRE, Automatique, Productique et Informatique Industrielle, 28(2):131-158, 1994. (détails)

1993

  1. T. Jéron, C. Jard, Testing for Unboundedness of Fifo Channels, Theoretical Computer Science, 113:93-117, 1993. (détails)

1992

  1. J.-C. Fernandez, C. Jard, T. Jéron, L. Mounier, On-the-fly Verification of Finite Transition Systems, Formal Methods in System Design, 1(2):251-273, 1992. (détails)

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 has been automatically generated using the bib2html program.