k-visit Attribute Grammars. - Hanne Riis Nielson; Sven Skyum (Math. Syst. Theory, 1981)

Computation Sequences: A Way to Characterize Classes of Attribute Grammars. - Hanne Riis Nielson (Acta Informatica, 1983)

Hoare logic's for run-time analysis of programs. - Hanne Riis Nielson (1984)

Code generation from two-level denotational meta-languages. - Flemming Nielson; Hanne Riis Nielson (Programs as Data Objects, 1985)

Pragmatic Aspects of Two-Level Denotational Meta-Languages. - Hanne Riis Nielson; Flemming Nielson (ESOP, 1986)

Semantics Directed Compiling for Functional Languages. - Hanne Riis Nielson; Flemming Nielson (LISP and Functional Programming, 1986)

A Hoare-Like Proof System for Analysing the Computation Time of Programs. - Hanne Riis Nielson (Sci. Comput. Program., 1987)

2-level lambda-lifting. - Flemming Nielson; Hanne Riis Nielson (ESOP, 1988)

Automatic Binding Time Analysis for a Typed lambda-Calculus. - Hanne Riis Nielson; Flemming Nielson (Sci. Comput. Program., 1988)

Two-Level Semantics and Code Generation. - Flemming Nielson; Hanne Riis Nielson (Theor. Comput. Sci., 1988)

Transformations on Higher-Order Functions. - Hanne Riis Nielson; Flemming Nielson (FPCA, 1989)

Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. - Hanne Riis Nielson; Flemming Nielson (ESOP, 1990)

Context Information for Lazy Code Generation. - Hanne Riis Nielson; Flemming Nielson (LISP and Functional Programming, 1990)

Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. - Hanne Riis Nielson; Flemming Nielson (Theor. Comput. Sci., 1990)

Using Transformations in the Implementations of Higher-Order Functions. - Hanne Riis Nielson; Flemming Nielson (J. Funct. Program., 1991)

Semantics with applications - a formal introduction. - Hanne Riis Nielson; Flemming Nielson (Wiley, 1992)

Two-level functional languages. - Flemming Nielson; Hanne Riis Nielson (Cambridge University Press, 1992)

Finiteness Conditions for Fixed Point Iteration. - Flemming Nielson; Hanne Riis Nielson (LISP and Functional Programming, 1992)

Layered Predicates. - Flemming Nielson; Hanne Riis Nielson (REX Workshop, 1992)

Inference Systems for Binding Time Analysis. - Kirsten Lackner Solberg; Hanne Riis Nielson; Flemming Nielson (WSA, 1992)

Forced transformation of Occam programs. - Flemming Nielson; Hanne Riis Nielson (Inf. Softw. Technol., 1992)

Bounded Fixed-Point Iteration. - Hanne Riis Nielson; Flemming Nielson (J. Log. Comput., 1992)

From CML to Process Algebras (Extended Abstract). - Flemming Nielson; Hanne Riis Nielson (CONCUR, 1993)

Finiteness Conditions for Strictness Analysis. - Flemming Nielson; Hanne Riis Nielson (WSA, 1993)

Constraints for Polymorphic Behaviours of Concurrent ML. - Flemming Nielson; Hanne Riis Nielson (CCL, 1994)

Higher-Order Concurrent Programs with Finite Communication Topology. - Hanne Riis Nielson; Flemming Nielson (POPL, 1994)

The Tensor Product in Wadler's Analysis of Lists. - Flemming Nielson; Hanne Riis Nielson (Sci. Comput. Program., 1994)

Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. - Hanne Riis Nielson; Flemming Nielson (TAPSOFT, 1995)

Multi-Level Lambda-Calculi: An Algebraic Description. - Flemming Nielson; Hanne Riis Nielson (Dagstuhl Seminar on Partial Evaluation, 1996)

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. - Torben Amtoft; Flemming Nielson; Hanne Riis Nielson; Jürgen Ammann (LOMAPS, 1996)

Polymorphic Subtyping for Effect Analysis: The Static Semantics. - Hanne Riis Nielson; Flemming Nielson; Torben Amtoft (LOMAPS, 1996)

Polymorphic Subtyping for Effect Analysis: The Algorithm. - Flemming Nielson; Hanne Riis Nielson; Torben Amtoft (LOMAPS, 1996)

Computing Surveys Symposium on Models of Programming Languages and Compuation. - Chris Hankin; Hanne Riis Nielson (ACM Comput. Surv., 1996)

