Search

Your search keyword '"Sparsa, A."' showing total 776 results
Start Over Author "Sparsa, A."
776 results on '"Sparsa, A."'

1. Individual and environmental determinants associated with longer times to access pediatric rheumatology centers for patients with juvenile idiopathic arthritis, a JIR cohort study

Author

Chausset, Aurélie, Lambert, Céline, Belot, Alexandre, Merlin, Etienne, Cannizzaro, Elvira, Kone-Paut, Isabelle, Ballot, Claire, Devauchelle, Valérie, Poignant, Sylvaine, Carlomagno, Raffaella, Lohse, Anne, Barbier, Catherine, Despert, Véronique, Carbasse, Aurélia, Sparsa, Laetitia, Adank, Eva, Vanoni, Federica, Reumaux, Héloise, Pillet, Pascal, Kaiser, Daniela, Hofer, Michael, Freychet, Caroline, and Schott, Anne-Marie

Published
2023
Full Text
View/download PDF

2. Criteria Associated with Treatment Decisions in Juvenile Idiopathic Arthritis with a Focus on Ultrasonography: Results from the JIRECHO Cohort

Author

Baydoun, Sara, Jousse-Joulin, Sandrine, Saraux, Alain, Dusser-Benesty, Perrine, Borocco, Charlotte, Galeotti, Caroline, Von Scheven, Annette, Hofer, Michael, Bader-Meunier, Brigitte, Aeschlimann, Florence, Breton, Sylvain, Sparsa, Laetitia, Carbasse, Aurélia, Mouterde, Gaël, Rossi-Semerano, Linda, and Devauchelle-Pensec, Valérie

Published
2023
Full Text
View/download PDF

3. Revisiting Underapproximate Reachability for Multipushdown Systems

Author

Akshay, S., Gastin, Paul, Krishna, S, and Roychowdhury, Sparsa

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful behaviors. In this paper, we propose a new class of bounded under approximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient algorithm for solving the under-approximate reachability problem, which is based on efficient fix-point computations. We implement it in our tool BHIM and illustrate its applicability by generating a set of relevant benchmarks and examining its performance. As an additional takeaway, BHIM solves the binary reachability problem in pushdown automata. To show the versatility of our approach, we then extend our algorithm to the timed setting and provide the first implementation that can handle timed multi-pushdown automata with closed guards., Comment: 52 pages, Conference TACAS 2020

Published
2020

4. Individual and environmental determinants associated with longer times to access pediatric rheumatology centers for patients with juvenile idiopathic arthritis, a JIR cohort study

Author

Aurélie Chausset, Céline Lambert, Alexandre Belot, Etienne Merlin, Elvira Cannizzaro, Isabelle Kone-Paut, Claire Ballot, Valérie Devauchelle, Sylvaine Poignant, Raffaella Carlomagno, Anne Lohse, Catherine Barbier, Véronique Despert, Aurélia Carbasse, Laetitia Sparsa, Eva Adank, Federica Vanoni, Héloise Reumaux, Pascal Pillet, Daniela Kaiser, Michael Hofer, Caroline Freychet, and Anne-Marie Schott

Subjects
Juvenile idiopathic arthritis, Access to care, Time to referral, Socio-economic factors, Pediatrics, RJ1-570, Diseases of the musculoskeletal system, RC925-935
Abstract

Abstract Background Despite guidelines, poor access to appropriate care for juvenile idiopathic arthritis (JIA) patients remains a global issue. Prompt referral to a pediatric rheumatology (PR) center and effective care is known to be critical for changing the natural history of the disease and improving long-term prognosis. This project assesses socio-economic factors of delayed referral to a pediatric rheumatologist (PRst) for JIA patients in France and Switzerland within the Juvenile Inflammatory Rheumatism (JIR) Cohort. Methods All patients diagnosed with JIA, presenting at one center of the JIRcohort in France or Switzerland with additional data on referral pathway were included. Patient characteristics at first visit to the PR center, dates of visits to healthcare providers during referral, and parent characteristics were extracted from the JIRcohort database. Results Two hundred fifty children were included. The overall median time to first PR assessment was 2.4 months [1.3; 6.9] and ranged widely across the JIA subtypes, from 1.4 months [0.6; 3.8] for children with systemic juvenile idiopathic arthritis (sJIA) to 5.3 months [2.0; 19.1] for children with enthesitis-related arthritis (ERA). A diagnosis of ERA and an appointment with an orthopedist during the referral pathway were significantly associated with a longer time before the first PR visit (hazard ratio HR 0.50 [95% CI: 0.29; 0.84]) and HR 0.68 [95% CI: 0.49; 0.93], respectively) in multivariable analysis. Having a mother with a post-graduate educational attainment level was tendentially associated with a shorter time before the first PR visit, (HR 1.32 [95% CI: 0.99; 1.78]). Conclusions Time to first PRst visit was most often short compared to other studies and close to the British recommendations. However, this time remained too long for many patients. We observed no social inequities in access to a PRst, but we show the need to improve effective pathway and access to a PR center for JIA patients.

Published
2023
Full Text
View/download PDF

5. Criteria Associated with Treatment Decisions in Juvenile Idiopathic Arthritis with a Focus on Ultrasonography: Results from the JIRECHO Cohort

Author

Sara Baydoun, Sandrine Jousse-Joulin, Alain Saraux, Perrine Dusser-Benesty, Charlotte Borocco, Caroline Galeotti, Annette Von Scheven, Michael Hofer, Brigitte Bader-Meunier, Florence Aeschlimann, Sylvain Breton, Laetitia Sparsa, Aurélia Carbasse, Gaël Mouterde, Linda Rossi-Semerano, and Valérie Devauchelle-Pensec

Subjects
Juvenile idiopathic arthritis, Ultrasonography, Synovitis, Therapeutic decision, Treatment, Diseases of the musculoskeletal system, RC925-935
Abstract

Abstract Background The treatment of children with juvenile idiopathic arthritis (JIA) to prevent disability is a major challenge in paediatric rheumatology. The presence of synovitis, which is difficult to detect in children, is associated with structural damage. Musculoskeletal ultrasonography (MSUS) can be used in patients with JIA to reveal subclinical synovitis. Objective The primary aim was to determine whether the use of MSUS was associated with therapeutic modification in patients with JIA. The secondary aim was to identify other factors associated with therapeutic decisions. Methods We conducted an observational study based on the JIRECHO multi-centre cohort, which was developed to provide a systematic MSUS follow-up for patients with JIA. Follow-up occurred every 6 months and included clinical and MSUS examinations. We included children who underwent MSUS of the elbows, wrists, second metacarpophalangeal joints, knees and ankles, which was performed by expert sonographers. Clinical and biological data, disease activity scores and information on therapeutics were collected. Results A total of 185 visits concerning 112 patients were recorded. Three groups were defined according to the therapeutic decision: escalation (22%, n = 40), de-escalation (14%, n = 26) or stable (64%, n = 119). In the “therapeutic escalation” group: the presence of ultrasonographic synovitis in B-mode and the presence of grade 2 or 3 synovitis in B-mode were not significantly more frequent than in the “stable therapeutic or de-escalation” group (80% versus 65%, p = 0.06; 33% versus 19%, p = 0.06), and the patient’s and physician’s visual analogue scale (VAS) scores, the clinical JADAS and the C-reactive protein level were significantly higher, but only physician’s VAS score remained in the model of logistic regression. In the “therapeutic de-escalation” group: there was no difference in the presence of US synovitis compared with the “stable therapeutic or escalation” group (62% versus 69%, p = 0.48). Conclusion Even though US synovitis tended to be more frequent in patients with therapeutic escalation, the study did not show that the presence of synovitis in MSUS was statistically associated with therapeutic modifications in patients with JIA. Treatment remained stable despite the presence of US synovitis.

Published
2022
Full Text
View/download PDF

10. Diagnosis of single faults in quantum circuits

Author

Bera, Debajyoti, Maitra, Subhamoy, Roychowdhury, Sparsa, and Chakraborty, Susanta

Subjects
Quantum Physics
Abstract

Detecting and isolating faults is crucial for synthesis of quantum circuits. Under the single fault assumption that is now routinely accepted in circuit fault analysis, we show that the behaviour of faulty quantum circuits can be fully characterized by the single faulty gate and the corresponding fault model. This allows us to efficiently determine test input states as well as measurement strategy that can be used to detect every single-gate fault using very few test cases and with minimal probability of error; in fact we demonstrate that most commonly used quantum gates can be isolated without any error under the single missing gate fault (SMGF) model. We crucially exploit the quantum nature of circuits to show vast improvement upon the existing works of automatic test pattern generation (ATPG) for quantum circuits.

Published
2015

12. COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study

Author

