Publications en commun

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts
Séminaires
Le prochain

22/01/2010

04/12/2009
13/11/2009
02/10/2009
05/06/2009
03/04/2009
06/03/2009
23/01/2009

05/12/2008
14/11/2008
10/10/2008
30/05/2008
11/04/2008
21/03/2008
15/02/2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 14-Fév-2010

Introduction

Cette page référence les publications dans le cadre des activités de MeFoSyLoMa. Nous ne listons que les publicatons impliquant au moins deux équipes du groupe.

2009

  1. L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Trèves. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. In 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09), page ??, 2009
  2. O. Bertrand, A. Calonne, C. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot- Adet, L. Petrucci, and J.-P. Smets. Verification of large-scale distributed database sys- tems in the NEOPPOD project. In Workshop on Petri Nets and Software Engineering (PNSE’09, associated with Petri Nets 2009) - poster paper, pages 315–316, 2009
  3. S. Haddad, F. Kordon, L. Petrucci, J-F. Pradat-Peyre, and N. Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. 28th American Control Conference (ACC'09), pages 5018-5025, Omnipress IEEE Catalog, June 2009
  4. X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. Proceedings of the 20th International Workshop on Rapid System Prototyping, pages 26-33, IEEE Computer Society, June 2009
  5. Haddad and N. Pekergin Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains In QEST'09. IEEE Computer Society. pages 177-186, May 2009
  6. B. Bérard and S. Haddad. Interrupt Timed Automata. In FoSSaCS'09, LNCS 5504, pages 197-211. Springer, March 2009
  7. X. Renault, F. Kordon, and J. Hugues. From AADL architectural models to Petri Nets: Checking model viability. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), pages 313-320, IEEE Computer Society, March 2009
  8. F. Pommereau, R. Devillersn H. Klaudel. Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. Electr. Notes Theor. Comput. Sci. 239:119-129, 2009
  9. O. Bertrand, A. Calonne, C. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot-Adet, L. Petrucci and J.-P. Smets. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, pages 315-316, June 2009
  10. X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets. Proceedings of the 20th International Workshop on Rapid System Prototyping, pages 26-33, IEEE Computer Society, June 2009
  11. L. Hillah, E. Kindler, F. Kordon, L. Petrucci and N. Trèves. A primer on the Petri Net Markup Language and ISO/IEC 15909-2 (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools - CPN'09). Petri Net Newsletter, 76, pages 9-28, Gesellschaft für Informatik, October 2009
  12. J. Delange, L. Pautet, A. Pantec, M. Kerboeuf, F. Singhoff and F. Kordon. Validate, Simulate, and Implement ARINC653 Systems Using the AADL. ACM SIGAda Ada Letters (from the proceedings of the ACM SigAda conference 2009), 29(3), pages 31-44, ACM Press, November 2009
  13. F. Bonnefoi, C. Choppy and F. Kordon. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), III, pages 159-188, Springer Verlag, November 2009

