Search

Your search keyword '"Marchand, Hervé"' showing total 216 results
Start Over Author "Marchand, Hervé"
216 results on '"Marchand, Hervé"'

1. Synthesis of Supervisors Robust Against Sensor Deception Attacks

Author

Meira-Góes, Rômulo, Lafortune, Stéphane, and Marchand, Hervé

Subjects
Electrical Engineering and Systems Science - Systems and Control
Abstract

We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially-observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem., Comment: Full version of preprint accepted at IEEE Transactions on Automatic Control

Published
2020

3. On the Cost of Diagnosis with Disambiguation

Author

Hélouët, Loïc, Marchand, Hervé, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bertrand, Nathalie, editor, and Bortolussi, Luca, editor

Published
2017
Full Text
View/download PDF

6. Enforcement of (Timed) Properties with Uncontrollable Events

Author

Renard, Matthieu, Falcone, Yliès, Rollet, Antoine, Pinisetty, Srinivas, Jéron, Thierry, Marchand, Hervé, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Leucker, Martin, editor, Rueda, Camilo, editor, and Valencia, Frank D., editor

Published
2015
Full Text
View/download PDF

7. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Author

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bartocci, Ezio, editor, and Majumdar, Rupak, editor

Published
2015
Full Text
View/download PDF

8. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems

Author

An, Xin, Delaval, Gwenaël, Diguet, Jean-Philippe, Gamatié, Abdoulaye, Gueye, Soguy, Marchand, Hervé, de Palma, Noël, Rutten, Eric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Natarajan, Raja, editor, Barua, Gautam, editor, and Patra, Manas Ranjan, editor

Published
2015
Full Text
View/download PDF

10. Verification of Inference Observability in Supervisory Control of Discrete-Event Systems

Author

Sharpe, C, Ricker, Laurie, Marchand, Hervé, Department of Mathematics and Computer Science [Mount Allison University], Mount Allison University, Logic and applications (LOGICA), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Inria Rennes – Bretagne Atlantique, and Institut National de Recherche en Informatique et en Automatique (Inria)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

We present a new algorithm to verify inference observability in supervisory control of decentralized discreteevent systems. The algorithm's success relies on the following idea. An inferencing solution exists only when a language does not contain any inferencing cycles.

Published
2023

13. Runtime Enforcement of Timed Properties

Author

Pinisetty, Srinivas, Falcone, Yliès, Jéron, Thierry, Marchand, Hervé, Rollet, Antoine, Nguena Timo, Omer Landry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Qadeer, Shaz, editor, and Tasiran, Serdar, editor

Published
2013
Full Text
View/download PDF

14. Global State Estimates for Distributed Systems

Author

Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, Massart, Thierry, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bruni, Roberto, editor, and Dingel, Juergen, editor

Published
2011
Full Text
View/download PDF

15. More Testable Properties

Author

Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Petrenko, Alexandre, editor, Simão, Adenilso, editor, and Maldonado, José Carlos, editor

Published
2010
Full Text
View/download PDF

18. Automatic Testing of Access Control for Security Properties

Author

Marchand, Hervé, Dubreil, Jérémy, Jéron, Thierry, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Núñez, Manuel, editor, Baker, Paul, editor, and Merayo, Mercedes G., editor

Published
2009
Full Text
View/download PDF

19. Dynamic Observers for the Synthesis of Opaque Systems

Author

Cassez, Franck, Dubreil, Jérémy, Marchand, Hervé, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Liu, Zhiming, editor, and Ravn, Anders P., editor

Published
2009
Full Text
View/download PDF

22. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

Author

Rusu, Vlad, Marchand, Hervé, Jéron, Thierry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fitzgerald, John, editor, Hayes, Ian J., editor, and Tarlecki, Andrzej, editor

Published
2005
Full Text
View/download PDF

24. From Safety Verification to Safety Testing

Author

Rusu, Vlad, Marchand, Hervé, Tschaen, Valéry, Jéron, Thierry, Jeannet, Bertrand, Goos, Gerhard, Series editor, Hartmanis, Juris, Series editor, van Leeuwen, Jan, Series editor, Groz, Roland, editor, and Hierons, Robert M., editor

