29 citations · 51 across the 18 of their papers we have counts for
18 papers
Program Analysis (an Appetizer)
Flemming Nielson, Hanne Riis Nielson
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather tha…
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…
A Coordination Language for Databases
Ximeng Li, Xi Wu, Alberto Lluch Lafuente +2
We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordi…
Discovering, quantifying, and displaying attacks
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed compon…
A Framework for Hybrid Systems with Denial-of-Service Security Attack
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of…
Pushdown Systems for Monotone Frameworks
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and…