Bibliography

Major publications by the team in recent years

1E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, P. Darondeau.

Concurrent Secrets, in: Discrete Event Dynamic Systems, December 2007, vol. 17, n^o 4, p. 425-446.

http://dx.doi.org/10.1007/s10626-007-0020-5
2E. Badouel, B. Caillaud, P. Darondeau.

Distributing Finite Automata through Petri Net Synthesis, in: Journal on Formal Aspects of Computing, 2002, vol. 13, p. 447–470.

http://dx.doi.org/10.1007/s001650200022
3E. Badouel, P. Darondeau.

Theory of regions, in: Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Springer, 1999, vol. 1491, p. 529–586.
4A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli.

Composing heterogeneous reactive systems, in: ACM Trans. Embedded Comput. Syst., 2008, vol. 7, n^o 4.

http://doi.acm.org/10.1145/1376804.1376811
5A. Benveniste, B. Caillaud, P. Le Guernic.

Compositionality in dataflow synchronous languages: specification and distributed code generation, in: Information and Computation, 2000, vol. 163, p. 125-171.
6G. Feuillade, S. Pinchinat.

Modal Specifications for the Control Theory of Discrete-Event Systems, in: Discrete Event Dynamic Systems, 2007, vol. 17, n^o 2, p. 211–232.

http://dx.doi.org/10.1007/s10626-006-0008-6
7D. Potop-Butucaru, B. Caillaud.

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, in: Fundamenta Informaticae, 2007, vol. 78, n^o 1, p. 131–159.
8J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone.

A Modal Interface Theory for Component-based Design, in: Fundamenta Informaticae, 2011, vol. 108, n^o 1-2, p. 119-149.

http://dx.doi.org/10.3233/FI-2011-416
9S. Riedweg, S. Pinchinat.

Quantified Mu-Calculus for Control Synthesis, in: MFCS 2003, 28th International Symposium on Mathematical Foundations of Computer Science, Lecture notes in computer science, Springer, aug 2003, vol. 2747, p. 642–651.

http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=642

Publications of the year

Articles in International Peer-Reviewed Journals

10A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

Non-standard semantics of hybrid systems modelers, in: Journal of Computer and System Sciences, 2012, vol. 78, n^o 3, p. 877-910, This work was supported by the SYNCHRONICS large scale initiative of Inria. [ DOI : 10.1016/j.jcss.2011.08.009 ]

http://hal.inria.fr/hal-00766726
11N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.

Modal event-clock specifications for timed component-based design, in: Science of Computer Programming, 2012, n^o 77, p. 1212-1234. [ DOI : 10.1016/j.scico.2011.01.007 ]

http://hal.inria.fr/hal-00752449
12L. Bozzelli, A. Legay, S. Pinchinat.

On timed alternating simulation for concurrent timed games, in: Acta Informatica, 2012, vol. 49, n^o 4, p. 249-279.

http://dx.doi.org/10.1007/s00236-012-0158-y
13P. Darondeau, S. Demri, R. Meyer, C. Morvan.

Petri Net Reachability Graphs: Decidability Status of First Order Properties, in: Logical Methods in Computer Science, October 2012, vol. 8, n^o 4:9, p. 1-28. [ DOI : 10.2168/LMCS-8(4:9)2012 ]

http://hal.inria.fr/hal-00743935

International Conferences with Proceedings

14E. Badouel.

On the alpha-Reconstructibility of Workflow Nets, in: Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Allemagne, S. Haddad, L. Pomello (editors), Lecture Notes in Computer Science, Springer, June 25-29 2012, vol. 7347, p. 128-147. [ DOI : 10.1007/978-3-642-31131-4 ]

http://hal.inria.fr/hal-00748230
15A. Benveniste, B. Caillaud, J.-B. Raclet.

Application of Interface Theories to the Separate Compilation of Synchronous Programs, in: 51st IEEE Conference on Decision and Control, Maui, Hawaii, United States, M. E. Valcher (editor), Jay A. Farrell, December 2012.

http://hal.inria.fr/hal-00766793
16L. Bozzelli, S. Pinchinat.

Verification of Gap-Order Constraint Abstractions of Counter Systems, in: Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, V. Kuncak, A. Rybalchenko (editors), Lecture Notes in Computer Science, Springer, January 22-24 2012, vol. 7148, p. 88-103.

