BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
1 × Poland
1 × Switzerland
1 × The Netherlands
1 × USA
3 × Italy
Collaborated with:
G.Salaün F.Zaïdi L.Bentakouk C.Choppy J.Royer H.N.Nguyen T.Melliti S.B.Mokhtar R.Mateescu C.Attiogbé H.Habrias J.Lafaye M.Güdemann A.Dumont
Talks about:
servic (4) test (4) choreographi (3) formal (3) framework (2) composit (2) behavior (2) conform (2) system (2) symbol (2)

♂ Person: Pascal Poizat

DBLP DBLP: Poizat:Pascal

Facilitated 1 volumes:

CBSE 2013PrCo

Contributed to:

FASE 20132013
SAC 20122012
TAP 20112011
TestCom/FATES 20092009
FASE 20082008
ASE 20072007
FASE 20032003
FASE 20012001
World Congress on Formal Methods 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.