Segui
Pascal Poizat
Pascal Poizat
Professor at Université Paris Nanterre
Email verificata su lip6.fr - Home page
Titolo
Citata da
Citata da
Anno
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
Software Engineering, IEEE Transactions on 34 (4), 546-563, 2008
1982008
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
1952011
Software adaptation.
C Canal, JM Murillo, P Poizat
Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006
1462006
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
992012
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
802006
A formal framework for service orchestration testing based on symbolic transition systems
L Bentakouk, P Poizat, F Zaïdi
International Workshop on Formal Approaches to Software Testing, 16-32, 2009
632009
Automated service composition with adaptive planning
S Beauche, P Poizat
Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney …, 2008
622008
Behavioral adaptation of component compositions based on process algebra encodings
R Mateescu, P Poizat, G Salaün
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
582007
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
562008
VerChor: a framework for the design and verification of choreographies
M Güdemann, P Poizat, G Salaün, L Ye
IEEE Transactions on Services Computing 9 (4), 647-660, 2015
512015
Repair vs. recomposition for broken service compositions
Y Yan, P Poizat, L Zhao
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
452010
A java implementation of a component model with explicit symbolic protocols
S Pavel, J Noyé, P Poizat, JC Royer
Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK …, 2005
452005
Adaptation of open component-based systems
P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
422007
A formal architectural description language based on symbolic transition systems and modal logic
P Poizat, JC Royer
Journal of Universal Computer Science 12 (12), 1741-1782, 2006
412006
Checking business process evolution
A Krishna, P Poizat, G Salaün
Science of Computer Programming 170, 1-26, 2019
392019
Integration of formal datatypes within state diagrams
C Attiogbé, P Poizat, G Salaün
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
392003
A global semantics for views
C Choppy, P Poizat, JC Royer
Algebraic Methodology and Software Technology: 8th International Conference …, 2000
382000
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
372008
Self-adaptive service composition through graphplan repair
Y Yan, P Poizat, L Zhao
2010 IEEE International Conference on Web Services, 624-627, 2010
352010
From informal requirements to COOP: a Concurrent Automata Approach
P Poizat, C Choppy, JC Royer
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
321999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20