4 citations · 9 across the 4 of their papers we have counts for
4 papers
A Theory of Available-by-Design Communicating Systems
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreo…
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concer…
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of…
Layered Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both induc…