Publications de l'équipe S4

2012

Articles dans des revues avec comité de lecture

Titre

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Auteurs

Philippe Darondeau; Stephane Demri; Roland Meyer; Christophe Morvan

Détail

Logical Methods in Computer Science, International Federation of Computational Logic, 2012, 8 (4:9), pp. 1-28

Accès au texte intégral et bibtex

Titre

Statistical abstraction and model-checking of Large Heterogeneous Systems

Auteurs

Ananda Basu ; Saddek Bensalem; Marius Bozga ; Benoît Delahaye; Axel Legay

Détail

International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp. 53-72

Accès au bibtex

Titre

Modal event-clock specifications for timed component-based design

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

Science of Computer Programming, Elsevier, 2012, 77, pp. 1212-1234

Accès au bibtex

Communications avec actes

Titre

Analysis of partially observed recursive tile systems

Auteurs

Sébastien Chédor; Christophe Morvan ; Sophie Pinchinat; Hervé Marchand

Détail

11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp. 265-271

Accès au texte intégral et bibtex

Titre

Deciding Selective Declassification of Petri Nets

Auteurs

Philippe Darondeau; Eike Best

Détail

Pierpaolo Degano et Joshua D. Guttman. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. Springer, POST, 7215, pp. 290-308, LNCS

Accès au bibtex

Titre

Petri Net Distributability

Auteurs

Philippe Darondeau; Eike Best

Détail

Edmund M. Clarke et Irina Virbitskaite et Andrei Voronkov. Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Jun 2011, Novosibirsk, Russian Federation. Springer, Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, 7162, pp. 1-18, 2012, LNCS

Accès au bibtex

Mémoires

Titre

Anonymisation de réseaux sociaux

Auteurs

Mohammed Ghesmoune

Accès au texte intégral et bibtex

Rapports

Titre

Contracts for System Design

Auteurs

Albert Benveniste ; Benoit Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet ; Philipp Reinkemeier; Alberto Sangiovanni-Vincentelli; Werner Damm; Thomas Henzinger; Kim G. Larsen

Détail

[Research Report], 2012, pp. 65. RR-8147

Accès au texte intégral et bibtex

Titre

Application of Interface Theories to the Separate Compilation of Synchronous Programs

Auteurs

Albert Benveniste ; Caillaud Benoît ; Raclet Jean-Baptiste

Détail

[Research Report], 2012. RR-8030

Accès au texte intégral et bibtex

Titre

Generalized DEL-sequents

Auteurs

Guillaume Aucher; Bastien Maubert; François Schwarzentruber

Détail

[Research Report], 2012, pp. 23. RR-8012

Accès au texte intégral et bibtex

Titre

Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information

Auteurs

Sophie Pinchinat ; Olivier Serre

Détail

[Research Report], 2012, pp. 6. PI-1992

Accès au texte intégral et bibtex

Titre

Ensuring Reachability by Design

Auteurs

Benoit Caillaud ; Jean-Baptiste Raclet

Détail

[Research Report], 2012, pp. 20. RR-7928

Accès au texte intégral et bibtex

Titre

Tree Regular Model Checking for Lattice-Based Automata

Auteurs

Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat

Détail

[Technical Report], 2012, pp. 33. RT-0424

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Constraint Markov Chains

Auteurs

Benoit Caillaud ; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski

Détail

Theoretical Computer Science, Elsevier, 2011, 412 (34), pp. 4373-4404

Accès au bibtex

Titre

Separability in Persistent Petri Nets

Auteurs

Eike Best; Philippe Darondeau

Détail

Fundamenta Informaticae, IOS Press, 2011, 112, pp. 1-25

Accès au bibtex

Titre

Mind the gap: Expanding communication options in decentralized discrete-event control

Auteurs

Laurie Ricker ; Benoit Caillaud

Détail

Automatica, Elsevier, 2011, 47 (11), pp. 2364-2372

Accès au bibtex

Titre

A Modal Interface Theory for Component-based Design

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone

Détail

Fundamenta Informaticae, Elsevier, 2011, 108 (1-2), pp. 119-149

Accès au bibtex

Titre

Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects

Auteurs

Benoît Delahaye; Benoît Caillaud; Axel Legay

Détail

Formal Methods in System Design, Springer, 2011, 38 (1), pp. 1-32

Accès au bibtex

Communications avec actes

Titre

Assembling Sessions

Auteurs

Philippe Darondeau; Loïc Hélouët; Madhavan Mukund

Détail

ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan, Province Of China. Springer, Automated Technology for Verification and Analysis, 6996, pp. 259-274, Lecture Notes in Computer Science

Accès au bibtex

Titre

Towards Distributed Control of Discrete Event Systems

Auteurs

Philippe Darondeau; Laurie Ricker

Détail

Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. ART2011, 725, pp. 63-78, CEUR Workshop Proceedings

Accès au bibtex

Titre

Petri Net Distributability

Auteurs

Eike Best; Philippe Darondeau

Détail

Irina Virbitskaite and Andrei Voronkov. PSI'11 : Ershov Informatics Conference, Jun 2011, Novosibirsk, Russian Federation. Springer-Verlag, Ershov Informatics Conference, 7162, pp. 1-18, Lecture Notes in Computer Science

Accès au bibtex

Titre

Divide and recycle: types and compilation for a hybrid synchronous language

Auteurs

Albert Benveniste; Timothy Bourke; Benoit Caillaud ; Marc Pouzet

Détail

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States.

Accès au bibtex

Titre

A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

Auteurs

Albert Benveniste; Timothy Bourke; Benoit Caillaud ; Marc Pouzet

Détail

Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan, Province Of China.

Accès au bibtex

Titre

On the Decidability of Non Interference over Unbounded Petri Nets

Auteurs

Eike Best; Philippe Darondeau; Roberto Gorrieri

Détail

SecCo : International Workshop on Security Issues in Concurrency, Aug 2010, Paris, France. pp. 16-33, 2011

Accès au bibtex

Titre

Tableau method and NEXPTIME-Completeness of DEL-Sequents

Auteurs

Guillaume Aucher; Bastien Maubert; François Schwarzentruber

Détail

Methods for Modalities (M4M), Nov 2011, Sevilla, Spain. Elsevier

Accès au texte intégral et bibtex

Titre

Petri Net Reachability Graphs: Decidability Status of FO Properties

Auteurs

Philippe Darondeau; Stephane Demri; Roland Meyer; Christophe Morvan

Détail

Supratik Chakraborty and Amit Kumar. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2011, Bombay, India. Dagstuhl Publishing, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Leibniz International Proceedings in Informatics (LIPICS)

Accès au bibtex

Rapports

Titre

Opacity Issues in Games with Imperfect Information

Auteurs

Bastien Maubert; Sophie Pinchinat; Laura Bozzelli

Détail

[Research Report], 2011, pp. 27

Accès au texte intégral et bibtex

Titre

Compatibility between DAXML Schemas

Auteurs

Benoît Masson; Loïc Hélouët; Albert Benveniste

Détail

[Research Report], 2011, pp. 36. RR-7559

Accès au texte intégral et bibtex

Titre

Residuation of tropical series: rationality issues

Auteurs

Eric Badouel; Anne Bouillard; Philippe Darondeau; Jan Komenda

Détail

[Research Report], 2011, pp. 19. RR-7547

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Supervisory Control for Opacity

Auteurs

Jérémy Dubreil; Philippe Darondeau; Hervé Marchand

Détail

IEEE Transactions on Automatic Control, IEEE, 2010, 55 (5), pp. 1089-1100

Accès au texte intégral et bibtex

Titre

Quasi-Static Scheduling of Communicating Tasks

Auteurs

Philippe Darondeau; Blaise Genest; P.S. Thiagarajan; Shaofa Yang

Détail

Information and Computation, 2010, pp. 1154-1168

Accès au texte intégral et bibtex

Titre

Quasi-static scheduling of communicating tasks

Auteurs

Philippe Darondeau; Blaise Genest; P.S. Thiagarajan; Yang Shaofa

Détail

Information and Computation, Elsevier, 2010, 208 (10)

Accès au bibtex

Communications avec actes

Titre

