Hervé Marchand

Publications of Hervé Marchand

Load the BibTeX file

Thesis

1. H. Marchand. Contribution to the Analysis of Discrete Event Systems. Habilitation à diriger des recherches Université de Rennes 1, June 2017.
2. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. PhD Thesis Université de Rennes 1, IFSIC, October 1997.

Books

1. H. Marchand, L. Hèlouet (eds.). Modélisation des systèmes réactifs. Journal Européen des systèmes automatisés 47(1-2-3), Rennes France, November 2013.

Academic Journals

1. R Meira-Gees, H. Marchand, S. Lafortune. Dealing with sensor and actuator deception attacks in supervisory control. Automatica, 147, January 2023.
2. R. Meira-Goes, S. Lafortune, H. Marchand. Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Transactions on Automatic Control, 2021.
3. M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events. Mathematical Structures in Computer Science, 51(1) May 2019.
4. E. Fabre, L. Hélouet, E. Lefaucheux, H. Marchand. Diagnosability of Repairable Faults. Discrete Event Dynamic Systems, 28(2):183-213, June 2018.
5. S. Pinisetty, T. Jéron, S. Tripakis, Y. Falcone, H. Marchand, V. Preoteasa. Predictive Runtime Verification of Timed Properties. Journal of Systems and Software, 132:353-365, October 2017.
6. S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive runtime enforcement. Formal Methods in System Design, 51(1):154-199, August 2017.
7. Y. Falcone, T. Jéron, H. Marchand, S. Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Science of Computer Programming, 123:2-41, 2016.
8. Ph. Darondeau, H. Marchand, L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems. Discrete Event Dynamic Systems, 2014.
9. Y. Falcone, H. Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014.
10. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguema Timo. Runtime enforcement of timed properties revisited. Formal Methods in System Design, 45(3):381-422, 2014.
11. S. Chédor, Ch. Morvan, S. Pinchinat, H. Marchand. Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems. Discrete Event Dynamic Systems, 2014.
12. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Distributed Systems with Communications. IEEE Transaction on Automatic Control, 59(2):396-408, February 2014.
13. L. Hélouet, H. Marchand, B. Genest, T. Gazagnaire. Diagnosis from Scenarios, and applications. Discrete Event Dynamic Systems : Theory and Applications, (To appear), 2013.
14. G Delaval, E. Rutten, H. Marchand. Integrating Discrete Controller Synthesis in a Reactive Programming Language Compiler. Discrete Event Dynamic Systems : Theory and Applications, 23(4):385-418, December 2013.
15. 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.
16. 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.
17. 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.
18. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems : Theory and Applications, 21(3):359-393, September 2011.
19. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010.
20. E. Rutten, H. Marchand. Automatic generation of safe handlers for multi-task systems. Journal of Embedded Computing, 3(4):255-276, 2009.
21. 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.
22. 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.
23. 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, August 2007.
24. T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systémes symboliques, discrets ou hybrides. Technique et Science Informatiques (TSI), 25(3):293-319, 2006.
25. B. Gaudin, H Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, Special issue of European Control Conference, ECC 2003, 10(2), 2004.
26. 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.
27. H. Marchand, O. Boivineau, S. Lafortune. On Optimal Control of a class of partially-Observed Discrete Event Systems. Automatica, 38(11):1935-1943, October 2002.
28. 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, August 2001.
29. 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.
30. 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, October 2000.
31. 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, August 2000.
32. 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, April 1998.

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.
2. C. Constant, T. Jéron, H. Marchand, V. Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. In Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Vol. 1, Chap. 2, pp. 59-88, Hermès Science, 2006.
3. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, January 1995.

International Conferences

