Search alternatives:
Peureux, F. » Heureux, F.
Peureux, F. » Heureux, F.
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Bernard, Eddy, Legeard, Bruno, Luck, Xavier, Peureux, Fabien
Published in Software, practice & experience (01.08.2004)
Published in Software, practice & experience (01.08.2004)
Get full text
Journal Article
Mastering Test Generation from Smart Card Software Formal Models
Bouquet, Fabrice, Legeard, Bruno, Peureux, Fabien, Torreborre, Eric
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Get full text
Book Chapter
Conference Proceeding
Controlling test case explosion in test generation from B formal models
Legeard, Bruno, Peureux, Fabien, Utting, Mark
Published in Software testing, verification & reliability (01.06.2004)
Published in Software testing, verification & reliability (01.06.2004)
Get full text
Journal Article
Preamble computation in automated test case generation using constraint logic programming
Colin, Séverine, Legeard, Bruno, Peureux, Fabien
Published in Software testing, verification & reliability (01.09.2004)
Published in Software testing, verification & reliability (01.09.2004)
Get full text
Journal Article
Boundary coverage criteria for test generation from formal models
Kosmatov, N., Legeard, B., Peureux, F., Utting, M.
Published in 15th International Symposium on Software Reliability Engineering (2004)
Published in 15th International Symposium on Software Reliability Engineering (2004)
Get full text
Conference Proceeding
Transformation of SysML Structure Diagrams to VHDL-AMS
Bouquet, F., Gauthier, J., Hammad, A., Peureux, F.
Published in 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (01.04.2012)
Published in 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (01.04.2012)
Get full text
Conference Proceeding
Grey-Box Testing and Verification of Java/JML
Dadeau, F., Peureux, F.
Published in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Published in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Get full text
Conference Proceeding
High-level studies of the singlet states of quadricyclane, including analysis of a new experimental vacuum ultraviolet absorption spectrum by configuration interaction and density functional calculations
Palmer, Michael H., Hoffmann, Søren Vrønning, Jones, Nykola C., Coreno, Marcello, de Simone, Monica, Grazioli, Cesare, Aitken, R. Alan, Peureux, Coralyse
Published in The Journal of chemical physics (21.06.2023)
Published in The Journal of chemical physics (21.06.2023)
Get full text
Journal Article
Measuring ocean total surface current velocity with the KuROS and KaRADOC airborne near-nadir Doppler radars: a multi-scale analysis in preparation for the SKIM mission
Marié, Louis, Collard, Fabrice, Nouguier, Frédéric, Pineau-Guillou, Lucia, Hauser, Danièle, Boy, François, Méric, Stéphane, Sutherland, Peter, Peureux, Charles, Monnier, Goulven, Chapron, Bertrand, Martin, Adrien, Dubois, Pierre, Donlon, Craig, Casal, Tania, Ardhuin, Fabrice
Published in Ocean science (13.11.2020)
Published in Ocean science (13.11.2020)
Get full text
Journal Article
Filamentation-induced spectral broadening and pulse shortening of infrared pulses in Tellurite glass
Béjot, P., Billard, F., Peureux, C., Diard, T., Picot-Clémente, J., Strutynski, C., Mathey, P., Mouawad, O., Faucher, O., Nagasaka, K., Ohishi, Y., Smektala, F.
Published in Optics communications (01.12.2016)
Published in Optics communications (01.12.2016)
Get full text
Journal Article
Induktionsanordnung zum Heizen von Metallbändern
ROEHR, PHILIPPE, F-68360 SOULTZ, FR, FERRY, GEORGES CHARLES, RESIDENCE L'HERMITAGE, F-78230 LE PECQ, FR, PEUREUX, JEAN-LOUIS BERNARD, F-89140 VILLETHIERRY, FR, DELASSUS, JEAN, F-95160 MONTMORENCY, FR
Year of Publication 23.01.1997
Get full text
Year of Publication 23.01.1997
Patent
Five year survival for lung cancer patients managed in general hospitals
Grivaux, M, Zureik, M, Marsal, L, Asselain, B, Peureux, M, Chavaillon, J-M, Prud'homme, A, Carbonnelle, M, Goarant, E, Maury, B, Bedossa, A, Blanchon, F
Published in Revue des maladies respiratoires (01.01.2009)
Published in Revue des maladies respiratoires (01.01.2009)
Get more information
Journal Article
Treatment of polyarteritis nodosa and microscopic polyangiitis with poor prognosis factors: A prospective trial comparing glucocorticoids and six or twelve cyclophosphamide pulses in sixty‐five patients
Guillevin, Loïc, Cohen, Pascal, Mahr, Alfred, Arène, Jean‐Pierre, Mouthon, Luc, Puéchal, Xavier, Pertuiset, Edouard, Gilson, Brigitte, Hamidou, Mohamed, Lanoux, Patricia, Bruet, Alain, Ruivard, Marc, Vanhille, Philippe, Cordier, Jean‐François
Published in Arthritis and rheumatism (15.02.2003)
Published in Arthritis and rheumatism (15.02.2003)
Get full text
Journal Article
New Developments in Deep Hydroconversion of Heavy Oil Residues with Dispersed Catalysts. 1. Effect of Metals and Experimental Conditions
Fixari, Bernard, Peureux, Sylvie, Elmouchnino, Jeanne, Le Perchec, Pierre, Vrinat, Michel, Morel, Frederic
Published in Energy & fuels (01.05.1994)
Published in Energy & fuels (01.05.1994)
Get full text
Journal Article
La réanalyse du transfert instationnaire de la chaleur
Peureux, B., Durastanti, J.F., Martin, B.
Published in International communications in heat and mass transfer (1997)
Published in International communications in heat and mass transfer (1997)
Get full text
Journal Article