Aurélien Coet

University of Geneva | UNIGE · Department of Computer Science

Software that interacts with a physical environment must operate with a partial and imprecise knowledge, due to the inaccuracy of its sensors. Belief programming is a programming methodology that addresses this issue. It provides a framework to reason about the possible states of a system given a set of assumptions-or beliefs-about its variables. T...

Flow-sensitive type systems offer an elegant way to ensure memory-safety in programming languages. Unfortunately, their adoption in new or existing languages is often hindered by a painful effort to implement or integrate them into compilers. This paper presents early results in our effort to alleviate this task. We introduce Fuel, a type capabilit...

Real-time system design involves proving the schedulability of a set of tasks with hard timing and other constraints that should run on one or several cores. When those requirements are known at design time, it is possible to compute a fixed scheduling of tasks before deployment. This approach avoids the overhead induced by an online scheduler and...

Models of small CPS and IoT applications often use approximated values that describe physical system behaviour. Physical resources, such as electricity consumption and heating power, have to be estimated, since many off-the-shelf components lack the required descriptions. Controllers which are based on these approximations can hence use imprecise m...