Statistical Model Checking: An Overview

Auteurs

Axel Legay; Benoît Delahaye; Saddek Bensalem

Détail

Runtime Verification, Nov 2010, Malta, Malta.

Accès au texte intégral et bibtex

Titre

Verification of an AFDX infrastructure using simulation and probabilities

Auteurs

Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis

Détail

Howard Barringer, Yli{è}s Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky and Nikolai Tillmann. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. Springer, 6418, pp. 330-344, LNCS

Accès au texte intégral et bibtex

Titre

Incremental Component-based Construction and Verification using Invariants

Auteurs

Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan

Détail

Natasha Sharygina and Roderick Bloem. Formal Methods in Computer Aided Design, FMCAD 2010, Oct 2010, Lugano, Switzerland. ACM, pp. 257-266

Accès au texte intégral et bibtex

Titre

Compositional design methodology with constraint Markov chains

Auteurs

Benoit Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski

Détail

QEST 2010, Sep 2010, Williamsburg, Virginia, United States.

Accès au texte intégral et bibtex

Titre

Supervisory Control for Modal Specifications of Services

Auteurs

Philippe Darondeau; Jérémy Dubreil; Hervé Marchand

Détail

Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp. 428-435

Accès au texte intégral et bibtex

Titre

Separability in Persistent Petri Nets

Auteurs

Eike Best; Philippe Darondeau

Détail

Johan Lilius and Wojciech Penczek. Petri Nets, Jun 2010, Braga, Portugal. Springer-Verlag, Applications and Theory of Petri Nets, 6128, pp. 246-266, LNCS

Accès au bibtex

Titre

The Fundamentals of Hybrid Systems Modelers

Auteurs

Albert Benveniste; Benoît Caillaud; Marc Pouzet

Détail

49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States. IEEE Computer Society

Accès au bibtex

Titre

Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.

Auteurs

Benoît Delahaye; Benoît Caillaud; Axel Legay

Détail

10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal. IEEE Computer Society

Accès au bibtex

Titre

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Auteurs

Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay

Détail

John Hatcliff and Elena Zucca. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. Springer, 6117, pp. 32-46

Accès au bibtex

Titre

Hardness of Preorder Checking for Basic Formalisms

Auteurs

Laura Bozzelli; Axel Legay; Sophie Pinchinat

Détail

LPAR, Apr 2010, Dakar, Senegal. pp. 119-135

Accès au bibtex

Rapports

Titre

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Auteurs

Yohan Boichut; Benoît Boyer; Thomas Genet; Axel Legay

Détail

[Technical Report], 2010

Accès au texte intégral et bibtex

Titre

Supervisory Control for Modal Specifications of Services

Auteurs

Philippe Darondeau; Jérémy Dubreil; Hervé Marchand

Détail

[Research Report], 2010. RR-7247

Accès au texte intégral et bibtex

Titre

Statistical abstraction and model-checking of large heterogeneous systems

Auteurs

Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay

Détail

[Research Report], 2010. RR-7238

Accès au texte intégral et bibtex

Thèses

Titre

Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques

Auteurs

Benoît Delahaye

Détail

informatique. Université Rennes 1, Oct. 2010. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Pushdown Module Checking with Imperfect Information

Auteurs

Benjamin Aminof; Axel Legay; Aniello Murano; Olivier Serre; Moshe Vardi

Détail

2010

Accès au texte intégral et bibtex

2009

Communications avec actes

Titre

A Compositional Approach on Modal Specifications for Timed Systems.

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp. 679-697, LNCS

Accès au bibtex

Titre

Refinement and Consistency of Timed Modal Specifications.

Auteurs

Nathalie Bertrand; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp. 152-163, LNCS

Accès au bibtex

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany.

Accès au texte intégral et bibtex

Titre

Diagnosability of pushdown systems

Auteurs

Christophe Morvan; Sophie Pinchinat

Détail

Kedar Namjoshi and Andreas Zeller. Haifa Verification Conference, 2009, Haifa, Israel. Springer, LNCS

Accès au texte intégral et bibtex

Titre

Diagnosability of Pushdown Systems

Auteurs

