Publicaties
A fuzzy finite element analysis technique for structural static analysis based on interval fields KU Leuven
Change Pattern Detection for Optimising Incremental Static Analysis Vrije Universiteit Brussel
...
Influence analysis of static and dynamic fast-charging current profiles on ageing performance of commercial lithium-ion batteries Vrije Universiteit Brussel
The rate and shape of the charging current indubitably affect the charging time and the ageing rate of a battery. Depending on the application requirements, it is possible to use high-charging current in order to decrease the charging time. However, the influence of fast-charging current profiles should be investigated to identify their impact on battery functionality over time. In this article, static and dynamic fast-charging current ...
Scala-AM: A Modular Static Analysis Framework Vrije Universiteit Brussel
Mailbox Abstractions for Static Analysis of Actor Programs Vrije Universiteit Brussel
Properties such as the absence of errors or bounds on mailbox sizes are hard to deduce statically for actor-based programs. This is because actor-based programs exhibit several sources of unboundedness, in addition to the non-determinism that is inherent to the concurrent execution of actors. We developed a static technique based on abstract interpretation to soundly reason in a finite amount of time about the possible executions of an ...