 |
 |
|
|
||
|---|---|---|
|
inria-00341598v1
Communication dans un congrès
Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques Athman Bouguettaya and Ingolf Krueger and Tiziana Margaria. 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. Springer Verlag, 5364, pp.84-99, 2008, Lecture Notes in Computer Science; ICSOC 2008. <10.1007/978-3-540-89652-4_10> |
||
|
inria-00189246v2
Rapport
Radu Mateescu, Pascal Poizat, Gwen Salaun. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings [Research Report] RR-6362, INRIA. 2007, pp.25 |
||
|
hal-00342017v1
Communication dans un congrès
Carlos Canal, Pascal Poizat, Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. 4037, pp.63--77, 2006, Lecture Notes in Computer Science. <10.1007/11768869_7> |
||
|
hal-00342148v1
Communication dans un congrès
Radu Mateescu, Pascal Poizat, Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, 2007, <10.1145/1321631.1321690> |
||
|
hal-00342162v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün, Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. 182, pp.155--170, 2007, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2006.09.037> |
||
|
hal-00342163v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün, Massimo Tivoli. On Dynamic Reconfiguration of Behavioural Adaptation Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69, 2006 |
||
|
hal-00806788v1
Communication dans un congrès
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. VerChor: A Framework for Verifying Choreographies Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. 7793, pp.226-230, 2013, Lecture Note in Computer Science. <10.1007/978-3-642-37057-1_16> |
||
|
hal-00685393v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün. Checking the Realizability of BPMN 2.0 Choreographies 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934, 2012 |
||
|
hal-01198918v1
Article dans une revue
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401> |
||
|
hal-00717252v1
Article dans une revue
Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, <10.1109/TSE.2011.62> |
||
|
hal-00470280v1
Article dans une revue
Christian Attiogbé, Pascal Poizat, Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. <10.1109/TSE.2007.21> |
||
|
hal-01366641v1
Communication dans un congrès
Pascal Poizat, Gwen Salaün, Ajay Krishna. Checking Business Process Evolution 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France |
||
|
|
||