Aeschlimann, Florence, Agard, Christian, Ait-Abdallah, Nassim, Albert, Jean-David, Alcais, Didier, Allain, Jean-Sébastien, Allanore, Yannick, Amador-Borreiro, Blanca, Amoura, Zahir, Andre, Emma, Arbault, Anaïs, Arlet, Jean-Benoît, Arnaud, Laurent, Arniaud, Denis, Arty-Hue, Herliette, Atlan, Lucie, Audemard-Verger, Alexandra, Audoin-Pajot, Christine, Audren, Victor, Bach-Bunner, Maxime, Bacquet-Deschryver, Hélène, Bader-Meunier, Brigitte, Balandraud, Nathalie, Balblanc, Jean-Charles, Bally, Stéphane, Banal, Frédéric, Barbery, Pierre, Barnetche, Thomas, Barrelet, Audre, Basch, André, Baumier, Vincent, Bayer, Guillaume, Bayle, Sophie, Beauvais, Catherine, Beinat, Rudie, Belin, Véronique, Belkhir, Rakiba, Benainous, Ruben, Belot, Alexandre, Benammar, Mohammed, Benhamou, Mathilde, Benhamou, Ygal, Benmansour, Ahmed, Bennet, Pascal, Bernoux-Manat, Brigitte, Berthet, Elise, Berthoux, Emilie, Bertolini, Ewa, Bigot, Adrien, Bisson-Vaivre, Aurélia, Blaison, Gilles, Bolla, Gilles, Bonidan, Olivier, Bonnet, Christine, Borie, Raphaël, Bossert, Marie, Boudou, Laurence, Bouhour, Françoise, Bouiller, Kévin, Bouldoires, Bastien, Boussoualim, Karima, Bouvard, Eric, Brondino, Regine, Buchlin, Pierre, Cabantous, Laurence, Cacoub, Patrice, Cadiou, Simon, Carteni, Maurizio, Carbasse, Aurélia, Castel, Brice, Cathebras, Pascal, Caumont, Hervé, Celant, Annalisa, Chaigne, Benjamin, Chaillous, Benoît, Champy, Romuald, Charcot, Agnès, Charles, Pierre, Charlot-Lambrecht, Isabelle, Charpin, Caroline, Chatelus, Emmanuel, Chaudier, Bernard, Chertok, Pascale, Chevalier, Xavier, Chevreau, Maxime, Chotard, Emilie, Chu Miow Lin, Delphine, Clavel, Gaëlle, Clavel-Osorio, Cyril, Cohen, Fleur, Cohen, Gregory, Colette-Cedoz, Marie-Eve, Collercandy, Nived, Colombey, Antoine, Comarmond, Chloé, Combe, Bernard, Comparon, Céline, Constant, Elodie, Coquerelle, Pascal, Corli, Justine, Corre, Clémence, Costedoat-Chalumeau, Nathalie, Couret, Marie, Courvoisier, Natacha, Coury-Lucas, Fabienne, Coutarel, Cécile, Coutier, Fabrice, Damade, Richard, Daver-Malaterre, Laurence, Dehimat, Sarahe, Delahousse, Michel, Barrois-Delattre, Emilie, Denarie, Delphine, Deprouw, Camille, Dernis, Emanuelle, Deroux, Alban, Desbarbieux, Renaud, Descamps, Elise, Deslandre, Chantal, Desmurs, Marie, Despaux, Jacques, Desplats, Marie, Detree, Frédérick, Devauchelle-Pensec, Valérie, Dhote, Robin, Dieude, Philippe, Dieudonne, Yannick, Diot, Elisabeth, Direz, Guillaume, Djeddi, Djamal-Dine, Douvier, Sarah, Drouet, Béatrice, Drumez, Elodie, Duc, Catherine, Ducornet, Angélique, Dufauret-Lombard, Carine, Duhamel, Alain, Dumaine, Cécile, Dumel, Anne-Elisabeth, Dumoulin-Richez, Chantal, Duquesne, Agnès, Durand, Géraldine, Durandin-Truffinet, Mariane, Duret, Pierre-Marie, Duval, Maïka, Ebbo, Mikaël, Ebstein, Esther, Economu-Dubosc, Andra, Emilie, Stéphanie, Euvrard, Romain, Evon, Philippe, Fabre, Sylvie, Fagedet, Dorothée, Farhat, Meryem, Fauconier, Marion, Fechtenbaum, Jacques, Felten, Renaud, Fernandes, Fanny, Ferreira-Maldent, Nicole, Feurer, Elodie, Fichet, Amandine, Flaisler, Françoise, Florens, Nans, Foltz, Violaine, Fontanges, Elisabeth, Foret, Jennifer, Fougerousse, Anne-Claire, Fouque-Aubert, Anne, Foutrier-Morello, Catherine, Francois-Pradier, Hélène, Frantzen, Léa, Fritz, Pierre, Froissart, Antoine, Fulpin, Jean, Fuzibet, Piera, Gaches, Francis, Gagneux-Lemoussu, Laurence, Penhoat-Gahier, Mélanie, Galland, Joris, Gandjbakhch, Frédérique, Garnier, Nicole, Garraud, Thomas, Garrot, Jean-François, Gastaldi, Romain, Gaud-Listrat, Véronique, Gauthier-Prieur, Maud, Georgescu, Dana, Gerard, Nathalie, Gervais, Elisabeth, Gibert, Christelle, Gibert, Eric, Gill, Ghislaine, Gillard, Jérôme, Gilson, Mélanie, Gimonnet, Pauline, Giraudet-Le Quintrec, Jeanine-Sophie, Giraud-Morelet, Aude, Glace, Baptiste, Glanowski, Camille, Godeau, Bertrand, Gombert, Bruno, Gonnet-Gracia, Camille, Goulenok, Tiphaine, Goupille, Philippe, Gourmelen, Olivier, Govindaraju-Audouard, Sophie, Grados, Franck, Grall-Lerosey, Martine, Grardel, Bruno, Grasland, Anne, Grateau, Gilles, Groza, Monica, Guillaud, Constance, Guillaume, Séverine, Guillibert, Caroline, Guillot, Xavier, Guilpain, Philippe, Gury, Aline, Guyot, Marie-Hélène, Hacquard-Bouder, Cécile, Havard, Marie-Noelle, Hellier, Jean-Pierre, Hennequin, Pascal, Henriot, Basile, Henry, Julien, Hentgen, Véronique, Hermet, Marion, Herasse, Muriel, Hernandez, Julie, Hie, Miguel, Hilliquin, Pascal, Hinschberger, Olivier, Hittinger-Roux, Ambre, Holubar, Jan, Hudry, Christophe, Huguenel, Serge, Jaccard, Clara, Jacquemier, Jean-Michel, Jamard, Bénédicte, Jan, Catherine, Jean, Sylvie, Jouvray, Mathieu, Juge, Pierre-Antoine, Juillard, Laurent, Jullien, Denis, Kabala, Anna, Kabchou, Abdelkrim, Karkowski, Ludovic, Karman, Françoise, Kemiche, Farid, Keraen, Jérémy, Kieffer, Pierre, Kone-Paut, Isabelle, Koreichi, Abdeldajallil, Kostine, Marie, La Batide Alanore, Sylvain, Lafforgue, Pierre, Lahalle, Sophie, Lambert, Marc, Lambrecht, Isabelle, Lanot, Sylvain, Lanteri, Aurélia, Larbre, Jean-Paul, Latourte, Augustin, Lavigne, Christian, Le Guen Guegan, Sophie, Le Guenno, Guillaume, Leguy, Diane, Lebrun, Agnès, Ledoult, Emmanuel, Legoupil, Nathalie, Legrand, Erick, Lejeune, Charlotte, Leloire, Olivier, Leroux, Christophe, Leroy, Rémi, Leroy-Gouix, Marie, Leturcq, Tifenn, Leurs, Amélie, Leveque-Michaud, Céline, Limbach, François-Xavier, Liote, Frédéric, Lohse, Anne, Lozac'h, Pierre, Lucas, Virginie, Madelon, Aurélie, Magy-Bertrand, Nadine, Mahevas, Matthieu, Maillard, Hélène, Maillet, Thibault, Malochet-Guinamand, Sandrine, Mangon, Quentin, Marchou-Lopez, Sylvie, Margarit, Nathalie, Marhadour, Thierry, Mariette, Xavier, Martin, Claire, Mathian, Alexis, Maurier, François, Maury, Frédéric, Mazet-Guillaume, Betty, Mazouyez, Arnaud, Mazyad, Hassan, Mehsen-Cetre, Nadia, Meinzer, Ulrich, Melki, Isabelle, Messer, Laurent, Miceli, Corinne, Michaud, Martin, Michel, Catherine, Michel, Matthias, Michon, Mathilde, Milesi-Lecat, Anne-Marie, Molto, Anna, Moly, Marie, Moranne, Olivier, Morel, Gautier, Morel, Hugo, Morel, Jacques, Morin, Franck, Moulinier, Laurence, Moulis, Guillaume, Moura, Bertrand, Nguyen, Minh, Nicolas-Vullierme, Sabine, Nielly, Hubert, Nocturne, Gaétane, Nottez, Aurore, Ollagnon, Henri-Olivier, Pacaud-Vitoux, Isabelle, Pagnier, Anne, Paris, Caroline, Parrot, Antoine, Pascart, Tristan, Pascaud-Mansour, Yasmina, Paulin, Lætitia, Pavy, Stephan, Perard, Laurent, Pers, Yves-Marie, Pha, Micheline, Pichon, Maud, Pierreisnard, Audrey, Pizana, Gabrielle, Poignant, Sylvaine, Poix, Elsa, Portier, Agnès, Poulet, Antoine, Plassard, Samira, Pugnet, Grégory, Puyraimond-Zemmour, Déborah, Quartier-Dit-Maire, Pierre, Quenet, Marion, Queyrel, Viviane, Raffray, Loïc, Remy, Philippe, Renard, Myriam, Rene, Jessica, Revuz, Sabine, Rey, Bénédicte, Richard-Colmant, Gaëlle, Riviere, Etienne, Riviere, Sébastien, Robin, Sophie, Rohmer, Julien, Roitg, Isabelle, Romier, Mélanie, Rolland, Michel, Roriz, Mélanie, Rosenberg, Carole, Rossi, Linda, Roth, Olivier, Rouidi, Sid-Ahmed, Roumier, Mathilde, Rousiere, Mickaël, Rousselin, Clémentine, Rouviere, Bénédicte, Roux, Christian, Roux, Fabienne, Roux, Marielle, Roux, Nicolas, Rouzaud, Diane, Rozenberg, Sylvie, Sacco, Isabelle, Sadji, Fatiha, Sailler, Laurent, Salliot, Carine, Salmon, Jean-Hugues, Saraux, Alain, Schmidt, Jean, Seguier, Julie, Sellam, Jérémie, Senbel, Eric, Sene, Thomas, Senet, Patricia, Seve, Pascal, Sicaud, Aurélie, Smets, Perrine, Sobanski, Vincent, Sordet, Christelle, Sornay-Rendu, Elisabeth, Souchaud-Debouverie, Odile, Sparsa, Lætitia, Spielmann, Lionel, Steib, Sarah, Stavris, Chloé, Straus, Catherine, Strotz, Victor, Szafors, Paulina, Taffignon-Clave, Séverine, Simoens, Justine, Theillac, Claire, Tenenbaum, Nora, Thomachot, Benoît, Tieulie, Nathalie, Tiriau, Soizic, Tison, Alice, Toussirot, Eric, Trefond, Ludovic, Trijau, Sophie, Trouillier, Sébastien, Trouvin, Anne-Priscille, Truchetet, Marie-Elise, Ulrich, Marc, Vaquier, Jacques, Veillard, Eric, Veillon, Laurent, Vial, Guillaume, Viallard, Jean-François, Victor, Judith, Vidon, Claire, Vidon, Mathias, Vigne, Camille, Virone, Alexandre, Warzocha, Ursula, Wendling, Daniel, Werle, Claude, Wibaux, Cécile, Willems, Alexandra, Wisniewski, Michel, Woessner, Juliette, Xerri-Campano, Bernadette, Avouac, Jérôme, Hachulla, Eric, Seror, Raphaèle, Georgin-Lavialle, Sophie, El Mahou, Soumaya, Pertuiset, Edouard, Pham, Thao, Marotte, Hubert, Servettaz, Amélie, Domont, Fanny, Chazerain, Pascal, Devaux, Mathilde, Claudepierre, Pascal, Langlois, Vincent, Mekinian, Arsène, Maria, Alexandre Thibault Jacques, Banneville, Béatrice, Fautrel, Bruno, Pouchot, Jacques, Thomas, Thierry, Flipo, René-Marc, and Richez, Christophe

Published
2021
Full Text
View/download PDF

15. Perbandingan Karakteristik Campuran Cold Paving Hot Mix Asbuton (CPHMA) yang Dipadatkan Secara Dingin dan Panas

Author

I Nyoman Arya Thanaya, I Wayan Suweda, and A. A. Adi Sparsa

Subjects
Karakteristik, CPHMA, dingin, panas, Engineering (General). Civil engineering (General), TA1-2040
Abstract