Christophe Morvan; Sophie Pinchinat

Détail

Proceedings of the Haifa Verification Conference, Oct 2010, Haifa, Israel. Springer, 6405, 2009

Accès au bibtex

Titre

Modal Interfaces: Unifying Interface Automata and Modal Specifications.

Auteurs

Jean-Baptiste Raclet; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone

Détail

Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France. IEEE

Accès au bibtex

Titre

On the Expressivity of RoCTL*

Auteurs

John-Christopher Mccabe-Dansted; Tim French; Mark Reynolds; Sophie Pinchinat

Détail

TIME, Jan 2009, Brixen-Bressanone, Italy. pp. 37-44

Accès au bibtex

Titre

Game Quantification Patterns

Auteurs

Dietmar Berwanger; Sophie Pinchinat

Détail

ICLA, Jan 2009, Chennai, India. pp. 116-130

Accès au bibtex

Titre

Games with Opacity Condition

Auteurs

Bastien Maubert; Sophie Pinchinat

Détail

RP, Sep 2009, Paris, France. pp. 166-175

Accès au bibtex

Titre

On Timed Alternating Simulation for Concurrent Timed Games

Auteurs

Laura Bozzelli; Axel Legay; Sophie Pinchinat

Détail

FSTTCS, Dec 2009, Kanpur, India. pp. 85-96

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Multi-Viewpoint State Machines for Rich Component Models

Auteurs

Albert Benveniste; Benoît Caillaud; Roberto Passerone

Détail

Pieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009

Accès au bibtex

Rapports

Titre

Supervisory Control for Opacity

Auteurs

Jérémy Dubreil; Philippe Darondeau; Hervé Marchand

Détail

[Research Report], 2009, 19 p.. PI 1921

Accès au texte intégral et bibtex

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

[Research Report], 2009. RR-6899

Accès au texte intégral et bibtex

Titre

Compositional Reasoning on (Probabilistic) Contracts

Auteurs

Benoît Delahaye; Benoit Caillaud; Axel Legay

Détail

[Research Report], 2009. RR-6970

Accès au texte intégral et bibtex

Titre

Compositional Design Methodology with Constraint Markov Chains

Auteurs

Benoit Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski

Détail

[Research Report], 2009. RR-6993

Accès au texte intégral et bibtex

Titre

A Compositional Approach on Modal Specifications for Timed Systems

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

[Research Report], 2009. RR-7039

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Quasi-Static Scheduling of Communicating Tasks.

Auteurs

Philippe Darondeau; Blaise Genest; P.S. Thiagarajan; Yang Shaofa

Détail

Oct. 2009

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Composing Heterogeneous Reactive Systems

Auteurs

Albert Benveniste; Benoît Caillaud; Luca Carloni; Paul Caspi; Alberto Sangiovanni-Vincentelli

Détail

ACM Transactions on Embedded Computing Systems (TECS), ACM, 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes)

Accès au bibtex

Communications avec actes

Titre

Opacity Enforcing Control Synthesis

Auteurs

Jérémy Dubreil; Philippe Darondeau; Hervé Marchand

Détail

Workshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. IEEE, pp. 28-35

Accès au texte intégral et bibtex

Titre

A Topological Perspective on Diagnosis

Auteurs

Andreas Bauer; Sophie Pinchinat

Détail

9th International Workshop on Discrete Event Systems, May 2008, Gothenburg, Sweden.

Accès au bibtex

Rapports

Titre

Opacity Enforcing Control Synthesis

Auteurs

Jérémy Dubreil; Philippe Darondeau; Hervé Marchand

Détail

[Research Report], 2008, pp. 19. PI 1887

Accès au texte intégral et bibtex

Titre

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Auteurs

Benoît Delahaye; Benoit Caillaud

Détail

[Research Report], 2008, pp. 17. RR-6719

Accès au texte intégral et bibtex

Titre

Diagnosis of Pushdown Systems

Auteurs

Christophe Morvan; Sophie Pinchinat

Détail

[Research Report], 2008, pp. 19. PI 1904

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Modal Specifications for the Control Theory of Discrete Event Systems

Auteurs

