par Meuter, Cédric
Président du jury Devillers, Raymond
Promoteur Massart, Thierry
Publication Non publié, 2008-03-14
Thèse de doctorat
Titre:
  • Development and validation of distributed reactive control systems
Autre titre:
  • Développement et validation de systèmes de contrôle réactifs distribués:
Auteur:Meuter, Cédric
Président du jury:Devillers, Raymond
Promoteur:Massart, Thierry
Membre du jury:Leuschel, Michaël; Hélouët, Loïc; Van Begin, Laurent; Raskin, Jean-François
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2008-03-14
Sujet CREF:Sciences exactes et naturelles
Informatique générale
Volumes/pages:1 v.
Mots-clés:Electronic data processing -- Distributed processing
Distributed operating systems (Computers)
Parallel computers
Traitement réparti
Systèmes d'exploitation répartis
Ordinateurs parallèles
temporal logics
distributed systems
control
testing
model checking
formal methods
Intitulé du diplôme:Doctorat en Sciences
Langue:Français
Anneé académique:2007-2008
Identificateurs:bictel.ulb.ac.be:ULBetd-01242008-155205
ulbcat.ulb.ac.be:814575

Documents en relation

DI-fusion

  • Evidence that Dmrta2 acts through repression of Pax6 in cortical patterning and identification of a mutation crucial for DNA recognition associated with microcephaly in human
    par Shen, Xueyi , Anirudhan, Jithu , Fatima, Ambrin , Plant, Estelle , Szemes, Tünde , Bouveret, Zélie , Keruzore, Marc , Kricha, Sadia , Nan, Xinsheng , Sabaté San José, Alba , Bianchin, Samuel , Veraghen, Bérénice , Delhaye, Louis-Paul , Mian, Bilal Ahmad , Khalid, Lubaba Bintee , Ali, Farhan , Zhara, Hijab , Ali, Asmat , Toft, Mathias , Dieu, Marc , Achouri, Younes , Li, Meng , Renard, Patricia , Van Lint, Carine , Poulard, C. , Iqbal, Zafar , Bellefroid, Eric
    Publication 2025-06-01
  • Where do we want the glaciological community to be in 2073? Equality, Diversity, and Inclusion challenges and visions from the 2023 Karthaus Summer School
    par NICOLA, Lena , FRØYSTAD, Rebekka , JUAREZ-MARTINEZ, Antonio , MENTHON, Maxence , MORAES LUZARDI, Ana Carolina , TURNER, Katherine A. , WILSON, Sally F. , KARLSSON, Nanna B. , VAN DEN AKKER, Tim , AMBELORUN, Aminat , ANDERNACH, Malena , BENTLEY, Michael J. , BIANCHI, Gianluca , BIRD, Lawrence , CARTER, Charlotte , CASTILLO-LLARENA, Andrés , COFFEY, Niall , DAWSON, Eliza , DE RODA HUSMAN, Sophie , EISEN, Olaf , Gregov, Thomas , HEWITT, Ian J. , HOFSTEENGE, Marte , JAIN, Lokesh , JAMES, Megan , JESSE, Franka , LAURITZEN, Mikkel , LU, George , MÜHL, Michaela , PATTERSON, Violet , Pattyn, Frank , REIJMER, Carleen , RAHLVES, Charlotte , RICHTER, Niklas , RIECKH, Therese , SCHALAMON, Florina , SCHÖLL, Simon , SHUKLA, Shashwat , VERRO, Kristiina , WINKELMANN, Ricarda , WIRTHS, Christian , KEISLING, Benjamin
    Publication 2025-04
  • Spectroscopic binaries in Gaia-ESO, Gaia and 4MOST surveys
    par Merle, Thibault , Traven, Gregor , Van Der Swaelmen, Mathieu , Van Eck, Sophie , Jorissen, Alain , Desuter, J. , Dorsch, M. , Van De Steene, Griet
    Publication 2025-04
  • Logarithmic matching between past infinity and future infinity: The massless scalar field in Minkowski space
    par Fuentealba, Oscar , Henneaux, Marc
    Publication 2025-03-12
  • Bedmap3 updated ice bed, surface and thickness gridded datasets for Antarctica
    par Pritchard, Hamish D. , Fretwell, Peter T. , Fremand, Alice C. , Bodart, Julien A. , Kirkham, James , Aitken, Alan , Bamber, Jonathan L. , Bell, Robin , Bianchi, Cesidio , Bingham, Robert G. , Blankenship, Donald , Casassa, Gino , Christianson, Knut , Conway, Howard , Corr, Hugh F. J. , Cui, Xiangbin , Damaske, Detlef , Damm, Volkmar , Dorschel, Boris , Drews, Reinhard , Eagles, Graeme , Eisen, Olaf , Eisermann, Hannes , Ferraccioli, Fausto , Field, Elena , Forsberg, René , Franke, Steven , Goel, Vikram , Gogineni, Siva Prasad , Greenbaum, Jamin Stevens , Hills, Benjamin , Hindmarsh, Richard C. A. , Hoffman, Andrew O. , Holschuh, Nicholas , Holt, John W. , Humbert, Angelika , Jacobel, Robert W. , Jansen, Daniela , Jenkins, Adrian , Jokat, Wilfried , Jong, Lenneke , Jordan, Tom A. , King, Edward C. , Kohler, Jack , Krabill, William , Maton, Joséphine , Gillespie, Mette Kusk , Langley, Kirsty , Lee, Joohan , Leitchenkov, German , Leuschen, Cartlon , Luyendyk, Bruce , MacGregor, Joseph A. , MacKie, Emma , Moholdt, Geir , Matsuoka, Kenichi , Morlighem, Mathieu , Mouginot, Jeremie , Nitsche, Frank O. , Nost, Ole A. , Paden, John , Pattyn, Frank , Popov, Sergey , Rignot, Eric , Rippin, David M. , Rivera, Andrés , Roberts, Jason L. , Ross, Neil , Ruppel, Antonia , Schroeder, Dustin M. , Siegert, Martin J. , Smith, Andrew M. , Steinhage, Daniel , Studinger, Michael , Sun, Bo , Tabacco, Ignazio , Tinto, Kirsty J. , Urbini, Stefano , Vaughan, David G. , Wilson, Douglas S. , Young, Duncan A. , Zirizzotti, Achille
    Publication 2025-03-10