Projecten
Valorisation of the Tervuren Xylarium for rainforest ecology: investigation of wood collections to underpin REDD+ and other new mechanisms for tropical forest conservation. Plantentuin Meise / Agentschap Plantentuin Meise
Indeed, the tropical forests and the Congo Basin rainforests ...
Onthullende verborgen concepten in sociale media. KU Leuven
The world of media and communication is currently experiencing enormous disruptions: from one-way communication and word of mouth exchanges, we have moved to bi- or multidirectional communication patterns. No longer can a selected few (e.g. media organisations and controllers of communication channels) act as gatekeepers, deciding what is communicated to whom and what not. Individuals now have the opportunity to access information directly ...
DETECTIVE Vrije Universiteit Brussel
Emphasis was given to systematic ...
Interdisciplinary exploitation of the federal Herbarium and Xylarium for tropical forest management Plantentuin Meise / Agentschap Plantentuin Meise
voorspelling en beheer van extreme regenval dat risico's veroorzaakt in een stedelijke omgeving. KU Leuven
A. Context
Extreme local rain storms may induce severe floods and related socio-economic impacts on the urban environment (Belgian cities). While floods along rivers have been studied already extensively, quantification, forecasting, control and management of inundations along sewer systems and urban rivers have to face particular difficulties. They need fine-scale (local, short duration) rainfall estimation and nowcasting (= short-term ...
Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's) KU Leuven
EBSI-compatibele registers van verifieerbare referenties en vertrouwde organisaties (EBSI-VECTOR) KU Leuven
The EBSI-VECTOR (EBSI enabled Verifiable credentials and Trusted Organisations Registries) project brings the power of the self-sovereign identity paradigm into the educational and social security context. 52 partners from 20 countries will transform the digital interaction of studying and working citizens in Europe and simplify some of the complex verification processes for organisations in a decentralised way. The consortium consolidates ...
Semi-automatische modulaire formele verificatie van kritieke software KU Leuven
In dit proefschrift beschrijven we twee bijdragen aan de state-of-the-art in redeneren over respectievelijk liveness en safety.
Programma's voor multiprocessor machines maken gebruik van busy waiting voor synchronisatie.
Wij stellen de eerste separation logic voor om modulair de beëindiging van zulke programma's onder fair scheduling te verifiëren.
Onze logica vereist dat de auteur van het bewijs een ghost signal toekent aan ...
Relationeel redeneren voor geavanceerde typesystemen in geavanceerde programmalogica's KU Leuven
Vele interessante eigenschappen van programma's en programmeertalen, zoals contextuele verfijning en equivalentie, niet-interferentie (een veiligheidseigenschap), en compilercorrectheid, zijn relationeel. De techniek genaamd 'logische relaties' is een veelzijdige bewijstechniek om relationele eigenschappen, en in het bijzonder contextuele verfijning en equivalentie, aan te tonen. De techniek is oorspronkelijk ontwikkeld voor puur functionele ...