Concepedia

Pascal Poizat

PP

15

Publications

552

Citations

12

H-Index

2006

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université d'Évry Val-d'Essonne

Université Paris Nanterre

Laboratoire de Recherche en Informatique

Institut national de recherche en sciences et technologies du numérique

Pascal Poizat is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and software engineering.

ORCID

Top concepts

Publications per year

2006–2025

15

Publications

15

Model-Based Adaptation of Behavioral Mismatching Components

Carlos Canal, Pascal Poizat, Gwen Salaün · IEEE Transactions on Software Engineering · 2008 · 124 citations · Full text

Checking the realizability of BPMN 2.0 choreographies

Pascal Poizat, Gwen Salaün · 2012 · 63 citations

, , +19

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Radu Mateescu, Pascal Poizat, Gwen Salaün · IEEE Transactions on Software Engineering · 2011 · 60 citations · Full text

, , +21

Synchronizing Behavioural Mismatch in Software Composition

Carlos Canal, Pascal Poizat, Gwen Salaün · Lecture notes in computer science · 2006 · 51 citations

, , +11

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Javier Cubo, Gwen Salaün, Carlos Canal et al. · Electronic Notes in Theoretical Computer Science · 2008 · 42 citations · Full text

, , +25

Rows per page

1–5 of 15