Guillaume Feuillade; Sophie Pinchinat

Détail

Discrete Event Dynamic Systems, DEDS, 2007, 17 (2), pp. 211-232

Accès au bibtex

Communications avec actes

Titre

A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies

Auteurs

Sophie Pinchinat

Détail

ATVA, Oct 2007, Tokyo, Japan. pp. 253-267

Accès au bibtex

Rapports

Titre

Residual for Component Specifications

Auteurs

Jean-Baptiste Raclet

Détail

[Research Report], 2007. RR-6196

Accès au texte intégral et bibtex

Titre

Residual for Component Specifications

Auteurs

Jean-Baptiste Raclet

Détail

[Research Report], 2007, pp. 19. PI 1843

Accès au texte intégral et bibtex

Titre

Modular Automata 2 Distributed Petri Nets 4 Synthesis

Auteurs

Philippe Darondeau; Laure Petrucci

Détail

[Research Report], 2007. RR-6192

Accès au texte intégral et bibtex

Titre

A Generic Model of Contracts for Embedded Systems

Auteurs

Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

[Research Report], 2007. RR-6214

Accès au texte intégral et bibtex

Titre

Products of Message Sequence Charts

Auteurs

Philippe Darondeau; Blaise Genest; Loïc Hélouët

Détail

[Research Report], 2007, pp. 27. RR-6258

Accès au texte intégral et bibtex

Titre

Loosely Time-Triggered Architectures based on Communication-by-Sampling

Auteurs

Albert Benveniste; Paul Caspi; Marco Di Natale; Claudio Pinello; Alberto Sangiovanni-Vincentelli; Stavros Tripakis

Détail

[Research Report], 2007, pp. 41. PI 1854

Accès au texte intégral et bibtex

Titre

Modular Grammars and Splitting of Catamorphisms

Auteurs

Eric Badouel; Rodrigue Djeumen

Détail

[Research Report], 2007, pp. 17. RR-6313

Accès au texte intégral et bibtex

Titre

Growing a Domain Specific Language with Split Extensions

Auteurs

Eric Badouel; Marcel Tonga

Détail

[Research Report], 2007. RR-6314

Accès au texte intégral et bibtex

Titre

Yet Another Implementation of Attribute Evaluation

Auteurs

Eric Badouel; Bernard Fotsing; Rodrigue Tchougong

Détail

[Research Report], 2007. RR-6315

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Concurrency in Synchronous Systems

Auteurs

Dumitru Potop-Butucaru; Benoit Caillaud; Albert Benveniste

Détail

Formal Methods in System Design, Springer Netherlands, 2006, 28 (2), pp. 111-130

Accès au texte intégral et bibtex

Communications avec actes

Titre

A constructive and modular approach to decentralized supervisory Control problems

Auteurs

Jan Komenda; Hervé Marchand; Sophie Pinchinat

Détail

3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland.

Accès au texte intégral et bibtex

Titre

Supervision Patterns in Discrete Event Systems Diagnosis

Auteurs

Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier

Détail

Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp. 262-268

Accès au texte intégral et bibtex

Titre

Supervision patterns in discrete event systems

Auteurs

Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier

Détail

DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp. 117-124

Accès au bibtex

Titre

A Constructive and Modular Approach to Decentralized Supervisory Control Problems

Auteurs

Jan Komenda; Hervé Marchand; Sophie Pinchinat

Détail

3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Sep 2006, Rydzyna Castle, Poland.

Accès au bibtex

Rapports

Titre

Supervision Patterns in Discrete Event Systems Diagnosis

Auteurs

Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier

Détail

[Research Report], 2006, pp. 16. PI 1784

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

Spécifications modales de réseaux de Petri

Auteurs

Guillaume Feuillade; Sophie Pinchinat

Détail

Journal Européen des Systèmes Automatisés, Hermès, 2005, 39 (1)

Accès au bibtex

Communications avec actes

Titre

On the Architectures in Decentralized Supervisory Control

Auteurs

Sophie Pinchinat; Stéephane Riedweg

Détail

Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), Dec 2005, Seville, Spain. IEEE Computer Society Press, pp. 12-17

