29 citations · 51 across the 18 of their papers we have counts for
3 papers · 2 filters
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…
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…