pascal.poizat

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloud. A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Information Systems, Elsevier, In press. ⟨hal-03170863⟩

Ajay Krishna, Pascal Poizat, Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, Elsevier, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩. ⟨hal-01920273⟩

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, Editions RNTI, 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⟩

Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Software Adaptation. L'Objet, 2006, 12, pp.9--31. ⟨hal-00342014⟩

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⟩

Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩. ⟨hal-00444026⟩

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. International Symposium on Formal Methods (FM 2021), Nov 2021, Beijing, China. ⟨hal-03289951⟩

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩. ⟨hal-03170814⟩

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩. ⟨hal-02138366⟩

Ajay Krishna, Pascal Poizat, Gwen Salaün. VBPMN: Automated Verification of BPMN Processes. 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy. ⟨hal-01591665⟩

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 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. pp.575-583, ⟨10.1007/978-3-642-45005-1_48⟩. ⟨hal-01216430⟩

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. ⟨hal-00832920⟩

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi. Automatic Skeleton Generation for Data-Aware Service Choreographies. 24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Nov 2013, Pasadena, CA, United States. pp.320-329, ⟨10.1109/ISSRE.2013.6698885⟩. ⟨hal-01216413⟩

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. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩. ⟨hal-00806788⟩

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. ⟨hal-00685393⟩

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. ⟨10.1007/978-3-642-34321-6_36⟩. ⟨hal-01367304⟩

Rania Khefifi, Pascal Poizat, Fatiha Saïs. Modelling and Quering Context-Aware Personal Information Spaces. Database and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110. ⟨hal-00832934⟩

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. ⟨hal-00832944⟩

Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩. ⟨inria-00341598⟩

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, Paris, France. pp.39--55. ⟨hal-00340484⟩

Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE 2008 - International Conference on Fundamental Approaches to Software Engineering, Mar 2008, Budapest, Hungary. pp.146--162, ⟨10.1007/978-3-540-78743-3_12⟩. ⟨hal-00340490⟩

Sandrine Beauche, Pascal Poizat. Automated service composition with adaptive planning. 6th International Conference on Service-Oriented Computing (ICSOC '08), Dec 2008, Sydney, Australia. pp.530--537, ⟨10.1007/978-3-540-89652-4-42⟩. ⟨hal-00870493⟩

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. pp.154--165, ⟨10.1007/978-3-540-78195-0_15⟩. ⟨hal-00340482⟩

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. pp.141--156, ⟨10.1007/978-3-540-72952-5_9⟩. ⟨hal-00342160⟩

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. pp.341--357, ⟨10.1007/978-3-540-73196-2_22⟩. ⟨hal-00342086⟩

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, ⟨10.1145/1321631.1321690⟩. ⟨hal-00342148⟩

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. ⟨hal-00342068⟩

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. pp.72--86, ⟨10.1007/978-3-540-71774-4_9⟩. ⟨hal-00341998⟩

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. ⟨hal-00342163⟩

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. pp.63--77, ⟨10.1007/11768869_7⟩. ⟨hal-00342017⟩

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. pp.155--170, ⟨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.). ⟨hal-00342016⟩

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. pp.33--47, ⟨10.1007/11768869_5⟩. ⟨hal-00342158⟩

Pascal Poizat. Shell Scripting for Scientific Programming : the Python example. International Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a. ⟨hal-00342155⟩

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. pp.49--57, ⟨10.1016/j.entcs.2004.09.028⟩. ⟨hal-00342172⟩

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. pp.133--147, ⟨10.1007/b104146⟩. ⟨hal-00342015⟩

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. pp.115--124. ⟨hal-00342152⟩

Olivier Maréchal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519. ⟨hal-00457192⟩

Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17. ⟨hal-00458199⟩

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. pp.341--355. ⟨hal-00458163⟩

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. pp.240a. ⟨hal-00458164⟩

Pascal Poizat, Jean-Claude Royer. Une proposition de composants formels. 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. pp.169--176. ⟨hal-01135653⟩

Christine Choppy, Pascal Poizat, Jean-Claude Royer. Integration and composition of static and dynamic "views": Unifying approach to complex system specification. 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. A global semantics for views. International conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180. ⟨hal-01135611⟩

Christine Choppy, Pascal Poizat, Jean-Claude Royer. From informal requirements to COOP: a concurrent automata approach. Formal Methods, 1999, Toulouse, France. pp.939-962. ⟨hal-01135580⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, 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⟩

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⟩

Pascal Poizat, Gwen Salaün. 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. 2005. ⟨hal-00342018⟩

Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols. 2005. ⟨hal-00342159⟩

Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java. 2005. ⟨hal-00342153⟩

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⟩

Pascal Poizat. KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. Informatique [cs]. Université de Nantes, 2000. Français. ⟨tel-02963222⟩

Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems. Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011. ⟨tel-02963225⟩