Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)

Autor: Kamburjan, Eduard, Lienhardt, Michael

We present a post-region-based verification system for distributed hybrid systems modeled with Hybrid Active Objects. The post-region of a class method is the region of the state space where a physical process must be proven safe to ensure some objec

Externí odkaz: http://arxiv.org/abs/2310.01370

Recent advances in the treatment of tuberculosis

Autor: Motta, Ilaria, Kherabi, Yousra, Van Crevel, Reinout, Guglielmetti, Lorenzo, Boeree, Martin, Chesov, Dumitru, Dheda, Keertan, Günther, Gunar, Horsburgh, Charles Robert, Jr., Lange, Christoph, Lienhardt, Christian, McIlleron, Helen M., Paton, Nicholas I., Stagg, Helen R., Thwaites, Guy, Udwadia, Zarir, Velásquez, Gustavo E., Wilkinson, Robert J.

Publikováno v: In Clinical Microbiology and Infection September 2024 30(9):1107-1114

Target regimen profiles for tuberculosis treatment.

Autor: Lienhardt, Christian¹, Dooley, Kelly E.², Nahid, Payam³, Wells, Charles⁴, Ryckman, Theresa S.⁵, Kendall, Emily A.⁵, Davies, Gerry⁶, Brigden, Grania⁷, Churchyard, Gavin⁸, Cirillo, Daniela Maria⁹, Di Meco, Eugenia¹⁰, Gopinath, Ramya¹¹, Mitnick, Carole¹², Scott, Cherise¹³, Amanullah, Farhana¹⁴, Bansbach, Cathy¹⁵, Boeree, Martin¹⁶, Campbell, Michael¹⁷, Conradie, Francesca¹⁸, Crook, Angela¹⁹

Publikováno v: Bulletin of the World Health Organization. Aug2024, Vol. 102 Issue 8, p600-607. 8p.

Short oral regimens for pulmonary rifampicin-resistant tuberculosis (TB-PRACTECAL): an open-label, randomised, controlled, phase 2B-3, multi-arm, multicentre, non-inferiority trial

Autor: Da Costa, Erin, Lachenal, Nathalie, James, Nicola, Sinha, Animesh, LeBeau, Kristen, Douch, Emma, Jolivert, Pascal, Poulsom, Hannah, Conijn, Marion, King, Sean, Spencer, Hannah, Cunden, Emma, Batts, Charlotte, Vuong, Thuy, Dietrich, Sebastian, McRae, Melissa, Wong, Sidney, Sun, Eugene, Olugbosi, Morounfolu, Shanks, Leslie, Hughes, Michael, Nahid, Payam, Kumwenda, Johnstone, Lorenz, Todd, Majumdar, Suman, Horsburgh, Robert C., Nuermberger, Eric, Meintjes, Graeme, Eisenach, Kathleen, Lienhardt, Christian, Nunn, Andrew, Lange, Christoph, Park, Laura, Gatts, Charlotte, Warren, Dominic, Kleiman, Robert, Mokua Nyangweso, George, Ochieng, Michael, Egondi, Thaddaeus, Onyango, Kevin, Omollo, Truphoso, Omollo, Raymond, Sturgess, Jo, Saunders, Steven, Allen, Elizabeth, Gajewski, Suzanne, Butoescu, Valentina, Hanekova, Jarmila, Etter, Coralie, Kambarov, Yerkbulan, Mphele, Siza, Sukhinina, Victoria, Huzar, Olesya, Reshetnikov, Andrey, Cilliè, Christine, Ahmed, Nada, Hunt, Robert, Merle, Corinne, Gulayim, Allanazarova, Mbenga, Mansa, Baltasheva, Zlikha Saparbaevna, Abdrasuliev, Tleubergen, Margaryan, Hasmik, Urgenishbaevna, Utemuratova Gozzal, Skrahina, Alena, Yatskevich, Natalia, Viatushka, Dzmitry, Apanasevich, Tatsiana, Skrahin, Aliaksandr, Duckworth, Lynette, Narasimooloo, Cindy, Lesego, Ndlovu Ellah, Motlhako, Sharon, Mashamaite, Mamomoko Ephenia, Mojapelo, Evelyn, Nyang'wa, Bern-Thomas ^*, Berry, Catherine, Kazounis, Emil, Motta, Ilaria, Parpieva, Nargiza, Tigay, Zinaida, Moodliar, Ronelle, Dodd, Matthew, Solodovnikova, Varvara, Liverko, Irina, Rajaram, Shakira, Rassool, Mohammed, McHugh, Timothy, Spigelman, Melvin, Moore, David A, Ritmeijer, Koert, du Cros, Philipp, Fielding, Katherine

Publikováno v: In The Lancet Respiratory Medicine February 2024 12(2):117-128

Lazy Product Discovery in Huge Configuration Spaces

Autor: Lienhardt, Michael, Damiani, Ferruccio, Johnsen, Einar Broch, Mauro, Jacopo

Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and

Externí odkaz: http://arxiv.org/abs/2003.07383