Pascal Poizat
- Laboratoire d'Informatique de Paris 6 (LIP6)
- Modélisation et Vérification (MoVe)
- Université Paris Nanterre (UPN)
Présentation
My research activities address software engineering with issues related to composition (the software system is made up of several sub-units), distribution (there are sub-units that execute on different deployment units), and interaction (there are sub-units that synchronize or communicate in some way). Further, I have a specific focus on the behavioural aspects of software. These emerge when systems or their sub-units have a state, conditioning the legal ordering of operations within them or communications between them. I am also particularly interested in the use and the integration of formal methods within the software development processes. This includes activities such as design, verification, adaptation, automatic composition, and testing. The objective is twofold: first, to increase the confidence one may have in a software system and, second, to foster automation and tool-support of the development processes. Applicative domains and relation to standards are important in my work. This includes business processes and service-based applications, e.g., with the formal verification and the analysis of the evolution of business processes modelled using BPMN, the automatic generation of service compositions and service adaptors models and corresponding WS-BPEL implementations from high-level requirements, and the testing of service orchestrations and service choreographies.
Publications
Publications
|
|
Navigating and Exploring Software Dependency Graphs using Goblin22nd International Conference on Mining Software Repositories (MSR), Apr 2025, Ottawa, Canada |
|
|
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph21st International Conference on Mining Software Repositories (MSR), Apr 2024, Libonne, Portugal |
|
|
Balancing the Quality and Cost of Updating Dependencies39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Oct 2024, Sacramento, CA, United States. pp.1834-1845, ⟨10.1145/3691620.3695595⟩ |
|
|
A Preliminary Study of Rhythm and Speed in the Maven Ecosystem21st Belgium-Netherlands Software Evolution Workshop, Sep 2022, Mons, Belgium |
|
|
A Direct Formal Semantics for BPMN Time-Related ConstructsENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩ |
|
|
Business Processes Meet Spatial Concerns: the sBPMN Verification FrameworkFM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩ |
|
|
A First-Order Logic Semantics for Communication-Parametric BPMN CollaborationsInternational Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩ |
|
|
VBPMN: Automated Verification of BPMN Processes13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy |
|
|
Checking Business Process Evolution13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France |
|
|
Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space11th International Conference on Service Oriented Computing, ICSOC 2013, Dec 2013, Berlin, Germany. pp.575-583, ⟨10.1007/978-3-642-45005-1_48⟩ |
Automatic Skeleton Generation for Data-Aware Service Choreographies24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Nov 2013, Pasadena, CA, United States. pp.320-329, ⟨10.1109/ISSRE.2013.6698885⟩ |
|
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 |
|
|
|
VerChor: A Framework for Verifying ChoreographiesFundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩ |
|
|
Passive Conformance Testing of Service Choreographies27th ACM Symposium on Applied Computing (SAC), Mar 2012, Riva del Garda, Italy. ⟨10.1145/2245276.2232020⟩ |
|
|
Checking the Realizability of BPMN 2.0 Choreographies27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934 |
|
|
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. ⟨10.1007/978-3-642-34321-6_36⟩ |
|
|
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States. ⟨10.1109/HASE.2012.15⟩ |
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte.Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574 |
|
Modelling and Quering Context-Aware Personal Information SpacesDatabase and Expert Systems Applications, Sep 2012, Vienna, Austria. pp.103-110 |
|
|
|
Distributed Behavioural Adaptation for the Automatic Composition of Semantic ServicesFASE 2008 - International Conference on Fundamental Approaches to Software Engineering, Mar 2008, Budapest, Hungary. pp.146--162, ⟨10.1007/978-3-540-78743-3_12⟩ |
|
|
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩ |
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⟩ |
|
|
|
Automated service composition with adaptive planning6th International Conference on Service-Oriented Computing (ICSOC '08), Dec 2008, Sydney, Australia. pp.530--537, ⟨10.1007/978-3-540-89652-4-42⟩ |
Verification and Adaptation of WF/.NET ComponentsProceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, Paris, France. pp.39--55 |
|
|
|
An Adaptation-based Approach to Incrementally Build Component SystemsProceedings 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⟩ |
Behavioral Adaptation of Component Compositions based on Process Algebra EncodingsProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩ |
|
Coordination and Adaptation Techniques: Bridging the Gap Between Design and ImplementationECOOP 2006 Workshop Reader, 2007, Nantes, France. pp.72--86, ⟨10.1007/978-3-540-71774-4_9⟩ |
|
Adaptation of Open Component-based SystemsProceedings 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⟩ |
|
|
|
Transactional Reduction of Component CompositionsProceedings 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⟩ |
|
|
Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.012th International Workshop on Component-Oriented Programming (WCOP 2007), Jul 2007, Berlin, Germany. pp.9--13 |
|
|
On Dynamic Reconfiguration of Behavioural AdaptationProceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69 |
|
|
Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisationPremière Conférence Francophone sur les Architectures Logicielles (CAL 2006), Sep 2006, Nantes, France. (elec. proc.) |
Bounded Analysis and Decomposition for Behavioural Descriptions of ComponentsProceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. pp.33--47, ⟨10.1007/11768869_5⟩ |
|
|
|
Synchronizing Behavioural Mismatch in Software CompositionProceedings 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⟩ |
Shell Scripting for Scientific Programming : the Python exampleInternational Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a |
|
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩ |
|
|
Interacting Extended State DiagramsProceedings 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⟩ |
Coordination and Adaptation Techniques for Software EntitiesEuropean Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, 2005, Norway. pp.133--147, ⟨10.1007/b104146⟩ |
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519 |
|
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a |
|
Intégration de données formelles dans les diagrammes d'états d'UMLApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17 |
|
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355 |
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245 |
|
Formal specification of mixed components with Korrigan8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176 |
|
Integration and composition of static and dynamic "views": Unifying approach to complex system specificationWorkshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20 |
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180 |
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962 |
Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning EncodingWeb Services Foundations, Springer Verlag, pp.423-449, 2014 |
|
20 - GlossarySoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 |
|
19 - A Comparison of the Specification MethodsSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 |
|
12 - SDLSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 |
|
5 - Langages de description d'architectureMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, pp.n.a., 2006 |
|
Concurrency and Data Types: a Specification Method. An Example with LOTOSFiadero, 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 |
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005 |
|
Symbolic Bounded Analysis for Component Behavioural Protocols2005 |
|
Adaptation of Component Protocols using Synchronous Vectors2005 |
|
Formal Coordination of Communicating Entities described with Behavioural Interfaces2005 |
|
|
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings[Research Report] RR-6362, INRIA. 2007, pp.25 |
|
|
KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtesInformatique [cs]. Université de Nantes, 2000. Français. ⟨NNT : ⟩ |
|
|
Formal Model-Based Approaches for the Development of Composite SystemsSoftware Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011 |