Pascal Poizat
Professeur à l'Université Paris Nanterre
50%
Libre accès
72
Documents
Affiliations actuelles
- 233
- 541717
- 116205
Présentation
<P align="justify">My research activities address <B>software engineering</B> 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 <B>behavioural aspects</B> 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.</P>
<P align="justify">I am also particularly interested in the use and the integration of <B>formal methods</B> 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.</P>
<P align="justify">Applicative domains and relation to standards are important in my work. This includes <B>business processes</B> and <B>service-based applications</B>, 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.</P>
Publications
|
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph21st International Conference on Mining Software Repositories (MSR), Apr 2024, Libonne, Portugal
Communication dans un congrès
hal-04392296v1
|
|
A Preliminary Study of Rhythm and Speed in the Maven Ecosystem21st Belgium-Netherlands Software Evolution Workshop, Sep 2022, Mons, Belgium
Communication dans un congrès
hal-03725099v1
|
|
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⟩
Communication dans un congrès
hal-03289951v1
|
|
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⟩
Communication dans un congrès
hal-03170814v1
|
|
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⟩
Communication dans un congrès
hal-02138366v1
|
|
VBPMN: Automated Verification of BPMN Processes13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Communication dans un congrès
hal-01591665v1
|
|
Checking Business Process Evolution13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France
Communication dans un congrès
hal-01366641v1
|
|
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⟩
Communication dans un congrès
hal-00806788v1
|
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⟩
Communication dans un congrès
hal-01216430v1
|
|
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
Communication dans un congrès
hal-00832920v1
|
|
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⟩
Communication dans un congrès
hal-01216413v1
|
|
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte.Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574
Communication dans un congrès
hal-00832944v1
|
|
Modelling and Quering Context-Aware Personal Information SpacesDatabase and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110
Communication dans un congrès
hal-00832934v1
|
|
|
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⟩
Communication dans un congrès
hal-01367304v1
|
|
Checking the Realizability of BPMN 2.0 Choreographies27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934
Communication dans un congrès
hal-00685393v1
|
Verification and Adaptation of WF/.NET ComponentsProceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, Paris, France. pp.39--55
Communication dans un congrès
hal-00340484v1
|
|
|
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⟩
Communication dans un congrès
hal-00870493v1
|
|
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⟩
Communication dans un congrès
inria-00341598v1
|
|
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⟩
Communication dans un congrès
hal-00340490v1
|
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⟩
Communication dans un congrès
hal-00340482v1
|
|
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⟩
Communication dans un congrès
hal-00341998v1
|
|
|
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
Communication dans un congrès
hal-00342068v1
|
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⟩
Communication dans un congrès
hal-00342086v1
|
|
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⟩
Communication dans un congrès
hal-00342160v1
|
|
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⟩
Communication dans un congrès
hal-00342148v1
|
|
|
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.)
Communication dans un congrès
hal-00342016v1
|
|
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⟩
Communication dans un congrès
hal-00342017v1
|
|
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
Communication dans un congrès
hal-00342163v1
|
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⟩
Communication dans un congrès
hal-00342158v1
|
|
|
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⟩
Communication dans un congrès
hal-00342162v1
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩
Communication dans un congrès
hal-00342152v1
|
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⟩
Communication dans un congrès
hal-00342172v1
|
|
Coordination and Adaptation Techniques for Software EntitiesEuropean Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, 2005, Norway. pp.133--147, ⟨10.1007/b104146⟩
Communication dans un congrès
hal-00342015v1
|
|
Shell Scripting for Scientific Programming : the Python exampleInternational Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a
Communication dans un congrès
hal-00342155v1
|
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519
Communication dans un congrès
hal-00457192v1
|
|
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
Communication dans un congrès
hal-00458164v1
|
|
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Communication dans un congrès
hal-00458163v1
|
|
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
Communication dans un congrès
hal-00458199v1
|
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Communication dans un congrès
hal-01135659v1
|
|
Formal specification of mixed components with Korrigan8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176
Communication dans un congrès
hal-01135653v1
|
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180
Communication dans un congrès
hal-01135611v1
|
|
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
Communication dans un congrès
hal-01135631v1
|
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962
Communication dans un congrès
hal-01135580v1
|
Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning EncodingWeb Services Foundations, Springer Verlag, pp.423-449, 2014
Chapitre d'ouvrage
hal-01221701v1
|
|
19 - A Comparison of the Specification MethodsSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342080v1
|
|
5 - Langages de description d'architectureMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342165v1
|
|
20 - GlossarySoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342085v1
|
|
12 - SDLSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342154v1
|
|
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
Chapitre d'ouvrage
hal-01135605v1
|
Symbolic Bounded Analysis for Component Behavioural Protocols2005
Autre publication scientifique
hal-00342159v1
|
|
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005
Autre publication scientifique
hal-00342153v1
|
|
Formal Coordination of Communicating Entities described with Behavioural Interfaces2005
Autre publication scientifique
hal-00342161v1
|
|
Adaptation of Component Protocols using Synchronous Vectors2005
Autre publication scientifique
hal-00342018v1
|
|
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings[Research Report] RR-6362, INRIA. 2007, pp.25
Rapport
inria-00189246v2
|
|
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 : ⟩
Thèse
tel-02963222v1
|
|
Formal Model-Based Approaches for the Development of Composite SystemsSoftware Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011
HDR
tel-02963225v1
|