On-the-fly analysis of systems with unbounded, lossy FIFO channels, Proc. CAV'98, pp.305-318, 1998. ,
DOI : 10.1007/BFb0028754
Automatic verification of interactions in asynchronous systems with unbounded buffers, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.743-754, 2014. ,
DOI : 10.1145/2642937.2643016
Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012. ,
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning, Proc. of SEFM'13, pp.274-288, 2013. ,
DOI : 10.1007/978-3-642-40561-7_19
URL : https://hal.archives-ouvertes.fr/hal-00838788
Bounded Phase Analysis of Message-Passing Programs, Proc. of TACAS'12, pp.451-465, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00653085
A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005. ,
DOI : 10.1016/j.jss.2003.05.007
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006. ,
DOI : 10.1007/11948148_3
A Tool for Choreography Analysis Using Collaboration Diagrams, 2009 IEEE International Conference on Web Services, pp.856-863, 2009. ,
DOI : 10.1109/ICWS.2009.100
Semi-Automatic Specification of Behavioural Service Adaptation Contracts, Electronic Notes in Theoretical Computer Science, vol.264, issue.1, pp.19-34, 2010. ,
DOI : 10.1016/j.entcs.2010.07.003
Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, pp.63-77, 2006. ,
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017
Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008. ,
DOI : 10.1109/TSE.2008.31
Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005. ,
DOI : 10.1016/j.ic.2005.05.006
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, pp.39-55, 2007. ,
DOI : 10.1016/j.entcs.2008.06.020
Quasi-static scheduling of communicating tasks, Information and Computation, vol.208, issue.10, pp.1154-1168, 2010. ,
DOI : 10.1016/j.ic.2009.09.005
URL : https://hal.archives-ouvertes.fr/hal-00591759
Buffered Communication Analysis in Distributed Multiparty Sessions, Proc. CONCUR'10, pp.343-357, 2010. ,
DOI : 10.1007/978-3-642-15375-4_24
Multiparty Session Types Meet Communicating Automata, Proc. of ESOP'12, pp.194-213, 2012. ,
DOI : 10.1007/978-3-642-28869-2_10
Verifying identical communicating processes is undecidable, Theoretical Computer Science, vol.174, issue.1-2, pp.217-230, 1997. ,
DOI : 10.1016/S0304-3975(96)00026-6
Introduction to Process Algebra. Texts in Theoretical Computer Science, 2000. ,
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004. ,
DOI : 10.1145/988672.988756
Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004. ,
DOI : 10.1016/j.tcs.2004.07.004
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, pp.372-387, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Infinite-state high-level MSCs: Model-checking and realizability, Journal of Computer and System Sciences, vol.72, issue.4, pp.617-647, 2006. ,
DOI : 10.1016/j.jcss.2005.09.007
URL : https://hal.archives-ouvertes.fr/hal-00306255
Reducing Adapter Synthesis to Controller Synthesis, IEEE Transactions on Services Computing, vol.5, issue.1, pp.72-85, 2012. ,
DOI : 10.1109/TSC.2010.57
Realizability of Choreographies for Services Interacting Asynchronously, Proc. of FACS'11, pp.151-167, 2011. ,
DOI : 10.1007/978-3-642-35743-5_10
On the progress of communication between two finite state machines, Information and Control, vol.63, issue.3, pp.200-216, 1984. ,
DOI : 10.1016/S0019-9958(84)80014-5
Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proc. of ATVA'12, pp.238-253, 2012. ,
DOI : 10.1007/978-3-642-33386-6_20
Testing for unboundedness of fifo channels, Theoretical Computer Science, vol.113, issue.1, pp.93-117, 1993. ,
DOI : 10.1016/0304-3975(93)90212-C
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models, Proc. SPIN'04, pp.216-233, 2004. ,
DOI : 10.1007/978-3-540-24732-6_16
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes, Proc. of SPIN'08, pp.176-195, 2008. ,
DOI : 10.1007/978-3-540-85114-1_14
Contracts for security adaptation, The Journal of Logic and Algebraic Programming, vol.80, issue.3-5, pp.154-179, 2011. ,
DOI : 10.1016/j.jlap.2010.07.001
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, Proc. of ICSOC'08, pp.84-99, 2008. ,
DOI : 10.1109/TSE.2011.62
URL : https://hal.archives-ouvertes.fr/inria-00341598
Action versus state based logics for transition systems, Semantics of Concurrency, pp.407-419, 1990. ,
DOI : 10.1007/3-540-53479-2_17
Compatibility Checking for Asynchronously Communicating Software, Proc. of FACS'13, pp.310-328, 2013. ,
DOI : 10.1007/978-3-319-07602-7_19
URL : https://hal.archives-ouvertes.fr/hal-00913665
Adaptation of Open Component-Based Systems, Proc. of FMOODS'07, pp.141-156, 2007. ,
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160
Communication and Concurrency, 1989. ,
Describing and Reasoning on Web Services using Process Algebra, Proc. of ICWS'04, pp.43-50, 2004. ,
Realizability of Choreographies Using Process Algebra Encodings, IEEE Transactions on Services Computing, vol.5, issue.3, pp.290-304, 2012. ,
DOI : 10.1109/TSC.2011.9
Generating Minimal Protocol Adaptors for Loosely Coupled Services, 2010 IEEE International Conference on Web Services, pp.417-424, 2010. ,
DOI : 10.1109/ICWS.2010.14
Service Interaction: Patterns, Formalization, and Analysis, Proc. of SFM'09, pp.42-88, 2009. ,
DOI : 10.1007/978-3-642-01918-0_2
Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996. ,
DOI : 10.1145/233551.233556