Publications (17)
A Coordination Language for Databases
Ximeng Li, Xi Wu, Alberto Lluch Lafuente +2
Discovering, quantifying, and displaying attacks
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Layered Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Lei Song, Lijun Zhang, Jens Chr. Godskesen +1
Pushdown Systems for Monotone Frameworks
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML - Extended
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
A Theory of Available-by-Design Communicating Systems
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
XACML 3.0 in Answer Set Programming
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
Secondary use of data in EHR systems
Fan Yang, Chris Hankin, Flemming Nielson +1
Design-Efficiency in Security
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A Stochastic Broadcast Pi-Calculus
Lei Song, Flemming Nielson, Bo Friis Nielsen
Lattice based Least Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Roadmap Document on Stochastic Analysis
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard +4
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
Efficient CSL Model Checking Using Stratification
Lijun Zhang, David N. Jansen, Flemming Nielson +1
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
History-sensitive versus future-sensitive approaches to security in distributed systems
Alejandro Mario Hernandez, Flemming Nielson