Cold Paving Hot Mix Asbuton (CPHMA) adalah campuran yang terdiri dari agregat, asbuton butir, bahan peremaja dan bahan tambah lain yang dicampur panas dipadatkan dingin (pada temperatur ruang 30°C). Karakteristik campuran dipengaruhi temperatur pemadatan. Tujuan penelitian ini adalah untuk memperoleh: kadar aspal residu optimum, temperatur pemadatan ideal dan perbandingan karakteristik CPHMA yang dipadatkan secara dingin dan panas. Pemadatan dilakukan pada suhu 30°C, 60°C, 90°C, 120°C, dan 150°C. Diperoleh hasil, kadar aspal residu optimum 7 %; suhu pemadatan ideal 90°C. Pemadatan dibawah suhu 90°C memberikan porositas lebih tinggi berkisar antara (4,86-5,53)% namun masih memenuhi spesifikasi (4-10%). Pemadatan diatas suhu 90°C memberikan porositas antara (2,04-3.0)%, yang lebih rendah dari spesifikasi. CPHMA yang dipadatkan pada suhu ideal 90°C memberikan karakteristik Marshall, cantabro, kekakuan (stiffness), rangkak (creep), dan kelelahan (fatigue) lebih baik dibandingkan dengan CPHMA yang dipadatkan dingin.

Published
2017
Full Text
View/download PDF

16. Collecte et prise en charge de certaines comorbidités et facteurs de risque associés dans le cadre des rhumatismes inflammatoires chroniques dans la pratique quotidienne en France

Author

Gossec, Laure, Baillet, Athan, Dadoun, Sabrina, Daien, Claire, Berenbaum, Francis, Dernis, Emmanuelle, Fayet, Françoise, Hudry, Christophe, Mezieres, Maryse, Pouplin, Sophie, Richez, Christophe, Saraux, Alain, Savel, Carine, Senbel, Eric, Soubrier, Martin, Sparsa, Laëtitia, Wendling, Daniel, and Dougados, Maxime

Published
2017
Full Text
View/download PDF

17. Collection and management of selected comorbidities and their risk factors in chronic inflammatory rheumatic diseases in daily practice in France

Author

Gossec, Laure, Baillet, Athan, Dadoun, Sabrina, Daien, Claire, Berenbaum, Francis, Dernis, Emmanuelle, Fayet, Françoise, Hudry, Christophe, Mezieres, Maryse, Pouplin, Sophie, Richez, Christophe, Saraux, Alain, Savel, Carine, Senbel, Eric, Soubrier, Martin, Sparsa, Laëtitia, Wendling, Daniel, and Dougados, Maxime

Published
2016
Full Text
View/download PDF

20. L’alliance thérapeutique est associée à l’adhésion au traitement chez les enfants atteints d’arthrite juvénile idiopathique

Author

Valérie Devauchelle-Pensec, Anaïs Arbault, Elisabeth Solau-Gervais, Irène Lemelle, L. Sparsa, Agnès Duquesne, Tu-Anh Tran, Anne Lohse, Camille Alleyrat, Francis Guillemin, Pascal Pillet, Linda Rossi, Laurence Goumy, Claire Ballot, Héloïse Reumaux, Centre Hospitalier de Belfort (Service de Rhumatologie), CH Belfort-Montbéliard, Service d'Onco-Hématologie Pédiatrique, Centre Hospitalier Universitaire de Nancy, hôpital des Enfants [CHU Bordeaux], Pédiatrie hospices civils de Lyon, hôpital Femme-Mère-Enfant, Service de pédiatrie [CHRU Besançon], Centre Hospitalier Régional Universitaire de Besançon (CHRU Besançon), Service d'Hématologie Pédiatrique, CHU Nîmes, France, Centre Hospitalier de Mulhouse (Service de Rhumatologie), Centre Hospitalier Emile Muller [Mulhouse] (CH E.Muller Mulhouse), Groupe Hospitalier de Territoire Haute Alsace (GHTHA)-Groupe Hospitalier de Territoire Haute Alsace (GHTHA), Service de Pédiatrie Générale [CHU Angers], Centre Hospitalier Universitaire d'Angers (CHU Angers), PRES Université Nantes Angers Le Mans (UNAM)-PRES Université Nantes Angers Le Mans (UNAM), Service de Rhumatologie Pédiatrique, Centre Universitaire de Lille, Pediatric Rheumatology [Le Kremlin-Bicêtre], Centre de Référence des Maladies Auto-Inflammatoires et des Amyloses [Le Kremlin-Bicêtre] (CeRéMAIA), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Bicêtre-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Bicêtre, Service de rhumatologie [Poitiers], Centre hospitalier universitaire de Poitiers (CHU Poitiers), Service de Rhumatologie (CHU de Dijon), Centre Hospitalier Universitaire de Dijon - Hôpital François Mitterrand (CHU Dijon), Centre d'investigation clinique - Epidémiologie clinique [Nancy] (CIC-EC), Centre d'investigation clinique [Nancy] (CIC), Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lorraine (UL)-Centre Hospitalier Régional Universitaire de Nancy (CHRU Nancy)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lorraine (UL), CHRU Brest - Service de Rhumatologie (CHU - BREST - Rhumato), Centre Hospitalier Régional Universitaire de Brest (CHRU Brest), Lymphocyte B et Auto-immunité (LBAI), Université de Brest (UBO)-Institut Brestois Santé Agro Matière (IBSAM), and Université de Brest (UBO)-Institut National de la Santé et de la Recherche Médicale (INSERM)

Subjects
030203 arthritis & rheumatology, 03 medical and health sciences, 0302 clinical medicine, Rheumatology, [SDV.IMM]Life Sciences [q-bio]/Immunology, 030212 general & internal medicine, ComputingMilieux_MISCELLANEOUS
Abstract

