Hélène Waeselynck Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zoltán Micskei, Hélène Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey. Software and System Modeling 10(4): 489-514 (2011)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere: GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. ICST 2010: 195-204
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Zoltán Micskei, Nicolas Riviere, Áron Hamvas, Irina Nitu: TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous 2010: 285-296
2009
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27
2008
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere: Testing mobile computing applications: toward a scenario language and tools. WODA 2008: 29-35
2007
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour: Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empirical Software Engineering 12(1): 35-63 (2007)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Riviere: Mobile Systems from a Validation Perspective: a Case Study. ISPDC 2007: 85-92
2004
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guillaume Lussier, Hélène Waeselynck, Karim Guennoun: Proof-Guided Testing: An Experimental Study. COMPSAC 2004: 528-533
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe David, Hélène Waeselynck, Yves Crouzet: Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-678
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guillaume Lussier, Hélène Waeselynck: Deriving Test Sets from Partial Proofs. ISSRE 2004: 14-24
2003
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guillaume Lussier, Hélène Waeselynck: Informal Proof Analysis Towards Testing Enhancement. ISSRE 2002: 27-40
2000
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand: Testing levels for object-oriented software. ICSE 2000: 136-145
1999
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Pascale Thévenod-Fosse: A Case Study in Statistical Testing of Reusable Concurrent Objects. EDCC 1999: 401-418
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529
1998
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Salimeh Behnia: B Model Animation for External Verification. ICFEM 1998: 36-45
1997
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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., Verif. Reliab. 7(2): 129-130 (1997)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascale Thévenod-Fosse, Hélène Waeselynck: Towards a Statistical Approach to Testing Object-Oriented Programs. FTCS 1997: 99-108
1994
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hélène Waeselynck, Dietmar Pfahl: System Dynamics Applied to the Modelling of Software Projects. Software - Concepts and Tools 15(4): 162-176 (1994)
1993
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascale Thévenod-Fosse, Hélène Waeselynck: STATEMATE Applied to Statistical Software Testing. ISSTA 1993: 99-109
1991
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pascale Thévenod-Fosse, Hélène Waeselynck: An Investigation of Statistical Software Testing. Softw. Test., Verif. Reliab. 1(2): 5-25 (1991)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Olfa Abdellatif-Kaddour
[j4] [c9]
2Salimeh Behnia
[c5] [c4]
3Thomas Bochot
[c19] [c16]
4John A. Clark (John Andrew Clark)
[c20]
5Yves Crouzet
[c11] [c1]
6Philippe David
[c11]
7M.-H. Durand
[c7]
8Guy Durrieu
[c15]
9Jean-Charles Fabre
[c21]
10Karim Guennoun
[c12]
11Áron Hamvas
[c17]
12Yvan Labiche
[c7]
13Jimmy Lauret
[c21]
14Guillaume Lussier
[c12] [c10] [c8]
15Zoltán Micskei
[j5] [c17] [c13]
16Minh Duc Nguyen
[c18] [c14] [c13]
17Irina Nitu
[c17]
18Dietmar Pfahl
[j2]
19Simon M. Poulding
[c20]
20Nicolas Riviere
[c18] [c17] [c14] [c13]
21Pascale Thévenod-Fosse
[j4] [c9] [c7] [c6] [c3] [c2] [j1] [c1]
22Pierre Virelizier
[c19] [c16]
23Virginie Wiels
[c19] [c16] [c15]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 06:33:41 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page