Strategic Directions in Research on Programming Languages. - Chris Hankin; Hanne Riis Nielson; Jens Palsberg (ACM Comput. Surv., 1996)

Operational Semantics of Termination Types. - Flemming Nielson; Hanne Riis Nielson (Nord. J. Comput., 1996)

From CML to its Process Algebra. - Flemming Nielson; Hanne Riis Nielson (Theor. Comput. Sci., 1996)

Systematic Realisation of Control Flow Analyses for CML. - Kirsten Lackner Solberg Gasser; Flemming Nielson; Hanne Riis Nielson (ICFP, 1997)

Prescriptive Frameworks for Multi-Level Lambda-Calculi. - Flemming Nielson; Hanne Riis Nielson (PEPM, 1997)

Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. - Hanne Riis Nielson; Flemming Nielson (POPL, 1997)

Flow Logic and Operational Semantics. - Flemming Nielson; Hanne Riis Nielson (HOOTS, 1997)

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. - Torben Amtoft; Flemming Nielson; Hanne Riis Nielson (J. Funct. Program., 1997)

Position Statements on Strategic Directions for Research on Programming Languages. - Chris Hankin; Hanne Riis Nielson; Jens Palsberg (ACM SIGPLAN Notices, 1997)

Flow Logics for Constraint Based Analysis. - Hanne Riis Nielson; Flemming Nielson (CC, 1998)

Control Flow Analysis for the pi-calculus. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (CONCUR, 1998)

Behaviour Analysis and Safety Conditions: A Case Study in CML. - Hanne Riis Nielson; Torben Amtoft; Flemming Nielson (FASE, 1998)

Flow Logic for Imperative Objects. - Flemming Nielson; Hanne Riis Nielson (MFCS, 1998)

Strictness and Totality Analysis. - Kirsten Lackner Solberg Gasser; Hanne Riis Nielson; Flemming Nielson (Sci. Comput. Program., 1998)

Behavior Analysis for Validating Communication Patterns. - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson (Int. J. Softw. Tools Technol. Transf., 1998)

Type and effect systems - behaviours for concurrency. - Torben Amtoft; Hanne Riis Nielson; Flemming Nielson (Imperial College Press, 1999)

Principles of program analysis. - Flemming Nielson; Hanne Riis Nielson; Chris Hankin (Springer, 1999)

Type and Effect Systems. - Flemming Nielson; Hanne Riis Nielson (Correct System Design, 1999)

Validating Firewalls in Mobile Ambients. - Flemming Nielson; Hanne Riis Nielson; René Rydhof Hansen; Jacob Grydholt Jensen (CONCUR, 1999)

Interprocedural Control Flow Analysis. - Flemming Nielson; Hanne Riis Nielson (ESOP, 1999)

Static Analysis of Processes for No and Read-Up nad No Write-Down. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (FoSSaCS, 1999)

Abstract Interpretation of Mobile Ambients. - René Rydhof Hansen; Jacob Grydholt Jensen; Flemming Nielson; Hanne Riis Nielson (SAS, 1999)

A Kleene Analysis of Mobile Ambients. - Flemming Nielson; Hanne Riis Nielson; Shmuel Sagiv (ESOP, 2000)

Security Analysis using Flow Logics. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Bull. EATCS, 2000)

Security Analysis Using Flow Logics. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Current Trends in Theoretical Computer Science, 2001)

Static Analysis for Secrecy and Non-interference in Networks of Processes. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (PaCT, 2001)

Cryptographic Analysis in Cubic Time. - Flemming Nielson; Hanne Riis Nielson; Helmut Seidl (TOSCA, 2001)

Static Analysis for the pi-Calculus with Applications to Security. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Inf. Comput., 2001)

Kleene's Logic with Equality. - Flemming Nielson; Hanne Riis Nielson; Shmuel Sagiv (Inf. Process. Lett., 2001)

Shape Analysis for Mobile Ambients. - Hanne Riis Nielson; Flemming Nielson (Nord. J. Comput., 2001)

Flow Logic: A Multi-paradigmatic Approach to Static Analysis. - Hanne Riis Nielson; Flemming Nielson (The Essence of Computation, 2002)

Automatic Complexity Analysis. - Flemming Nielson; Hanne Riis Nielson; Helmut Seidl (ESOP, 2002)

