A. Cavalli, S. Maag, and E. M. De-oca, A passive conformance testing approach for a MANET routing protocol, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.207-211, 2009.
DOI : 10.1145/1529282.1529326
URL : https://hal.archives-ouvertes.fr/hal-00771619

M. Object and . Group, Unified Modeling Language (UML) 2.4

H. Waeselynck, Z. Micskei, N. Riviere, A. Hamvas, and I. Nitu, TER- MOS: a formal language for scenarios in mobile computing systems, Mobile and Ubiquitous Systems: Computing, Networking, and Services, pp.2010-285, 2010.

P. Andre, H. Waeselynck, and N. Riviere, A UML-based environment for test scenarios in mobile settings, 2013 International Conference on Computer, Information and Telecommunication Systems (CITS), 2013.
DOI : 10.1109/CITS.2013.6705716
URL : https://hal.archives-ouvertes.fr/hal-01075121

M. D. Nguyen, H. Waeselynck, and N. Riviere, GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns, 2010 Third International Conference on Software Testing, Verification and Validation, pp.195-204, 2010.
DOI : 10.1109/ICST.2010.53

P. Andre, N. Riviere, and H. Waeselynck, GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces, European Workshop on Dependable Computing, ser, pp.88-95, 2013.
DOI : 10.1007/978-3-642-38789-0_8
URL : https://hal.archives-ouvertes.fr/hal-01075125

M. D. Nguyen, H. Waeselynck, and N. Riviere, Testing mobile computing applications, Proceedings of the 2008 international workshop on dynamic analysis held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA '08, pp.29-35, 2008.
DOI : 10.1145/1401827.1401834

P. Andre, Test of ubiquitous systems with explicit consideration of mobility PhD Available: https://tel.archives-ouvertes, p.1261593, 2015.

Z. Micskei and H. Waeselynck, The many meanings of UML 2 Sequence Diagrams: a survey, Software and Systems Modeling, pp.489-514, 2011.
DOI : 10.1007/s10270-010-0157-9

Q. Huang, C. Julien, and G. Roman, Relying on safe distance to achieve strong partitionable group membership in ad hoc networks, IEEE Transactions on Mobile Computing, vol.3, issue.2, pp.192-205, 2004.
DOI : 10.1109/TMC.2004.14

Z. Micskei, Z. Szatmári, J. Oláh, I. Majzik, T. Nguyen et al., A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems, Agent and Multi-Agent Systems. Technologies and Applications -6th KES International Conference, KES-AMSTA 2012 Proceedings, ser. Lecture Notes in Computer Science, G. Jezic, M. Kusek, 2012.
DOI : 10.1007/978-3-642-30947-2_55

H. Baumeister, N. Koch, P. Kosiuczenko, P. Stevens, and M. Wirsing, UML for Global Computing, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, ser. LNCS, pp.1-24, 2003.
DOI : 10.1007/978-3-540-40042-4_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7230

V. Grassi, R. Mirandola, and A. Sabetta, A UML profile to model mobile systems, " in UML 2004 -The Unified Modeling Language. Modelling Languages and Applications, ser, LNCS, vol.3273, pp.128-142, 2004.

M. Kusek and G. Jezic, Extending UML Sequence Diagrams to Model Agent Mobility, Agent-Oriented Software Engineering VII, ser, pp.51-63, 2007.
DOI : 10.1007/978-3-540-70945-9_4

W. Damm and D. Harel, LSCs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001.
DOI : 10.1023/A:1011227529550
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5472

J. Klose, Live sequence charts: A graphical formalism for the specification of communication behavior, 2003.

D. Harel and S. Maoz, Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-252, 2008.
DOI : 10.1145/1138953.1138958

J. Küster-filipe, Modelling concurrent interactions, Theoretical Computer Science, vol.351, issue.2, pp.203-220, 2006.
DOI : 10.1016/j.tcs.2005.09.068

K. Shearer, S. Venkatesh, and H. Bunke, Video sequence matching via decision tree path following, Pattern Recognition Letters, vol.22, issue.5, pp.479-492, 2001.
DOI : 10.1016/S0167-8655(00)00121-5
URL : http://dro.deakin.edu.au/eserv/DU:30044294/venkatesh-videosequence-2001.pdf