Nombre de documents

62

pascal.poizat


Article dans une revue8 documents

  • Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401>. <hal-01198918>
  • Rania Khéfifi, Pascal Poizat, Fatiha Saïs. Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures. Revue des Nouvelles Technologies de l'Information, Hermann, 2014, RNTI-W-2, pp.75-89. <hal-01198920>
  • Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, <10.1109/TSE.2011.62>. <hal-00717252>
  • Carlos Canal, Pascal Poizat, Gwen Salaün. Model-based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2008, 34 (4), pp.546--563. <10.1109/TSE.2008.31>. <hal-00340122>
  • Christian Attiogbe, Pascal Poizat, Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. <10.1109/TSE.2007.21>. <hal-00470280>
  • Pascal Poizat, Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2006, 12 (12), pp.1741-1782. <10.3217/jucs-012-12-1741>. <hal-00342156>
  • Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Software Adaptation. L'Objet, 2006, 12, pp.9--31. <hal-00342014>
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, Springer, 2001, 7 (1), pp.19-36. <10.3217/jucs-007-01-0019>. <hal-00444026>

Communication dans un congrès37 documents

  • Pascal Poizat, Gwen Salaün, Ajay Krishna. Checking Business Process Evolution. 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France. <hal-01366641>
  • Rania Khefifi, Pascal Poizat, Fatiha Saïs. Data-Flow Oriented Service Composition: AI-Planning or Petri Nets?. 2nd Workshop "From Open Sources to Web of Data" (SOS-DLWD 2013), Jul 2013, Lille, France. 2013. <hal-00832920>
  • Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. 7793, pp.226-230, 2013, Lecture Note in Computer Science. <10.1007/978-3-642-37057-1_16>. <hal-00806788>
  • Rania Khéfifi, Pascal Poizat, Fatiha Saïs. Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. 11th International Conference on Service Oriented Computing, ICSOC 2013, Dec 2013, Berlin, Germany. Springer, 8274, pp.575-583, Lecture Notes in Computer Science. <10.1007/978-3-642-45005-1_48>. <hal-01216430>
  • Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi. Automatic Skeleton Generation for Data-Aware Service Choreographies. 24th IEEE International Symposium on Software Reliability Engineering, ISSSRE 2013, Nov 2013, Pasadena, CA, United States. IEEE, pp.320-329, <10.1109/ISSRE.2013.6698885>. <hal-01216413>
  • Rania Khefifi, Pascal Poizat, Fatiha Saïs. Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte.. Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574, 2012. <hal-00832944>
  • Rania Khefifi, Pascal Poizat, Fatiha Sais. Modelling and Quering Context-Aware Personal Information Spaces. Database and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110, 2012. <hal-00832934>
  • Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. 10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. 2012, <10.1007/978-3-642-34321-6_36>. <hal-01367304>
  • Pascal Poizat, Gwen Salaün. Checking the Realizability of BPMN 2.0 Choreographies. 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934, 2012. <hal-00685393>
  • Sandrine Beauche, Pascal Poizat. Automated service composition with adaptive planning. Athman Bouguettaya and Ingolf Krueger and Tiziana Margaria. 6th International Conference on Service-Oriented Computing (ICSOC '08), Dec 2008, Sydney, Australia. Springer, 5364, pp.530--537, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-89652-4-42>. <hal-00870493>
  • Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Verification and Adaptation of WF/.NET Components. Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, France. 215, pp.39--55, 2008. <hal-00340484>
  • Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. Athman Bouguettaya and Ingolf Krueger and Tiziana Margaria. 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. Springer Verlag, 5364, pp.84-99, 2008, Lecture Notes in Computer Science; ICSOC 2008. <10.1007/978-3-540-89652-4_10>. <inria-00341598>
  • Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. José Luiz Fiadeiro and Paola Inverardi. FASE 2008 - International Conference on Fundamental Approaches to Software Engineering, Mar 2008, Budapest, Hungary. Springer, 4961, pp.146--162, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78743-3_12>. <hal-00340490>
  • Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Practical Approaches for Software Adaptation.. 21st European Conference on Object-Oriented Programming (ECOOP 2007), Jul 2007, Berlin, Germany. 4906, pp.154--165, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78195-0_15>. <hal-00340482>
  • Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. 12th International Workshop on Component-Oriented Programming (WCOP 2007), Jul 2007, Berlin, Germany. pp.9--13, 2007. <hal-00342068>
  • Pascal Poizat, Gwen Salaün. Adaptation of Open Component-based Systems. Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), 2007, Pathos, Cyprus. 4468, pp.141--156, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-72952-5_9>. <hal-00342160>
  • Radu Mateescu, Pascal Poizat, Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, 2007, <10.1145/1321631.1321690>. <hal-00342148>
  • Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, et al.. Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP 2006 Workshop Reader, 2007, Nantes, France. 4379, pp.72--86, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71774-4_9>. <hal-00341998>
  • Serge Haddad, Pascal Poizat. Transactional Reduction of Component Compositions. Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), 2007, Tallin, Estonia. 4574, pp.341--357, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73196-2_22>. <hal-00342086>
  • Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Descriptions of Components. Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. 4037, pp.33--47, 2006, Lecture Notes in Computer Science. <10.1007/11768869_5>. <hal-00342158>
  • Pascal Poizat, Gwen Salaün, Massimo Tivoli. On Dynamic Reconfiguration of Behavioural Adaptation. Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69, 2006. <hal-00342163>
  • Pascal Poizat, Gwen Salaün, Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems. Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. 182, pp.155--170, 2007, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2006.09.037>. <hal-00342162>
  • Carlos Canal, Pascal Poizat, Gwen Salaün. Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Sep 2006, Nantes, France. (elec. proc.), 2006. <hal-00342016>
  • Carlos Canal, Pascal Poizat, Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition. Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. 4037, pp.63--77, 2006, Lecture Notes in Computer Science. <10.1007/11768869_7>. <hal-00342017>
  • Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. Software Composition (SC), 2005, Edinburgh, United Kingdom. 3628, pp.115--124, 2005, Lecture Notes in Computer Science. <hal-00342152>
  • Gwen Salaün, Pascal Poizat. Interacting Extended State Diagrams. Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04), 2005, Barcelona, Spain. 115, pp.49--57, 2005, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.09.028>. <hal-00342172>
  • Pascal Poizat. Shell Scripting for Scientific Programming : the Python example. International Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a., 2005. <hal-00342155>
  • Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Coordination and Adaptation Techniques for Software Entities. European Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, 2005, Norway. 3344, pp.133--147, 2005, Lecture Notes in Computer Science. <10.1007/b104146>. <hal-00342015>
  • Olivier Maréchal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. R. Meersman, Z. Tari, D. C. Schmidt and al. OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pub.springer, 3291, pp.1502-1519, 2004, lncs. <hal-00457192>
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. 2003, Nice, France, France. IEEE Computer Society Press, pp.240a, 2003. <hal-00458164>
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Integration of Formal Datatypes within State Diagrams. Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. SV, 2621, pp.341--355, 2003, LNCS. <hal-00458163>
  • Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. J.-M. Jézéquel. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17, 2003. <hal-00458199>
  • Pascal Poizat, Jean-Claude Royer. Une proposition de composants formels. M. Dao et M. Huchard. Langages et Modèles à Objets, 2002, Montpellier, France. pp.231-245. <hal-01135659>
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. Formal specification of mixed components with Korrigan. 8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. IEEE Computer Society, pp.169--176. <hal-01135653>
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. A global semantics for views. Rus, T. International conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. Springer-Verlag, 1816, pp.165--180. <hal-01135611>
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. Integration and composition of static and dynamic "views": Unifying approach to complex system specification. H. Ehrig, M. Grosse-Rhode, F. Orejas. Workshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20. <hal-01135631>
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. From informal requirements to COOP: a concurrent automata approach. Formal Methods, 1999, Toulouse, France. Springer-Verlag, 1709, pp.939-962, LNCS. <hal-01135580>