Security for Mobility. - Hanne Riis Nielson; Flemming Nielson; Mikael Buchholtz (FOSAD, 2002)

Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. - Flemming Nielson; Hanne Riis Nielson; Helmut Seidl (SAS, 2002)

Flow logic for Dolev-Yao secrecy in cryptographic processes. - Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (Future Gener. Comput. Syst., 2002)

A Succinct Solver for ALFP. - Flemming Nielson; Helmut Seidl; Hanne Riis Nielson (Nord. J. Comput., 2002)

Validating firewalls using flow logics. - Flemming Nielson; Hanne Riis Nielson; René Rydhof Hansen (Theor. Comput. Sci., 2002)

Automatic Validation of Protocol Narration. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (CSFW, 2003)

Control Flow Analysis for BioAmbients. - Flemming Nielson; Hanne Riis Nielson; Corrado Priami; Debora Rosa (BioConcur@CONCUR, 2003)

Abstract interpretation of mobile ambients. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (Sci. Comput. Program., 2003)

Spatial Analysis of BioAmbients. - Hanne Riis Nielson; Flemming Nielson; Henrik Pilegaard (SAS, 2004)

The Succinct Solver Suite. - Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl (TACAS, 2004)

Performance Evaluation of Security Protocols Specified in LySa. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (QAPL, 2004)

A calculus for control flow analysis of security protocols. - Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson (Int. J. Inf. Sec., 2004)

On Evaluating the Performance of Security Protocols. - Chiara Bodei; Mikael Buchholtz; Michele Curti; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (PaCT, 2005)

Information Flow Analysis for VHDL. - Terkel K. Tolstrup; Flemming Nielson; Hanne Riis Nielson (PaCT, 2005)

Using static analysis to validate the SAML single sign-on protocol. - Steffen M. Hansen; Jakob Skriver; Hanne Riis Nielson (WITS, 2005)

Static Validation of a Voting Protocol. - Christoffer Rosenkilde Nielsen; Esben Heltoft Andersen; Hanne Riis Nielson (ARSPA@ICALP, 2005)

Static validation of security protocols. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (J. Comput. Secur., 2005)

Analysis of LYSA-calculus with explicit confidentiality annotations. - Han Gao 002; Hanne Riis Nielson (AINA (2), 2006)

Analyzing Security Protocols in Hierarchical Networks. - Ye Zhang 002; Hanne Riis Nielson (ATVA, 2006)

Types from Control Flow Analysis. - Flemming Nielson; Hanne Riis Nielson (Program Analysis and Compilation, 2006)

Data Flow Analysis for CCS. - Hanne Riis Nielson; Flemming Nielson (Program Analysis and Compilation, 2006)

06161 Abstracts Collection – Simulation and Verification of Dynamic Systems. - David M. Nicol; Corrado Priami; Hanne Riis Nielson; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

06161 Executive Summary – Simulation and Verification of Dynamic Systems. - Hanne Riis Nielson; David M. Nicol; Corrado Priami; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

Static Analysis of a Model of the LDL Degradation Pathway. - Henrik Pilegaard; Hanne Riis Nielson; Flemming Nielson (Simulation and Verification of Dynamic Systems, 2006)

Context Dependent Analysis of BioAmbients. - Henrik Pilegaard; Hanne Riis Nielson; Flemming Nielson (Simulation and Verification of Dynamic Systems, 2006)

Cryptographic Pattern Matching. - Christoffer Rosenkilde Nielsen; Flemming Nielson; Hanne Riis Nielson (VODCA@FOSAD, 2006)

Active Evaluation Contexts for Reaction Semantics. - Henrik Pilegaard; Flemming Nielson; Hanne Riis Nielson (SOS@CONCUR, 2006)

Static Analysis for Blinding. - Christoffer Rosenkilde Nielsen; Hanne Riis Nielson (Nord. J. Comput., 2006)

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. - Han Gao 002; Chiara Bodei; Pierpaolo Degano; Hanne Riis Nielson (ASIAN, 2007)

Topology-Dependent Abstractions of Broadcast Networks. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (CONCUR, 2007)

A flow-sensitive analysis of privacy properties. - Hanne Riis Nielson; Flemming Nielson (CSF, 2007)

Relational Analysis for Delivery of Services. - Flemming Nielson; Hanne Riis Nielson; Jörg Bauer 001; Christoffer Rosenkilde Nielsen; Henrik Pilegaard (TGC, 2007)

