Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

47 Results
Author: personID (integer) : 833450
Image document

Petri Net Reachability Graphs: Decidability Status of FO Properties

Philippe Darondeau , Stephane Demri , Roland Meyer , Christophe Morvan
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IARCS, Dec 2011, Bombay, India
Conference papers inria-00627657v1
Image document

Quasi-Static Scheduling of Communicating Tasks

Philippe Darondeau , Blaise Genest , P.S. Thiagarajan , Shaofa Yang
Information and Computation, 2010, 208 (10), pp.1154-1168
Journal articles hal-00591759v1
Image document

Context-Free Event Domains are recognizable

Eric Badouel , Philippe Darondeau , Jean-Claude Raoult
[Research Report] RR-2588, INRIA. 1995
Reports inria-00074095v1
Image document

The Synthesis Problem for Elementary Net Systems is NP-Complete

Eric Badouel , Luca Bernardinello , Philippe Darondeau
[Research Report] RR-2558, INRIA. 1995
Reports inria-00074122v1
Image document

Supervisory Control for Modal Specifications of Services

Philippe Darondeau , Jérémy Dubreil , Hervé Marchand
[Research Report] RR-7247, INRIA. 2010
Reports inria-00472736v1
Image document

Supervisory Control for Modal Specifications of Services

Philippe Darondeau , Jérémy Dubreil , Hervé Marchand
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435
Conference papers inria-00510013v1
Image document

From bounded T-systems to 1-safe T-systemsup to language equivalence

Philippe Darondeau , Harro Wimmel
[Research Report] RR-4708, INRIA. 2003
Reports inria-00071878v1
Image document

Opacity Enforcing Control Synthesis

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
Workshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35
Conference papers inria-00344269v1
Image document

On the Petri Net Realization of Context-Free Graphs

Philippe Darondeau
[Research Report] RR-3674, INRIA. 1999
Reports inria-00072999v1
Image document

Supervisory Control for Opacity

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
IEEE Transactions on Automatic Control, 2010, 55 (5), pp.1089-1100. ⟨10.1109/TAC.2010.2042008⟩
Journal articles inria-00483891v1
Image document

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Philippe Darondeau , Hervé Marchand , Laurie S. L. Ricker
Discrete Event Dynamic Systems, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩
Journal articles hal-00987988v1
Image document

Effective behaviour algebras

Philippe Darondeau , Serge Yoccoz
[Research Report] RR-0776, INRIA. 1987
Reports inria-00075776v1
Image document

Une critique de la notion de test de processus fondée sur la non séparabilite de certaines classes de langages

Philippe Darondeau
[Rapport de recherche] RR-0425, INRIA. 1985
Reports inria-00076131v1
Image document

A formal proof system for infinitary rational expressions

Philippe Darondeau , Laurent Kott
[Research Report] RR-0218, INRIA. 1983
Reports inria-00076340v1
Image document

Dualities between Nets and Automata Induced by Schizophrenic Objects

Eric Badouel , Philippe Darondeau
[Research Report] RR-2452, INRIA. 1995
Reports inria-00074223v1

Deciding Selective Declassification of Petri Nets

Philippe Darondeau , Eike Best
Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. pp.290-308, ⟨10.1007/978-3-642-28641-4⟩
Conference papers hal-00745298v1
Image document

Fairness, distances and degrees

Philippe Darondeau , Doris Nolte , Lutz Priese , Serge Yoccoz
[Research Report] RR-1199, INRIA. 1990
Reports inria-00075359v1
Image document

Residuation of tropical series: rationality issues

Eric Badouel , Anne Bouillard , Philippe Darondeau , Jan Komenda
[Research Report] RR-7547, INRIA. 2011, pp.19
Reports inria-00567390v1
Image document

Quasi-Static Scheduling of Communicating Tasks.

Philippe Darondeau , Blaise Genest , P.S. Thiagarajan , Yang Shaofa
2009
Preprints, Working Papers, ... hal-00429669v1
Image document

Deriving Unbounded Petri Nets from Formal Languages

Philippe Darondeau
[Research Report] RR-3365, INRIA. 1998
Reports inria-00073324v1
Image document

The Petri net synthesis problem for automatic graphs

Eric Badouel , Philippe Darondeau
[Research Report] RR-4661, INRIA. 2002
Reports inria-00071924v1
Image document

Linear Control of Live Marked Graphs

Philippe Darondeau , Xiaolan Xie
[Research Report] RR-4251, INRIA. 2001, pp.24
Reports inria-00072337v1

Petri Net Distributability

Philippe Darondeau , Eike Best
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Jun 2011, Novosibirsk, Russia. pp.1-18, ⟨10.1007/978-3-642-29709-0_1⟩
Conference papers hal-00745311v1

Separability in Persistent Petri Nets

Eike Best , Philippe Darondeau
Petri Nets, Jun 2010, Braga, Portugal. pp.246-266
Conference papers inria-00553867v1
Image document

An elarged definition and complete axiomatization of observational congruence of finite processes

Philippe Darondeau
[Research Report] RR-0140, INRIA. 1982
Reports inria-00076420v1
Image document

Structural operational specifications and trace automata

Eric Badouel , Philippe Darondeau
[Research Report] RR-1631, INRIA. 1992
Reports inria-00074930v1
Image document

Infinitary languages and fully abstract models of fair asynchrony

Philippe Darondeau
[Research Report] RR-0330, INRIA. 1984
Reports inria-00076227v1

Towards Distributed Control of Discrete Event Systems

Philippe Darondeau , Laurie Ricker
ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. pp.63-78
Conference papers hal-00650973v1
Image document

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Philippe Darondeau , Stephane Demri , Roland Meyer , Christophe Morvan
Logical Methods in Computer Science, 2012, 8 (4:9), pp.1-28. ⟨10.2168/LMCS-8(4:9)2012⟩
Journal articles hal-00743935v1
Image document

Modelling infinitary behaviours of communicating systems

Philippe Darondeau , Boubakar Gamatié
[Research Report] RR-0749, INRIA. 1987
Reports inria-00075803v1