♂ Person: Pascal Poizat

DBLP: Poizat:Pascal

Facilitated 1 volumes:

PrCo

Contributed to:

2013

2012

2011

2009

2008

2007

2003

2001

1999

Wrote 11 papers:

FASE-2013-GudemannPSD #framework #named #verification

VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.

SAC-2012-NguyenPZ #consistency #testing

Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.

SAC-2012-PoizatS

Checking the realizability of BPMN 2.0 choreographies (PP, GS), pp. 1927–1934.

TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.

TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.

FASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.

ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process

Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.

FASE-2003-AttiogbePS #data type #diagrams #integration

Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.

FASE-2001-ChoppyPR #specification #uml #visual notation

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.

FM-v2-1999-HabriasPL #case study #collaboration #specification

A Study of Collaborative Work: Answers to a Test on Formal Specification in B (HH, PP, JYL), pp. 1856–1857.

FM-v2-1999-PoizatCR #approach #automaton #concurrent #requirements

From Informal Requirements to COOP: A Concurrent Automata Approach (PP, CC, JCR), pp. 939–962.