default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHélène Waeselynck
Person information
- affiliation: LAAS-CNRS, Toulouse, France
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c51]Paul-Antoine Le Tolguenec
, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Königsbuch, Nicolas Schneider, Hélène Waeselynck, Dennis Wilson:
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). ISSTA 2024: 920-931- 2023
- [c50]Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck:
SENA: Similarity-Based Error-Checking of Neural Activations. ECAI 2023: 724-731 - [c49]Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet:
Pairwise Testing Revisited for Structured Data With Constraints. ICST 2023: 199-209 - [c48]Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta:
A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. QRS 2023: 382-393 - 2022
- [c47]Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, Magnus Albert:
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. AST@ICSE 2022: 77-86 - [c46]Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel:
Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters! IV 2022: 836-841 - [c45]Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck:
SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images. PRDC 2022: 68-77 - 2021
- [c44]Hélène Waeselynck, Raul Sena Ferreira, Luca Vittorio Sartori:
Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems. DSN Workshops 2021: xvii - [c43]Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel:
Seven Technical Issues That May Ruin Your Virtual Tests for ADAS. IV 2021: 16-21 - [c42]Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck:
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. PRDC 2021: 7-16 - [c41]Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori:
TAF: a Tool for Diverse and Constrained Test Case Generation. QRS 2021: 311-321 - [i1]Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck:
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. CoRR abs/2110.01232 (2021) - 2020
- [j10]Clément Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes:
The virtual lands of Oz: testing an agribot in simulation. Empir. Softw. Eng. 25(3): 2025-2054 (2020) - [c40]Clément Robert, Jérémie Guiochet, Hélène Waeselynck:
Testing a non-deterministic robot in simulation - How many repeated runs ? IRC 2020: 263-270
2010 – 2019
- 2018
- [j9]Radu F. Babiceanu, Hélène Waeselynck:
Emerging high assurance solutions for safe, secure, and reliable software systems. J. Softw. Evol. Process. 30(3) (2018) - [j8]Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson:
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48(5): 702-715 (2018) - [c39]Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren:
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. NFM 2018: 333-348 - 2017
- [j7]Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck:
Safety-critical advanced robots: A survey. Robotics Auton. Syst. 94: 43-52 (2017) - [c38]Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval:
Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot. IRC 2017: 263-270 - [c37]Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand:
Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. QRS 2017: 150-159 - [c36]Pierre André, Nicolas Rivière, Hélène Waeselynck:
A Toolset for Mobile Systems Testing. VECoS 2017: 124-138 - 2016
- [c35]Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck:
Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. EDCC 2016: 153-160 - [e1]Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu:
17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. IEEE Computer Society 2016, ISBN 978-1-4673-9913-5 [contents] - 2015
- [j6]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. 12(4): 374-391 (2015) - [c34]Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck:
Model-Checking and Game theory for Synthesis of Safety Rules. HASE 2015: 36-43 - [c33]Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels:
Show Me New Counterexamples: A Path-Based Approach. ICST 2015: 1-10 - 2014
- [c32]Regina Moraes, Hélène Waeselynck, Jérémie Guiochet:
UML-Based Modeling of Robustness Testing. HASE 2014: 168-175 - [c31]Simon M. Poulding, Hélène Waeselynck:
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles. ICST 2014: 293-302 - [c30]Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck:
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. SAFECOMP 2014: 262-277 - 2013
- [c29]Pierre André, Hélène Waeselynck, Nicolas Rivière:
A UML-based environment for test scenarios in mobile settings. CITS 2013: 1-5 - [c28]Pierre André, Nicolas Rivière, Hélène Waeselynck:
GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces. EWDC 2013: 88-95 - [c27]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
STELAE - A model-driven test development environment for avionics systems. ISORC 2013: 1-8 - [c26]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD 2013: 5-13 - [c25]Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck:
Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? SAFECOMP 2013: 45-56 - 2012
- [c24]Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre:
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. ISSRE Workshops 2012: 165-170 - 2011
- [b1]Hélène Waeselynck:
Elimination des fautes : contribution au test du logiciel. National Polytechnic Institute of Toulouse, France, 2011 - [j5]Zoltán Micskei, Hélène Waeselynck:
The many meanings of UML 2 Sequence Diagrams: a survey. Softw. Syst. Model. 10(4): 489-514 (2011) - [c23]Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck:
Detecting interferences in aspect oriented programs. EWDC 2011: 93-98 - [c22]Simon M. Poulding, John A. Clark, Hélène Waeselynck:
A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. ICST Workshops 2011: 184-193 - 2010
- [c21]Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE 2010: 74-83 - [c20]Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière:
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. ICST 2010: 195-204 - [c19]Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu:
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous 2010: 285-296
2000 – 2009
- 2009
- [c18]Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27 - 2008
- [c17]Guy Durrieu, Hélène Waeselynck, Virginie Wiels:
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22 - [c16]Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière:
Testing mobile computing applications: toward a scenario language and tools. WODA 2008: 29-35 - 2007
- [j4]Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour:
Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empir. Softw. Eng. 12(1): 35-63 (2007) - [c15]Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière:
Mobile Systems from a Validation Perspective: a Case Study. ISPDC 2007: 85-92 - 2004
- [c14]Guillaume Lussier, Hélène Waeselynck, Karim Guennoun:
Proof-Guided Testing: An Experimental Study. COMPSAC 2004: 528-533 - [c13]Philippe David, Hélène Waeselynck, Yves Crouzet:
Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-677 - [c12]Guillaume Lussier, Hélène Waeselynck:
Deriving Test Sets from Partial Proofs. ISSRE 2004: 14-24 - 2003
- [c11]Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck:
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. SAC 2003: 1128-1134 - 2002
- [c10]Guillaume Lussier, Hélène Waeselynck:
Informal Proof Analysis Towards Testing Enhancement. ISSRE 2002: 27-40 - 2000
- [c9]Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand:
Testing levels for object-oriented software. ICSE 2000: 136-145
1990 – 1999
- 1999
- [c8]Hélène Waeselynck, Pascale Thévenod-Fosse:
A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC 1999: 401-418 - [c7]Salimeh Behnia, Hélène Waeselynck:
Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529 - 1998
- [c6]Hélène Waeselynck, Salimeh Behnia:
B Model Animation for External Verification. ICFEM 1998: 36-45 - 1997
- [j3]Hélène Waeselynck:
Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). Softw. Test. Verification Reliab. 7(2): 129-130 (1997) - [c5]Pascale Thévenod-Fosse, Hélène Waeselynck:
Towards a Statistical Approach to Testing Object-Oriented Programs. FTCS 1997: 99-108 - 1995
- [c4]Hélène Waeselynck, Jean-Louis Boulanger:
The role of testing in the B formal development process. ISSRE 1995: 58-67 - [c3]M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski:
Safety Case: Structure and Role. SAFECOMP 1995: 452-463 - 1994
- [j2]Hélène Waeselynck, Dietmar Pfahl:
System Dynamics Applied to the Modelling of Software Projects. Softw. Concepts Tools 15(4): 162-176 (1994) - 1993
- [c2]Pascale Thévenod-Fosse, Hélène Waeselynck:
STATEMATE Applied to Statistical Software Testing. ISSTA 1993: 99-109 - 1991
- [j1]Pascale Thévenod-Fosse, Hélène Waeselynck:
An Investigation of Statistical Software Testing. Softw. Test. Verification Reliab. 1(2): 5-25 (1991) - [c1]Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet:
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. FTCS 1991: 410-417
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