2008

  1. H. Klaudel and F. Pommereau. M-nets: a survey. Acta Informatica 236(7), Springer Verlag, October 2008
  2. F. Kordon, J. Hugues, and X. Renault. From Model Driven Engineering to Verification Driven Engineering. In 6th IFIP Workshop on Software Technologies for Future Em- bedded & Uiquitous Systems (SEUS 2008), volume 5287 of Lecture Notes in Computer Science, pages 381-393, Capri, Italy, October 2008. Springer.
  3. H. Klaudel, M. Koutny, E. Pelz, F. Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008, pp 186-200, September 2008
  4. SpringerJ. Hugues, B. Zalila, L. Pautet, F. Kordon : "From the Protoype to the Final Embedded System Using the Ocarina AADL Tool Suite", Transactions on Embedded Computing System, 7(4) :1-25, July 2008
  5. L. Hillah, F. Kordon, L. Petrucci : "Application des méthodes formelles à la robotique modulaire", Journal Européen des Systèmes Automatisés, vol. 42, pp. 459-478, May 2008
  6. B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry-Mieg : "Applying Control Theory to Collision Avoidance in Intelligent Transport Systems", 9th International Workshop on Discrete Event Systems (WODES'08), pages 346-351, Goteborg, Sweden, May 2008. IEEE Press.
  7. K. Klai, D. Poitrenaud : "MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs", 29th International Conference on Application and Theory of Petri Nets (ICATPN'08), Lecture Notes in Computer Science (LNCS), Xian, China, pp. 288-306, (Springer-Verlag), June 2008
  8. X. Renault, J. Hugues, F. Kordon : "Formal Modeling of a Generic Middleware to Ensure Invariant Properties", 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science (LNCS), Oslo, Norway, pp. 185-200, (Springer-Verlag)
  9. Modeling and analysis of security protocols using role based specifications and Petri nets.
    Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz and Franck Pommereau
    Proc. of ICATPN'08, LNCS 5062, Springer, pp 72-91, (Springer-Verlag)
  10. B. Bérard, F. Cassez, S. Haddad, D. Lime and O. H. Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Theoretical Computer Science 403(2-3), pages 202-220, 2008.

2007

  1. S. Haddad, D. Poitrenaud : "Recursive Petri nets - Theory and application to discrete event systems", Acta Informatica, vol. 44, pp. 463-508
  2. J. Hugues, B. Zallila, L. Pautet, F. Kordon : "Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina", 18th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 106-112
  3. J. Hugues, F. Kordon, L. Pautet, Th. Vergnaud : "A Factory To Design and Build Tailorable and Verifiable Middleware", Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Lecture Notes in Computer Science (LNCS), University of California, Irvine, USA, pp. 123-144, (Springer-Verlag)
  4. F. Kordon and L. Petrucci : "A formal approach to designing autonomous systems : from Intelligent Transport Systems to robots", 2nd National Workshop on Control Architectures of Robots : from models to execution on distributed control architectures, Paris, France
  5. F. Pommereau, R. Devillers and H. Klaudel, Efficient reachability graph representation of Petri nets with unbounded counters. Proc. of Infinity'07, ENTCS, Elsevier, pp 1-10

2006

  1. F. Kordon, L. Petrucci : "Toward Formal-Methods Oecumenism?", IEEE Distributed Systems Online, vol. 7
  2. S. Haddad, F. Kordon, L. Petrucci : "Introduction générale", Méthodes formelles pour les systèmes répartis et coopératifs, Haddad Serge, Kordon Fabrice, Petrucci Laure, pp. 1-6, (ISBN : 2-7462-1447-4)
  3. J. Hugues, F. Kordon, L. Pautet : "Construction d'un intergiciel vérifié", dans Méthodes formelles pour les systèmes répartis et coopératifs, édité par Haddad Serge, Kordon fabrice, Petrucci Laure, pp. 265-287, (Hermes), (ISBN : 2-7462-1447-4)
  4. L. Hillah, F. Kordon, L. Petrucci, N. Trèves : "PN Standardisation : a Survey", International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Lecture Notes in Computer Science (LNCS), Paris, France, pp. 307-322, (Springer-Verlag)
  5. J. Hugues, F. Kordon, L. Pautet : "A Framework for DRE Middleware, an Application to DDS", International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Gyeongju, Korea, pp. 224-231
  6. K. Barkaoui, J.F Pradat-Peyre : "Approches structurelles", Chapitre 7 dans Méthodes formelles pour les systèmes répartis et coopératifs, édité par Haddad Serge, Kordon fabrice, Petrucci Laure, pp. 265-287, (Hermes), (ISBN : 2-7462-1447-4)

2005

  1. L. Hillah, F. Kordon, L. Petrucci, N. Trèves : "Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels", Petri Net Newsletter, pp. 22-40
  2. F. Kordon, L. Pautet : "Toward next-generation toward next-generation middleware ?", IEEE DIstributed Systems Online, vol. 5
  3. J. Hugues, L. Pautet, F. Kordon : "Revisiting COTS Middleware for DRE System", International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), Seattle, USA, pp. 72-79
  4. J. Hugues, F. Kordon, L. Pautet : "Towards Proof-Based Real-Time Distribution Middleware", 13th International Conference On Real-Time Systems (RTS '05), Paris, France, pp. 51-70, (BIRP)
  5. K. Klai, S. Haddad, J.-M. Ilié : "Modular Verification of Petri Nets Properties: A Structure-Based Approach", 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), Lecture Notes in Computer Science (LNCS), Taipei, Taïwan, pp. 189-203, (Springer-Verlag
  6. Th. Vergnaud, L. Pautet, F. Kordon : "Using the AADL to Describe Distributed Applications from Middleware to Software Components", Reliable Software Technologies (RST'05), York, United Kingdom, pp. 67-78