Application of the B formal method to the proof of a type verification algorithm by Requet, A., Casset, L., Grimaud, G.

Request full text

Formal development of an embedded verifier for Java Card byte code by Casset, L., Burdy, L., Requet, A.

Request full text

Concentrations and determinants of gaseous aldehydes in 162 homes in Strasbourg (France) by Marchand, C., Le Calvé, S., Mirabel, Ph, Glasser, N., Casset, A., Schneider, N., de Blay, F.

Get full text

In-Plane Silicon-On-Nothing Nanometer-Scale Resonant Suspended Gate MOSFET for In-IC Integration Perspectives by Durand, C., Casset, F., Renaux, P., Abele, N., Legrand, B., Renaud, D., Ollier, E., Ancey, P., Ionescu, A.M., Buchaillot, L.

Get full text

Interventricular and intraventricular dyssynchrony in idiopathic dilated cardiomyopathy: a prognostic study with fourier phase analysis of radionuclide angioscintigraphy by Fauchier, Laurent, Marie, Olivier, Casset-Senon, Danielle, Babuty, Dominique, Cosnay, Pierre, Fauchier, Jean Paul

Get full text

Inhaled formaldehyde exposure: effect on bronchial response to mite allergen in sensitized asthma patients by Casset, A., Marchand, C., Purohit, A., Le Calve, S., Uring‐Lambert, B., Donnay, C., Meyer, P., De Blay, F.

Get full text

Ultra-Sensitive Capacitive Detection Based on SGMOSFET Compatible With Front-End CMOS Process by Colinet, E., Durand, C., Duraffourg, L., Audebert, P., Dumas, G., Casset, F., Ollier, E., Ancey, P., Carpentier, J.-F., Buchaillot, L., Ionescu, A.M.

Get full text

Development of a resonant asymmetric micro mirror using an electro active polymer actuation by Casset, F, Poncet, P, Desloges, B, Neff, B, Domingues Dos Santos, F, Danel, JS, Vimercati, M, Zanotti, L, Fanget, S

Get full text

Safety and immunogenicity of a new formulation of interferon β-1a (Rebif® New Formulation) in a Phase IIIb study in patients with relapsing multiple sclerosis: 96-week results by Giovannoni, G, Barbarash, O, Casset-Semanaz, F, King, J, Metz, L, Pardo, G, Simsarian, J, Sørensen, PS, Stubinski, B

Get full text

P481Can an ICD determine the origin of focal VT? by Chaumeil, A., Sacher, F., Casset, C., Qu, F., Mcspadden, L., Derval, N., Denis, A., Hocini, M., Jais, P., Haissaguerre, M.

Get full text

P480The value of ICD electrograms for localization of foci originating from different locations within the left ventricle by Chaumeil, A., Sacher, F., Casset, C., Qu, F., Mcspadden, L., Derval, N., Denis, A., Hocini, M., Haissaguerre, M., Jais, P.

Get full text

Coronary atherosclerotic burden in non-ischemic dilated cardiomyopathies: Prognostic implications. A sub study of 3 C registry by Canu, M., Jankowski, A., Salvat, M., Augier, C., Casset, C., Maurin, M., Vanzetto, G., Djaileb, L., Riou, L., Fagret, D., Ghezzi, C., Barone Rochette, G.

Get full text

Coronary atherosclerotic burden in non-ischemic dilated cardiomyopathies: Prognostic implications. A substudy of 3C registry by Canu, M., Jankowski, A., Salvat, M., Augier, C., Casset, C., Maurin, M., Vanzetto, G., Djaileb, L., Riou, L., Fagret, D., Ghezzi, C., Barone-Rochette, G.

Get full text

Comparison of Cadmium Zinc Telluride ECG-gated SPECT equilibrium radionuclide angiocardiography to magnetic resonance imaging to measure right ventricular volumes and ejection frac... by Apert, A., Canu, M., Jankowski, A., Riou, L., Broisat, A., Charlon, C., Augier, C., Boignard, A., Leenhardt, J., Salvat, M., Casset, C., Maurin, M., Saunier, C., Vanzetto, G., Fagret, D., Ghezzi, C., Djaileb, L., Barone-Rochette, G.

Get full text

Guided acoustic wave resonators using an acoustic Bragg mirror by Koné, I., Domingue, F., Reinhardt, A., Jacquinot, H., Borel, M., Gorisse, M., Parat, G., Casset, F., Pellissier-Tanon, D., Carpentier, J. F., Buchaillot, L., Dubus, B.

Get full text

Patient subgroup analyses of the treatment effect of subcutaneous interferon β-1a on development of multiple sclerosis in the randomized controlled REFLEX study by Freedman, Mark S., De Stefano, Nicola, Barkhof, Frederik, Polman, Chris H., Comi, Giancarlo, Uitdehaag, Bernard M. J., Casset-Semanaz, Florence, Hennessy, Brian, Lehr, Lorenz, Stubinski, Bettina, Jack, Dominic L., Kappos, Ludwig

Get full text

Comparison of long-term outcome of alcoholic and idiopathic dilated cardiomyopathy by Fauchier, L., Babuty, D., Poret, P., Casset-Senon, D., Autret, M.L., Cosnay, P., Fauchier, J.P.

Get full text

Reliability of QRS duration and morphology on surface electrocardiogram to identify ventricular dyssynchrony in patients with idiopathic dilated cardiomyopathy by Fauchier, Laurent, Marie, Olivier, Casset-Senon, Danielle, Babuty, Dominique, Cosnay, Pierre, Fauchier, Jean Paul

Get full text

Patient subgroup analyses of the treatment effect of subcutaneous interferon beta -1a on development of multiple sclerosis in the randomized controlled REFLEX study by Freedman, Mark S, Stefano, Nicola, Barkhof, Frederik, Polman, Chris H, Comi, Giancarlo, Uitdehaag, Bernard MJ, Casset-Semanaz, Florence, Hennessy, Brian, Lehr, Lorenz, Stubinski, Bettina, Jack, Dominic L, Kappos, Ludwig

Get full text

Active NEMS combining a single crystal silicon mechanical structure and an embedded MOSFET transistor for sensing and RF applications by Ollier, E., Berthelot, A., Duraffourg, L., Colinet, E., Arcamone, J., Renaux, P., Renaud, D., Robert, P., Casset, F., Ancey, P.

Get full text