Pascal Poizat
Pascal Poizat
Professor at Université Paris Nanterre
Verified email at lip6.fr - Homepage
TitleCited byYear
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
Software Engineering, IEEE Transactions on 34 (4), 546-563, 2008
1762008
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
R Mateescu, P Poizat, G Salaün
Service-Oriented Computing–ICSOC 2008, 84-99, 2008
1672008
Software adaptation
C Canal, J Manuel, MP Poizat
in L'objet, 12 (1): 9-31, 2006. Special Issue on Coordination and Adaptation …, 2006
1182006
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
762006
Adaptation of service protocols using process algebra and on-the-fly reduction techniques
R Mateescu, P Poizat, G Salaün
IEEE Transactions on Software Engineering 38 (4), 755-777, 2011
722011
Checking the realizability of BPMN 2.0 choreographies
P Poizat, G Salaün
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1927-1934, 2012
632012
A formal framework for service orchestration testing based on symbolic transition systems
L Bentakouk, P Poizat, F Zaďdi
Testing of Software and Communication Systems, 16-32, 2009
582009
Automated service composition with adaptive planning
S Beauche, P Poizat
International Conference on Service-Oriented Computing, 530-537, 2008
582008
A model-based approach to the verification and adaptation of wf/. net components
J Cubo, G Salaün, C Canal, E Pimentel, P Poizat
Electronic Notes in Theoretical Computer Science 215, 39-55, 2008
512008
Behavioral adaptation of component compositions based on process algebra encodings
R Mateescu, P Poizat, G Salaun
492007
A java implementation of a component model with explicit symbolic protocols
S Pavel, J Noyé, P Poizat, JC Royer
International Conference on Software Composition, 115-124, 2005
392005
Adaptation of open component-based systems
P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
382007
A formal architectural description language based on symbolic transition systems and modal logic
P Poizat, JC Royer
352006
Repair vs. recomposition for broken service compositions
Y Yan, P Poizat, L Zhao
International Conference on Service-Oriented Computing, 152-166, 2010
332010
Distributed behavioural adaptation for the automatic composition of semantic services
T Melliti, P Poizat, S Ben Mokhtar
Proceedings of the Theory and practice of software, 11th international …, 2008
332008
A global semantics for views
C Choppy, P Poizat, JC Royer
International Conference on Algebraic Methodology and Software Technology …, 2000
332000
Integration of formal datatypes within state diagrams
C Attiogbé, P Poizat, G Salaün
International Conference on Fundamental Approaches to Software Engineering …, 2003
312003
From informal requirements to COOP: a Concurrent Automata Approach
P Poizat, C Choppy, JC Royer
International Symposium on Formal Methods, 939-962, 1999
301999
Checking asynchronously communicating components using symbolic transition systems
O Maréchal, P Poizat, JC Royer
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
272004
Concurrency and data types: A specification method an example with LOTOS
P Poizat, C Choppy, JC Royer
International Workshop on Algebraic Development Techniques, 277-293, 1998
271998
The system can't perform the operation now. Try again later.
Articles 1–20