| The many meanings of UML 2 Sequence Diagrams: a survey Z Micskei, H Waeselynck Software & Systems Modeling 10 (4), 489-514, 2011 | 120 | 2011 |
| Safety-critical advanced robots: A survey J Guiochet, M Machin, H Waeselynck Robotics and Autonomous Systems 94, 43-52, 2017 | 109 | 2017 |
| An investigation of software statistical testing P Thevenod-Fosse, H Waeselynck Software Testing, Verification and Reliability 1 (2), 5-25, 1991 | 92* | 1991 |
| Testing levels for object-oriented software Y Labiche, P Thévenod-Fosse, H Waeselynck, MH Durand Proceedings of the 22nd international conference on Software engineering …, 2000 | 91 | 2000 |
| An experimental study on software structural testing: deterministic versus random input generation P Thevenod-Fosse, H Waeselynck, Y Crouzet Digest of Papers. Fault-Tolerant Computing: The Twenty-First International …, 1991 | 88 | 1991 |
| Statemate applied to statistical software testing P Thevenod-Fosse, H Waeselynck Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993 | 84 | 1993 |
| Software statistical testing P Thévenod-Fosse, Y Crouzet, H Waeselynck Predictably Dependable Computing Systems, 253-272, 1995 | 68 | 1995 |
| Model checking flight control systems: The Airbus experience T Bochot, P Virelizier, H Waeselynck, V Wiels 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 64 | 2009 |
| Simulated annealing applied to test generation: landscape characterization and stopping criteria H Waeselynck, P Thévenod-Fosse, O Abdellatif-Kaddour Empirical Software Engineering 12 (1), 35-63, 2007 | 45 | 2007 |
| Smof: A safety monitoring framework for autonomous systems M Machin, J Guiochet, H Waeselynck, JP Blanquart, M Roy, L Masson IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (5), 702-715, 2016 | 41 | 2016 |
| Specifying safety monitors for autonomous systems using model-checking M Machin, F Dufossé, JP Blanquart, J Guiochet, D Powell, H Waeselynck International Conference on Computer Safety, Reliability, and Security, 262-277, 2014 | 38 | 2014 |
| B model animation for external verification H Waeselynck, S Behnia Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 37 | 1998 |
| Can robot navigation bugs be found in simulation? an exploratory study T Sotiropoulos, H Waeselynck, J Guiochet, F Ingrand 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 35 | 2017 |
| An experimental evaluation of formal testing and statistical testing B Marre, P Thévenod-Fosse, H Waeselynck, P Le Gall, Y Crouzet Safety of Computer Control Systems 1992 (Safecomp'92), 311-316, 1992 | 35 | 1992 |
| The SESAME experience: from assembly languages to declarative models Y Crouzet, H Waeselynck, B Lussier, D Powell Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 7-7, 2006 | 28 | 2006 |
| Test criteria definition for B models S Behnia, H Waeselynck International Symposium on Formal Methods, 509-528, 1999 | 25 | 1999 |
| The role of testing in the B formal development process H Waeselynck, JL Boulanger Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995 | 23 | 1995 |
| System dynamics applied to the modelling of software projects H Waeselynck, D Pfahl Software - Concepts and Tools 15 (4), 162-176, 1994 | 23 | 1994 |
| Vérification de logiciels critiques par test statistique H Waeselynck Thèse, Institut National Polytechnique de Toulouse, 1993 | 23* | 1993 |
| Towards a statistical approach to testing object-oriented programs P Thévenod-Fosse, H Waeselynck Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997 | 19 | 1997 |
Jérémie GUIOCHETMaître de conférence (Associate professor) , Université de Toulouse3, LAAS-CNRSAdresse e-mail validée de laas.fr
