Flemming Nielson

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 28

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
Isabelle-verified correctness of Datalog programs for program analysis. SAC (2024)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Benign Interaction of Security Domains. Protocols, Strands, and Logic (2021)
Flemming Nielson, Hanne Riis Nielson
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Flemming Nielson, Hanne Riis Nielson
Program Analysis (an Appetizer). CoRR (2020)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Adaptive Security Policies. ISoLA (2) (2020)
Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
Timing Leaks and Coarse-Grained Clocks. CSF (2019)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019)
Flemming Nielson, Hanne Riis Nielson
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Process-Local Static Analysis of Synchronous Processes. SAS (2018)
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta (2018)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Secure Information Release in Timed Automata. POST (2018)
Hanne Riis Nielson, Flemming Nielson
Content dependent information flow control. J. Log. Algebraic Methods Program. 87 (2017)
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools (2017)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Time Dependent Policy-Based Access Control. TIME (2017)
Flemming Nielson, Hanne Riis Nielson
Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. 50 (2017)
Zaruhi Aslanyan, Flemming Nielson
Model Checking Exact Cost for Attack Scenarios. POST (2017)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60 (8) (2017)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Iterated process analysis over lattice-valued regular expressions. PPDP (2016)
Zaruhi Aslanyan, Flemming Nielson, David Parker
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF (2016)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. 12 (4) (2016)
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) (2016)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Enforcing Availability in Failure-Aware Communicating Systems. FORTE (2016)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS (2016)
Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson
Content-Dependent Security Policies in Avionics. MILS@HiPEAC (2016)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
A Theory of Available-by-Design Communicating Systems. CoRR (2016)
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
A Coordination Language for Databases. Log. Methods Comput. Sci. 13 (1) (2016)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS (2016)
Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems (2015)
Hanne Riis Nielson, Flemming Nielson, Ximeng Li
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Factorization of Behavioral Integrity. ESORICS (2) (2015)
Erisa Karafili, Hanne Riis Nielson, Flemming Nielson
How to Trust the Re-use of Data. STM (2015)
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
Disjunctive Information Flow for Communicating Processes. TGC (2015)
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84 (5) (2015)
Zaruhi Aslanyan, Flemming Nielson
Pareto Efficient Solutions of Attack-Defence Trees. POST (2015)
Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Set-Pi: Set Membership p-Calculus. CSF (2015)
Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst
Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE (2015)
Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency (2015)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Jose Quaresma, Christian W. Probst, Flemming Nielson
The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) (2014)
Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
The Stochastic Quality Calculus. COORDINATION (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
Denial-of-Service Security Attack in the Continuous-Time World. FORTE (2014)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The logic of XACML. Sci. Comput. Program. 83 (2014)
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
Formal Security Analysis of the MaCAN Protocol. IFM (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR (2014)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Automated Generation of Attack Trees. CSF (2014)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Uniform Protection for Multi-exposed Targets. FORTE (2014)
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
Trust-Based Enforcement of Security Policies. TGC (2014)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Design-Efficiency in Security CoRR (2013)
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Lazy Mobile Intruders. POST (2013)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Predictive access control for distributed computation. Sci. Comput. Program. 78 (9) (2013)
Hanne Riis Nielson, Flemming Nielson
Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods (2013)
Nataliya Skrypnyuk, Flemming Nielson
Reachability for Finite-State Process Algebras using Horn Clauses. Int. J. Found. Comput. Sci. 24 (2) (2013)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Broadcast, Denial-of-Service, and Secure Communication. IFM (2013)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Pushdown Systems for Monotone Frameworks. CoRR (2013)
Hanne Riis Nielson, Flemming Nielson
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE (2013)
Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
ICT-powered Health Care Processes - (Position Paper). FHIES (2013)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming. LOPSTR (2012)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Secondary use of data in EHR systems CoRR (2012)
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
Model Checking as Static Analysis: Revisited. IFM (2012)
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
Flow Logic for Process Calculi. ACM Comput. Surv. 44 (1) (2012)
Alejandro Mario Hernandez, Flemming Nielson
A generic approach for security policies composition: position paper. PLAS (2012)
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
A Calculus for Quality. FACS (2012)
David N. Jansen, Flemming Nielson, Lijun Zhang
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods (2012)
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE (2012)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Recursive Advice for Coordination. COORDINATION (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen
LBTool: A stochastic toolkit for leave-based key updates. ISCC (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered fixed point logic. PPDP (2012)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
Optimizing ZigBee Security using Stochastic Model Checking CoRR (2012)
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang
Roadmap Document on Stochastic Analysis CoRR (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered Fixed Point Logic CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Key Update Assistant for resource-constrained networks. ISCC (2012)
Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard
Static Analysis of IMC. J. Log. Algebraic Methods Program. 81 (4) (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Lattice based Least Fixed Point Logic CoRR (2012)
Lei Song, Flemming Nielson, Bo Friis Nielsen
A Stochastic Broadcast Pi-Calculus QAPL (2011)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML. FACS (2011)
Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12 (3) (2011)
Han Gao, Flemming Nielson, Hanne Riis Nielson
CaPiTo: protocol stacks for services. Formal Aspects Comput. 23 (4) (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Resilience analysis of key update strategies for resource-constrained networks. ICUMT (2011)
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Galois Connections for Flow Algebras. FMOODS/FORTE (2011)
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION (2011)
Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
Automata-Based CSL Model Checking Log. Methods Comput. Sci. 8 (2) (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54 (4) (2011)
Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson
Controlling Modelling Artifacts. QEST (2011)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML - Extended CoRR (2011)
Nataliya Skrypnyuk, Flemming Nielson
Reachability for Finite-State Process Algebras Using Static Analysis. RP (2011)
Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
Automata-Based CSL Model Checking. ICALP (2) (2011)
Flemming Nielson, Hanne Riis Nielson
Static Analysis of Modal Logic. FoSSaCS (2010)
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
Static analysis of topology-dependent broadcast networks. Inf. Comput. 208 (2) (2010)
Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson
Model Checking Multivariate State Rewards. QEST (2010)
Alejandro Mario Hernandez, Flemming Nielson
History-sensitive versus future-sensitive approaches to security in distributed systems ICE (2010)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75 (6) (2010)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Probabilistic Aspects: Checking Security in an Imperfect World. TGC (2010)
Flemming Nielson, Han Gao, Hanne Riis Nielson
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS (2010)

Flemming Nielson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Flemming Nielson