Eric Badouel
Eric Badouel
researcher at Inria, Irisa, France
Dirección de correo verificada de inria.fr
Título
Citado por
Citado por
Año
Theory of regions
E Badouel, P Darondeau
Advanced Course on Petri Nets, 529-586, 1996
3751996
Polynomial algorithms for the synthesis of bounded nets
E Badouel, L Bernardinello, P Darondeau
Colloquium on Trees in Algebra and Programming, 364-378, 1995
1861995
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17 (4), 425-446, 2007
1372007
Petri net synthesis
E Badouel, L Bernardinello, P Darondeau
Springer, 2015
1252015
A modal interface theory for component-based design
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Fundamenta Informaticae 108 (1-2), 119-149, 2011
1252011
The synthesis problem for elementary net systems is NP-complete
E Badouel, L Bernardinello, P Darondeau
Theoretical Computer Science 186 (1-2), 107-134, 1997
1141997
Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems
E Badouel, J Oliver
INRIA, 1998
881998
Modal interfaces: unifying interface automata and modal specifications
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Proceedings of the seventh ACM international conference on Embedded software …, 2009
792009
Distributing finite automata through Petri net synthesis
E Badouel, B Caillaud, P Darondeau
Formal Aspects of Computing 13 (6), 447-470, 2002
702002
Why are modalities good for interface theories?
JB Raclet, E Badouel, A Benveniste, B Caillaud, R Passerone
2009 Ninth International Conference on Application of Concurrency to System …, 2009
682009
On the synthesis of general petri nets
E Badouel, P Darondeau
Inria, 1996
551996
Modeling Concurrent Systems: Reconfigurable Nets.
E Badouel, M Llorens, J Oliver
PDPTA, 1568-1574, 2003
452003
Trace nets and process automata
E Badouel, P Darondeau
Acta Informatica 32 (7), 647-679, 1995
381995
Merging hierarchically-structured documents in workflow systems
E Badouel, MT Tchendji
Electronic Notes in Theoretical Computer Science 203 (5), 3-24, 2008
302008
The synthesis of Petri nets from path-automatic specifications
E Badouel, P Darondeau
Information and Computation 193 (2), 117-135, 2004
252004
Dualities between nets and automata induced by schizophrenic objects
E Badouel, P Darondeau
International Conference on Category Theory and Computer Science, 24-43, 1995
241995
On guarded recursion
E Badouel, P Darondeau
Theoretical Computer Science 82 (2), 403-408, 1991
241991
Stratified petri nets
E Badouel, P Darondeau
International Symposium on Fundamentals of Computation Theory, 117-128, 1997
211997
Petri nets with structured data
E Badouel, L Hélouët, C Morvan
Fundamenta Informaticae 146 (1), 35-82, 2016
202016
Active workspaces: distributed collaborative systems based on guarded attribute grammars
E Badouel, L Hélouët, GE Kouamou, C Morvan, NR Fondze Jr
ACM SIGAPP Applied Computing Review 15 (3), 6-34, 2015
192015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20