< Terug naar vorige pagina
Organisatie
Gedistribueerde en Veilige Software (DistriNet)
Division
Hoofdorganisatie:Departement Computerwetenschappen
Tijdsduur:1 aug 2020 → Heden
Organisatieprofiel:
Gedistribueerde en Veilige Software (DistriNet)
Trefwoorden:software
Disciplines:Distributed computing
Huidige onderzoekers
101 - 110 of 116 results
- Tine Verhanneman (Lid)
- Willem Verheyen (Lid)
- Jan Vermaelen (Lid)
- Stef Verreydt (Lid)
- Jonas Vinck (Lid)
- Stijn Volckaert (Lid)
- Annemie Vorstermans (Lid)
- Kobe Vrancken (Lid)
- Kaizheng Wang (Lid)
- Michiel Willocx (Lid)
Projecten
101 - 110 of 242
- Machine learning voor foutidentificatie en betrouwbare mitigatie van rotor-excentriciteit in elektrische aandrijfsystemenVanaf6 sep 2021 → HedenFinanciering: FWO Strategische Onderzoeksbeurs
- Een bibliotheek voor modale typetheorie met toepassingen in effectparametriciteitVanaf20 aug 2021 → HedenFinanciering: FWO mandaten
- Formalizeren van ISA veiligheidseigenschappen aan de hand van Universele ContractenVanaf9 aug 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Integriteit en verificatie van gegevensstromenVanaf3 jul 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Valideren van TRAINEE-Valideren van veiligheidskritische software-updates voor spoorwegcontroles in het veldVanaf1 apr 2021 → 31 mrt 2022Financiering: IWT /VLAIO persoonsgebonden financ. - innovatiemandaten
- Veilige en betrouwbare autonome systemen - formele specificatie en verificatieVanaf8 mrt 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Veilige softwareontwikkelingVanaf8 mrt 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Systematische analyse van veiligheids-vereisten voor autonome systemenVanaf1 mrt 2021 → 31 jan 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Epistemische AIVanaf1 mrt 2021 → HedenFinanciering: H2020 - Toekomstige en Nieuwe Technologieën
- Risico gebaseerde EMC voor veiligere autonome systemen : Geoptimaliseerde Afschermings MaatregelenVanaf16 feb 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 10 van 1541
- Dynamic reconfiguration using template based web service composition(2008)
Auteurs: Kristof Geebelen, Sam Michiels, Wouter Joosen
Pagina's: 49 - 54 - Building wireless sensor network applications with LooCI(2010)
Auteurs: Danny Hughes, Klaas Thoelen, Wouter Horré, Nelson Matthys, Pedro Javier del Cid Garcia, Sam Michiels, Christophe Huygens, Wouter Joosen
Pagina's: 38 - 64 - An Efficient, Anonymous and Unlinkable Incentives Scheme(2015)
Auteurs: Andreas Put, Bart De Decker
Pagina's: 1 - 20 - Efficient decision making algorithms for adaptive applications(2009)
Auteurs: Yves Vanrompay, Yolande Berbers
Pagina's: 13 - 18 - Configuration management as a multi-cloud enabler(2014)
Auteurs: Bart Vanbrabant, Wouter Joosen, Yehia Elkhatib, Stefan Walraven
Pagina's: 1:1 - 1:1 - Towards a transfer learning based approach for monitoring fitness levels(2013)
Auteurs: Davy Preuveneers
Pagina's: 33 - 43 - Formal analysis of policies in wireless sensor network applications(2012)
Auteurs: Marco Patrignani, Nelson Matthys, Jose Paiva Proenca, Danny Hughes, Dave Clarke
Pagina's: 21 - 28 - Instruction-level countermeasures against stack-based buffer overflow attacks(2009)
Auteurs: Francesco Gadaleta, Yves Younan, Bart Jacobs, Wouter Joosen
Pagina's: 7 - 12 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 152 - 155Aantal pagina's: 155 - Adversarial machine learning(2022)
Auteurs: Ilias Tsingenopoulos, Wouter Joosen
Pagina's: 287 - 312Aantal pagina's: 25