http://dx.doi.org/10.1007/978-3-642-27940-9_7
17L. Bozzelli, H. P. van Ditmarsch, S. Pinchinat.

The Complexity of One-Agent Refinement Modal Logic, in: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, L. F. del Cerro, A. Herzig, J. Mengin (editors), Lecture Notes in Computer Science, Springer, September 26-28 2012, vol. 7519, p. 120-133.

http://dx.doi.org/10.1007/978-3-642-33353-8_10
18B. Caillaud, J.-B. Raclet.

Ensuring Reachability by Design, in: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, A. Roychoudhury, M. D'Souza (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7521, p. 213-227. [ DOI : 10.1007/978-3-642-32943-2_17 ]

http://hal.inria.fr/hal-00766735
19S. Chédor, C. Morvan, S. Pinchinat, H. Marchand.

Analysis of partially observed recursive tile systems, in: 11th Int. Workshop on Discrete Event Systems, Guadalajara, Mexico, October 2012, p. 265-271.

http://hal.inria.fr/hal-00743196
20P. Darondeau, E. Best.

Deciding Selective Declassification of Petri Nets, in: Principles of Security and Trust (POST), Tallinn, Estonia, P. Degano, J. D. Guttman (editors), LNCS, Springer, 2012, vol. 7215, p. 290-308. [ DOI : 10.1007/978-3-642-28641-4 ]

http://hal.inria.fr/hal-00745298
21P. Darondeau, E. Best.

Petri Net Distributability, in: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russian Federation, E. M. Clarke, I. Virbitskaite, A. Voronkov (editors), LNCS, Springer, 2012, vol. 7162, p. 1-18. [ DOI : 10.1007/978-3-642-29709-0_1 ]

http://hal.inria.fr/hal-00745311
22P. Darondeau.

Enforcing Opacity of Regular Predicates on Modal Transition Systems, in: 11th Int. Workshop on Discrete Event Systems, Guadalajara, Mexico, October 2012, p. 331-336.

Scientific Books (or Scientific Book chapters)

23P. Darondeau, L. Ricker.

Distributed Control of Discrete Event Systems: A First Step, in: Transactions on Petri Nets and Other Models of Concurrency, 2012, vol. 6, p. 24–45.

http://dx.doi.org/10.1007/978-3-642-35179-2_2

Internal Reports

24G. Aucher, B. Maubert, F. Schwarzentruber.

Generalized DEL-sequents, Inria, July 2012, n^o RR-8012, 23 p.

http://hal.inria.fr/hal-00716074
25A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. G. Larsen.

Contracts for System Design, Inria, November 2012, n^o RR-8147, 65 p.

http://hal.inria.fr/hal-00757488
26A. Benveniste, B. Caillaud, J.-B. Raclet.

Application of Interface Theories to the Separate Compilation of Synchronous Programs, Inria, July 2012, n^o RR-8030.

http://hal.inria.fr/hal-00721049
27L. Bozzelli, H. P. van Ditmarsch, T. French, J. Hales, S. Pinchinat.

Refinement Modal Logic, abs/1202.3538, 2012.

http://arxiv.org/abs/1202.3538
28B. Caillaud, J.-B. Raclet.

Ensuring Reachability by Design, Inria, May 2012, n^o RR-7928, 20 p.

http://hal.inria.fr/hal-00696151
29B. Maubert, S. Pinchinat.

Uniform Strategies, Inria, December 2012, n^o RR-8144.

http://hal.inria.fr/hal-00760370
30S. Pinchinat, O. Serre.

Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information, IRISA, May 2012, n^o PI-1992, 6 p.

http://hal.inria.fr/hal-00700334

Other Publications

31M. Ghesmoune.

Anonymisation de réseaux sociaux, Université Rennes 1, June 2012.

http://dumas.ccsd.cnrs.fr/dumas-00725254

References in notes

32E. Badouel, B. Caillaud, P. Darondeau.

Distributing Finite Automata through Petri Net Synthesis, in: Journal on Formal Aspects of Computing, 2002, vol. 13, p. 447–470.
33E. Badouel, P. Darondeau.

Theory of regions, in: Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Springer, 1999, vol. 1491, p. 529–586.
34R. P. Hopkins.

Distributable nets, in: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, G. Rozenberg (editor), Lecture Notes in Computer Science, Springer, 1991, vol. 524, p. 161–187.
35A. Schrijver.

Theory of linear and integer programming, Wiley, April 1998.

Previous |

Home