Philippe Darondeau

Statistics

Publications

Citations

904

H-Index

Active since

1985

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre Inria de l'Université de Rennes

University of Gdańsk

Centre National de la Recherche Scientifique

Philippe Darondeau is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringProcess ControlVerificationInformation SecurityAutomation

Publications per year

1985–2014

Publications

Supervisory Control for Opacity

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand · IEEE Transactions on Automatic Control · 2010 · 192 citations · Full text

Engineering, Information Security, I Xmlns +13

Concurrent Secrets

Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski et al. · Discrete Event Dynamic Systems · 2007 · 137 citations

The synthesis problem for elementary net systems is NP-complete

Éric Badouel, Luca Bernardinello, Philippe Darondeau · Theoretical Computer Science · 1997 · 80 citations

Engineering, Automated Reasoning, Formal Methods +9

Opacity enforcing control synthesis

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand · 2008 · 72 citations

Engineering, Reachability Problem, Information Security +20

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoı̂t Caillaud, Philippe Darondeau · Formal Aspects of Computing · 2002 · 53 citations

1–5 of 20