Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.141-150, 2009. ,
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421
Contract Compliance and Choreography Conformance in the Presence of Message Queues, Proc. of WS- FM'08, ser, pp.37-54, 2009. ,
DOI : 10.1007/3-540-45657-0_13
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
Realizability and verification of MSC graphs, Theoretical Computer Science, vol.331, issue.1, pp.97-114, 2005. ,
DOI : 10.1016/j.tcs.2004.09.034
Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007. ,
DOI : 10.1145/1242572.1242704
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
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Transactions on Software Engineering, vol.38, issue.4, pp.755-777, 2012. ,
DOI : 10.1109/TSE.2011.62
URL : https://hal.archives-ouvertes.fr/inria-00341598
Specification of Realizable Service Conversations using Collaboration Diagrams, Service Oriented Computing and Applications, pp.27-39, 2008. ,
Analyzing singularity channel contracts, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, pp.13-24, 2009. ,
DOI : 10.1145/1572272.1572275
Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012. ,
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393
Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, ser. LNCS, pp.61-76, 2006. ,
DOI : 10.1145/322374.322380
Realizability Is Controllability, Proc. of WS-FM'09, ser, pp.110-127, 2010. ,
DOI : 10.1007/978-3-642-14458-5_7
Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012. ,
Realizability of Choreographies for Services Interacting Asynchronously, Proc. of FACS'11, ser. LNCS, pp.151-167 ,
DOI : 10.1007/978-3-642-35743-5_10
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies, Proc. of ICSOC'12, ser. LNCS, pp.525-532, 2012. ,
DOI : 10.1007/978-3-642-34321-6_36
URL : https://hal.archives-ouvertes.fr/hal-01367304
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774 ,
DOI : 10.1145/1134285.1134408
WSAT: A Tool for Formal Analysis of Web Services, Proc. CAV'04, ser. LNCS, 2004. ,
DOI : 10.1007/978-3-540-27813-9_48
An Introduction to Service Choreographies, Information Technology, vol.50, issue.2, pp.122-127, 2008. ,
Reference Manual of the LOTOS NT to LOTOS Translator, 2011. ,
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, ser. LNCS, pp.372-387, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Analyzing Web Service Based Business Processes, Proc. of FASE'05, ser. LNCS, pp.19-33, 2005. ,
DOI : 10.1007/978-3-540-31984-9_3
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets, The Role of Business Processes in Service Oriented Architectures, ser. Dagstuhl Seminar Proceedings, 2006. ,
Local Enforceability in Interaction Petri Nets, Proc. of BPM'07, ser, pp.305-319, 2007. ,
DOI : 10.1007/978-3-540-75183-0_22
A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, ser. LNCS, pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Information Technology ? Business Process Model and Notation, International Standard, 2013. ,
Introduction to Automata Theory, Languages and Computation, 1979. ,
Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proc. of ATVA'12, ser. LNCS, pp.238-253, 2012. ,
DOI : 10.1007/978-3-642-33386-6_20
SVL: A Scripting Language for Compositional Verification, Proc. FORTE'01. Kluwer, pp.377-394, 2001. ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
Communication and Concurrency, ser. International Series in Computer Science, 1989. ,
Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008. ,
Smart Reduction, Proc. of FASE'11, ser. LNCS, pp.111-126, 2011. ,
DOI : 10.1007/978-3-642-19811-3_9
URL : https://hal.archives-ouvertes.fr/inria-00572535
Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, ser, pp.2-17, 2007. ,
DOI : 10.1007/978-3-540-71316-6_2
Multiparty Asynchronous Session Types, Proc. of POPL'08, pp.273-284, 2008. ,
Inference of message sequence charts, IEEE Transactions on Software Engineering, vol.29, issue.7, pp.623-633, 2003. ,
DOI : 10.1109/TSE.2003.1214326
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology, vol.13, issue.1, pp.37-85, 2004. ,
DOI : 10.1145/1005561.1005563
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition, Electronic Notes in Theoretical Computer Science, vol.229, issue.3, pp.3-18, 2009. ,
DOI : 10.1016/j.entcs.2009.06.036
Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008. ,
DOI : 10.1109/SEFM.2008.11
Amending Choreographies, Proc. of WWV'13 ,
DOI : 10.4204/EPTCS.123.5
URL : https://hal.archives-ouvertes.fr/hal-00909305
A Model-Based Synthesis Process for Choreography Realizability Enforcement, Proc. of FASE'13, ser. LNCS, pp.37-52, 2013. ,
DOI : 10.1007/978-3-642-37057-1_4
URL : https://hal.archives-ouvertes.fr/hal-00866622
Interaction-centric modeling of process choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011. ,
DOI : 10.1016/j.is.2010.06.005
VerChor: A Framework for Verifying Choreographies, Proc. of FASE'13, ser. LNCS, pp.226-230, 2013. ,
DOI : 10.1007/978-3-642-37057-1_16
he held a post-doctoral position in the research team CONVECS at Inria Rhône-Alpes, focusing on formal verification of BPMN choreography specifications . He is currently a software and systems engineer at Systerel in Aix-en-Provence, France where he is using formal methods for the development of critical systems His main interest is the application of formal methods to industrial problems, 2011. ,
Her main research interests include formal methods, model-based design, automated verification of concurrent and distributed systems as well as heterogeneous systems ,