Publications en commun

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts

Postes
Séminaires
Le prochain

04/11/2011
30/09/2011
06/05/2011
11/03/2011
11/02/2011
11/01/2011

17/12/2010
05/11/2010
24/09/2010
18/06/2010
21/05/2010
05/03/2010
22/01/2010

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

Séminaires 2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 09-Nov-2011

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.

2011

  1. K. Barkaoui, B. Monsuez, D. Poitrenaud : "Editorial - Special Issue on Verification and Evaluation of Computer and Communication Systems – Part I" In Int. J. Critical Computer-Based Systems (IJCCBS), Vol. 2, Nos. 3/4, 2011, pp. 217-220 (ISSN : 1757-2703)
  2. P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin. COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic. in proceedings of QEST'11. IEEE Computer Society Press, 2011
  3. P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin. Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems. in proceedings of CASE'11. IEEE Robotics & Automation Society, 2011.
  4. L.M. Hillah, F. Kordon, C. Lakos, and L. Petrucci. Extending PNML Scope : the Prioritised Petri Nets Experience. Petri Net and Software Engineering (PNSE 2011), vol 723, pages 61-75, CEUR, June 2011
  5. P. Ballarini, H. Djafri, M. Duflot, S. Haddad and N. Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. In VALUETOOLS'11. 2011. To appear.
  6. S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis and S. Haddad. Lumping partially symmetrical stochastic models. Performance Evaluation 76, pages 21-44, 2011.
  7. J. Delange, L.Pautet, and F. Kordon. Reconfigurable Embedded Control Systems : Applications for Flexibility and Agility, chapter A Model-Based Approach To Configure and Reconfigure Avionics Systems, pages 509–541. Number 19. IGI Global, 2011.

2010

  1. B. Bérard, S. Haddad and M. Sassolas. Real Time Properties for Interrupt Timed Automata. In TIME'10. pages 69-76, IEEE Computer Society Press, Paris, September 2010.
  2. S. Haddad, L. Mokdad and S. Youcef. Response time of BPEL4WS constructors. In IEEE Symposium on Computer and Communications (ISCC'10). IEEE Computer Society Press, June 2010.
  3. J. Delange, L. Pautet, and F. Kordon. Design, Verification and Implementation of MILS systems. In Proceedings of the 21th International Symposium on Rapid System Prototyping, page 1-8, Fairfax, June 2010. IEEE Computer Society.
  4. C. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai, and L. Petrucci. The NEO protocol for large-scale distributed database systems : Modelling and initial verification. volume 6128, pages 145–164, June 2010.
  5. L. Hillah, F. Kordon, L. Petrucci, and N. Trèves. PNML Framework : an extendable reference implementation of the Petri Net Markup Language. In 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), volume 6128 of Lecture Notes in Computer Science, pages 318-327, Braga, Portugal, June 2010. Springer.
  6. L. Hillah and L. Petrucci. Standardisation des réseaux de Petri : état de l’art et enjeux futurs. Revue Génie Logiciel, 93 :5–10, June 2010.
  7. G. Lasnier, T. Robert, L. Pautet, and F. Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. In 10st international conference on New Technologies of Distributed Systems (NOTERE'2010), page ??, Tozeur, Tunisia, June 2010. IEEE Computer Society.
  8. G. Lasnier, T. Robert, L. Pautet, and F. Kordon. Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. In 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), pages 87-91, Carmona, Spain, May 2010. IEEE Computer Society.
  9. J. Delange, L. Pautet, and F. Kordon. Modeling and Validation of ARINC653 architectures. In Embedded Real Time Software and Systems (ERTSS'10), pages 1-8, Toulouse, France, May 2010.
  10. S. Haddad, L. Mokdad et S. Youcef Response time of BPEL4WS constructors, IEEE Symposium on Computers and Communications (ISCC'10), Riccione, Italie, Juin 2010.

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 9-28, 2009.
  2. 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.
  3. 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.
  4. 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.
  5. B. Bérard and S. Haddad. Interrupt Timed Automata. In FoSSaCS'09, LNCS 5504, pages 197-211. Springer, March 2009.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. An Approach to State Space Reduction for Systems with Dynamic Process Creation. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz and Franck Pommereau. Proc. of ISCIS'09, IEEE Press, pages 543-548, September 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.
  11. S. Haddad, L. Mokdad et S. Youcef Response time analysis for compositeWeb services, 6th IEEE Symposium on Communication Systems, Networks and Digital Signal Processing, (CNDSPS'08), pp. 1-5, Graz, juillet 2008.
  12. H.Castel, L.Mokdad et N. Pekergin Model checking of performance measures using bounding aggregations, IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems, (SPECTS'08), pp. 1-7, Edinburgh, UK, juin 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.
  6. H.Castel, L.Mokdad et N. Pekergin Stochastic bounds applied to the end to end QoS in communication systems, 15th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication (MASCOTS'07), Istambul, Turquie, pp. 374-380, octobre 2007.
  7. H.Castel, L.Mokdad et N. Pekergin Aggregated bounding Markov processes applied to the analysis of tandem queues, 2nd ACM International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07), Nantes, France, pp. 1-10, octobre 2007.

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.
  7. K. Barkaoui, J.M. Couvreur, Kaïs Klaï "On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets" 26th International Conference Applications and Theory of Petri Nets (ICATPN'05), Lecture Notes in Computer Science (LNCS) Vol. 3536, 2005, pp. 90-107, (Springer).