default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlemming Nielson
Person information
- affiliation: Technical University of Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c147]Anders Schlichtkrull
, René Rydhof Hansen, Flemming Nielson:
Isabelle-verified correctness of Datalog programs for program analysis. SAC 2024: 1731-1734- 2021
- [c146]Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson:
Benign Interaction of Security Domains. Protocols, Strands, and Logic 2021: 312-331 - 2020
- [c145]Flemming Nielson, Hanne Riis Nielson:
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 201-215 - [c144]Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson:
Adaptive Security Policies. ISoLA (2) 2020: 280-294 - [i17]Flemming Nielson, Hanne Riis Nielson:
Program Analysis (an Appetizer). CoRR abs/2012.10086 (2020)
2010 – 2019
- 2019
- [j53]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019) - [c143]Flemming Nielson, Hanne Riis Nielson:
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 455-470 - [c142]Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf:
Timing Leaks and Coarse-Grained Clocks. CSF 2019: 32-47 - [p4]Michael Huth, Flemming Nielson:
Static Analysis for Proactive Security. Computing and Software Science 2019: 374-392 - [e2]Flemming Nielson, David Sands:
Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Lecture Notes in Computer Science 11426, Springer 2019, ISBN 978-3-030-17137-7 [contents] - 2018
- [c141]Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang:
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta 2018: 89-109 - [c140]Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Secure Information Release in Timed Automata. POST 2018: 28-52 - [c139]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Process-Local Static Analysis of Synchronous Processes. SAS 2018: 284-305 - 2017
- [j52]Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan:
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60(8): 1111-1130 (2017) - [j51]Flemming Nielson, Hanne Riis Nielson:
Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. 50: 82-107 (2017) - [j50]Hanne Riis Nielson, Flemming Nielson:
Content dependent information flow control. J. Log. Algebraic Methods Program. 87: 6-32 (2017) - [j49]Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson:
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1(ICFP): 15:1-15:23 (2017) - [c138]Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos:
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools 2017: 3-21 - [c137]Zaruhi Aslanyan, Flemming Nielson:
Model Checking Exact Cost for Attack Scenarios. POST 2017: 210-231 - [c136]Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Time Dependent Policy-Based Access Control. TIME 2017: 21:1-21:18 - 2016
- [j48]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. 12(4) (2016) - [j47]Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016) - [c135]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS 2016: 29-42 - [c134]Zaruhi Aslanyan, Flemming Nielson, David Parker:
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF 2016: 105-119 - [c133]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
Enforcing Availability in Failure-Aware Communicating Systems. FORTE 2016: 195-211 - [c132]Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson:
Content-Dependent Security Policies in Avionics. MILS@HiPEAC 2016 - [c131]Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese:
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569 - [c130]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Iterated process analysis over lattice-valued regular expressions. PPDP 2016: 132-145 - [c129]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS 2016: 338-360 - [i16]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
A Theory of Available-by-Design Communicating Systems. CoRR abs/1611.05651 (2016) - 2015
- [j46]Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84(5): 611-639 (2015) - [c128]Hanne Riis Nielson, Flemming Nielson, Ximeng Li:
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security 2015: 47-65 - [c127]Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450 - [c126]Flemming Nielson, Hanne Riis Nielson, Kebin Zeng:
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems 2015: 522-537 - [c125]Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst:
Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE 2015: 121-124 - [c124]Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212 - [c123]Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Set-Pi: Set Membership p-Calculus. CSF 2015: 185-198 - [c122]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Factorization of Behavioral Integrity. ESORICS (2) 2015: 500-519 - [c121]Zaruhi Aslanyan, Flemming Nielson:
Pareto Efficient Solutions of Attack-Defence Trees. POST 2015: 95-114 - [c120]Erisa Karafili, Hanne Riis Nielson, Flemming Nielson:
How to Trust the Re-use of Data. STM 2015: 72-88 - [c119]Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng:
Disjunctive Information Flow for Communicating Processes. TGC 2015: 95-111 - 2014
- [j45]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The logic of XACML. Sci. Comput. Program. 83: 80-105 (2014) - [j44]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): 421-435 (2014) - [c118]Kebin Zeng, Flemming Nielson, Hanne Riis Nielson:
The Stochastic Quality Calculus. COORDINATION 2014: 179-193 - [c117]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Automated Generation of Attack Trees. CSF 2014: 337-350 - [c116]Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
Denial-of-Service Security Attack in the Continuous-Time World. FORTE 2014: 149-165 - [c115]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Uniform Protection for Multi-exposed Targets. FORTE 2014: 182-198 - [c114]Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson:
Formal Security Analysis of the MaCAN Protocol. IFM 2014: 241-255 - [c113]Jose Quaresma, Christian W. Probst, Flemming Nielson:
The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) 2014: 509-523 - [c112]Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191 - [i15]Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR abs/1403.6367 (2014) - 2013
- [j43]Nataliya Skrypnyuk, Flemming Nielson:
Reachability for Finite-State Process Algebras using Horn Clauses. Int. J. Found. Comput. Sci. 24(2): 283- (2013) - [j42]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Predictive access control for distributed computation. Sci. Comput. Program. 78(9): 1264-1277 (2013) - [c111]Hanne Riis Nielson, Flemming Nielson:
Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods 2013: 285-303 - [c110]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: 59-68 - [c109]Hanne Riis Nielson, Flemming Nielson:
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE 2013: 258-272 - [c108]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Broadcast, Denial-of-Service, and Secure Communication. IFM 2013: 412-427 - [c107]Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Lazy Mobile Intruders. POST 2013: 147-166 - [i14]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Design-Efficiency in Security. CoRR abs/1302.1111 (2013) - [i13]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Pushdown Systems for Monotone Frameworks. CoRR abs/1307.4585 (2013) - 2012
- [j41]Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard:
Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3:1-3:39 (2012) - [j40]Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard:
Static Analysis of IMC. J. Log. Algebraic Methods Program. 81(4): 522-540 (2012) - [c106]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Recursive Advice for Coordination. COORDINATION 2012: 137-151 - [c105]Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A Calculus for Quality. FACS 2012: 188-204 - [c104]Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson:
Model Checking as Static Analysis: Revisited. IFM 2012: 99-112 - [c103]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81 - [c102]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen:
LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875 - [c101]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105 - [c100]David N. Jansen, Flemming Nielson, Lijun Zhang:
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340 - [c99]Alejandro Mario Hernandez, Flemming Nielson:
A generic approach for security policies composition: position paper. PLAS 2012: 5 - [c98]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Layered fixed point logic. PPDP 2012: 45-54 - [c97]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: 25-32 - [i12]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012) - [i11]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Layered Fixed Point Logic. CoRR abs/1204.2768 (2012) - [i10]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang:
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012) - [i9]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska:
Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012) - [i8]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012) - [i7]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012) - [i6]Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang:
Roadmap Document on Stochastic Analysis. CoRR abs/1209.6578 (2012) - 2011
- [j39]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54(4): 589-601 (2011) - [j38]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. Log. Methods Comput. Sci. 8(2) (2011) - [j37]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): 107-149 (2011) - [j36]Han Gao, Flemming Nielson, Hanne Riis Nielson:
CaPiTo: protocol stacks for services. Formal Aspects Comput. 23(4): 541-565 (2011) - [j35]Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson:
Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18:1-18:40 (2011) - [c96]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: 74-89 - [c95]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: 202-218 - [c94]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML. FACS 2011: 205-222 - [c93]Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152 - [c92]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282 - [c91]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8 - [c90]Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson:
Controlling Modelling Artifacts. QEST 2011: 171-180 - [c89]Nataliya Skrypnyuk, Flemming Nielson:
Reachability for Finite-State Process Algebras Using Static Analysis. RP 2011: 231-244 - [c88]Lei Song, Flemming Nielson, Bo Friis Nielsen:
A Stochastic Broadcast Pi-Calculus. QAPL 2011: 74-88 - [p3]Han Gao, Flemming Nielson, Hanne Riis Nielson:
Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389 - [i5]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML - Extended. CoRR abs/1110.3706 (2011) - 2010
- [j34]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010) - [j33]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): 376-397 (2010) - [c87]Flemming Nielson, Hanne Riis Nielson:
Model Checking Is Static Analysis of Modal Logic. FoSSaCS 2010: 191-205 - [c86]Flemming Nielson, Han Gao, Hanne Riis Nielson:
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1 - [c85]Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson:
Model Checking Multivariate State Rewards. QEST 2010: 7-16 - [c84]Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363 - [c83]Alejandro Mario Hernandez, Flemming Nielson:
History-sensitive versus future-sensitive approaches to security in distributed systems. ICE 2010: 29-43 - [c82]Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson:
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. TAPAS@SAS 2010: 15-28
2000 – 2009
- 2009
- [j32]Hanne Riis Nielson, Flemming Nielson:
A monotone framework for CCS. Comput. Lang. Syst. Struct. 35(4): 365-394 (2009) - [c81]Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Advice from Belnap Policies. CSF 2009: 234-247 - [c80]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345 - [e1]Christos Kaklamanis, Flemming Nielson:
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5474, Springer 2009, ISBN 978-3-642-00944-0 [contents] - 2008
- [j31]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. 77(1-2): 92-130 (2008) - [c79]René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst:
Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111 - [c78]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. COORDINATION 2008: 100-116 - [c77]Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang:
Advice for Coordination. COORDINATION 2008: 153-168 - [c76]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145 - [c75]Ye Zhang, Torben Amtoft, Flemming Nielson:
From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54 - [c74]Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
Relational Analysis of Correlation. SAS 2008: 32-46 - [c73]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173 - 2007
- [b6]Hanne Riis Nielson, Flemming Nielson:
Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-691-9, pp. i-xii, 1-274 - [j30]Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007) - [c72]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240 - [c71]Hanne Riis Nielson, Flemming Nielson:
A flow-sensitive analysis of privacy properties. CSF 2007: 249-264 - [c70]Ye Zhang, Flemming Nielson:
A Scalable Inclusion Constraint Solver Using Unification. LOPSTR 2007: 121-137 - [c69]Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard:
Relational Analysis for Delivery of Services. TGC 2007: 73-89 - [c68]Flemming Nielson, Hanne Riis Nielson:
Heuristics for Safety and Security Constraints. Computation, Meaning, and Logic 2007: 523-543 - 2006
- [c67]