PhD
I am currently a temporary assistant professor (ATER) at CITI lab and INSA de Lyon. My research focuses on

Design and formal verification of real-time communication protocols for WSNs

I'm especially interested in MAC and routing protocol design for WSNs and in the use of formal methods in order to verify time properties in such networks. If you want to know more don't hesitate to contact me at alexandre.mouradian (AT) insa-lyon.fr.

Publications

International Journals

Alexandre Mouradian, Isabelle Augé-Blum and Fabrice Valois, RTXP : A Localized Real-Time Mac-Routing Protocol for Wireless Sensor Networks. [To Appear], The International Journal of Computer and Telecommunications Networking, Ed. Elsevier.

Elena Romero, Alexandre Mouradian, Javier Blesa, Jose M. Moya and Alvaro Araujo, Simulation Framework for Security Threats in Cognitive Radio Networks, IET communications, special issue on cognitive communications, p. 984-990, 2012 (We wrote this one during my internship at UPM ETSIT, Madrid, Spain in 2010)

International Conferences

Alexandre Mouradian, Isabelle Augé-Blum, Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up. [To Appear], ECRTS 2014, Madrid, Spain.

Alexandre Mouradian, Isabelle Augé-Blum, A Traffic-Based Local Gradient Maintenance Protocol: Making Gradient Broadcast More Robust. [To Appear], ADHOC-NOW 2014, Benidorm, Spain.

Alexandre Mouradian, Isabelle Augé-Blum, Formal Verification of Real-Time Wireless Sensor Networks Protocols with Realistic Radio Links. p.213-222, RTNS 2013, Sophia Antipolis, France.

Alexandre Mouradian, Isabelle Augé-Blum, On the Reliability of Wireless Sensor Networks Communications. p.38-49, ADHOC-NOW 2013, Wroclaw, Poland.

Alexandre Mouradian and Isabelle Augé-Blum. Modeling Local Broadcast Behavior of Wireless Sensor Networks with Timed Automata for Model Checking of WCTT. WCTT'12 (colocated with RTSS'12), pages 23-30, San Juan, Puerto Rico.

Alexandre Mouradian, Isabelle Augé-Blum, 1-D Coordinate Based on Local Information for MAC and Routing Issues in WSNs. p. 42-55, ADHOC-NOW 2012, Belgrade, Serbia.

PhD thesis

Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil pdf

Research reports

Alexandre Mouradian, Isabelle Augé-Blum and Fabrice Valois, RTXP : A Localized Real-Time Mac-Routing Protocol for Wireless Sensor Networks, RR-7978, may 2012 pdf

Alexandre Mouradian and Isabelle Augé-Blum, 1-D Coordinate Based on Local Information for MAC and Routing Issues in WSNs, RR-7819, november 2011 pdf

Talks

Vérification formelle des RCsF : prise en compte du lien non-fiable et passage à l'échelle, journées non thématiques ResCom, 18/12/2013.

RTXP: a localized Real-Time X-layer Protocol for WSNs, journée Co-design de systèmes commandés en réseau sûrs de fonctionnement du groupe ARC, 21/06/2013.

Teaching

I teach (as assistant) networking (basics : TCP/IP, ethernet; and advanced : OSPF, RIP, Multicast, BGP, MPLS, etc), network performances evaluation (markov chains, queueing theory, discrete event simulation), operating systems (concurrent programming, IPC), Middleware (Java RMI, concurrency with Java, Java EE, Web services) at the Telecommunication department of INSA de Lyon. I also give a 4h crash course about Telecommunication over satellite for the last year students (DVB, IP encapsulation, TCP over satellite) and a 8h course about Wireless Sensor Networks to academic exchange students (in english).