| Safety-critical advanced robots: A survey J Guiochet, M Machin, H Waeselynck Robotics and Autonomous Systems 94, 43-52, 2017 | 266 | 2017 |
| The many meanings of UML 2 Sequence Diagrams: a survey Z Micskei, H Waeselynck Software & Systems Modeling 10 (4), 489-514, 2011 | 142 | 2011 |
| An investigation of software statistical testing P Thevenod-Fosse, H Waeselynck Software Testing, Verification and Reliability 1 (2), 5-25, 1991 | 106* | 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 | 100 | 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 | 99 | 1991 |
| Statemate applied to statistical software testing P Thevenod-Fosse, H Waeselynck Proceedings of the 1993 ACM SIGSOFT international symposium on Software …, 1993 | 90 | 1993 |
| 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 | 86 | 2016 |
| 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 | 77 | 2009 |
| Software statistical testing P Thévenod-Fosse, Y Crouzet, H Waeselynck Predictably Dependable Computing Systems, 253-272, 1995 | 69 | 1995 |
| 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 | 66 | 2017 |
| Specifying safety monitors for autonomous systems using model-checking M Machin, F Dufossé, JP Blanquart, J Guiochet, D Powell, H Waeselynck Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 49 | 2014 |
| Simulated annealing applied to test generation: landscape characterization and stopping criteria H Waeselynck, P Thévenod-Fosse, O Abdellatif-Kaddour Empirical Software Engineering 12, 35-63, 2007 | 48 | 2007 |
| B model animation for external verification H Waeselynck, S Behnia Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 39 | 1998 |
| 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 | 39 | 1992 |
| Paths to property violation: A structural approach for analyzing counter-examples T Bochot, P Virelizier, H Waeselynck, V Wiels 2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010 | 29 | 2010 |
| System dynamics applied to the modelling of software projects H Waeselynck, D Pfahl Software - Concepts and Tools 15 (4), 162-176, 1994 | 28 | 1994 |
| 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 | 27 | 2006 |
| Test criteria definition for B models S Behnia, H Waeselynck International Symposium on Formal Methods, 509-528, 1999 | 26 | 1999 |
| 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 | 24 | 1997 |
| The role of testing in the B formal development process H Waeselynck, JL Boulanger Software Reliability Engineering, 1995. Proceedings., Sixth International …, 1995 | 24 | 1995 |
Jérémie GUIOCHETProfessor Université de Toulouse 3, LAAS-CNRS, France在 laas.fr 的电子邮件经过验证
