TMPA-2019: speakers

Ana Rosa Cavalli

Professor, Telecom Sudparis


Passive testing techniques in practice: experiences and lessons learned

Abstract: Testing techniques are used to check if a given system implementation satisfies its specification or some predefined properties. These testing techniques can be active, based on the execution of specific test sequences against the implementation under test, or passive, based on the observation of the exchange of messages (input and output events) of the implementation under test during run-time. In the last years an important research activity has been taken place on the definition of monitoring techniques based on passive testing and verification techniques. In this talk, we will present the main characteristics of monitoring techniques, their advantages and limitations. We will also present the monitoring in practice; in particular, we will present the Montimage Monitoring Tool, an industrial prototype developed by the SME Montimage.

Bio


Irina Lomazova

Professor, National Research University Higher School of Economics

Bio

Ana Rosa Cavalli

Professor, Telecom Sudparis


Ana Rosa Cavalli has obtained her Doctorat d'Etat es Mathematics Science and Informatics, from the University of Paris VII, in 1984. In 1981, she integrated the LITP (Laboratoire d'Informatique Théorique et Programmation), C.N.R.S., Paris, where she worked on proof methods for temporal logics and their application to communication protocols. From 1985 to 1990, she was a researcher in the department Languages and Switch Systems, at CNET (Centre National d'Etudes des Telecommunications), where she worked on software engineering and formal methods.

She has been professor at Institut Mines Telecom/TELECOM SudParis since 1990, and director of the Software-Networks department from 2005 to 2015. She is professor emeritus since March 2015. She is also a member of the research laboratory CNRS SAMOVAR. She was responsible for SAMOVAR's AVERSE team, from 2003 to 2010.

Her research interests are on specification and verification, testing methodologies for conformance and interoperability testing, active testing and monitoring techniques, the validation of security properties and their application to services and protocols. She has been the leader of the European Marie Curie network TAROT (Training and Research on Testing) and participates to several national and international projects: ASK IT, NetLab, POLITESS, WebMov, SHIELDS, CARRIOCAS, Robust Testing, HIPNQSIS, NOTTS, INTER-TRUST, MEASURE.

She is member of the Steering Committee of the IFIP ICTSS conference and also member of the Program Committee of numerous international conferences. She has been be domain chair of ICNP 2009, and co-chair of the IEEE ICST 2010 , SETOP 2010, ICTSS 2017, AINA 2017, QRS 2018, WiMov 2018 and 2019, QUATIC-2018 and 2019 (co-chair of track on safety and security) and IWANN 2019 conferences.

She has published more than 200 papers in journals and international conferences of high quality.

Irina Lomazova

Professor, National Research University Higher School of Economics

Irina Lomazova has been at HSE since 2010.