Heuristics for Safety and Security Constraints. - Flemming Nielson; Hanne Riis Nielson (Computation, Meaning, and Logic, 2007)

What is a free name in a process algebra? - Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard (Inf. Process. Lett., 2007)

Semantics with Applications: An Appetizer. - Hanne Riis Nielson; Flemming Nielson (Springer, 2007)

Static Validation of Licence Conformance Policies. - René Rydhof Hansen; Flemming Nielson; Hanne Riis Nielson; Christian W. Probst (ARES, 2008)

Advice for Coordination. - Chris Hankin; Flemming Nielson; Hanne Riis Nielson; Fan Yang (COORDINATION, 2008)

08161 Abstracts Collection - Scalable Program Analysis. - Florian Martin 001; Hanne Riis Nielson; Claudio Riva; Markus Schordan (Scalable Program Analysis, 2008)

Iterative Specialisation of Horn Clauses. - Christoffer Rosenkilde Nielsen; Flemming Nielson; Hanne Riis Nielson (ESOP, 2008)

Relational Analysis of Correlation. - Jörg Bauer 001; Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard (SAS, 2008)

Modal Abstractions of Concurrent Behaviour. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (SAS, 2008)

Pathway analysis for BioAmbients. - Henrik Pilegaard; Flemming Nielson; Hanne Riis Nielson (J. Log. Algebraic Methods Program., 2008)

Advice from Belnap Policies. - Chris Hankin; Flemming Nielson; Hanne Riis Nielson (CSF, 2009)

A monotone framework for CCS. - Hanne Riis Nielson; Flemming Nielson (Comput. Lang. Syst. Struct., 2009)

Model Checking Is Static Analysis of Modal Logic. - Flemming Nielson; Hanne Riis Nielson (FoSSaCS, 2010)

The CaPiTo Approach to Protocol Validation - (Invited Talk). - Flemming Nielson; Han Gao 002; Hanne Riis Nielson (ARSPA-WITS, 2010)

Model Checking Multivariate State Rewards. - Bo Friis Nielsen; Flemming Nielson; Hanne Riis Nielson (QEST, 2010)

Probabilistic Aspects: Checking Security in an Imperfect World. - Chris Hankin; Flemming Nielson; Hanne Riis Nielson (TGC, 2010)

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. - Piotr Filipiuk; Hanne Riis Nielson; Flemming Nielson (TAPAS@SAS, 2010)

Static analysis of topology-dependent broadcast networks. - Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson (Inf. Comput., 2010)

From Flow Logic to static type systems for coordination languages. - Rocco De Nicola; Daniele Gorla; René Rydhof Hansen; Flemming Nielson; Hanne Riis Nielson; Christian W. Probst; Rosario Pugliese (Sci. Comput. Program., 2010)

Analysing Protocol Stacks for Services. - Han Gao 002; Flemming Nielson; Hanne Riis Nielson (Results of the SENSORIA Project, 2011)

From Explicit to Symbolic Types for Communication Protocols in CCS. - Hanne Riis Nielson; Flemming Nielson; Jörg Kreiker; Henrik Pilegaard (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. - Fan Yang; Tomoyuki Aotani; Hidehiko Masuhara; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2011)

Galois Connections for Flow Algebras. - Piotr Filipiuk; Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (FMOODS/FORTE, 2011)

Resilience analysis of key update strategies for resource-constrained networks. - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson (ICUMT, 2011)

Controlling Modelling Artifacts. - Michael J. A. Smith; Flemming Nielson; Hanne Riis Nielson (QEST, 2011)

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson (Comput. J., 2011)

The Logic of XACML - Extended - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (CoRR, 2011)

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. - Alejandro Mario Hernandez; Flemming Nielson; Hanne Riis Nielson (Sci. Ann. Comput. Sci., 2011)

CaPiTo: protocol stacks for services. - Han Gao 002; Flemming Nielson; Hanne Riis Nielson (Formal Aspects Comput., 2011)

Modal abstractions of concurrent behavior. - Flemming Nielson; Sebastian Nanz; Hanne Riis Nielson (ACM Trans. Comput. Log., 2011)

Recursive Advice for Coordination. - Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (COORDINATION, 2012)

A Calculus for Quality. - Hanne Riis Nielson; Flemming Nielson; Roberto Vigo (FACS, 2012)

Model Checking as Static Analysis: Revisited. - Fuyuan Zhang; Flemming Nielson; Hanne Riis Nielson (IFM, 2012)

