29 citations · 51 across the 18 of their papers we have counts for
7 papers · 1 filter
Roadmap Document on Stochastic Analysis
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard +4
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for f…
Lattice based Least Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for spec…
XACML 3.0 in Answer Set Programming
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
We present a systematic technique for transforming XACML 3.0 policies in Answer Set Programming (ASP). We show that the resulting logic program has a unique answer set that directl…
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…