Bio
Publications
Selected Publications

Jump to: 2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2004   2003   2002   2000   1999   1998   1997   1995   1994   1993   1992   1991  

See also here for a full list of all my LAAS publications (but does not include work at Siemens and INRETS).


    2017

  • Can robot navigation bugs be found in simulation? An exploratory study, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand. Proc. IEEE International Conference on Software Quality, Reliability & Security (QRS 2017), July 2017.
      Author's version, Publisher's version

  • Safety-critical advanced robots: A survey, Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck. Robotics and Autonomous Systems, Elsevier, Vol. 94, pp. 43-52, August 2017.
      Author's version, Publisher's version

  • A Toolset for Mobile Systems Testing, Pierre André, Nicolas Rivière, Hélène Waeselynck. LNCS 10466,  Proc. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017, Montreal, Canada, August 2017.
      Author's version, Publisher's version

  • Synthesis of safety rules for active monitoring: application to an airport light measurement robot, Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval. Proc. 1st IEEE International Conference on Robotic Computing (IRC 2017), Taichung, Taiwan, April 10-12 2017.
      Author's version, Publisher's version, supplemental material

  • 2016

  • SMOF - a Safety Monitoring Framework for Autonomous Systems, Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson. IEEE Transactions on Systems, Man, and Cybernetics: Systems, To appear.
      Author's version, Publisher's version

  • Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level, Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Proc. 12th European Dependable Computing Conference (EDCC 2016), Gothenburg, Sweden, Sept. 2016.
      Author's version, Publisher's version

  • Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu (eds): Proc. of 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Orlando, FL, USA, January 7-9, 2016.
     
  • 2015

  • Test Languages for In-the-Loop Avionics Tests, Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero and Michel Schieber. Journal of Aerospace Information Systems, Vol. 12, No. 4, pp. 374-391, 2015.
      Publisher's version
     
  • Show Me New Counterexamples: a Path-Based Approach, Kalou Cabrera-Castillos, Hélène Waeselynck and Virginie Wiels. Proc. 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Graz, Austria, April 13-17, 2015.
      Author's version, Publisher's version
     
  • Model-checking and Game Theory for the Synthesis of Safety Rules, Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy and Hélène Waeselynck. Proc. 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Daytona Beach, Florida, USA, Jan 8-10, 2015.
      Author's version, Publisher's version
     
  • 2014

  • Specifying Safety Monitors for Autonomous Systems using Model-checking, Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell and Hélène Waeselynck. Proc. 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Florence, Italy, 10-12 September, 2014.
      Author's version, Publisher's version
     
  • Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles, Simon Poulding and Hélène Waeselynck. Proc. 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Cleveland, USA, March 31-Apr 4, 2014.
      Author's version, Publisher's version

  • UML-Based Modeling of Robustness Testing, Regina Moraes, Hélène Waeselynck, and Jérémie Guiochet. Proc. 15th IEEE Int. Symp. on High Assurance Systems Engineering (HASE 2014), Miami, USA, Jan 9-11, 2014.
      Author's version, Publisher's version

  • 2013

  • Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: to what extent?, Jimmy Lauret, Jean-Charles Fabre and Hélène Waeselynck. Proc. 32nd International Conference on Computer Safety, Reliability and Security (Safecomp 2013), Springer LNCS, Toulouse, France, Sept. 24-27, 2013.
      Author's version, Publisher's version

  • STELAE – A Model-Driven Test Development Environment for Avionics Systems, Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero and Michel Schieber. Proc. 16th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing (ISORC 2013), IEEE, Padeborn, Germany, June 19-21, 2013.
      Author's version, Publisher's version  
     
  • GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces, Pierre André, Nicolas Rivière and Hélène Waeselynck. Proc. 14th European Workshop on Dependable Computing (EWDC 2013), Springer LNCS 7869, Coimbra, Portugal, May 15-16, 2013.
     Author's version, Publisher's version   
     
  • A UML-Based Environment for Test Scenarios in Mobile Settings, Pierre André, Hélène Waeselynck, and Nicolas Rivière. Proc. 2013 International Conference on Computer, Information, and Telecommunication Systems (CITS 2013), IEEE, Piraeus-Athens, Greece, May 7-8, 2013.
      Author's version, Publisher's version 
     
  • A Meta-model for Tests of Avionics Embedded Systems, Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero and Michel Schieber. Proc. 1st Int. Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelona, Spain, Feb. 19-21, 2013, pp. 5-13.
      Author's version, Publisher's version
     
  • 2012

  • Eric Wong, Nachi Nagappan and Hélène Waeselynck (eds): Proc. of IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Dallas, TX USA, Nov 27-30, 2012.
     
  • Detection of interferences in aspect-oriented programs using executable assertions, Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre. In Proc. 3rd IEEE Int. Workshop on Program Debugging (IWPD 2012), IEEE, Dallas, TX USA, Nov 27-30, 2012.
     Author's version, Publisher's version   
     
  • 2011

  • Elimination des fautes : contribution au test du logiciel, Hélène Waeselynck. Mémoire d'Habilitation à Diriger les Recherches, Institut National Polytechnique de Toulouse, Université de Toulouse, Décembre 2011. Rapport LAAS no. 11781.
       Mémoire HDRabstract
     
  • The Many Meanings of UML 2 Sequence Diagrams: a Survey, Zoltán Micskei, Hélène Waeselynck. Software and Systems Modeling, Springer, Vol. 10 (4): 489-514, 2011.
      Publisher's version
     
  • Detecting interferences in aspect oriented programs, Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck. In Proc. 13th European Workshop on Dependable Computing (EWDC 2011), ACM, Pisa, Italy, pp. 93-98, May 2011.
     Publisher's version 
     
  • A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing, Simon Poulding, John A. Clark, Hélène Waeselynck. In Proc. 4th International Workshop on Search-Based Software Testing (SBST 2011), Berlin, Germany, pp. 184-193, March 2011. Best Paper Award.
     Publisher's version   
     
  • 2010

  • TERMOS: a Formal Language for Scenarios in Mobile Computing Systems, Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu. Proc. 7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010), Sydney, Australia, December 2010. LNICST, Vol 73, pp. 285-296, 2012.
     Author's version, Publisher's version
     
  • Paths to property violation: a structural approach for analyzing counter-examples, Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. In Proc. 12th IEEE International High Assurance Systems Engineering Symposium (HASE 2010), IEEE CS Press, San Jose, USA, pp. 74-83, November 2010.
     Author's version, Publisher's version   
     
  • GraphSeq: a graph matching tool for the extraction of mobility patterns, Minh Duc N'Guyen, Hélène Waeselynck, Nicolas Rivière. In Proc. 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), IEEE CS Press, Paris, France, pp. 195--204, April 2010.
     Author's version, Publisher's version   
     
  • 2009

  • Model Checking Flight Control Systems: the Airbus Experience, Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. In Proc. 31st International Conference on Software Engineering (ICSE Companion 2009), IEEE CS Press, Vancouver, Canada, pp. 18--27, May 2009.
      Author's version, Publisher's version   
     
  • Hélène Waeselynck (ed.): Proc. 12th European Workshop on Dependable Computing (EWDC 2009) , Toulouse, France, May 2009.
     
     
  • 2008

  • LETO - A Lustre-Based Test Oracle for Airbus Critical Systems, Guy Durrieu, Hélène Waeselynck, Virginie Wiels. In Proc. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), LNCS 5596, Springer 2009, L'Aquila, Italy, pp. 7--22, September 2008.
      Publisher's version   
     
  • Testing mobile computing applications: toward a scenario language and tools, Minh Duc N'Guyen, Hélène Waeselynck, Nicolas Rivière. In Proc. 6th Int. Workshop on Dynamic Analysis (WODA 2008), ACM, Seattle, USA, pp.29--35, July 2008.
      Author's version, Publisher's version   
     
  • 2007

  • Mobile Systems from a Validation Perspective: a Case Study, Hélène Waeselynck, Zoltan Micskei, Minh Duc N'Guyen, Nicolas Rivière. In Proc. 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), IEEE CS Press, Hagenberg, Austria, pp. 85-92, July 2007.
      Author's version, Publisher's version   
     
  • Simulated Annealing Applied to Test Generation: Landscape Characterization and Stopping Criteria, Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour. Empirical Software Engineering, vol. 12, (1): 35-63, 2007.
      Author's version, Publisher's version   
     
  • 2006

  • The SESAME experience: from assembly languages to declarative models, Yves Crouzet, Hélène Waeselynck, Benjamin Lussier, David Powell. In Proc. 2nd Workshop on Mutation Analysis (Mutation'2006), IEEE, Raleigh, USA, November 2006 .
      Author's version, Publisher's version   
     
  • 2004

  • Deriving test sets from partial proofs , Guillaume Lussier, Hélène Waeselynck. In Proc. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'2004), IEEE CS Press, pp.14--24, Saint-Malo, France, November 2004.
      Author's version, Publisher's version   
     
  • Proof-Guided Testing: an Experimental Study, Guillaume Lussier, Hélène Waeselynck, Karim Guenoun. In Proc. 28th Annual International Computer Software and Applications Conference (COMPSAC'2004), IEEE CS Press, Hong-Kong, China, pp. 528--533, September 2004.
      Author's version, Publisher's version   
     
  • Open source software in critical systems: Motivation and challenges, Philippe David, Hélène Waeselynck, Yves Crouzet. In IFIP 18th World Computer Congress. Building the Information Society, Kluwer Academic Publishers, pp.667--677, Toulouse, France, August 2004.
      Author's version, Publisher's version   
     
  • 2003

  • Philippe David, Hélène Waeselynck (eds.): Logiciel Libre et Sûreté de Fonctionnement -- cas des systèmes critiques, Béatrice Bérard, Philippe Coupoux, Yves Crouzet, Philippe David, Yseult Garnier, Serge Goiffon, Georges Mariano, Vincent Nicomette, Luc Planche, Isabelle Puaut, Jean-Michel Tanneau, Hélène Waeselynck. Hermes Science Publications, September 2003.
      Order this book (in French)
     
  • An empirical investigation of simulated annealing applied to property-oriented testing, Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck. In Proc. ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'03), Tunis, Tunisia, July 2003.
      Author's version
     
  • Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios, Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck. In Proc. ACM Symposium on Applied Computing (SAC'2003), pp.1128--1134, Melbourne, USA, March 2003.
      Author's version, Publisher's version   
     
  • 2002

  • Informal proof analysis towards testing enhancement, Guillaume Lussier, Hélène Waeselynck. In Proc. 13th International Symposium on Software Reliability Engineering (ISSRE'2002), IEEE CS Press, Annapolis, USA, pp. 27--38, November 2002.
      Author's version, Publisher's version   
     
  • FAST: A Protoype Tool for Supporting the Engineering of Socio-technical Systems, Marc Mersiol, Jean Arlat, David Powell, Ayda Saïdane, Hélène Waeselynck, Corinne Mazet. In Proc. 3rd European Systems Engineering Conference (EUSEC'2002), pp.33-40, Toulouse, France, May 2002.

  • 2000

  • Testing levels for object-oriented software, Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, Marie-Hélène Durand. In 22nd International Conference on Software Engineering (ICSE'2000), ACM Press, pp.136-145, Limerick, Irlande, June 2000.
      Publisher's version   
     
  • Jean Arlat (ed.): Composants Logiciels et Sûreté de Fonctionnement. Intégration de COTS, Jean Arlat, Jean-Paul Blanquart, Thierry Boyer, Yves Crouzet, Marie-Hélène Durand, Jean-Charles Fabre, Michel Founau, Mohamed Kaâniche, Karama Kanoun, Philippe Le Meur, Corinne Mazet, David Powell, François Scheerens, Pascale Thévenod-Fosse, Hélène Waeselynck. Hermes Science Publications, June 2000.
      Order this book (in French)
     
  • 1999

  • Test criteria definition for B models, Salimeh Behnia, Hélène Waeselynck. In Proc. World Congress on Formal Methods in the Development of Computing Systems (FM'99), Vol. I, LNCS no. 1708, Springer Verlag, pp. 509-529, Toulouse, France, September 1999.
      Publisher's version   
     
  • A case study in statistical testing of reusable concurrent objects, Hélène Waeselynck, Pascale Thévenod-Fosse. In 3rd European Dependable Computing Conference (EDDC-3), LNCS no. 1667, Springer Verlag, pp. 401-418, Prague, Czech Republic, September 1999.
      Author's version, Publisher's version   
     
  • 1998

  • B model animation for external verification, Hélène Waeselynck, Salimeh Behnia. In Proc. 2nd International Conference on Formal Engineering Methods (ICFEM'98), IEEE Computer Society Press, pp. 36-45, Brisbane, Australia, December 1998.
      Author's version, Publisher's version   
     
  • Validation du test du logiciel par injection de fautes : l'outil SESAME, Yves Crouzet, Pascale Thévenod-Fosse, Hélène Waeselynck. In Actes du 11ème Colloque National de Fiabilité et Maintenabilité (λμ 11), pp. 551-559, Arcachon, France, octobre 1998.
      Version des auteurs
     
  • Human dependability in complex systems: an issue of task consistency and task allocation, Marc Mersiol, Corinne Mazet, Hubert Guillermain, Hélène Waeselynck. In Proc. 4th International Conference on Probabilistic Safety Assessment and Management (PSAM'4), Springer Verlag, Vol. 4, pp. 2693-2698, New York, USA, September 1998.
     
  • Software statistical testing based on structural and functional criteria, Pascale Thévenod-Fosse, Hélène Waeselynck. In Proc. 11th International Software Quality Week (QW'98), vol. II, San Francisco, USA, May 1998.
      Author's version, Publisher's version   
     
  • 1997

  • Towards a Statistical Approach to Testing Object-Oriented Programs, Pascale Thévenod-Fosse, Hélène Waeselynck. In Proc. 27th Int. Symp. on Fault-Tolerant Computing (FTCS-27), IEEE Computer Society Press, pp. 99-108, Seattle, WA, USA, June 1997.
      Author's version, Publisher's version   
     
  • 1995

  • Software statistical testing, Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet. In Brian Randell, Jean-Claude Laprie, Hermann Kopetz, Bev Littlewood (eds.): Predictably Dependable Computing Systems, Springer Verlag, ESPRIT Basic research Series, pp. 253-272, 1995.
      Author's version    
     
  • The role of testing in the B formal development process, Hélène Waeselynck, Jean-Louis Boulanger. In Proc. 6th International Symposium on Software Reliability Engineering (ISSRE'95), IEEE Computer Society Press, pp. 58-67, Toulouse, France, October 1995.
      Author's version, Publisher's version   
     
  • Safety Case structure and role, El Miloudi El Koursi, Bao Letrung, Hélène Waeselynck, François Baranowski. In Proc. 14th International Conference on Computer Safety, Reliability and Security Conference (Safecomp'95), Springer Verlag, pp. 452-463, Belgirate, Italy, October 1995.
     
     
  • 1994

  • System Dynamics Applied to the Modelling of Software Projects, Hélène Waeselynck, Dietmar Pfahl. Software - Concepts and Tools, vol. 15, (4): 162--176, 1994.
     
  • An experimentation with statistical testing, Hélène Waeselynck, Pascale Thévenod-Fosse. In Proc. 2nd European International Conference on Software Testing, Analysis & Review (EuroSTAR'94), Brussels, October 1994. Award: Best Conference Paper.
      Author's version

  • 1993

  • STATEMATE applied to statistical software testing, Pascale Thévenod-Fosse, Hélène Waeselynck. In Proc. International Symposium on Software Testing and Analysis (ISSTA 93), ACM Press, pp. 99-109, Cambridge, Massachussets, June 1993. Also published in ACM SIGSOFT Software Engineering Notes, Vol. 18, Issue 3, July 1993.
      Publisher's version
        
  • Vérification de logiciels critiques par le test statistique, Hélène Waeselynck. Mémoire de Thèse (Doctoral Thesis), Institut National Polytechnique de Toulouse, janvier 1993. Rapport LAAS No. 93006.
      PhD Dissertation, abstract (in French)  

     
  • 1992

  • An experimental evaluation of formal testing and statistical testing, Bruno Marre, Pascale Thévenod-Fosse, Hélène Waeselynck, Pascale Le Gall, Yves Crouzet. In Proc. 14th International Conference on Safety of Computer Control Systems (Safecomp'92), Pergamon Press, pp. 311-316, Zürich, Switzerland, October 1992.
     
  • On functional statistical testing designed from software behavior models, Pascale Thévenod-Fosse, Hélène Waeselynck. In Preprints 3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3), pp. 3-12, Palermo, Italy, September 1992. Revised version in vol. 6 of the Dependable Computing and Fault-Tolerant Systems series, Springer Verlag.
      Author's version   

  • 1991

  • An investigation of statistical software testing, Pascale Thévenod-Fosse, Hélène Waeselynck. Journal of Software Testing, Verification and Reliability, vol. 1, (2): 5--25, 1991.
      Publisher's version   
     
  • An experimental study on software structural testing: deterministic versus random input generation, Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet. In Proc. 21st IEEE Symposium on Fault-Tolerant Computing (FTCS-21), IEEE Computer Society Press, pp. 410-417, Montreal, Canada, June 1991.
      Publisher's version   
     



This page is maintained

Although not based on SPIP, this page is inspired from the BeeSpip Skeleton LAAS     |     Dependable Computing and Fault Tolerance Group