Key Update Assistant for resource-constrained networks. - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson (ISCC, 2012)

LBTool: A stochastic toolkit for leave-based key updates. - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Bo Friis Nielsen (ISCC, 2012)

XACML 3.0 in Answer Set Programming. - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (LOPSTR, 2012)

Layered fixed point logic. - Piotr Filipiuk; Flemming Nielson; Hanne Riis Nielson (PPDP, 2012)

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. - Ender Yüksel; Huibiao Zhu; Hanne Riis Nielson; Heqing Huang; Flemming Nielson (TASE, 2012)

Secondary use of data in EHR systems - Fan Yang; Chris Hankin; Flemming Nielson; Hanne Riis Nielson (CoRR, 2012)

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Huibiao Zhu; Heqing Huang (CoRR, 2012)

Optimizing ZigBee Security using Stochastic Model Checking - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Matthias Fruth; Marta Z. Kwiatkowska (CoRR, 2012)

Lattice based Least Fixed Point Logic - Piotr Filipiuk; Flemming Nielson; Hanne Riis Nielson (CoRR, 2012)

Flow Logic for Process Calculi. - Hanne Riis Nielson; Flemming Nielson; Henrik Pilegaard (ACM Comput. Surv., 2012)

Safety versus Security in the Quality Calculus. - Hanne Riis Nielson; Flemming Nielson (Theories of Programming and Formal Methods, 2013)

ICT-powered Health Care Processes - (Position Paper). - Marco Carbone; Anders Skovbo Christensen; Flemming Nielson; Hanne Riis Nielson; Thomas T. Hildebrandt; Martin Sølvkjær (FHIES, 2013)

Probabilistic Analysis of the Quality Calculus. - Hanne Riis Nielson; Flemming Nielson (FMOODS/FORTE, 2013)

Broadcast, Denial-of-Service, and Secure Communication. - Roberto Vigo; Flemming Nielson; Hanne Riis Nielson (IFM, 2013)

Lazy Mobile Intruders. - Sebastian Mödersheim; Flemming Nielson; Hanne Riis Nielson (POST, 2013)

Pushdown Systems for Monotone Frameworks. - Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (CoRR, 2013)

Design-Efficiency in Security - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson (CoRR, 2013)

Predictive access control for distributed computation. - Fan Yang; Chris Hankin; Flemming Nielson; Hanne Riis Nielson (Sci. Comput. Program., 2013)

The Stochastic Quality Calculus. - Kebin Zeng; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2014)

Automated Generation of Attack Trees. - Roberto Vigo; Flemming Nielson; Hanne Riis Nielson (CSF, 2014)

Uniform Protection for Multi-exposed Targets. - Roberto Vigo; Flemming Nielson; Hanne Riis Nielson (FORTE, 2014)

Denial-of-Service Security Attack in the Continuous-Time World. - Shuling Wang 003; Flemming Nielson; Hanne Riis Nielson (FORTE, 2014)

Formal Security Analysis of the MaCAN Protocol. - Alessandro Bruni; Michal Sojka; Flemming Nielson; Hanne Riis Nielson (IFM, 2014)

Trust-Based Enforcement of Security Policies. - Roberto Vigo; Alessandro Celestini; Francesco Tiezzi 001; Rocco De Nicola; Flemming Nielson; Hanne Riis Nielson (TGC, 2014)

A Framework for Hybrid Systems with Denial-of-Service Security Attack. - Shuling Wang 003; Flemming Nielson; Hanne Riis Nielson (CoRR, 2014)

The logic of XACML. - Carroline Dewi Puspa Kencana Ramli; Hanne Riis Nielson; Flemming Nielson (Sci. Comput. Program., 2014)

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Huibiao Zhu; Heqing Huang (Int. J. Softw. Tools Technol. Transf., 2014)

Discretionary Information Flow Control for Interaction-Oriented Specifications. - Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (Logic, Rewriting, and Concurrency, 2015)

Hoare Logic for Disjunctive Information Flow. - Hanne Riis Nielson; Flemming Nielson; Ximeng Li 001 (Programming Languages with Applications to Biology and Security, 2015)

Stochastic Model Checking of the Stochastic Quality Calculus. - Flemming Nielson; Hanne Riis Nielson; Kebin Zeng (Software, Services, and Systems, 2015)

Klaim-DB: A Modeling Language for Distributed Database Applications. - Xi Wu 005; Ximeng Li 001; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2015)

