Flemming Nielson

230 papers A* 7A 19B 26C 17Misc 2Journal 68Unranked 79

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Stratified Datalog and Program Analysis. Arch. Formal Proofs Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
2024	Misc	`conf`	Isabelle-verified correctness of Datalog programs for program analysis. SAC Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
2021	—	`conf`	Benign Interaction of Security Domains. Protocols, Strands, and Logic Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2020	—	`conf`	Adaptive Security Policies. ISoLA (2) Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2020	J	`jnl`	Program Analysis (an Appetizer). CoRR Flemming Nielson, Hanne Riis Nielson
2020	—	`conf`	Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis Flemming Nielson, Hanne Riis Nielson
2019	J	`jnl`	Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2019	—	`conf`	Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming Flemming Nielson, Hanne Riis Nielson
2019	—	`ed.`	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 POST Flemming Nielson, David Sands
2019	—	`ch.`	Static Analysis for Proactive Security. Computing and Software Science Michael Huth, Flemming Nielson
2019	A	`conf`	Timing Leaks and Coarse-Grained Clocks. CSF Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
2018	—	`conf`	Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
2018	B	`conf`	Process-Local Static Analysis of Synchronous Processes. SAS Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2018	—	`conf`	Secure Information Release in Timed Automata. POST Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
2017	J	`jnl`	Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. Flemming Nielson, Hanne Riis Nielson
2017	J	`jnl`	Content dependent information flow control. J. Log. Algebraic Methods Program. Hanne Riis Nielson, Flemming Nielson
2017	J	`jnl`	Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
2017	—	`conf`	Information Flow for Timed Automata. Models, Algorithms, Logics and Tools Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
2017	—	`conf`	Model Checking Exact Cost for Attack Scenarios. POST Zaruhi Aslanyan, Flemming Nielson
2017	J	`jnl`	Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
2017	C	`conf`	Time Dependent Policy-Based Access Control. TIME Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
2016	J	`jnl`	A Coordination Language for Databases. Log. Methods Comput. Sci. Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2016	B	`conf`	A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016	J	`jnl`	A Theory of Available-by-Design Communicating Systems. CoRR Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2016	—	`conf`	Content-Dependent Security Policies in Avionics. MILS@HiPEAC Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson
2016	J	`jnl`	Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2016	C	`conf`	Enforcing Availability in Failure-Aware Communicating Systems. FORTE Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2016	—	`conf`	Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2016	C	`conf`	Iterated process analysis over lattice-valued regular expressions. PPDP Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016	A	`conf`	Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF Zaruhi Aslanyan, Flemming Nielson, David Parker
2016	—	`conf`	Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
2015	J	`jnl`	A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2015	—	`conf`	Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Disjunctive Information Flow for Communicating Processes. TGC Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
2015	—	`conf`	Factorization of Behavioral Integrity. ESORICS (2) Ximeng Li, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security Hanne Riis Nielson, Flemming Nielson, Ximeng Li
2015	—	`conf`	How to Trust the Re-use of Data. STM Erisa Karafili, Hanne Riis Nielson, Flemming Nielson
2015	C	`conf`	Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst
2015	—	`conf`	Pareto Efficient Solutions of Attack-Defence Trees. POST Zaruhi Aslanyan, Flemming Nielson
2015	A	`conf`	Set-Pi: Set Membership p-Calculus. CSF Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
2015	—	`conf`	Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
2014	J	`jnl`	A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2014	A	`conf`	Automated Generation of Attack Trees. CSF Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2014	C	`conf`	Denial-of-Service Security Attack in the Continuous-Time World. FORTE Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2014	B	`conf`	Formal Security Analysis of the MaCAN Protocol. IFM Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
2014	J	`jnl`	Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2014	—	`conf`	The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) Jose Quaresma, Christian W. Probst, Flemming Nielson
2014	C	`conf`	The Stochastic Quality Calculus. COORDINATION Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
2014	J	`jnl`	The logic of XACML. Sci. Comput. Program. Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2014	—	`conf`	Trust-Based Enforcement of Security Policies. TGC Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
2014	C	`conf`	Uniform Protection for Multi-exposed Targets. FORTE Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013	B	`conf`	Broadcast, Denial-of-Service, and Secure Communication. IFM Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013	J	`jnl`	Design-Efficiency in Security CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2013	—	`conf`	ICT-powered Health Care Processes - (Position Paper). FHIES Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
2013	—	`conf`	Lazy Mobile Intruders. POST Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
2013	J	`jnl`	Predictive access control for distributed computation. Sci. Comput. Program. Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2013	—	`conf`	Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE Hanne Riis Nielson, Flemming Nielson
2013	J	`jnl`	Pushdown Systems for Monotone Frameworks. CoRR Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2013	J	`jnl`	Reachability for Finite-State Process Algebras using Horn Clauses. Int. J. Found. Comput. Sci. Nataliya Skrypnyuk, Flemming Nielson
2013	—	`conf`	Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods Hanne Riis Nielson, Flemming Nielson
2012	—	`conf`	A Calculus for Quality. FACS Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2012	—	`conf`	A generic approach for security policies composition: position paper. PLAS Alejandro Mario Hernandez, Flemming Nielson
2012	—	`conf`	Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods David N. Jansen, Flemming Nielson, Lijun Zhang
2012	J	`jnl`	Flow Logic for Process Calculi. ACM Comput. Surv. Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
2012	C	`conf`	Key Update Assistant for resource-constrained networks. ISCC Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2012	C	`conf`	LBTool: A stochastic toolkit for leave-based key updates. ISCC Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen
2012	J	`jnl`	Lattice based Least Fixed Point Logic CoRR Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	Layered Fixed Point Logic CoRR Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	C	`conf`	Layered fixed point logic. PPDP Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
2012	B	`conf`	Model Checking as Static Analysis: Revisited. IFM Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
2012	Misc	`conf`	Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
2012	J	`jnl`	Optimizing ZigBee Security using Stochastic Model Checking CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
2012	C	`conf`	Recursive Advice for Coordination. COORDINATION Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2012	J	`jnl`	Roadmap Document on Stochastic Analysis CoRR Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang
2012	J	`jnl`	Secondary use of data in EHR systems CoRR Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2012	J	`jnl`	Static Analysis of IMC. J. Log. Algebraic Methods Program. Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard
2012	J	`jnl`	XACML 3.0 in Answer Set Programming CoRR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2012	C	`conf`	XACML 3.0 in Answer Set Programming. LOPSTR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2011	—	`conf`	A Stochastic Broadcast Pi-Calculus QAPL Lei Song, Flemming Nielson, Bo Friis Nielsen
2011	—	`ch.`	Analysing Protocol Stacks for Services. Results of the SENSORIA Project Han Gao, Flemming Nielson, Hanne Riis Nielson
2011	J	`jnl`	Automata-Based CSL Model Checking Log. Methods Comput. Sci. Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
2011	—	`conf`	Automata-Based CSL Model Checking. ICALP (2) Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
2011	J	`jnl`	CaPiTo: protocol stacks for services. Formal Aspects Comput. Han Gao, Flemming Nielson, Hanne Riis Nielson
2011	C	`conf`	Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
2011	—	`conf`	Controlling Modelling Artifacts. QEST Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson
2011	J	`jnl`	Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson
2011	—	`conf`	From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
2011	—	`conf`	Galois Connections for Flow Algebras. FMOODS/FORTE Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
2011	—	`conf`	Reachability for Finite-State Process Algebras Using Static Analysis. RP Nataliya Skrypnyuk, Flemming Nielson
2011	—	`conf`	Resilience analysis of key update strategies for resource-constrained networks. ICUMT Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2011	J	`jnl`	The Logic of XACML - Extended CoRR Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2011	—	`conf`	The Logic of XACML. FACS Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
2010	—	`conf`	Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. TAPAS@SAS Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson
2010	J	`jnl`	From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2010	—	`conf`	History-sensitive versus future-sensitive approaches to security in distributed systems ICE Alejandro Mario Hernandez, Flemming Nielson
2010	B	`conf`	Model Checking FoSSaCS Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	Model Checking Multivariate State Rewards. QEST Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	Probabilistic Aspects: Checking Security in an Imperfect World. TGC Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2010	J	`jnl`	Static analysis of topology-dependent broadcast networks. Inf. Comput. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2010	—	`conf`	The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS Flemming Nielson, Han Gao, Hanne Riis Nielson
2009	J	`jnl`	A monotone framework for CCS. Comput. Lang. Syst. Struct. Hanne Riis Nielson, Flemming Nielson
2009	—	`conf`	A secure key establishment protocol for zigbee wireless sensor networks. ISCIS Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
2009	A	`conf`	Advice from Belnap Policies. CSF Chris Hankin, Flemming Nielson, Hanne Riis Nielson
2009	—	`ed.`	Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers TGC Christos Kaklamanis, Flemming Nielson
2008	C	`conf`	Advice for Coordination. COORDINATION Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
2008	C	`conf`	From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008	B	`conf`	From generic to specific: off-line optimization for a general constraint solver. GPCE Ye Zhang, Torben Amtoft, Flemming Nielson
2008	A	`conf`	Iterative Specialisation of Horn Clauses. ESOP Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
2008	B	`conf`	Modal Abstractions of Concurrent Behaviour. SAS Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2008	J	`jnl`	Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
2008	B	`conf`	Relational Analysis of Correlation. SAS Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2008	B	`conf`	Static Validation of Licence Conformance Policies. ARES René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst
2007	C	`conf`	A Scalable Inclusion Constraint Solver Using Unification. LOPSTR Ye Zhang, Flemming Nielson
2007	A	`conf`	A flow-sensitive analysis of privacy properties. CSF Hanne Riis Nielson, Flemming Nielson
2007	—	`conf`	Heuristics for Safety and Security Constraints. Computation, Meaning, and Logic Flemming Nielson, Hanne Riis Nielson
2007	—	`conf`	Relational Analysis for Delivery of Services. TGC Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
2007	—	`book`	Semantics with Applications: An Appetizer. Hanne Riis Nielson, Flemming Nielson
2007	B	`conf`	Topology-Dependent Abstractions of Broadcast Networks. CONCUR Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
2007	J	`jnl`	What is a free name in a process algebra? Inf. Process. Lett. Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher
2006	—	`conf`	Active Evaluation Contexts for Reaction Semantics. SOS@CONCUR Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
2006	—	`conf`	Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
2006	—	`conf`	Cryptographic Pattern Matching. VODCA@FOSAD Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
2006	—	`conf`	Data Flow Analysis for CCS. Program Analysis and Compilation Hanne Riis Nielson, Flemming Nielson
2006	—	`conf`	Locality-Based Security Policies. Formal Aspects in Security and Trust Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen
2006	B	`conf`	Sandboxing in myKlaim. ARES René Rydhof Hansen, Christian W. Probst, Flemming Nielson
2006	—	`conf`	Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
2006	—	`conf`	Types from Control Flow Analysis. Program Analysis and Compilation Flemming Nielson, Hanne Riis Nielson
2006	—	`conf`	Where Can an Insider Attack? Formal Aspects in Security and Trust Christian W. Probst, René Rydhof Hansen, Flemming Nielson
2005	B	`conf`	Information Flow Analysis for VHDL. PaCT Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson
2005	B	`conf`	On Evaluating the Performance of Security Protocols. PaCT Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2005	J	`jnl`	Static validation of security protocols. J. Comput. Secur. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2004	J	`jnl`	A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson
2004	—	`conf`	Performance Evaluation of Security Protocols Specified in LySa. QAPL Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2004	—	`conf`	Securing Statically-verified Communications Protocols Against Timing Attacks. PASM Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
2004	B	`conf`	Spatial Analysis of BioAmbients. SAS Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
2004	A	`conf`	The Succinct Solver Suite. TACAS Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
2003	J	`jnl`	Abstract interpretation of mobile ambients. Sci. Comput. Program. Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
2003	—	`conf`	Automatic Validation of Protocol Narration. CSFW Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2003	—	`conf`	Control Flow Analysis for BioAmbients. BioConcur@CONCUR Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
2002	J	`jnl`	A Succinct Solver for ALFP. Nord. J. Comput. Flemming Nielson, Helmut Seidl, Hanne Riis Nielson
2002	A	`conf`	Automatic Complexity Analysis. ESOP Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2002	—	`conf`	Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation Hanne Riis Nielson, Flemming Nielson
2002	J	`jnl`	Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Gener. Comput. Syst. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2002	B	`conf`	Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2002	—	`conf`	Security for Mobility. FOSAD Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
2002	J	`jnl`	Validating firewalls using flow logics. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
2001	A	`conf`	Control-Flow Analysis in Cubic Time. ESOP Flemming Nielson, Helmut Seidl
2001	—	`conf`	Cryptographic Analysis in Cubic Time. TOSCA Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2001	J	`jnl`	Kleene's Logic with Equality. Inf. Process. Lett. Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2001	—	`ch.`	Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Shape Analysis for Mobile Ambients. Nord. J. Comput. Hanne Riis Nielson, Flemming Nielson
2001	B	`conf`	Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2001	J	`jnl`	Succinct Solvers Universität Trier, Mathematik/Informatik, Forschungsbericht Flemming Nielson, Helmut Seidl
2000	A	`conf`	A Kleene Analysis of Mobile Ambients. ESOP Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2000	J	`jnl`	Security Analysis using Flow Logics. Bull. EATCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
2000	A*	`conf`	Shape Analysis for Mobile Ambients. POPL Hanne Riis Nielson, Flemming Nielson
1999	B	`conf`	Abstract Interpretation of Mobile Ambients. SAS René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
1999	A	`conf`	Interprocedural Control Flow Analysis. ESOP Flemming Nielson, Hanne Riis Nielson
1999	—	`book`	Principles of program analysis. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
1999	B	`conf`	Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1999	—	`conf`	Type and Effect Systems. Correct System Design Flemming Nielson, Hanne Riis Nielson
1999	—	`book`	Type and effect systems - behaviours for concurrency. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1999	B	`conf`	Validating Firewalls in Mobile Ambients. CONCUR Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
1999	—	`ch.`	Validating Programs in Concurrent ML. Research Directions in Parallel Functional Programming Flemming Nielson
1998	J	`jnl`	Behavior Analysis for Validating Communication Patterns. Int. J. Softw. Tools Technol. Transf. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1998	B	`conf`	Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
1998	B	`conf`	Control Flow Analysis for the pi-calculus. CONCUR Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
1998	B	`conf`	Flow Logic for Imperative Objects. MFCS Flemming Nielson, Hanne Riis Nielson
1998	B	`conf`	Flow Logics for Constraint Based Analysis. CC Hanne Riis Nielson, Flemming Nielson
1998	J	`jnl`	Strictness and Totality Analysis. Sci. Comput. Program. Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson
1997	—	`conf`	Flow Logic and Operational Semantics. HOOTS Flemming Nielson, Hanne Riis Nielson
1997	A*	`conf`	Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL Hanne Riis Nielson, Flemming Nielson
1997	J	`jnl`	Perspectives on Program Analysis. ACM SIGPLAN Notices Flemming Nielson
1997	C	`conf`	Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM Flemming Nielson, Hanne Riis Nielson
1997	A	`conf`	Systematic Realisation of Control Flow Analyses for CML. ICFP Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson
1997	J	`jnl`	Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
1996	J	`jnl`	Annotated Type and Effect Systems. ACM Comput. Surv. Flemming Nielson
1996	J	`jnl`	From CML to its Process Algebra. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson
1996	—	`conf`	Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
1996	—	`conf`	Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation Flemming Nielson, Hanne Riis Nielson
1996	J	`jnl`	Operational Semantics of Termination Types. Nord. J. Comput. Flemming Nielson, Hanne Riis Nielson
1996	J	`jnl`	Perspectives on Program Analysis. ACM Comput. Surv. Flemming Nielson
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
1996	—	`conf`	Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
1996	B	`conf`	Semantics-Directed Program Analysis: A Tool-Maker's Perspective. SAS Flemming Nielson
1995	—	`conf`	Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT Hanne Riis Nielson, Flemming Nielson
1994	—	`conf`	Constraints for Polymorphic Behaviours of Concurrent ML. CCL Flemming Nielson, Hanne Riis Nielson
1994	A*	`conf`	Higher-Order Concurrent Programs with Finite Communication Topology. POPL Hanne Riis Nielson, Flemming Nielson
1994	J	`jnl`	The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. Flemming Nielson, Hanne Riis Nielson
1993	—	`conf`	Finiteness Conditions for Strictness Analysis. WSA Flemming Nielson, Hanne Riis Nielson
1993	B	`conf`	From CML to Process Algebras (Extended Abstract). CONCUR Flemming Nielson, Hanne Riis Nielson
1992	A*	`conf`	Bounded Fixed Point Iteration. POPL Hanne Riis Nielson, Flemming Nielson
1992	J	`jnl`	Bounded Fixed-Point Iteration. J. Log. Comput. Hanne Riis Nielson, Flemming Nielson
1992	—	`conf`	Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming Flemming Nielson, Hanne Riis Nielson
1992	J	`jnl`	Forced transformation of Occam programs. Inf. Softw. Technol. Flemming Nielson, Hanne Riis Nielson
1992	—	`conf`	Inference Systems for Binding Time Analysis. WSA Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
1992	—	`conf`	Layered Predicates. REX Workshop Flemming Nielson, Hanne Riis Nielson
1992	—	`book`	Semantics with applications - a formal introduction. Hanne Riis Nielson, Flemming Nielson
1992	A	`conf`	The Tensor Product in Wadler's Analysis of Lists. ESOP Flemming Nielson, Hanne Riis Nielson
1992	—	`book`	Two-level functional languages. Flemming Nielson, Hanne Riis Nielson
1991	J	`jnl`	Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. Hanne Riis Nielson, Flemming Nielson
1990	—	`conf`	Context Information for Lazy Code Generation. LISP and Functional Programming Hanne Riis Nielson, Flemming Nielson
1990	A	`conf`	Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP Hanne Riis Nielson, Flemming Nielson
1990	J	`jnl`	Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. Hanne Riis Nielson, Flemming Nielson
1989	—	`conf`	The Typed lambda-Calculus with First-Class Processes. PARLE (2) Flemming Nielson
1989	—	`conf`	Transformations on Higher-Order Functions. FPCA Hanne Riis Nielson, Flemming Nielson
1989	J	`jnl`	Two-Level Semantics and Abstract Interpretation. Theor. Comput. Sci. Flemming Nielson
1988	A	`conf`	2-level lambda-lifting. ESOP Flemming Nielson, Hanne Riis Nielson
1988	A*	`conf`	Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL Hanne Riis Nielson, Flemming Nielson
1988	J	`jnl`	Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. Hanne Riis Nielson, Flemming Nielson
1988	J	`jnl`	Strictness Analysis and Denotational Abstract Interpretation Inf. Comput. Flemming Nielson
1988	J	`jnl`	Two-Level Semantics and Code Generation. Theor. Comput. Sci. Flemming Nielson, Hanne Riis Nielson
1987	A*	`conf`	Strictness Analysis and Denotational Abstract Interpretation. POPL Flemming Nielson
1986	A	`conf`	Abstract Interpretation of Denotational Definions (A Survey). STACS Flemming Nielson
1986	A	`conf`	Correctness of Code Generation from a Two-Level Meta-Language. ESOP Flemming Nielson
1986	A	`conf`	Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP Hanne Riis Nielson, Flemming Nielson
1986	—	`conf`	Semantics Directed Compiling for Functional Languages. LISP and Functional Programming Hanne Riis Nielson, Flemming Nielson
1985	—	`conf`	Code generation from two-level denotational meta-languages. Programs as Data Objects Flemming Nielson, Hanne Riis Nielson
1985	—	`conf`	Expected forms of data flow analyses. Programs as Data Objects Flemming Nielson
1985	J	`jnl`	Program Transformations in a Denotational Setting. ACM Trans. Program. Lang. Syst. Flemming Nielson
1984	—	`—`	Abstract interpretation using domain theory. Flemming Nielson
1983	A*	`conf`	Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP Alan Mycroft, Flemming Nielson
1982	J	`jnl`	A Denotational Framework for Data Flow Analysis. Acta Informatica Flemming Nielson