76documents trouvés
Handbook on good practices for valorisation of R&D results
M.ASUNCION, J.BAUSELLS, J.REVERTER, J.A.ROMERO, P.THEVENOD-FOSSE
CIC NanoGUNE, CSIC, ICN, Zaragoza, TSF
Rapport de Contrat : TRAIN², Projet SUDOE Interrg IV B, SOE2/P1/E280, Décembre 2012, 40p. , N° 12778
Diffusable
129076Simulated annealing applied to test generation: landscape characterization and stopping criteria
H.WAESELYNCK, P.THEVENOD-FOSSE, O.ABDELLATIF-KADDOUR
TSF
Revue Scientifique : Empirical Software Engineering, Vol.12, N°1, pp.35-63, Février 2007 , N° 05420
Diffusable
109131Software safety supervision on-board autonomous spacecraft
J.P.BLANQUART, S.FLEURY, M.HERNEK, C.HONVAULT, F.INGRAND, J.C.PONCET, D.POWELL, N.STRADY-LECUBIN, P.THEVENOD-FOSSE
ASTRIUM, 2I, ESA/ESTEC, RIA, AXLOG, TSF
Manifestations avec acte à diffusion limitée : 2nd European Congress on Embedded Real Time Software (ERTS'2004), Toulouse (France), 21-23 Janvier 2004, 11p. , N° 04067
Diffusable
101827A mutation analysis tool for Java programs
P.CHEVALLEY, P.THEVENOD-FOSSE
TSF
Revue Scientifique : International Journal on Software Tools for Technology Transfer (STTT), Vol.5, N°1, pp.90-103, Novembre 2003 , N° 01356
Diffusable
101447An empirical investigation of simulated annealing applied to property-oriented testing
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestation avec acte : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2003), Tunis (Tunisie), 14-18 Juillet 2003, 15p. , N° 02467
Diffusable
101081Test fonctionnel de logiciels critiques développés en Java
P.THEVENOD-FOSSE
TSF
Rapport de Contrat : Contrat Région Midi-Pyrénées N°RECH/99001170, Juillet 2003, 5p. , N° 03345
Non diffusable
101039Software product assurance for autonomy on-board spacecraft
J.P.BLANQUART, M.HERNEK, C.HONVAULT, J.C.PONCET, N.STRADY-LECUBIN, D.POWELL, P.THEVENOD-FOSSE, F.INGRAND, S.FLEURY
ASTRIUM, ESA/ESTEC, AXLOG, TSF, RIA, 2I
Manifestation avec acte : DAta Systems In Aerospace (DASIA'2003), Prague (République Tchèque), 2-5 Juin 2003, 5p. , N° 03022
Diffusable
100907Property-oriented testing: a strategy for exploring dangerous scenarios
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestation avec acte : 2003 ACM Symposium on Applied Computing, Melbourne (USA), 9-12 Mars 2003, pp.1128-1134 , N° 02346
Diffusable
100564Reflective fault-tolerant systems: from experience to challenges
J.C.RUIZ-GARCIA, M.O.KILLIJIAN, J.C.FABRE, P.THEVENOD-FOSSE
TSF
Revue Scientifique : IEEE Transactions on Computers. Special Issue on Reliable Distributed Systems, Vol.52, N°2, pp.237-254, Février 2003 , N° 02036
Diffusable
101098A stepwise strategy for property-oriented testing
O.ABDELLATIF-KADDOUR, P.THEVENOD-FOSSE, H.WAESELYNCK
TSF
Manifestations avec acte à diffusion limitée : 4th European Dependable Computing Conference (EDCC-4). Fast abstracts, Toulouse (France), 23-25 Octobre 2002, pp.19-20 (Résumé) , N° 02351
Diffusable
100005