Set-Pi: Set Membership p-Calculus. - Alessandro Bruni; Sebastian Mödersheim; Flemming Nielson; Hanne Riis Nielson (CSF, 2015)

Factorization of Behavioral Integrity. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (ESORICS (2), 2015)

How to Trust the Re-use of Data. - Erisa Karafili; Hanne Riis Nielson; Flemming Nielson (STM, 2015)

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. - Xi Wu 005; Hanne Riis Nielson; Huibiao Zhu (TASE, 2015)

Disjunctive Information Flow for Communicating Processes. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson; Xinyu Feng 001 (TGC, 2015)

A calculus of quality for robustness against unreliable communication. - Hanne Riis Nielson; Flemming Nielson; Roberto Vigo (J. Log. Algebraic Methods Program., 2015)

Future-dependent Flow Policies with Prophetic Variables. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (PLAS@CCS, 2016)

Enforcing Availability in Failure-Aware Communicating Systems. - Hugo A. López 001; Flemming Nielson; Hanne Riis Nielson (FORTE, 2016)

Content-Dependent Security Policies in Avionics. - Tomasz Maciazek; Hanne Riis Nielson; Flemming Nielson (MILS@HiPEAC, 2016)

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. - Andrea Margheri; Hanne Riis Nielson; Flemming Nielson; Rosario Pugliese (ISoLA (1), 2016)

Iterated process analysis over lattice-valued regular expressions. - Jan Midtgaard; Flemming Nielson; Hanne Riis Nielson (PPDP, 2016)

A Parametric Abstract Domain for Lattice-Valued Regular Expressions. - Jan Midtgaard; Flemming Nielson; Hanne Riis Nielson (SAS, 2016)

A Coordination Language for Databases. - Ximeng Li 001; Xi Wu 005; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (Log. Methods Comput. Sci., 2016)

A Theory of Available-by-Design Communicating Systems. - Hugo A. López 001; Flemming Nielson; Hanne Riis Nielson (CoRR, 2016)

Discovering, quantifying, and displaying attacks. - Roberto Vigo; Flemming Nielson; Hanne Riis Nielson (Log. Methods Comput. Sci., 2016)

Information Flow for Timed Automata. - Flemming Nielson; Hanne Riis Nielson; Panagiotis Vasilikos (Models, Algorithms, Logics and Tools, 2017)

Time Dependent Policy-Based Access Control. - Panagiotis Vasilikos; Flemming Nielson; Hanne Riis Nielson (TIME, 2017)

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. - Shuling Wang 003; Flemming Nielson; Hanne Riis Nielson; Naijun Zhan (Comput. J., 2017)

Atomistic Galois insertions for flow sensitive integrity. - Flemming Nielson; Hanne Riis Nielson (Comput. Lang. Syst. Struct., 2017)

Content dependent information flow control. - Hanne Riis Nielson; Flemming Nielson (J. Log. Algebraic Methods Program., 2017)

Effect-driven QuickChecking of compilers. - Jan Midtgaard; Mathias Nygaard Justesen; Patrick Kasting; Flemming Nielson; Hanne Riis Nielson (Proc. ACM Program. Lang., 2017)

Multi-valued Logic for Static Analysis and Model Checking. - Flemming Nielson; Hanne Riis Nielson; Fuyuan Zhang (Models, Mindsets, Meta, 2018)

Secure Information Release in Timed Automata. - Panagiotis Vasilikos; Flemming Nielson; Hanne Riis Nielson (POST, 2018)

Process-Local Static Analysis of Synchronous Processes. - Jan Midtgaard; Flemming Nielson; Hanne Riis Nielson (SAS, 2018)

Lightweight Information Flow. - Flemming Nielson; Hanne Riis Nielson (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Timing Leaks and Coarse-Grained Clocks. - Panagiotis Vasilikos; Hanne Riis Nielson; Flemming Nielson; Boris Köpf (CSF, 2019)

Enforcing globally dependent flow policies in message-passing systems. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (J. Comput. Lang., 2019)

Secure Guarded Commands. - Flemming Nielson; Hanne Riis Nielson (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

Adaptive Security Policies. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (ISoLA (2), 2020)

Program Analysis (an Appetizer). - Flemming Nielson; Hanne Riis Nielson (CoRR, 2020)

Benign Interaction of Security Domains. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (Protocols, Strands, and Logic, 2021)