Stéphane Maag
Institut Polytechnique de Paris(FR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Mobile Ad Hoc Networks, Software System Performance and Reliability, Formal Methods in Verification, Software Engineering Research
Most-Cited Works
- → FSM-based conformance testing methods: A survey annotated with experimental evaluation(2010)148 cited
- → One step forward(2011)35 cited
- → Experimental evaluation of FSM-based testing methods(2005)35 cited
- → Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model(2015)31 cited
- → The teaching of computer ethics on computer science and related degree programmes. a European survey(2021)29 cited
- → Timed Extended Invariants for the Passive Testing of Web Services(2010)29 cited
- → A formal validation methodology for MANET routing protocols based on nodes’ self similarity(2007)20 cited
- → A validation model for the DSR protocol(2004)17 cited
- → Testing methodology for an ad hoc routing protocol(2006)16 cited
- → A passive conformance testing approach for a MANET routing protocol(2009)16 cited