Accès au bibtex

Titre

You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.

Auteurs

Stéphane Riedweg; Sophie Pinchinat

Détail

Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. 4, pp. 2287-2292

Accès au bibtex

Rapports

Titre

Modal specifications are a syntactic fragment of the Mu-calculus

Auteurs

Guillaume Feuillade

Détail

[Research Report], 2005, pp. 17. PI 1729

Accès au texte intégral et bibtex

Titre

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Auteurs

Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoit Caillaud

Détail

[Research Report], 2005, pp. 22. PI 1730

Accès au texte intégral et bibtex

Titre

Concurrent Secrets

Auteurs

Eric Badouel; Marek Bednarczyk; Andrzej Borzyszkowski; Benoit Caillaud; Philippe Darondeau

Détail

[Research Report], 2005, pp. 22. RR-5771

Accès au texte intégral et bibtex

Titre

Modal specifications are a syntactic fragment of the Mu-calculus

Auteurs

Guillaume Feuillade

Détail

[Research Report], 2005, pp. 17. RR-5612

Accès au texte intégral et bibtex

Titre

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Auteurs

Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoit Caillaud

Détail

[Research Report], 2005, pp. 22. RR-5610

Accès au texte intégral et bibtex

2004

Conférences invitées

Titre

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Auteurs

Albert Benveniste; Benoit Caillaud; Luca Carloni; Paul Caspi; Alberto Sangiovanni-Vincentelli

Détail

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, 3188, pp. 1-16, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Rapports

Titre

Petri Algebras

Auteurs

Eric Badouel; Jules Chenou; Goulven Guillou

Détail

[Research Report], 2004, pp. 28. RR-5355

Accès au texte intégral et bibtex

Titre

Concurrency in synchronous systems

Auteurs

Dumitru Potop-Butucaru; Benoit Caillaud; Albert Benveniste

Détail

[Research Report], 2004. RR-5110

Accès au texte intégral et bibtex

2003

Rapports

Titre

Reachability Analysis over Term Rewriting Systems

Auteurs

Guillaume Feuillade; Thomas Genet; Valérie Viet Triem Tong

Détail

[Research Report], 2003. RR-4970

Accès au texte intégral et bibtex

Titre

Quantified Loop-mu-calculus for Control under Partial Observation

Auteurs

Stéphane Riedweg; Sophie Pinchinat

Détail

[Research Report], 2003. RR-4949

Accès au texte intégral et bibtex

Titre

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Auteurs

Albert Benveniste; Luca Carloni; Paul Caspi; Alberto Sangiovanni-Vincentelli

Détail

[Research Report], 2003. RR-4901

Accès au texte intégral et bibtex

Titre

Modular system development with pullbacks

Auteurs

Marek Bednarczyk; Luca Bernardinello; Benoit Caillaud; Wieslaw Pawlowski; Lucia Pomello

Détail

[Research Report], 2003. RR-4828

Accès au texte intégral et bibtex

Titre

Quantified Mu-calculus for Control Synthesis

Auteurs

Stéphane Riedweg; Sophie Pinchinat

Détail

[Research Report], 2003. RR-4793

Accès au texte intégral et bibtex

Titre

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

Auteurs

Philippe Darondeau; Harro Wimmel

Détail

[Research Report], 2003. RR-4708

Accès au texte intégral et bibtex

Titre

Quantified Mu-Calculus for Control Synthesis

Auteurs

Sophie Pinchinat; Stéphane Riedweg

Détail

[Research Report], 2003

Accès au bibtex

2002

Rapports

Titre

The Petri net synthesis problem for automatic graphs

Auteurs

Eric Badouel; Philippe Darondeau

Détail

[Research Report], 2002. RR-4661

Accès au texte intégral et bibtex

2001

Rapports

Titre

Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic

Auteurs

Christian Retoré

Détail

[Research Report], 2001. RR-4288

Accès au texte intégral et bibtex

Titre

Linear Control of Live Marked Graphs

Auteurs

Philippe Darondeau; Xiaolan Xie

Détail

[Research Report], 2001, pp. 24. RR-4251

Accès au texte intégral et bibtex