Objectifs L’alliance therapeutique (AT) se definit comme l’engagement mutuel entre le soignant et le patient au cours du processus therapeutique. L’adhesion therapeutique est un enjeu majeur dans la prise en charge de l’arthrite juvenile idiopathique (AJI) et repose sur la forte capacite de l’enfant a suivre les traitements. Cette etude avait pour objectif d’evaluer l’association entre l’AT et l’adhesion therapeutique chez des patients atteints d’AJI. Methodes Etude observationnelle, transversale, multicentrique. Des enfants atteints d’AJI, âges de 8 a 16 ans ont ete inclus. Les enfants, leurs parents et les medecins ont complete le Helping Alliance Questionnaire (HAq-CP) pour mesurer l’AT. L’observance aux traitements a ete mesuree a l’aide du Child/Parent Adherence Report Questionnaire (CARQ & PARQ). Les donnees demographiques, les caracteristiques de la maladie, les traitements en cours et l’environnement social ont ete recueillis. La relation univariee entre l’AT et l’adhesion a ete mesuree a l’aide du coefficient de correlation de Pearson. L’analyse multivariee a utilise un modele de regression lineaire multiple. Resultats 119 patients ont ete inclus : 68,9 % de filles, l’âge moyen (ET) etait de 12,4 (2,9) ans, avec une duree de la maladie de 73,1 (48,2) mois. L’AJI etait en remission (52 %), de faible activite (32 %) et active (16 %). Les scores de l’AT etaient eleves (≥ 80/100) chez les enfants, les parents et les medecins. Le HAQ-CP a montre une forte correlation avec le CARQ (r = 0,31 ; p Conclusion L’AT exerce une forte influence sur l’adhesion therapeutique et pourrait jouer un role majeur dans l’efficacite du traitement.

Published
2022

21. Criteria Associated with Treatment Decisions in Juvenile Idiopathic Arthritis with a Focus on Ultrasonography: Results from the JIRECHO Cohort

Author

Baydoun, Sara, primary, Jousse-Joulin, Sandrine, additional, Saraux, Alain, additional, Dusser-Benesty, Perrine, additional, Borocco, Charlotte, additional, Galeotti, Caroline, additional, Von Scheven, Annette, additional, Hofer, Michael, additional, Bader-Meunier, Brigitte, additional, Aeschlimann, Florence, additional, Breton, Sylvain, additional, Sparsa, Laetitia, additional, Carbasse, Aurélia, additional, Mouterde, Gaël, additional, Rossi-Semerano, Linda, additional, and Devauchelle-Pensec, Valérie, additional

Published
2022
Full Text
View/download PDF

22. Additional file 1 of Individual and environmental determinants associated with longer times to access pediatric rheumatology centers for patients with juvenile idiopathic arthritis, a JIR cohort study

Author

Chausset, Aurélie, Lambert, Céline, Belot, Alexandre, Merlin, Etienne, Cannizzaro, Elvira, Kone-Paut, Isabelle, Ballot, Claire, Devauchelle, Valérie, Poignant, Sylvaine, Carlomagno, Raffaella, Lohse, Anne, Barbier, Catherine, Despert, Véronique, Carbasse, Aurélia, Sparsa, Laetitia, Adank, Eva, Vanoni, Federica, Reumaux, Héloise, Pillet, Pascal, Kaiser, Daniela, Hofer, Michael, Freychet, Caroline, and Schott, Anne-Marie

Abstract

Additional file 1. Location of the 20 pediatric rheumatology centers (using Google Maps).

Published
2023
Full Text
View/download PDF

24. Resilience of Timed Systems

Author

S. Akshay and Blaise Genest and Loïc Hélouët and S. Krishna and Sparsa Roychowdhury, Akshay, S., Genest, Blaise, Hélouët, Loïc, Krishna, S., Roychowdhury, Sparsa, S. Akshay and Blaise Genest and Loïc Hélouët and S. Krishna and Sparsa Roychowdhury, Akshay, S., Genest, Blaise, Hélouët, Loïc, Krishna, S., and Roychowdhury, Sparsa

Abstract

This paper addresses reliability of timed systems in the setting of resilience, that considers the behaviors of a system when unspecified timing errors such as missed deadlines occur. Given a fault model that allows transitions to fire later than allowed by their guard, a system is universally resilient (or self-resilient) if after a fault, it always returns to a timed behavior of the non-faulty system. It is existentially resilient if after a fault, there exists a way to return to a timed behavior of the non-faulty system, that is, if there exists a controller which can guide the system back to a normal behavior. We show that universal resilience of timed automata is undecidable, while existential resilience is decidable, in EXPSPACE. To obtain better complexity bounds and decidability of universal resilience, we consider untimed resilience, as well as subclasses of timed automata.

Published
2021
Full Text
View/download PDF

27. OP0220 CRITERIA ASSOCIATED WITH TREATMENT DECISIONS IN JUVENILE IDIOPATHIC ARTHRITIS WITH A FOCUS ON ULTRASONOGRAPHY: RESULTS FROM THE JIRECHO COHORT.

Author

Mahmoud, S., primary, Jousse-Joulin, S., additional, Saraux, A., additional, Dusser, P., additional, Borocco, C., additional, Galeotti, C., additional, Von Scheven, A., additional, Hofer, M., additional, Bader-Meunier, B., additional, Aeschlimann, F., additional, Breton, S., additional, Sparsa, L., additional, Aurélia, C., additional, Mouterde, G., additional, Rossi-Semerano, L., additional, and Devauchelle-Pensec, V., additional

Published
2022
Full Text
View/download PDF

33. Efficacy of a tight-control and treat-to-target strategy in axial spondyloarthritis: results of the open-label, pragmatic, cluster-randomised TICOSPA trial

Author

Molto, Anna, López-Medina, Clementina, Van den Bosch, Filip E, Boonen, Annelies, Webers, Casper, Dernis, Emanuelle, van Gaalen, Floris A, Soubrier, Martin, Claudepierre, Pascal, Baillet, Athan, Starmans-Kool, Mirian, Spoorenberg, Anneke, Jacques, Peggy, Carron, Philippe, Joos, Rik, Lenaerts, Jan, Gossec, Laure, Pouplin, Sophie, Ruyssen-Witrand, Adeline, Sparsa, Laetitia, van Tubergen, Astrid, van der Heijde, Désirée, Dougados, Maxime, Service de rhumatologie [CHU Cochin], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Cochin [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Equipe 4 : ECaMO - Épidémiologie clinique appliquée aux maladies rhumatismales et musculo-squelettiques (CRESS - U1153), Centre de Recherche Épidémiologie et Statistique Sorbonne Paris Cité (CRESS (U1153 / UMR_A_1125 / UMR_S_1153)), Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université (HESAM)-HESAM Université (HESAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPC)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université (HESAM)-HESAM Université (HESAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPC)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Ghent University Hospital, Maastricht University [Maastricht], Centre Hospitalier Le Mans (CH Le Mans), Leiden University Medical Center (LUMC), CHU Clermont-Ferrand, Epidemiology in Dermatology and Evaluation in Therapeutics (EpiDermE), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), CHU Henri Mondor, University Medical Center Groningen [Groningen] (UMCG), VIB-UGent Center for Inflammation Research [Gand, Belgique] (IRC), VIB [Belgium], Ziekenhuis Netwerk Antwerpen (ZNA), Institut Pierre Louis d'Epidémiologie et de Santé Publique (iPLESP), Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU), Service de Rhumatologie [CHU Pitié Salpêtrière], CHU Pitié-Salpêtrière [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Maastricht University Medical Centre (MUMC), Hôpital Cochin [AP-HP], Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Paris (UP)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Paris (UP)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Sorbonne Université (SU)-Institut National de la Santé et de la Recherche Médicale (INSERM), Service de rhumatologie [CHU Pitié Salpêtrière] (GRC-08 EEMOIS), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), RS: CAPHRI - R3 - Functioning, Participating and Rehabilitation, Interne Geneeskunde, MUMC+: MA Reumatologie (9), MUMC+: MA Med Staf Artsass Interne Geneeskunde (9), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), and Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)

Subjects
[SDV]Life Sciences [q-bio], Immunology, Genetics and Molecular Biology, IMPROVEMENT, RECOMMENDATIONS, Rheumatology, Spondyloarthritis, Spondylarthritis, therapeutics, Humans, Immunology and Allergy, DISEASE-ACTIVITY SCORE, CRITERIA, Spondylitis, Ankylosing, ASAS, Biology and Life Sciences, healthcare, ANKYLOSING-SPONDYLITIS, spondylitis, outcome and process assessment, ABILITY, RHEUMATOID-ARTHRITIS, ankylosing, PSORIATIC-ARTHRITIS, General Biochemistry, ADALIMUMAB
Abstract

Objectives To compare the benefits of a tight-control/treat-to-target strategy (TC/T2T) in axial spondyloarthritis (axSpA) with those of usual care (UC). Methods Pragmatic, prospective, cluster-randomised, controlled, open, 1-year trial (NCT03043846). 18 centres were randomised (1:1). Patients met Axial Spondylo Arthritis International Society (ASAS) criteria for axSpA, had an Ankylosing Spondylitis Disease Activity Score (ASDAS) ≥2.1, received non-optimal treatment by non-steroidal anti-inflammatory drugs and were biologic-naive. Interventions (1) TC/T2T: visits every 4 weeks and prespecified strategy based on treatment intensification until achieving target (ie, ASDAS

Published
2021

35. L’échographie ostéo-articulaire est-elle associée au changement thérapeutique chez les patients atteints d’arthrite juvénile idiopathique : résultats de la cohorte JIRECHO

Author

Mahmoud, S., primary, Jousse Joulin, S., additional, Saraux, A., additional, Koné-Paut, I., additional, Hofer, M., additional, Von Scheven-Gète, A., additional, Breton, S., additional, Bader-Meunier, B., additional, Sparsa, L., additional, Carbasse, A., additional, Mouterde, G., additional, Cohen, J.D., additional, Rossi-Semerano, L., additional, and Devauchelle Pensec, V., additional

Published
2021
Full Text
View/download PDF

36. Efficacy of sildenafil on ischaemic digital ulcer healing in systemic sclerosis: the placebo-controlled SEDUCE study

Author

Hachulla, Eric, Hatron, Pierre-Yves, Carpentier, Patrick, Agard, Christian, Chatelus, Emmanuel, Jego, Patrick, Mouthon, Luc, Queyrel, Viviane, Fauchais, Anne-Laure, Michon-Pasturel, Ulrique, Jaussaud, Roland, Mathian, Alexis, Granel, Brigitte, Diot, Elisabeth, Farge-Bancel, Dominique, Mekinian, Arsène, Avouac, Jérôme, Desmurs-Clavel, Hélène, Clerson, Pierre, Quemeneur, Thomas, Balquet, Marie-Hélène, Wojtasik, Géraldine, Lambert, Marc, Launay, David, Maillard, Hélène, Morell-Dubois, Sandrine, Le Gouellec, Noémie, Marie, Isabelle, Tieulie, Nathalie, Deligny, Christophe, Bienvenu, Boris, Berezne, Alice, Lazareth, Isabelle, Khelifa, Sondess Hadj, Tiev, Kiet, Cabane, Jean, Hervier, Baptiste, Amoura, Zahir, Allanore, Yannick, Arnault, Jean-Philippe, Berthier, Sabine, Cazalets, Claire, Ly, Kim, Sparsa, Agnès, Sibilia, Jean, and Ninet, Jacques

Published
2016
Full Text
View/download PDF

39. Impact de l’éducation thérapeutique du patient sur les compétences de sécurité des patients sous biothérapie pour un rhumatisme inflammatoire chronique

Author

L. Sparsa, Jean Sibilia, Laurent Arnaud, Léa Frantzen, Christelle Sordet, M. Ardizzone, N. Afif, Jacques-Eric Gottenberg, and Dominique Orefice

Subjects
Rheumatology
Abstract

Resume Introduction Les patients traites par biotherapie doivent en connaitre les complications specifiques. L’acquisition de competences de securite est l’un des objectifs des programmes d’education therapeutique du patient dans les rhumatismes inflammatoires chroniques. Objectif : evaluation de l’impact du programme d’education therapeutique du patient « ETP RHIN-RIC » sur les competences de securite de patients sous biotherapie pour un rhumatisme inflammatoire chronique. Methodes Etude transversale bicentrique evaluant l’impact de l’integration a un programme d’education therapeutique du patient sur les competences des patients suivis a Strasbourg et Mulhouse pour un rhumatisme inflammatoire chronique, appreciees par le questionnaire Biosecure. Resultats Quinze pour cent des 414 patients inclus jugeaient l’information qui leur avait ete prodiguee insuffisante. Le score Biosecure median etait de 70,9/100 (Q1Q3 : 60,9–84,6). Quarante-sept pour cent des patients avaient integre le programme d’education therapeutique. Leur score Biosecure etait significativement plus eleve que celui des patients naifs d’education therapeutique (score median 74,8/100 dans le groupe ETP versus 67,20/100 ; p Conclusion L’integration des patients sous biotherapie a un programme specialise d’education therapeutique du patient est correlee a une meilleure maitrise des competences theoriques de securite.

Published
2019

40. L’échographie ostéo-articulaire est-elle associée au changement thérapeutique chez les patients atteints d’arthrite juvénile idiopathique : résultats de la cohorte JIRECHO

Author

I Kone-Paut, Aurélia Carbasse, Michael Hofer, Sylvain Breton, Linda Rossi-Semerano, Brigitte Bader-Meunier, S. Jousse Joulin, V. Devauchelle Pensec, A. Von Scheven-Gète, S. Mahmoud, Gaël Mouterde, A. Saraux, J.D. Cohen, and L. Sparsa

Subjects
Rheumatology
Abstract

Introduction L’arthrite juvenile idiopathique (AJI) est un groupe heterogene de maladies inflammatoires. Les traitements constituent un enjeu majeur afin de prevenir le handicap. La presence de synovites, parfois difficiles a detecter chez l’enfant, est associee au risque de destruction articulaire et l’echographie articulaire permet de detecter des synovites infra-cliniques. Notre objectif principal etait de determiner si l’echographie articulaire etait associee a une modification therapeutique chez les patients atteints d’AJI. Les objectifs secondaires etaient d’identifier les autres facteurs associes au changement therapeutique. Patients et methodes Nous avons mene une etude observationnelle basee sur la cohorte multicentrique JIRECHO, issue de la JIR Cohorte, incluant des patients atteints d’AJI. Les patients avaient un suivi clinique et echographique semestriel standardise. L’echographie articulaire etait realisee par des echographistes prealablement entraines et reproductibles selon les recommandations OMERACT [1] . La synovite echographique etait definie par la presence d’un epanchement et/ou d’une hypertrophie synoviale en mode B (≥ grade 1) associee ou non a une vascularisation doppler (≥ grade 1). Les donnees cliniques, d’activite globale (EVA, JADAS), biologiques (CRP, VS) et therapeutiques etaient recueillies. Resultats Nous avons inclus 112 patients. Le nombre total de visites medicales etait de 185. Trois groupes ont ete definis selon le traitement : augmente (22 %), diminue (14 %) et stable (64 %). Dans un premier temps, nous avons compare les patients chez qui le traitement a ete augmente avec les autres patients. La presence d’au moins une synovite echographique en mode B n’etait pas statistiquement plus eleve dans le groupe « augmentation de traitement » quoique numeriquement plus elevee (80 % vs 65 %, p = 0,06). Il n’y avait pas de difference significative pour la presence d’au moins une synovite en mode doppler (30 % vs 23 %, p = 0,4). Les EVA patients et medecins etaient en revanche significativement plus elevees lorsque le traitement etait augmente [3,3 vs 1,7, p Fig. 1 ). Conclusion Notre etude a montre que la presence d’au moins une synovite echographique en mode B et/ou D n’etait pas statistiquement associee au changement de traitement dans l’AJI, meme si la balance Se/Sp est proche de celle de l’avis du medecin et du score d’activite clinique.

Published
2021

41. OP0220 CRITERIA ASSOCIATED WITH TREATMENT DECISIONS IN JUVENILE IDIOPATHIC ARTHRITIS WITH A FOCUS ON ULTRASONOGRAPHY: RESULTS FROM THE JIRECHO COHORT

Author

S. Mahmoud, S. Jousse-Joulin, A. Saraux, P. Dusser, C. Borocco, C. Galeotti, A. Von Scheven, M. Hofer, B. Bader-Meunier, F. Aeschlimann, S. Breton, L. Sparsa, C. Aurélia, G. Mouterde, L. Rossi-Semerano, and V. Devauchelle-Pensec

Subjects
Rheumatology, Immunology, Immunology and Allergy, General Biochemistry, Genetics and Molecular Biology
Abstract

BackgroundTreatment of children with juvenile idiopathic arthritis (JIA) is a major challenge in paediatric rheumatology. The presence of synovitis, which is difficult to detect in children, is associated with structural damage. Musculoskeletal ultrasonography (MSUS) can be used in JIA patients to reveal subclinical synovitis.ObjectivesOur aim was to determine if the use of MSUS is associated with therapeutic modifications in JIA. Secondary outcomes were to identify other factors associated with therapeutic modifications.MethodsWe conducted an observational study based on the JIRECHO multicentre cohort which was developed to provide a systematic MSUS follow-up for JIA patients. Follow-up occurred every six months and included clinical and US examinations. We included children who underwent MSUS of the elbows, wrists, second metacarpophalangeal joints, knees and ankles. Synovitis in US was defined by the presence of joint effusion and/or synovial hypertrophy in B-mode (≥ grade 1) associated or not with Doppler signals (≥ grade 1). US was performed by expert sonographers with good experience in the field of JIA who previously participated in the study of the reliability of the OMERACT paediatric US synovitis definitions and scoring system in JIA (1). Clinical and biological data, disease activity score and information on therapeutics were collected.ResultsWe included 112 patients with 185 visits in total. Three groups of patients were defined according to their therapeutic status: increased(22%), decreased(14%) or stable(64%) treatment. First, we compared patients with treatment escalation with the other patients. Patients with “increased treatment” had more synovitis in B-mode US than the other patients (80% vs. 65%, p=0.06). There was no difference for the presence of synovitis in Power Doppler (PD) US (30% vs 23%, p=0.4). Patient’s and physician’s visual analogue scale (VAS) scores were significantly higher in patients with therapeutic escalation [3.3 vs 1.7, pWe performed ROC curves analysis that showed that the sensitivity and specificity of the US in B-mode was similar to the physician’s VAS, disease score activity or inflammatory biological markers (Figure 1).Figure 1.ROC curves for clinical and biological items and US in B-mode in patients with « therapeutic escalation »ConclusionIn our study, MSUS of ten joints was not statistically associated with treatment escalation or de-escalation in B-mode and PD in patients with JIA.References[1]Rossi-Semerano, L. et al. Application of the OMERACT synovitis ultrasound scoring system in juvenile idiopathic arthritis: a multicenter reliability exercise. Rheumatol. Oxf. Engl. (2020) doi:10.1093/rheumatology/keaa804.Disclosure of InterestsNone declared

Published
2022

43. COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study

Author

Jérôme Avouac, Elodie Drumez, Eric Hachulla, Raphaèle Seror, Sophie Georgin-Lavialle, Soumaya El Mahou, Edouard Pertuiset, Thao Pham, Hubert Marotte, Amélie Servettaz, Fanny Domont, Pascal Chazerain, Mathilde Devaux, Pascal Claudepierre, Vincent Langlois, Arsène Mekinian, Alexandre Thibault Jacques Maria, Béatrice Banneville, Bruno Fautrel, Jacques Pouchot, Thierry Thomas, René-Marc Flipo, Christophe Richez, Florence Aeschlimann, Christian Agard, Nassim Ait-Abdallah, Jean-David Albert, Didier Alcais, Jean-Sébastien Allain, Yannick Allanore, Blanca Amador-Borreiro, Zahir Amoura, Emma Andre, Anaïs Arbault, Jean-Benoît Arlet, Laurent Arnaud, Denis Arniaud, Herliette Arty-Hue, Lucie Atlan, Alexandra Audemard-Verger, Christine Audoin-Pajot, Victor Audren, Maxime Bach-Bunner, Hélène Bacquet-Deschryver, Brigitte Bader-Meunier, Nathalie Balandraud, Jean-Charles Balblanc, Stéphane Bally, Frédéric Banal, Pierre Barbery, Thomas Barnetche, Audre Barrelet, André Basch, Vincent Baumier, Guillaume Bayer, Sophie Bayle, Catherine Beauvais, Rudie Beinat, Véronique Belin, Rakiba Belkhir, Ruben Benainous, Alexandre Belot, Mohammed Benammar, Mathilde Benhamou, Ygal Benhamou, Ahmed Benmansour, Pascal Bennet, Brigitte Bernoux-Manat, Elise Berthet, Emilie Berthoux, Ewa Bertolini, Adrien Bigot, Aurélia Bisson-Vaivre, Gilles Blaison, Gilles Bolla, Olivier Bonidan, Christine Bonnet, Raphaël Borie, Marie Bossert, Laurence Boudou, Françoise Bouhour, Kévin Bouiller, Bastien Bouldoires, Karima Boussoualim, Eric Bouvard, Regine Brondino, Pierre Buchlin, Laurence Cabantous, Patrice Cacoub, Simon Cadiou, Maurizio Carteni, Aurélia Carbasse, Brice Castel, Pascal Cathebras, Hervé Caumont, Annalisa Celant, Benjamin Chaigne, Benoît Chaillous, Romuald Champy, Agnès Charcot, Pierre Charles, Isabelle Charlot-Lambrecht, Caroline Charpin, Emmanuel Chatelus, Bernard Chaudier, Pascale Chertok, Xavier Chevalier, Maxime Chevreau, Emilie Chotard, Delphine Chu Miow Lin, Gaëlle Clavel, Cyril Clavel-Osorio, Fleur Cohen, Gregory Cohen, Marie-Eve Colette-Cedoz, Nived Collercandy, Antoine Colombey, Chloé Comarmond, Bernard Combe, Céline Comparon, Elodie Constant, Pascal Coquerelle, Justine Corli, Clémence Corre, Nathalie Costedoat-Chalumeau, Marie Couret, Natacha Courvoisier, Fabienne Coury-Lucas, Cécile Coutarel, Fabrice Coutier, Richard Damade, Laurence Daver-Malaterre, Sarahe Dehimat, Michel Delahousse, Emilie Barrois-Delattre, Delphine Denarie, Camille Deprouw, Emanuelle Dernis, Alban Deroux, Renaud Desbarbieux, Elise Descamps, Chantal Deslandre, Marie Desmurs, Jacques Despaux, Marie Desplats, Frédérick Detree, Valérie Devauchelle-Pensec, Robin Dhote, Philippe Dieude, Yannick Dieudonne, Elisabeth Diot, Guillaume Direz, Djamal-Dine Djeddi, Sarah Douvier, Béatrice Drouet, Catherine Duc, Angélique Ducornet, Carine Dufauret-Lombard, Alain Duhamel, Cécile Dumaine, Anne-Elisabeth Dumel, Chantal Dumoulin-Richez, Agnès Duquesne, Géraldine Durand, Mariane Durandin-Truffinet, Pierre-Marie Duret, Maïka Duval, Mikaël Ebbo, Esther Ebstein, Andra Economu-Dubosc, Stéphanie Emilie, Romain Euvrard, Philippe Evon, Sylvie Fabre, Dorothée Fagedet, Meryem Farhat, Marion Fauconier, Jacques Fechtenbaum, Renaud Felten, Fanny Fernandes, Nicole Ferreira-Maldent, Elodie Feurer, Amandine Fichet, Françoise Flaisler, Nans Florens, Violaine Foltz, Elisabeth Fontanges, Jennifer Foret, Anne-Claire Fougerousse, Anne Fouque-Aubert, Catherine Foutrier-Morello, Hélène Francois-Pradier, Léa Frantzen, Pierre Fritz, Antoine Froissart, Jean Fulpin, Piera Fuzibet, Francis Gaches, Laurence Gagneux-Lemoussu, Mélanie Penhoat-Gahier, Joris Galland, Frédérique Gandjbakhch, Nicole Garnier, Thomas Garraud, Jean-François Garrot, Romain Gastaldi, Véronique Gaud-Listrat, Maud Gauthier-Prieur, Dana Georgescu, Nathalie Gerard, Elisabeth Gervais, Christelle Gibert, Eric Gibert, Ghislaine Gill, Jérôme Gillard, Mélanie Gilson, Pauline Gimonnet, Jeanine-Sophie Giraudet-Le Quintrec, Aude Giraud-Morelet, Baptiste Glace, Camille Glanowski, Bertrand Godeau, Bruno Gombert, Camille Gonnet-Gracia, Tiphaine Goulenok, Philippe Goupille, Olivier Gourmelen, Sophie Govindaraju-Audouard, Franck Grados, Martine Grall-Lerosey, Bruno Grardel, Anne Grasland, Gilles Grateau, Monica Groza, Constance Guillaud, Séverine Guillaume, Caroline Guillibert, Xavier Guillot, Philippe Guilpain, Aline Gury, Marie-Hélène Guyot, Cécile Hacquard-Bouder, Marie-Noelle Havard, Jean-Pierre Hellier, Pascal Hennequin, Basile Henriot, Julien Henry, Véronique Hentgen, Marion Hermet, Muriel Herasse, Julie Hernandez, Miguel Hie, Pascal Hilliquin, Olivier Hinschberger, Ambre Hittinger-Roux, Jan Holubar, Christophe Hudry, Serge Huguenel, Clara Jaccard, Jean-Michel, Jacquemier, Bénédicte Jamard, Catherine Jan, Sylvie Jean, Mathieu Jouvray, Pierre-Antoine Juge, Laurent Juillard, Denis Jullien, Anna Kabala, Abdelkrim Kabchou, Ludovic Karkowski, Françoise Karman, Farid Kemiche, Jérémy Keraen, Pierre Kieffer, Isabelle Kone-Paut, Abdeldajallil Koreichi, Marie Kostine, Sylvain La Batide Alanore, Pierre Lafforgue, Sophie Lahalle, Marc Lambert, Isabelle Lambrecht, Sylvain Lanot, Aurélia Lanteri, Jean-Paul Larbre, Augustin Latourte, Christian Lavigne, Sophie Le Guen Guegan, Guillaume, Le Guenno, Diane Leguy, Agnès Lebrun, Emmanuel Ledoult, Nathalie Legoupil, Erick Legrand, Charlotte Lejeune, Olivier Leloire, Christophe Leroux, Rémi Leroy, Marie Leroy-Gouix, Tifenn Leturcq, Amélie Leurs, Céline Leveque-Michaud, François-Xavier Limbach, Frédéric Liote, Anne Lohse, Pierre Lozac'h, Virginie Lucas, Aurélie Madelon, Nadine Magy-Bertrand, Matthieu Mahevas, Hélène Maillard, Thibault Maillet, Sandrine Malochet-Guinamand, Quentin Mangon, Sylvie Marchou-Lopez, Nathalie Margarit, Thierry Marhadour, Xavier Mariette, Claire Martin, Alexis Mathian, François Maurier, Frédéric Maury, Betty Mazet-Guillaume, Arnaud Mazouyez, Hassan Mazyad, Nadia Mehsen-Cetre, Ulrich Meinzer, Isabelle Melki, Laurent Messer, Corinne Miceli, Martin Michaud, Catherine Michel, Matthias Michel, Mathilde Michon, Anne-Marie Milesi-Lecat, Anna Molto, Marie Moly, Olivier Moranne, Gautier Morel, Hugo Morel, Jacques Morel, Franck Morin, Laurence Moulinier, Guillaume Moulis, Bertrand Moura, Minh Nguyen, Sabine Nicolas-Vullierme, Hubert Nielly, Gaétane Nocturne, Aurore Nottez, Henri-Olivier Ollagnon, Isabelle Pacaud-Vitoux, Anne Pagnier, Caroline Paris, Antoine Parrot, Tristan Pascart, Yasmina Pascaud-Mansour, Lætitia Paulin, Stephan Pavy, Laurent Perard, Yves-Marie Pers, Micheline Pha, Maud Pichon, Audrey Pierreisnard, Gabrielle Pizana, Sylvaine Poignant, Elsa Poix, Agnès Portier, Antoine Poulet, Samira Plassard, Grégory Pugnet, Déborah Puyraimond-Zemmour, Pierre Quartier-Dit-Maire, Marion Quenet, Viviane Queyrel, Loïc Raffray, Philippe Remy, Myriam Renard, Jessica Rene, Sabine Revuz, Bénédicte Rey, Gaëlle Richard-Colmant, Etienne Riviere, Sébastien Riviere, Sophie Robin, Julien Rohmer, Isabelle Roitg, Mélanie Romier, Michel Rolland, Mélanie Roriz, Carole Rosenberg, Linda Rossi, Olivier Roth, Sid-Ahmed Rouidi, Mathilde Roumier, Mickaël Rousiere, Clémentine Rousselin, Bénédicte Rouviere, Christian Roux, Fabienne Roux, Marielle Roux, Nicolas Roux, Diane Rouzaud, Sylvie Rozenberg, Isabelle Sacco, Fatiha Sadji, Laurent Sailler, Carine Salliot, Jean-Hugues Salmon, Alain Saraux, Jean Schmidt, Julie Seguier, Jérémie Sellam, Eric Senbel, Thomas Sene, Patricia Senet, Pascal Seve, Aurélie Sicaud, Perrine Smets, Vincent Sobanski, Christelle Sordet, Elisabeth Sornay-Rendu, Odile Souchaud-Debouverie, Lætitia Sparsa, Lionel Spielmann, Sarah Steib, Chloé Stavris, Catherine Straus, Victor Strotz, Paulina Szafors, Séverine Taffignon-Clave, Justine Simoens, Claire Theillac, Nora Tenenbaum, Benoît Thomachot, Nathalie Tieulie, Soizic Tiriau, Alice Tison, Eric Toussirot, Ludovic Trefond, Sophie Trijau, Sébastien Trouillier, Anne-Priscille Trouvin, Marie-Elise Truchetet, Marc Ulrich, Jacques Vaquier, Eric Veillard, Laurent Veillon, Guillaume Vial, Jean-François Viallard, Judith Victor, Claire Vidon, Mathias Vidon, Camille Vigne, Alexandre Virone, Ursula Warzocha, Daniel Wendling, Claude Werle, Cécile Wibaux, Alexandra Willems, Michel Wisniewski, Juliette Woessner, Bernadette Xerri-Campano, Service de rhumatologie [CHU Cochin], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Cochin [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Evaluation des technologies de santé et des pratiques médicales - ULR 2694 (METRICS), Université de Lille-Centre Hospitalier Régional Universitaire [Lille] (CHRU Lille), Service de médecine interne [Lille], Centre Hospitalier Régional Universitaire [Lille] (CHRU Lille), Institute for Translational Research in Inflammation - U 1286 (INFINITE (Ex-Liric)), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lille-Centre Hospitalier Régional Universitaire [Lille] (CHRU Lille), Immunologie des Maladies Virales et Autoimmunes (IMVA - U1184), Université Paris-Sud - Paris 11 (UP11)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut National de la Santé et de la Recherche Médicale (INSERM), CHU Tenon [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Centre Hospitalier Tourcoing, Centre Hospitalier René Dubos [Pontoise], Assistance Publique - Hôpitaux de Marseille (APHM), Santé Ingénierie Biologie Saint-Etienne (SAINBIOSE), Centre Ingénierie et Santé (CIS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université Jean Monnet - Saint-Étienne (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM), Biologie Intégrative du Tissu Osseux (LBTO), Université Jean Monnet - Saint-Étienne (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM), Centre d'Investigation Clinique - Epidémiologie Clinique Saint-Etienne (CIC-EC), Centre Hospitalier Universitaire de Saint-Etienne [CHU Saint-Etienne] (CHU ST-E)-Université Jean Monnet - Saint-Étienne (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM), Centre Hospitalier Universitaire de Reims (CHU Reims), CHU Pitié-Salpêtrière [AP-HP], Groupe Hospitalier Diaconesses Croix Saint-Simon, Centre hospitalier intercommunal de Poissy/Saint-Germain-en-Laye - CHIPS [Poissy], Epidemiology in Dermatology and Evaluation in Therapeutics (EpiDermE), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), CHU Saint-Antoine [AP-HP], Centre Hospitalier Régional Universitaire [Montpellier] (CHRU Montpellier), Cellules Souches, Plasticité Cellulaire, Médecine Régénératrice et Immunothérapies (IRMB), Centre Hospitalier Régional Universitaire [Montpellier] (CHRU Montpellier)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Montpellier (UM), Hôpital Européen Georges Pompidou [APHP] (HEGP), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpitaux Universitaires Paris Ouest - Hôpitaux Universitaires Île de France Ouest (HUPO), Centre Hospitalier Universitaire de Saint-Etienne [CHU Saint-Etienne] (CHU ST-E), CHU Bordeaux [Bordeaux], Composantes innées de la réponse immunitaire et différenciation (CIRID), Université Bordeaux Segalen - Bordeaux 2-Centre National de la Recherche Scientifique (CNRS), Laboratoire Chrono-environnement (UMR 6249) (LCE), Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Centre Hospitalier Régional Universitaire de Besançon (CHRU Besançon), Maladies génétiques d'expression pédiatrique (U933), Institut National de la Santé et de la Recherche Médicale (INSERM)-CHU Trousseau [APHP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Service de Médecine Interne = Hôpital de jour de médecine [CHU Tenon], INSERM U1059, SAINBIOSE - Santé, Ingénierie, Biologie, Saint-Etienne (SAINBIOSE-ENSMSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université Jean Monnet [Saint-Étienne] (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM), Biologie intégrative du tissu osseux, Université Jean Monnet [Saint-Étienne] (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM), CIC Saint Etienne, Centre Hospitalier Universitaire de Saint-Etienne (CHU de Saint-Etienne)-Université Jean Monnet [Saint-Étienne] (UJM)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Hôpital Nord (Saint Etienne), centre hospitalier intercommunal de Poissy/Saint-Germain-en-Laye - CHIPS [Poissy], Centre Hospitalier Universitaire de Saint-Etienne (CHU de Saint-Etienne), Laboratoire Chrono-environnement - CNRS - UBFC (UMR 6249) (LCE), Service de rhumatologie, Université Paris-Sud - Paris 11 (UP11)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Bicêtre, Service de Médecine Interne [CHU Tenon], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-CHU Tenon [AP-HP], Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Service de rhumatologie [CH Gustave Dron, Tourcoing], Centre Hospitalier Gustave Dron [Tourcoing], Hopital Réné Dubos, Université Paris 1 Panthéon-Sorbonne - UFR Science Politique (UP1 UFR11), and Université Paris 1 Panthéon-Sorbonne (UP1)

Subjects
medicine.medical_specialty, Immunology, law.invention, 03 medical and health sciences, 0302 clinical medicine, Rheumatology, immune system diseases, law, hemic and lymphatic diseases, Internal medicine, Clinical endpoint, Immunology and Allergy, Medicine, 030212 general & internal medicine, 030203 arthritis & rheumatology, business.industry, Hazard ratio, Odds ratio, Articles, medicine.disease, Intensive care unit, 3. Good health, [SDV.MP]Life Sciences [q-bio]/Microbiology and Parasitology, Rheumatoid arthritis, Cohort, Rituximab, business, [SDV.MHEP]Life Sciences [q-bio]/Human health and pathology, Cohort study, medicine.drug
Abstract

Summary Background Various observations have suggested that the course of COVID-19 might be less favourable in patients with inflammatory rheumatic and musculoskeletal diseases receiving rituximab compared with those not receiving rituximab. We aimed to investigate whether treatment with rituximab is associated with severe COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases. Methods In this cohort study, we analysed data from the French RMD COVID-19 cohort, which included patients aged 18 years or older with inflammatory rheumatic and musculoskeletal diseases and highly suspected or confirmed COVID-19. The primary endpoint was the severity of COVID-19 in patients treated with rituximab (rituximab group) compared with patients who did not receive rituximab (no rituximab group). Severe disease was defined as that requiring admission to an intensive care unit or leading to death. Secondary objectives were to analyse deaths and duration of hospital stay. The inverse probability of treatment weighting propensity score method was used to adjust for potential confounding factors (age, sex, arterial hypertension, diabetes, smoking status, body-mass index, interstitial lung disease, cardiovascular diseases, cancer, corticosteroid use, chronic renal failure, and the underlying disease [rheumatoid arthritis vs others]). Odds ratios and hazard ratios and their 95% CIs were calculated as effect size, by dividing the two population mean differences by their SD. This study is registered with ClinicalTrials.gov, NCT04353609. Findings Between April 15, 2020, and Nov 20, 2020, data were collected for 1090 patients (mean age 55·2 years [SD 16·4]); 734 (67%) were female and 356 (33%) were male. Of the 1090 patients, 137 (13%) developed severe COVID-19 and 89 (8%) died. After adjusting for potential confounding factors, severe disease was observed more frequently (effect size 3·26, 95% CI 1·66–6·40, p=0·0006) and the duration of hospital stay was markedly longer (0·62, 0·46–0·85, p=0·0024) in the 63 patients in the rituximab group than in the 1027 patients in the no rituximab group. 13 (21%) of 63 patients in the rituximab group died compared with 76 (7%) of 1027 patients in the no rituximab group, but the adjusted risk of death was not significantly increased in the rituximab group (effect size 1·32, 95% CI 0·55–3·19, p=0·53). Interpretation Rituximab therapy is associated with more severe COVID-19. Rituximab will have to be prescribed with particular caution in patients with inflammatory rheumatic and musculoskeletal diseases. Funding None.

Published
2021

44. Revisiting Underapproximate Reachability for Multipushdown Systems

Author

Akshay, S., Gastin, Paul, Krishna, S, and Roychowdhury, Sparsa

Subjects
FOS: Computer and information sciences, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Formal Languages and Automata Theory (cs.FL), Multipushdown Systems, Computer Science::Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Article, Computer Science::Formal Languages and Automata Theory, Underapproximate Reachability, Timed pushdown automata
Abstract

Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful behaviors. In this paper, we propose a new class of bounded under approximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient algorithm for solving the under-approximate reachability problem, which is based on efficient fix-point computations. We implement it in our tool BHIM and illustrate its applicability by generating a set of relevant benchmarks and examining its performance. As an additional takeaway, BHIM solves the binary reachability problem in pushdown automata. To show the versatility of our approach, we then extend our algorithm to the timed setting and provide the first implementation that can handle timed multi-pushdown automata with closed guards., 52 pages, Conference TACAS 2020

Published
2021

46. COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study

Author

Avouac, Jérôme, primary, Drumez, Elodie, additional, Hachulla, Eric, additional, Seror, Raphaèle, additional, Georgin-Lavialle, Sophie, additional, El Mahou, Soumaya, additional, Pertuiset, Edouard, additional, Pham, Thao, additional, Marotte, Hubert, additional, Servettaz, Amélie, additional, Domont, Fanny, additional, Chazerain, Pascal, additional, Devaux, Mathilde, additional, Claudepierre, Pascal, additional, Langlois, Vincent, additional, Mekinian, Arsène, additional, Maria, Alexandre Thibault Jacques, additional, Banneville, Béatrice, additional, Fautrel, Bruno, additional, Pouchot, Jacques, additional, Thomas, Thierry, additional, Flipo, René-Marc, additional, Richez, Christophe, additional, Aeschlimann, Florence, additional, Agard, Christian, additional, Ait-Abdallah, Nassim, additional, Albert, Jean-David, additional, Alcais, Didier, additional, Allain, Jean-Sébastien, additional, Allanore, Yannick, additional, Amador-Borreiro, Blanca, additional, Amoura, Zahir, additional, Andre, Emma, additional, Arbault, Anaïs, additional, Arlet, Jean-Benoît, additional, Arnaud, Laurent, additional, Arniaud, Denis, additional, Arty-Hue, Herliette, additional, Atlan, Lucie, additional, Audemard-Verger, Alexandra, additional, Audoin-Pajot, Christine, additional, Audren, Victor, additional, Bach-Bunner, Maxime, additional, Bacquet-Deschryver, Hélène, additional, Bader-Meunier, Brigitte, additional, Balandraud, Nathalie, additional, Balblanc, Jean-Charles, additional, Bally, Stéphane, additional, Banal, Frédéric, additional, Barbery, Pierre, additional, Barnetche, Thomas, additional, Barrelet, Audre, additional, Basch, André, additional, Baumier, Vincent, additional, Bayer, Guillaume, additional, Bayle, Sophie, additional, Beauvais, Catherine, additional, Beinat, Rudie, additional, Belin, Véronique, additional, Belkhir, Rakiba, additional, Benainous, Ruben, additional, Belot, Alexandre, additional, Benammar, Mohammed, additional, Benhamou, Mathilde, additional, Benhamou, Ygal, additional, Benmansour, Ahmed, additional, Bennet, Pascal, additional, Bernoux-Manat, Brigitte, additional, Berthet, Elise, additional, Berthoux, Emilie, additional, Bertolini, Ewa, additional, Bigot, Adrien, additional, Bisson-Vaivre, Aurélia, additional, Blaison, Gilles, additional, Bolla, Gilles, additional, Bonidan, Olivier, additional, Bonnet, Christine, additional, Borie, Raphaël, additional, Bossert, Marie, additional, Boudou, Laurence, additional, Bouhour, Françoise, additional, Bouiller, Kévin, additional, Bouldoires, Bastien, additional, Boussoualim, Karima, additional, Bouvard, Eric, additional, Brondino, Regine, additional, Buchlin, Pierre, additional, Cabantous, Laurence, additional, Cacoub, Patrice, additional, Cadiou, Simon, additional, Carteni, Maurizio, additional, Carbasse, Aurélia, additional, Castel, Brice, additional, Cathebras, Pascal, additional, Caumont, Hervé, additional, Celant, Annalisa, additional, Chaigne, Benjamin, additional, Chaillous, Benoît, additional, Champy, Romuald, additional, Charcot, Agnès, additional, Charles, Pierre, additional, Charlot-Lambrecht, Isabelle, additional, Charpin, Caroline, additional, Chatelus, Emmanuel, additional, Chaudier, Bernard, additional, Chertok, Pascale, additional, Chevalier, Xavier, additional, Chevreau, Maxime, additional, Chotard, Emilie, additional, Chu Miow Lin, Delphine, additional, Clavel, Gaëlle, additional, Clavel-Osorio, Cyril, additional, Cohen, Fleur, additional, Cohen, Gregory, additional, Colette-Cedoz, Marie-Eve, additional, Collercandy, Nived, additional, Colombey, Antoine, additional, Comarmond, Chloé, additional, Combe, Bernard, additional, Comparon, Céline, additional, Constant, Elodie, additional, Coquerelle, Pascal, additional, Corli, Justine, additional, Corre, Clémence, additional, Costedoat-Chalumeau, Nathalie, additional, Couret, Marie, additional, Courvoisier, Natacha, additional, Coury-Lucas, Fabienne, additional, Coutarel, Cécile, additional, Coutier, Fabrice, additional, Damade, Richard, additional, Daver-Malaterre, Laurence, additional, Dehimat, Sarahe, additional, Delahousse, Michel, additional, Barrois-Delattre, Emilie, additional, Denarie, Delphine, additional, Deprouw, Camille, additional, Dernis, Emanuelle, additional, Deroux, Alban, additional, Desbarbieux, Renaud, additional, Descamps, Elise, additional, Deslandre, Chantal, additional, Desmurs, Marie, additional, Despaux, Jacques, additional, Desplats, Marie, additional, Detree, Frédérick, additional, Devauchelle-Pensec, Valérie, additional, Dhote, Robin, additional, Dieude, Philippe, additional, Dieudonne, Yannick, additional, Diot, Elisabeth, additional, Direz, Guillaume, additional, Djeddi, Djamal-Dine, additional, Douvier, Sarah, additional, Drouet, Béatrice, additional, Duc, Catherine, additional, Ducornet, Angélique, additional, Dufauret-Lombard, Carine, additional, Duhamel, Alain, additional, Dumaine, Cécile, additional, Dumel, Anne-Elisabeth, additional, Dumoulin-Richez, Chantal, additional, Duquesne, Agnès, additional, Durand, Géraldine, additional, Durandin-Truffinet, Mariane, additional, Duret, Pierre-Marie, additional, Duval, Maïka, additional, Ebbo, Mikaël, additional, Ebstein, Esther, additional, Economu-Dubosc, Andra, additional, Emilie, Stéphanie, additional, Euvrard, Romain, additional, Evon, Philippe, additional, Fabre, Sylvie, additional, Fagedet, Dorothée, additional, Farhat, Meryem, additional, Fauconier, Marion, additional, Fechtenbaum, Jacques, additional, Felten, Renaud, additional, Fernandes, Fanny, additional, Ferreira-Maldent, Nicole, additional, Feurer, Elodie, additional, Fichet, Amandine, additional, Flaisler, Françoise, additional, Florens, Nans, additional, Foltz, Violaine, additional, Fontanges, Elisabeth, additional, Foret, Jennifer, additional, Fougerousse, Anne-Claire, additional, Fouque-Aubert, Anne, additional, Foutrier-Morello, Catherine, additional, Francois-Pradier, Hélène, additional, Frantzen, Léa, additional, Fritz, Pierre, additional, Froissart, Antoine, additional, Fulpin, Jean, additional, Fuzibet, Piera, additional, Gaches, Francis, additional, Gagneux-Lemoussu, Laurence, additional, Penhoat-Gahier, Mélanie, additional, Galland, Joris, additional, Gandjbakhch, Frédérique, additional, Garnier, Nicole, additional, Garraud, Thomas, additional, Garrot, Jean-François, additional, Gastaldi, Romain, additional, Gaud-Listrat, Véronique, additional, Gauthier-Prieur, Maud, additional, Georgescu, Dana, additional, Gerard, Nathalie, additional, Gervais, Elisabeth, additional, Gibert, Christelle, additional, Gibert, Eric, additional, Gill, Ghislaine, additional, Gillard, Jérôme, additional, Gilson, Mélanie, additional, Gimonnet, Pauline, additional, Giraudet-Le Quintrec, Jeanine-Sophie, additional, Giraud-Morelet, Aude, additional, Glace, Baptiste, additional, Glanowski, Camille, additional, Godeau, Bertrand, additional, Gombert, Bruno, additional, Gonnet-Gracia, Camille, additional, Goulenok, Tiphaine, additional, Goupille, Philippe, additional, Gourmelen, Olivier, additional, Govindaraju-Audouard, Sophie, additional, Grados, Franck, additional, Grall-Lerosey, Martine, additional, Grardel, Bruno, additional, Grasland, Anne, additional, Grateau, Gilles, additional, Groza, Monica, additional, Guillaud, Constance, additional, Guillaume, Séverine, additional, Guillibert, Caroline, additional, Guillot, Xavier, additional, Guilpain, Philippe, additional, Gury, Aline, additional, Guyot, Marie-Hélène, additional, Hacquard-Bouder, Cécile, additional, Havard, Marie-Noelle, additional, Hellier, Jean-Pierre, additional, Hennequin, Pascal, additional, Henriot, Basile, additional, Henry, Julien, additional, Hentgen, Véronique, additional, Hermet, Marion, additional, Herasse, Muriel, additional, Hernandez, Julie, additional, Hie, Miguel, additional, Hilliquin, Pascal, additional, Hinschberger, Olivier, additional, Hittinger-Roux, Ambre, additional, Holubar, Jan, additional, Hudry, Christophe, additional, Huguenel, Serge, additional, Jaccard, Clara, additional, Jacquemier, Jean-Michel,, additional, Jamard, Bénédicte, additional, Jan, Catherine, additional, Jean, Sylvie, additional, Jouvray, Mathieu, additional, Juge, Pierre-Antoine, additional, Juillard, Laurent, additional, Jullien, Denis, additional, Kabala, Anna, additional, Kabchou, Abdelkrim, additional, Karkowski, Ludovic, additional, Karman, Françoise, additional, Kemiche, Farid, additional, Keraen, Jérémy, additional, Kieffer, Pierre, additional, Kone-Paut, Isabelle, additional, Koreichi, Abdeldajallil, additional, Kostine, Marie, additional, La Batide Alanore, Sylvain, additional, Lafforgue, Pierre, additional, Lahalle, Sophie, additional, Lambert, Marc, additional, Lambrecht, Isabelle, additional, Lanot, Sylvain, additional, Lanteri, Aurélia, additional, Larbre, Jean-Paul, additional, Latourte, Augustin, additional, Lavigne, Christian, additional, Le Guen Guegan, Sophie, additional, Le Guenno, Guillaume,, additional, Leguy, Diane, additional, Lebrun, Agnès, additional, Ledoult, Emmanuel, additional, Legoupil, Nathalie, additional, Legrand, Erick, additional, Lejeune, Charlotte, additional, Leloire, Olivier, additional, Leroux, Christophe, additional, Leroy, Rémi, additional, Leroy-Gouix, Marie, additional, Leturcq, Tifenn, additional, Leurs, Amélie, additional, Leveque-Michaud, Céline, additional, Limbach, François-Xavier, additional, Liote, Frédéric, additional, Lohse, Anne, additional, Lozac'h, Pierre, additional, Lucas, Virginie, additional, Madelon, Aurélie, additional, Magy-Bertrand, Nadine, additional, Mahevas, Matthieu, additional, Maillard, Hélène, additional, Maillet, Thibault, additional, Malochet-Guinamand, Sandrine, additional, Mangon, Quentin, additional, Marchou-Lopez, Sylvie, additional, Margarit, Nathalie, additional, Marhadour, Thierry, additional, Mariette, Xavier, additional, Martin, Claire, additional, Mathian, Alexis, additional, Maurier, François, additional, Maury, Frédéric, additional, Mazet-Guillaume, Betty, additional, Mazouyez, Arnaud, additional, Mazyad, Hassan, additional, Mehsen-Cetre, Nadia, additional, Meinzer, Ulrich, additional, Melki, Isabelle, additional, Messer, Laurent, additional, Miceli, Corinne, additional, Michaud, Martin, additional, Michel, Catherine, additional, Michel, Matthias, additional, Michon, Mathilde, additional, Milesi-Lecat, Anne-Marie, additional, Molto, Anna, additional, Moly, Marie, additional, Moranne, Olivier, additional, Morel, Gautier, additional, Morel, Hugo, additional, Morel, Jacques, additional, Morin, Franck, additional, Moulinier, Laurence, additional, Moulis, Guillaume, additional, Moura, Bertrand, additional, Nguyen, Minh, additional, Nicolas-Vullierme, Sabine, additional, Nielly, Hubert, additional, Nocturne, Gaétane, additional, Nottez, Aurore, additional, Ollagnon, Henri-Olivier, additional, Pacaud-Vitoux, Isabelle, additional, Pagnier, Anne, additional, Paris, Caroline, additional, Parrot, Antoine, additional, Pascart, Tristan, additional, Pascaud-Mansour, Yasmina, additional, Paulin, Lætitia, additional, Pavy, Stephan, additional, Perard, Laurent, additional, Pers, Yves-Marie, additional, Pha, Micheline, additional, Pichon, Maud, additional, Pierreisnard, Audrey, additional, Pizana, Gabrielle, additional, Poignant, Sylvaine, additional, Poix, Elsa, additional, Portier, Agnès, additional, Poulet, Antoine, additional, Plassard, Samira, additional, Pugnet, Grégory, additional, Puyraimond-Zemmour, Déborah, additional, Quartier-Dit-Maire, Pierre, additional, Quenet, Marion, additional, Queyrel, Viviane, additional, Raffray, Loïc, additional, Remy, Philippe, additional, Renard, Myriam, additional, Rene, Jessica, additional, Revuz, Sabine, additional, Rey, Bénédicte, additional, Richard-Colmant, Gaëlle, additional, Riviere, Etienne, additional, Riviere, Sébastien, additional, Robin, Sophie, additional, Rohmer, Julien, additional, Roitg, Isabelle, additional, Romier, Mélanie, additional, Rolland, Michel, additional, Roriz, Mélanie, additional, Rosenberg, Carole, additional, Rossi, Linda, additional, Roth, Olivier, additional, Rouidi, Sid-Ahmed, additional, Roumier, Mathilde, additional, Rousiere, Mickaël, additional, Rousselin, Clémentine, additional, Rouviere, Bénédicte, additional, Roux, Christian, additional, Roux, Fabienne, additional, Roux, Marielle, additional, Roux, Nicolas, additional, Rouzaud, Diane, additional, Rozenberg, Sylvie, additional, Sacco, Isabelle, additional, Sadji, Fatiha, additional, Sailler, Laurent, additional, Salliot, Carine, additional, Salmon, Jean-Hugues, additional, Saraux, Alain, additional, Schmidt, Jean, additional, Seguier, Julie, additional, Sellam, Jérémie, additional, Senbel, Eric, additional, Sene, Thomas, additional, Senet, Patricia, additional, Seve, Pascal, additional, Sicaud, Aurélie, additional, Smets, Perrine, additional, Sobanski, Vincent, additional, Sordet, Christelle, additional, Sornay-Rendu, Elisabeth, additional, Souchaud-Debouverie, Odile, additional, Sparsa, Lætitia, additional, Spielmann, Lionel, additional, Steib, Sarah, additional, Stavris, Chloé, additional, Straus, Catherine, additional, Strotz, Victor, additional, Szafors, Paulina, additional, Taffignon-Clave, Séverine, additional, Simoens, Justine, additional, Theillac, Claire, additional, Tenenbaum, Nora, additional, Thomachot, Benoît, additional, Tieulie, Nathalie, additional, Tiriau, Soizic, additional, Tison, Alice, additional, Toussirot, Eric, additional, Trefond, Ludovic, additional, Trijau, Sophie, additional, Trouillier, Sébastien, additional, Trouvin, Anne-Priscille, additional, Truchetet, Marie-Elise, additional, Ulrich, Marc, additional, Vaquier, Jacques, additional, Veillard, Eric, additional, Veillon, Laurent, additional, Vial, Guillaume, additional, Viallard, Jean-François, additional, Victor, Judith, additional, Vidon, Claire, additional, Vidon, Mathias, additional, Vigne, Camille, additional, Virone, Alexandre, additional, Warzocha, Ursula, additional, Wendling, Daniel, additional, Werle, Claude, additional, Wibaux, Cécile, additional, Willems, Alexandra, additional, Wisniewski, Michel, additional, Woessner, Juliette, additional, and Xerri-Campano, Bernadette, additional

Published
2021
Full Text
View/download PDF

47. Application of the OMERACT synovitis ultrasound scoring system in juvenile idiopathic arthritis: a multicenter reliability exercise

Author

Rossi-Semerano, Linda Breton, Sylvain Semerano, Luca and Boubaya, Marouane Ohanyan, Haykanush Bossert, Marie Boiu, Sorina Chatelus, Emmanuel Durand, Geraldine Jean, Sylvie and Goumy, Laurence Mathiot, Anne Mouterde, Gael Nugues, Frederique Hennia, Ahmed Ould Rey, Benedicte Von Scheven, Annette Sparsa, Laetitia Devauchelle-Pensec, Valerie and Jousse-Joulin, Sandrine

Abstract

Objectives. To evaluate the reliability of the OMERACT paediatric ultrasound (US) synovitis definitions and scoring system in JIA. Methods. Thirteen sonographers analysed 75 images for the presence/absence of elementary lesions (binary scoring) and for grading synovitis, synovial hypertrophy, effusion and Doppler signals. Static US images of the second metacarpophalangeal joint (MCP-II), wrist, elbow, knee and ankle in JIA patients at different ages and different disease stages were collected with standardized scanning by two experienced sonographers. Intra- and inter-reader reliability were analysed with kappa coefficients. Results. Intra-reader reliability was good for binary scoring (Cohen’s kappa 0.62, range 0.47-0.75), synovitis and synovial hypertrophy; excellent for Doppler signals (quadratic weighted kappa 0.77, 0.66-0.86; 0.76, 0.61-0.84; and 0.87, 0.77-0.94, respectively); and moderate for effusion (0.55, 0.24-0.76). Inter-reader reliability was good for synovitis and synovial hypertrophy (Light’s kappa 0.68, 95% CI: 0.61, 0.75 and 0.63, 0.54-0.71, respectively), excellent for Doppler signals (0.85, 95% CI: 0.77, 0.90), and moderate for binary scoring and effusion (0.48, 95% CI: 0.36, 0.64 and 0.49, 0.40-0.60, respectively). We obtained the best scores for the knee (0.71, 0.54-0.85) except for Doppler signals, with reliability higher for MCP-II. We found a trend toward better results in older children. Conclusions. This is the first study establishing the reliability of the OMERACT paediatric US synovitis definitions and scoring system in the five most commonly affected joints in JIA. The reliability was good among a large group of sonographers. These results support the applicability of these definitions and scoring system in clinical practice and multicentre studies.

Published
2021

48. 1½-Player Stochastic StopWatch Games

Author

Roychowdhury, Sparsa

Subjects
Stopwatches, Theory of computation → Timed and hybrid models, Timed Automata, Stochastic Timed Games
Abstract

Stochastic timed games (STGs), introduced by Bouyer and Forejt, generalize continuous-time Markov chains and timed automata. Depending on the number of players - 2, 1, or 0 - subclasses of stochastic timed games are classified as 2½-player, 1½-player, and ½-player games where the ½ symbolizes the presence of the stochastic player. The qualitative and quantitative reachability problem for STGs was studied in [Patricia Bouyer and Vojtech Forejt, 2009] and [S. Akshay et al., 2016]. In this paper, we introduce stochastic stopwatch games (SSG), an extension of (STG) from clocks to stopwatches. We focus on 1½-player SSGs and prove that with two variables which can be either a clock or a stopwatch, qualitative reachability is decidable, whereas, if we increase the number of variables to three, with at least one stopwatch, the problem becomes undecidable., LIPIcs, Vol. 206, 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), pages 17:1-17:18

Published
2021
Full Text
View/download PDF

49. Resilience of Timed Systems

Author

Akshay, S., Genest, Blaise, Krishna, S., Roychowdhury, Sparsa, Akshay, S., Genest, Blaise, Krishna, S., and Roychowdhury, Sparsa

Abstract

This paper addresses reliability of timed systems in the setting of resilience, that considers the behaviors of a system when unspecified timing errors such as missed deadlines occur. Given a fault model that allows transitions to fire later than allowed by their guard, a system is universally resilient (or self-resilient) if after a fault, it always returns to a timed behavior of the non-faulty system. It is existentially resilient if after a fault, there exists a way to return to a timed behavior of the non-faulty system, that is, if there exists a controller which can guide the system back to a normal behavior. We show that universal resilience of timed automata is undecidable, while existential resilience is decidable, in EXPSPACE. To obtain better complexity bounds and decidability of universal resilience, we consider untimed resilience, as well as subclasses of timed automata.

Published
2021
Full Text
View/download PDF

50. Resilience of Timed Systems

Author

Akshay, S., Genest, Blaise, H��lou��t, Lo��c, Krishna, S., Roychowdhury, Sparsa, Indian Institute of Technology Bombay (IIT Bombay), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), IARCS, Associated team EQUAVE, ANR-20-CE25-0012,MAVEriQ,Méthodes d'analyse pour la vérification de propriétés quantitatives(2020), Centre National de la Recherche Scientifique (CNRS), CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique)

Subjects
Model checking, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Resilience, Integer-resets, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Theory of computation ��� Timed and hybrid models, Fault tolerance, Timed automata, Computer Science::Distributed, Parallel, and Cluster Computing, Computer Science::Formal Languages and Automata Theory
Abstract

This paper addresses reliability of timed systems in the setting of resilience, that considers the behaviors of a system when unspecified timing errors such as missed deadlines occur. Given a fault model that allows transitions to fire later than allowed by their guard, a system is universally resilient (or self-resilient) if after a fault, it always returns to a timed behavior of the non-faulty system. It is existentially resilient if after a fault, there exists a way to return to a timed behavior of the non-faulty system, that is, if there exists a controller which can guide the system back to a normal behavior. We show that universal resilience of timed automata is undecidable, while existential resilience is decidable, in EXPSPACE. To obtain better complexity bounds and decidability of universal resilience, we consider untimed resilience, as well as subclasses of timed automata., LIPIcs, Vol. 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), pages 33:1-33:22

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results