CertiCAN: A Tool for the Coq Certification of CAN Analysis Results by Fradet, Pascal, Guo, Xiaojie, Monin, Jean-Francois, Quinton, Sophie

Request full text

Modeling, Optimization, and Verification for Complex Systems by Luo, Guiming, Song, Xiaoyu, Yang, Xiaojing, Thulasiraman, Krishnaiyan, Monin, Jean-François, Yang, Guowu

Get full text

A Generic Coq Proof of Typical Worst-Case Analysis by Fradet, Pascal, Lesourd, Maxime, Monin, Jean-Francois, Quinton, Sophie

Request full text

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets by Guo, Xiaojie, Quinton, Sophie, Fradet, Pascal, Monin, Jean-Francois

Request full text

Exceptions considered harmless by Monin, Jean-François

Get full text

Verifying Service Choreography Model Based on Description Logic by Yu, Minggang, Niu, Xiaoxing, Wang, Zhixue

Get full text

The Formalization of Discrete Fourier Transform in HOL by Li, Liming, Guan, Yong, Zhang, Yupeng, Shi, Zhiping, Zhang, Jie

Get full text

Formal Verification of Netlog Protocols by Meixian Chen, Monin, Jean-Francois

Request full text

Verifying Self-stabilizing Population Protocols with Coq by Yuxin Deng, Monin, J.-F.

Request full text

A compared study of two correctness proofs for the standardized algorithm of ABR conformance by Berard, B, Fribourg, L, Klay, F, Monin, J-F

Get full text

First steps towards the certification of an ARM simulator using Compcert by Shi, Xiaomu, Monin, Jean-François, Tuong, Frederic, Blanqui, Frédéric

Get full text

Grading mitral regurgitation using 4D flow CMR: Comparison to transthoracic echocardiography by Ribeyrolles, Sophie, Monin, Jean‐Luc, Rohnean, Adela, Diakov, Christelle, Caussin, Christophe, Monnot, Sebastien, Berrebi, Alain, Paul, Jean‐François

Get full text

Gentzen-Prawitz Natural Deduction as a Teaching Tool by Monin, Jean-François, Ene, Cristian, Périn, Michaël

Get full text

Designing a CPU model: from a pseudo-formal document to fast code by Blanqui, Frédéric, Helmstetter, Claude, Joloboff, Vania, Monin, Jean-François, Shi, Xiaomu

Get full text

Patients without prolonged QRS after TAVI with CoreValve device do not experience high-degree atrio-ventricular block by Mouillet, Gauthier, Lellouche, Nicolas, Lim, Pascal, Meguro, Kentaro, Yamamoto, Masanori, Deux, Jean-François, Monin, Jean-Luc, Bergoënd, Eric, Dubois-Randé, Jean-Luc, Teiger, Emmanuel

Get full text

Safety and efficacy of riluzole in spinocerebellar ataxia type 2 in France (ATRIL): a multicentre, randomised, double-blind, placebo-controlled trial by Coarelli, Giulia, Heinzmann, Anna, Ewenczyk, Claire, Fischer, Clara, Chupin, Marie, Monin, Marie-Lorraine, Hurmic, Hortense, Calvas, Fabienne, Calvas, Patrick, Goizet, Cyril, Thobois, Stéphane, Anheim, Mathieu, Nguyen, Karine, Devos, David, Verny, Christophe, Ricigliano, Vito A G, Mangin, Jean-François, Brice, Alexis, Tezenas du Montcel, Sophie, Durr, Alexandra

Get full text

Percutaneous repair or medical treatment for secondary mitral regurgitation: outcomes at 2 years by Vahanian, Alec, Mewton, Nathan, Guerin, Patrice, Cormier, Bertrand, Thibault, Hélène, Himbert, Dominique, Thivolet, Sophie, Bonnet, Guillaume, Donal, Erwan, Piriou, Nicolas, Piot, Christophe, Habib, Gilbert, Saint Etienne, Christophe, Leroux, Lionel, Gilard, Martine, Maucort‐Boulch, Delphine, Thibault, Hélène, Thivolet, Sophie, Furber, Alain, Debrux, Jean‐Louis, Rouleau, Frédéric, Chocron, Sidney, Schiele, François, Castellant, Philippe, Motreff, Pascal, Clerfond, Guillaume, Azarnoush, Kasra, Lusson, Jean René, Vorilhon, Charles, Damy, Thibault, Dubois‐Rande, Jean‐Luc, Nguyen, Annabelle, Riant, Elisabeth, Azmoun, Alexandre, Angel, Jean‐Yves, Deleuze, Philippe, Raoux, François, Slama, Michel, Duvapentiah, Anju, Juthier, Francis, Polge, Anne‐Sophie, Richardson, Marjorie, Rousse, Natacha, Sudre, Arnaud, Vincent, Flavien, Ketelers, Régis, Habib, Gilbert, Michel, Nicolas, Collart, Frédéric, Houël, Rémi, Giacomoni, Marie‐Paule, Maximovitch, Alexandre, Cormier, Bertrand, Romano, Mauro, Cade, Stéphane, Piot, Christophe, Juillière, Yves, Folliguet, Thierry, Baron, Olivier, Trochu, Jean‐Noël, Belliard, Olivier, Janower, Sandra, Pasquier, Damien, Pillière, Rémy, Rosencher, Julien, Himbert, Dominique, Nataf, Patrick, Spaulding, Christian, Mirabel, Mariana, Suen, Po Wen, Caussin, Christophe, Veugeois, Aurélie, Isnard, Richard, Montalescot, Gilles, Labrousse, Louis, Picard, François, Degrand, Bruno, Donal, Erwan, Leurent, Guillaume, Nejjari, Mohammed, Drogoul, Laurent, Elebeze, Jean‐Pierre, Meyer, Pierre, Ohlmann, Patrick, Mommerot, Arnaud, Trinh, Annie, Dumonteil, Nicolas, Farah, Bruno, Bernard, Anne, Dion, Fany, Loardi, Claudia, Seemann, Aurélien, Wautot, Fabrice, Frieh, Jean‐Philippe, Garrier, Olivier, Jamal, Fadi, Lamartine, Stéphanie, Lienhart, Yves, Staat, Patrick, Zouaghi, Oualid

Get full text

Development of a new clinical tool to evaluate the balance abilities of children with bilateral vestibular loss: The Geneva Balance Test by Monin, Emile, Bahim, Céline, Baussand, Lou, Cugnot, Jean-François, Ranieri, Maurizio, Guinand, Nils, Pérez Fornos, Angélica, Cao Van, Hélène

Get full text

Results Of In-Office Biceps Isolated Tenotomy In A Daily Practice. A Prospective Study by Gauci, Marc-Olivier, Monin, Brieuc, Rudel, Alexandre, Bige, Bastien, Bronsard, Nicolas, Gonzalez, Jean-François

Get full text

The AVIATOR registry: the importance of evaluating long-term patient outcomes by de Heer, Frederiek, Lansac, Emmanuel, El-Hamamsy, Ismail, Pibarot, Philippe, De Kerchove, Laurent, El Khoury, Gebrine, Schäfers, Hans-Joachim, Takkenberg, Johanna J. M., Kluin, Jolanda

Get full text