Pascal Poizat
71
Documents
Publications
|
A Preliminary Study of Rhythm and Speed in the Maven Ecosystem21st Belgium-Netherlands Software Evolution Workshop, Sep 2022, Mons, Belgium
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-02138366v1
|
|
VBPMN: Automated Verification of BPMN Processes13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Conference papers
hal-01591665v1
|
|
Checking Business Process Evolution13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France
Conference papers
hal-01366641v1
|
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⟩
Conference papers
hal-01216413v1
|
|
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⟩
Conference papers
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
Conference papers
hal-00832920v1
|
|
|
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⟩
Conference papers
hal-00806788v1
|
Modelling and Quering Context-Aware Personal Information SpacesDatabase and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110
Conference papers
hal-00832934v1
|
|
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte.Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574
Conference papers
hal-00832944v1
|
|
|
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⟩
Conference papers
hal-01367304v1
|
|
Checking the Realizability of BPMN 2.0 Choreographies27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934
Conference papers
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
Conference papers
hal-00340484v1
|
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00340490v1
|
|
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⟩
Conference papers
hal-00870493v1
|
|
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
Conference papers
hal-00342068v1
|
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⟩
Conference papers
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⟩
Conference papers
hal-00341998v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-00342148v1
|
|
|
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⟩
Conference papers
hal-00342017v1
|
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⟩
Conference papers
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⟩
Conference papers
hal-00342162v1
|
|
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.)
Conference papers
hal-00342016v1
|
|
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
Conference papers
hal-00342163v1
|
Coordination and Adaptation Techniques for Software EntitiesEuropean Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, 2005, Norway. pp.133--147, ⟨10.1007/b104146⟩
Conference papers
hal-00342015v1
|
|
Shell Scripting for Scientific Programming : the Python exampleInternational Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a
Conference papers
hal-00342155v1
|
|
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⟩
Conference papers
hal-00342172v1
|
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩
Conference papers
hal-00342152v1
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
hal-00458199v1
|
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Conference papers
hal-01135659v1
|
|
Formal specification of mixed components with Korrigan8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176
Conference papers
hal-01135653v1
|
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180
Conference papers
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
Conference papers
hal-01135631v1
|
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962
Conference papers
hal-01135580v1
|
Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning EncodingWeb Services Foundations, Springer Verlag, pp.423-449, 2014
Book sections
hal-01221701v1
|
|
5 - Langages de description d'architectureMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, pp.n.a., 2006
Book sections
hal-00342165v1
|
|
12 - SDLSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Book sections
hal-00342154v1
|
|
19 - A Comparison of the Specification MethodsSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Book sections
hal-00342080v1
|
|
20 - GlossarySoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Book sections
hal-00342085v1
|
|
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
Book sections
hal-01135605v1
|
Formal Coordination of Communicating Entities described with Behavioural Interfaces2005
Other publications
hal-00342161v1
|
|
Adaptation of Component Protocols using Synchronous Vectors2005
Other publications
hal-00342018v1
|
|
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005
Other publications
hal-00342153v1
|
|
Symbolic Bounded Analysis for Component Behavioural Protocols2005
Other publications
hal-00342159v1
|
|
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings[Research Report] RR-6362, INRIA. 2007, pp.25
Reports
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 : ⟩
Theses
tel-02963222v1
|
|
Formal Model-Based Approaches for the Development of Composite SystemsSoftware Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011
Habilitation à diriger des recherches
tel-02963225v1
|