Etienne Andre

  • Ce numéro de printemps de L'Inconvénient s'ouvre avec un hommage signé Geneviève Letarte à notre Leonard Cohen national, « curieux mélange de diva et de moine bouddhiste ». Les rubriques artistiques sont particulièrement riches : en cinéma, vous retrouverez la somptueuse ode funèbre de Pablo Larraín, Jackie; en littérature québécoise, l'oeuvre de contre-culture malheureusement négligée par l'histoire de Jean Basile; en séries, Black Mirror. Dans un noir et blanc contrasté, un photoreportage de David Himbert nous colle au plus près du peuple cubain en deuil de leur « comandante », Fidel Castro. Quant à Thomas Hellman, il nous offre sa réflexion autour du Prix Nobel de littérature remis, ô stupeur, à une rock star et un poète, Bob Dylan! Le tout entoure un grand dossier consacré à la question brûlante d'actualité du populisme : de l'Amérique latine (entretien avec le professeur de l'UQAM José Del Pozo) à la confrontation médiatique Richard Martineau/Marc-André Cyr, « les derniers mouvements du balancier ont singulièrement rapetissé l'espace du dicible ».

  • L'intérêt que portait Henri Poincaré (1854-1912) à des questions d'ordre physique a été durable et profond; elle couvre presque toute sa carrière, et marque l'histoire de la physique tout au long du 20ème siècle. Sa correspondance avec cinquante-et-un physiciens, quatre chimistes, et cinq ingénieurs commence dès 1879, lorsqu'il s'engage activement dans la recherche scientifique. Elle est rythmée par des grandes découvertes d'ordre expérimental, instrumental, et théorique.
    Henri Poincaré, while well-known as the most brilliant mathematician at the close of the 19th century, is also a founder of 20th-century physics, in virtue of his fundamental contributions to Maxwell's theory, systems dynamics, electron theory, relativity and quantum theory. These subjects and others are discussed in this critical edition of his correspondence with sixty physicists, chemists, and engineers.

  • This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.
    The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.
    Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation. Contents: 1. Parametric Timed Automata.
    2. The Inverse Method for Parametric Timed Automata.
    3. The Inverse Method in Practice: Application to Case Studies.
    4. Behavioral Cartography of Timed Automata.
    5. Parameter Synthesis for Hybrid Automata.
    6. Application to the Robustness Analysis of Scheduling Problems.
    7. Conclusion and Perspectives.
    About the Authors Étienne André is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cité) in France. His current research interests focus on the verification of real-time systems.
    Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

empty