Published
2004
Full Text
View/download PDF

26. A Protocol for Loosely Time-Triggered Architectures

Author

Benveniste, Albert, Caspi, Paul, Guernic, Paul Le, Marchand, Hervé, Talpin, Jean -Pierre, Tripakis, Stavros, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Sangiovanni-Vincentelli, Alberto, editor, and Sifakis, Joseph, editor

Published
2002
Full Text
View/download PDF

27. Concevoir des documents de communication à l’intention du public

Author

Bernard, Marie-Annick, Bretton, Marie-Hélène, Briault, Marianne, Caroff, Florence, de Miribel, Marielle, Filhol, Sylvie, Jacques, Jean-François, Marchand, Hervé, Moreau, Françoise, Vingtdeux, Nelly, and de Miribel, Marielle

Subjects
gestion et évaluation, LAN025000, GL, Information Science & Library Science, services et publics, monde de l’information
Abstract

Les bibliothèques offrent à lire, et pas seulement leurs collections. Toute personne, usager actif ou non, rencontre dans la bibliothèque bien d’autres messages que ceux véhiculés par les livres : guides d’orientation, cartes de lecteur, éléments de signalétique, logos, affichage informatif, bibliographies, etc. Cette floraison de documents produits par la bibliothèque témoigne d’une volonté constante des professionnels : établir un lien avec le public, le séduire, le guider, l’alerter, l’informer voire le former. Mais cette médiation par l’écrit est parfois très improvisée, au risque de ne pas atteindre ses objectifs. Concevoir des documents de communication à l’intention du public répond à la fois à une stratégie d’ensemble et à des impératifs techniques précis. C’est ce que Marielle de Miribel, enseignante à Médiadix, propose de démontrer dans ce volume, avec le concours de nombreux spécialistes.

Published
2022

28. F. Gérer la communication de la bibliothèque dans le cadre d’une communication institutionnelle

Author

Marchand, Hervé

Subjects
gestion et évaluation, LAN025000, GL, Information Science & Library Science, services et publics, monde de l’information
Abstract

La communication d’une bibliothèque doit prendre en compte trois axes fondamentaux et indissociables : les habitants (le récepteur), les usagers (la cible spécifique) et la (ou les) institution(s) (l’émetteur). Les outils de communication d’une bibliothèque, s’ils s’adressent avant tout aux usagers, doivent prendre en compte le discours de l’institution qui s’adresse eux, à l’ensemble de la population d’un territoire donné. Si l’usager ne représente qu’une part de cette population, il est cep...

Published
2022

42. Compositional model checking of SDN platform

Author

Majith, Abdul, Sankur, Ocan, Marchand, Hervé, Dinh, Thai, SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Nokia Bell Labs, Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1)

Subjects
SDN, safety, compositional checking, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], slice, verification, isolation
Abstract

Software-Defined Network (SDN) technology provides the possibility to turn the network infrastructure into a dynamic programmable fabric capable of meeting the application needs in real-time. Thanks to the independence of the control plane from the data plane, the control entity, generally called as controller, has also the flexibility to implement proprietary complex algorithms. Within such a dynamic and complex environment, this document advocates for applying formal verification methods and more precisely composition model checking to ensure the correct behavior of the overall SDN system at design phase. To illustrate this purpose, it proposes to build different comprehensive formal models of a typical SDN platform selected here as a study object. Thorough performance results related to each model are provided and discussed. Thanks to such formal verifications, it is possible to pinpoint issues such as the one regarding network isolation within a complex SDN architecture. Although dealing with formal methods, this document attempts to strike a balance between theory, experimental work and network architecture discussion.

Published
2021

48. Runtime Enforcement of Timed Properties

Author

Pinisetty, Srinivas, primary, Falcone, Yliès, additional, Jéron, Thierry, additional, Marchand, Hervé, additional, Rollet, Antoine, additional, and Nguena Timo, Omer Landry, additional

Published
2013
Full Text
View/download PDF

50. More Testable Properties

Author

Falcone, Yliès, primary, Fernandez, Jean-Claude, additional, Jéron, Thierry, additional, Marchand, Hervé, additional, and Mounier, Laurent, additional

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results