Chapitre d'ouvrage6 documents

  • Min Chen, Pascal Poizat, Yuhong Yan. Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding. Web Services Foundations, Springer Verlag, pp.423-449, 2014. <hal-01221701>
  • Marc Frappier, Henri Habrias, Pascal Poizat. 19 - A Comparison of the Specification Methods. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. <hal-00342080>
  • Henri Habrias, Pascal Poizat, Marc Frappier. 20 - Glossary. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. <hal-00342085>
  • Pascal Poizat. 12 - SDL. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. <hal-00342154>
  • Pascal Poizat, Thomas Vergnaud. 5 - Langages de description d'architecture. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, pp.n.a., 2006. <hal-00342165>
  • Pascal Poizat, Christine Choppy, Jean-Claude Royer. Concurrency and Data Types: a Specification Method. An Example with LOTOS. Fiadero, J. Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4. <hal-01135605>

Direction d'ouvrage, Proceedings6 documents

  • Carlos Canal, Pascal Poizat, Mirko Viroli. Proceedings of the Sixth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 07).. n.a., pp.n.a., 2007. <hal-00343093>
  • Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, et al.. Special Issue on Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities (WCAT 06). n.a., pp.n.a., 2007. <hal-00343091>
  • Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Practical Approaches for Software Adaptation. Proceedings of the Fourth International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 07).. n.a., pp.n.a., 2007. <hal-00343092>
  • Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, et al.. Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. Proceedings of the Third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06).. n.a., pp.n.a., 2006. <hal-00343094>
  • Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Special Issue on Coordination and Adaptation Techniques. n.a., pp.n.a., 2006. <hal-00343095>
  • Steffen Becker, Carlos Canal, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli. New Issues on Coordination and Adaptation Techniques. Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05).. n.a., pp.n.a., 2005. <hal-00343096>

Autre publication4 documents

  • Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java. 2005. <hal-00342153>
  • Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols. Symbolic Bounded Analysis for Component Behavioural Protocols. 2005. <hal-00342159>
  • Pascal Poizat, Gwen Salaün. Formal Coordination of Communicating Entities described with Behavioural Interfaces. Formal Coordination of Communicating Entities described with Behavioural Interfaces. 2005. <hal-00342161>
  • Carlos Canal, Pascal Poizat, Gwen Salaün. Adaptation of Component Protocols using Synchronous Vectors. Adaptation of Component Protocols using Synchronous Vectors. 2005. <hal-00342018>

Rapport1 document

  • Radu Mateescu, Pascal Poizat, Gwen Salaun. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. [Research Report] RR-6362, INRIA. 2007, pp.25. <inria-00189246v2>