1. C K Sharpe, S.H. Yoon, Laurie S. L. Ricker, H Marchand A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems. In 17th Ifac Workshop on Discrete Event Systems,, Apr 2024, Rio De Janeiro, Brazil.
2. C. K. Sharpe, S. L. Ricker, H. Marchand. Mutual Opacity between Multiple Adversaries. In Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Prague, Czech Republic, September 2022.
3. A. Majith, O. Sankur, H. Marchand, Thai Dinh. Compositional model checking of an SDN platform. In DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Pages 1-8, Milan, Italy, April 2021.
4. G Zinck, L. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020.
5. R. Meira-Goes, H. Marchand, S. Lafortune. Towards resilient supervisors against sensor deception attacks. In CDC 2019 - 58th IEEE Conference on Decision and Control, Pages 1-6, Nice, France, December 2019.
6. L. Hélouet, H. Marchand, J. Mullins. Concurrent secrets with quantified suspicion. In ACSD'2018 - 18th International Conference on Application of Concurrency to System Design, Pages 75-84, Bratislava, Slovakia, June 2018.
7. L. Hélouet, H. Marchand, L. Ricker. Opacity with powerful attackers. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 475-482, Sorrento Coast, Italy, May 2018.
8. Nicolas Berthier, H Marchand, E. Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 1-8, Sorrento Coast, Italy, May 2018.
9. L. Hélouet, H. Marchand. On the cost of diagnosis with disambiguation. In QEST 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Berlin, France, September 2017.
10. N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logico-numerical Control for Software Components Reconfiguration. In CCTA 2017 - IEEE Conference on Control Technology and Applications, Pages 1599-1606, Mauna Lani, HI, United States, August 2017.
11. L. Ricker, T.F. Lidbetter, H. Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems. In 20th World Congress The International Federation of Automatic Control, Toulouse, France, July 2017.
12. E. Fabre, L. Hélouet, E. Lefaucheux, H. Marchand. Diagnosability of Repairable Faults. In 13th International Workshop on Discrete Event Systems, (Version Longue), Pages 256-262, Xi'an, China, 2016.
13. L. Ricker, H. Marchand. Finding the weakest link(s): Coalition games for decentralized discrete-event control. In IEEE Conference on Decision and Control, Las-Vegas, United States, December 2016.
14. S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In SAC 2016 31st ACM Symposium on Applied Computing, Pisa, Italy, April 2016.
15. N. Berthier, H. Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. In 54th IEEE Conference on Decision and Control, Pages 1000-1007, Osaka, Japan, December 2015. download
16. M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Theoretical Aspects of Computing - ICTAC 2015, Volume LNCS, Cali, Colombia, October 2015. download
17. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. In RV'2015, 6th International Conference on Runtime Verification, Ezio Bartocci, Rupak Majumdar (eds.), Lecture Notes in Computer Science, Volume 9333, Vienne, Austria, September 2015. download
18. N. Berthier, X. An, H. Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. In 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Volume 48, Pages 132-138, Cancun, Mexico, May 2015. download
19. X. An, G. Delaval, J-P. Diguet, A. Gamatie, A. Gueye, H. Marchand, N. De Palma, E. Rutten. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. In ICDCIT: International Conference on Distributed Computing and Internet Technology, 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, Volume LNCS, Bhubaneswar, India, February 2015.
20. N. Berthier, H. Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In IEEE International Workshop on Discrete Event Systems, Pages 46-53, Cachan, France, May 2014.
21. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems, Pages 420-427, Cachan, France, May 2014.
22. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Pages 1279-1286, Gyeongju, Korea, March 2014.
23. Y. Falcone, H. Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control, Pages 7271-7278, Florence, Italy, December 2013.
24. G. Delaval, N. De palma, S. Gueye, H. Marchand, E. Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. In Euopean Control Conference, Pages 117-124, Zurich. Switzerland, July 2013.
25. L. Ricker, H. Marchand. A parity-based architecture for decentralized discrete-event control. In American Control Conference, Pages 5678-5684, Washington, DC, USA, June 2013.
26. 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.
27. 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.
28. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Synthesis of Communicating Controllers for Distributed Systems. In 50th IEEE Conference on Decision and Control and European Control Conference, Pages 1803-1810, Orlando, USA, December 2011.
29. H. Yu, J-P. Talpin, L. Besnard, T. Gautier, H. Marchand, P. Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 21-30, Cambridge, United Kingdom, July 2011.
30. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Global State Estimates for Distributed Systems. In 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE, LNCS, Volume 6722, Pages 198-212, Reykjavik, Iceland, June 2011.
31. W. L. Andrade, P. Machado, T. Jéron, H. Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In 7th Workshop on Advances in Model Based Testing A-MOST 2011, Berlin, Germany, March 2011.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Computational Complexity for State-Feedback Controllers with Partial Observation. In 7th International Conference on Control and Automation, ICCA'09, Pages 435-441, Christchurch, New Zealand, December 2009.
38. H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113-128, November 2009.
39. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Z. Liu, A.P. Ravn (eds.), LNCS, Volume 5799, Pages 352-367, Macao SAR, China, October 2009.
40. G. Kalyon, Le Gall T, H. Marchand, T. Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. In European Control Conference, Pages 1456-1462, Budapest, Hungary, August 2009.
41. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009.
42. 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.
43. 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.
44. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. In First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, June 2007.
45. J. Komenda, H. Marchand, S. Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. In 3rd IFAC Workshop on Discrete-Event System Design, 2006.
46. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. In 4th IFIP International Conference on Theoretical Computer Science, IFIP book series, Pages 197-212, Stantiago, Chile, August 2006.
47. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In Workshop on Discrete Event Systems, WODES'06, Also published in DX'06, Penaranda de Duero (Burgos, Spain), Pages 262-268, Ann-Arbor (MI, USA), July 2006.
48. K. Schmidt, H. Marchand, B. Gaudin.. Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models. In Workshop on Discrete Event Systems, WODES'06, Pages 149-154, Ann-Arbor (MI, USA), July 2006.
49. B. Gaudin, H. Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), December 2005.
50. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand. Modular supervisory control with general indecomposable specification languages. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), December 2005.
51. T. Le Gall, B. Jeannet, H. Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), December 2005.
52. B. Gaudin, H. Marchand. Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach. In 6th IFAC World Congress, Prague, Czech Republic, July 2005.
53. V. Rusu, H. Marchand, T. Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. In Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), LNCS, Volume 3582, Pages 189-204, July 2005.
54. B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, June 2005.
55. B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181-186, September 2004.
56. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, March 2004.
57. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.
58. A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Real-time Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
59. B. Gaudin, H Marchand. Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines. In European Control Conference, ECC 2003, An extended version (with the proofs) is available at http://www.irisa.fr/vertecs/Publis/Ps/2003-ECC-Extended-version.pdf, Cambridge, UK, September 2003.
60. H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 1199-1204, Las Vegas, USA, December 2002.
61. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software Conference (EMSOFT '02), LNCS, Volume 2491, Pages 252-265, Grenoble, France, October 2002.
62. H. Marchand, E. Rutten. A case study in applying discrete control synthesis to excavator operation. In IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Hammamet, Tunisia, October 2002.
63. H. Marchand, E. Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Pages 241-248, June 2002.
64. H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 2235-2240, Orlando, Florida, USA, December 2001.
65. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand. The Signal declarative synchronous language : controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, Pages 3284-3289, Orlando, Florida, USA, December 2001.
66. S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000.
67. H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000.
68. H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, October 1999.
69. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, October 1998.
70. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, October 1998.
71. H. Marchand, M. Le Borgne. Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italie, September 1998.
72. H. Marchand, M. Le Borgne. On the Optimal Control of Polynomial Dynamical Systems over Z/pZ. In 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, August 1998.
73. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, July 1996.
74. H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, September 1995.

National Conferences

1. G. Delaval, E. Rutten, H. Marchand. Intégration de la synthése de contrôleurs discrets dans un langage de programmation. In Modélisation des Systèmes Réactifs (MSR'11), Pages 125-140, Lille, France, November 2011.
2. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Contrôle décentralisé de systémes symboliques infinis sous observation partielle. In Modélisation des Systèmes Réactifs (MSR'09), Pages 805-820, November 2009.
3. H. Marchand, J. Dubreil, T. Jéron. Génération automatique de tests pour des propriétés de sécurité. In 4éme Conférence sur la Sécurité des Architectures Réseaux et des Systémes d'Information, Pages 157-174, June 2009.
4. J. Dubreil, T. Jéron, H. Marchand. Construction de moniteurs pour la surveillance de propriétés de sécurité. In Modélisation des Systèmes Réactifs (MSR'07), Pages 105-120, Lyon, France, October 2007.
5. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Synthése optimale de contrôleurs discrets et systémes répartis tolérants aux fautes. In Modélisation des Systèmes Réactifs (MSR'07), Pages 71-86, Lyon, France, October 2007.
6. T. Jéron, H. Marchand, M-O. Cordier. Motifs de surveillance pour le diagnostics de systémes é événements discrets finis. In 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Tours, France, January 2006.
7. B. Gaudin, H. Marchand. Une approche modulaire pour le contrôle de systémes é événements discrets concurrents. In Modélisation des Systèmes Réactifs (MSR'05), Grenoble (Autrans), France, October 2005.
8. B. Gaudin, H. Marchand. Contrôle de systémes é événements discrets hiérarchiques. In Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003.
9. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Synthése de contrôleurs pour une relation de conformité. In Modélisation des Systèmes Réactifs, Metz, France, October 2003.
10. H. Marchand, L. Rozé. Diagnostic de pannes sur des systémes é événements discrets : une approche é base de modéles symboliques. In 13éme Congrés Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Pages 191-200, Angers, France, January 2002.
11. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systémes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996.

Research Reports

1. Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010.
2. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010.
3. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010.
4. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. Research Report IRISA, No 1930, May 2009.
5. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. Research Report IRISA, No 1921, February 2009.
6. 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.
7. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008.
8. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008.
9. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Research Report INRIA, No 6137, March 2007.
10. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007.
11. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006.
12. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006.
13. T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Research Report IRISA, No 1683, January 2005.
14. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004.
15. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004.
16. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004.
17. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003.
18. E. Rutten, H. Marchand. Task-level programming for control systems using discrete control synthesis. Research Report INRIA, No 4389, February 2002.
19. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Research Report CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, September 2000.
20. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Research Report Irisa, No 1279, November 1999.
21. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999.
22. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Research Report CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, July 1998.
23. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Research Report Irisa, No 1125, October 1997.
24. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Research Report Irisa, No 1124, September 1997.
25. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Research Report Irisa, No 917, March 1995.
26. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Research Report Irisa, No 916, March 1995.
27. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Research Report Irisa, No 797, March 1994.