Concepedia

Stéphane Maag

SM

8

Publications

135

Citations

8

H-Index

2007

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut Mines-Télécom

Institut Polytechnique de Paris

Telecom SudParis

Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

Stéphane Maag is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationSoftware TestingSystems EngineeringFormal MethodsTrustNetwork AnalysisProgram Analysis

Publications per year

2007–2015

8

Publications

8

A Formal Data-Centric Approach for Passive Testing of Communication Protocols

Felipe Lalanne, Stéphane Maag · IEEE/ACM Transactions on Networking · 2012 · 35 citations

Pub Dtl=, Engineering, Verification +22

A Logic-based Passive Testing Approach for the Validation of Communicating Protocols

Xiaoping Che, Felipe Lalanne Rojas, Stéphane Maag · 2012 · 26 citations · Full text

Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model

Jorge López, Stéphane Maag · Trust, Security And Privacy In Computing And Communications · 2015 · 17 citations

Engineering, Information Security, Restful Message +18

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols

Pramila Mouttappa, Stéphane Maag, Ana Cavalli · Computer Networks · 2013 · 12 citations

Engineering, Runtime Verification, System Testing +15

Passive performance testing of network protocols

Xiaoping Che, Stéphane Maag · Computer Communications · 2014 · 12 citations

Passive Performance Testing, Engineering, Network Communication Protocol +6

Rows per page

1–5 of 8