Marian De Wulf

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The linear temporal logic (LTL) was introduced by Pnueli as a logic to express properties over the computations of reactive systems. Since this seminal work, there have been a large number of papers that have studied deductive systems and algorithmic methods to reason about the correctness of reactive programs with regard to LTL properties. In this paper,(More)
OBJECTIVE Managing type 1 diabetes (T1D) requires the ability to make complex and critical decisions regarding treatment, to execute complex tasks accurately, and to make adjustments when problems arise. This requires effective neuropsychological competences of patients and their families, especially in the domain of executive functioning (EF): the ability(More)
  • 1