Organisatie
Gedistribueerde en Veilige Software (DistriNet)
Division
Gedistribueerde en Veilige Software (DistriNet)
Huidige onderzoekers
101 - 110 of 118 results
- Jenno Verdonck (Lid)
- 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)
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 1540
- A modular and distributed Bayesian framework for activity recognition in dynamic smart environments(2013)
Auteurs: Arun Ramakrishnan, Davy Preuveneers, Yolande Berbers, Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Ali Salah, Ah-Hwee Tan
Pagina's: 293 - 298 - Improving resilience of behaviometric based continuous authentication with multiple accelerometers(2017)
Auteurs: Tim Van hamme, Davy Preuveneers, Wouter Joosen
Pagina's: 473 - 485Aantal pagina's: 13 - Structuur en organisatie van computersystemen - Deel 4 (4de editie)(2010)
Auteurs: Bart De Decker
- Towards a transfer learning-based approach for monitoring fitness levels(2013)
Auteurs: Michiel Van Assche, Arun Ramakrishnan, Yolande Berbers, Michael O’Grady, Hamed Vahdat-Nejad, Klaus-Hendrik Wolf, Mauro Dragone, Juan Ye, Carsten Röcker, Gregory O’Hare
Pagina's: 33 - 43 - ReSoNate: AProtocol for Audio Transmission over Low Power Wide Area Networks(2022)
Auteurs: Shuaibu Musa Adam, Sam Michiels, Danny Hughes
Pagina's: 6 - 11 - Adaptive dissemination for mobile electronic health record applications with proactive situational awareness(2016)
Auteurs: Davy Preuveneers, Syeda Nayyab Zia Naqvi, Arun Ramakrishnan, Yolande Berbers, Wouter Joosen
Pagina's: 3229 - 3238 - Communications and Multimedia Security(2012)
Auteurs: Bart De Decker
- A reference model for cross-organizational coordination architectures(2008)
Auteurs: Eddy Truyen, Wouter Joosen
Pagina's: 323 - 334 - Inter-DSL coordination support by combining megamodeling and model weaving(2010)
Auteurs: Yolande Berbers
Pagina's: 2011 - 2018 - Intelligent Malware Defenses(2022)
Auteurs: Vera Rimmer, Wouter Joosen
Pagina's: 217 - 253Aantal pagina's: 37