Flemming Nielson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
75
Venues
29
Active years
1983–2024
Best venue rank
A*
Where they publish
- BSAS10 papers
- AESOP10 papers
- CCoordination6 papers
- A*POPL6 papers
- CFORTE5 papers
- BCONCUR4 papers
- CISoLA3 papers
- BIFM3 papers
- BPACT3 papers
- CPPDP2 papers
- CISCC2 papers
- CLOPSTR2 papers
- A*ICALP2 papers
- BFOSSACS2 papers
- MulticonferenceSAC1 paper
- CTIME1 paper
- A*CCS1 paper
- ACaiSE1 paper
- AESORICS1 paper
- A*PLDI1 paper
- NationalTASE1 paper
- BGPCE1 paper
- ATACAS1 paper
- BCC1 paper
- BFASE1 paper
- BMFCS1 paper
- AICFP1 paper
- CPEPM1 paper
- ASTACS1 paper
Papers
75 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAC | Isabelle-verified correctness of Datalog programs for program analysis. | Anders Schlichtkrull, Ren Rydhof Hansen, Flemming Nielson |
| 2020 | ISoLA | Adaptive Security Policies. | Flemming Nielson, Ren Rydhof Hansen, Hanne Riis Nielson |
| 2018 | SAS | Process-Local Static Analysis of Synchronous Processes. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2017 | TIME | Time Dependent Policy-Based Access Control. | Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson |
| 2016 | CCS | Future-dependent Flow Policies with Prophetic Variables. | Ximeng Li, Flemming Nielson, Hanne Riis Nielson |
| 2016 | FORTE | Enforcing Availability in Failure-Aware Communicating Systems. | Hugo A. Lpez, Flemming Nielson, Hanne Riis Nielson |
| 2016 | ISoLA | Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. | Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese |
| 2016 | PPDP | Iterated process analysis over lattice-valued regular expressions. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | SAS | A Parametric Abstract Domain for Lattice-Valued Regular Expressions. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2015 | CaiSE | Modelling and Analysing Socio-Technical Systems. | Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst |
| 2015 | Coordination | Klaim-DB: A Modeling Language for Distributed Database Applications. | Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
| 2015 | ESORICS | Factorization of Behavioral Integrity. | Ximeng Li, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Coordination | The Stochastic Quality Calculus. | Kebin Zeng, Flemming Nielson, Hanne Riis Nielson |
| 2014 | FORTE | Uniform Protection for Multi-exposed Targets. | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
| 2014 | FORTE | Denial-of-Service Security Attack in the Continuous-Time World. | Shuling Wang, Flemming Nielson, Hanne Riis Nielson |
| 2014 | IFM | Formal Security Analysis of the MaCAN Protocol. | Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |
| 2014 | ISoLA | The Guided System Development Framework: Modeling and Verifying Communication Systems. | Jose Quaresma, Christian W. Probst, Flemming Nielson |
| 2013 | FORTE | Probabilistic Analysis of the Quality Calculus. | Hanne Riis Nielson, Flemming Nielson |
| 2013 | IFM | Broadcast, Denial-of-Service, and Secure Communication. | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
| 2012 | Coordination | Recursive Advice for Coordination. | Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
| 2012 | IFM | Model Checking as Static Analysis: Revisited. | Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson |
| 2012 | ISCC | Key Update Assistant for resource-constrained networks. | Ender Yksel, Hanne Riis Nielson, Flemming Nielson |
| 2012 | ISCC | LBTool: A stochastic toolkit for leave-based key updates. | Ender Yksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen |
| 2012 | LOPSTR | XACML 3.0 in Answer Set Programming. | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
| 2012 | PLDI | A generic approach for security policies composition: position paper. | Alejandro Mario Hernandez, Flemming Nielson |
| 2012 | PPDP | Layered fixed point logic. | Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
| 2012 | TASE | Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. | Ender Yksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson |
| 2011 | Coordination | Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. | Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson |
| 2011 | FORTE | Galois Connections for Flow Algebras. | Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
| 2011 | ICALP | Automata-Based CSL Model Checking. | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
| 2010 | FOSSACS | Model Checking | Flemming Nielson, Hanne Riis Nielson |
| 2008 | Coordination | Advice for Coordination. | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
| 2008 | Coordination | 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 |
| 2008 | ESOP | Iterative Specialisation of Horn Clauses. | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
| 2008 | GPCE | From generic to specific: off-line optimization for a general constraint solver. | Ye Zhang, Torben Amtoft, Flemming Nielson |
| 2008 | SAS | Relational Analysis of Correlation. | Jrg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
| 2008 | SAS | Modal Abstractions of Concurrent Behaviour. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2007 | CONCUR | Topology-Dependent Abstractions of Broadcast Networks. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2007 | LOPSTR | A Scalable Inclusion Constraint Solver Using Unification. | Ye Zhang, Flemming Nielson |
| 2005 | PACT | On Evaluating the Performance of Security Protocols. | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
| 2005 | PACT | Information Flow Analysis for VHDL. | Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson |
| 2004 | SAS | Spatial Analysis of BioAmbients. | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
| 2004 | TACAS | The Succinct Solver Suite. | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, Ren Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
| 2002 | ESOP | Automatic Complexity Analysis. | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
| 2002 | SAS | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
| 2001 | ESOP | Control-Flow Analysis in Cubic Time. | Flemming Nielson, Helmut Seidl |
| 2001 | PACT | Static Analysis for Secrecy and Non-interference in Networks of Processes. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 2000 | ESOP | A Kleene Analysis of Mobile Ambients. | Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv |
| 2000 | POPL | Shape Analysis for Mobile Ambients. | Hanne Riis Nielson, Flemming Nielson |
| 1999 | CONCUR | Validating Firewalls in Mobile Ambients. | Flemming Nielson, Hanne Riis Nielson, Ren Rydhof Hansen, Jacob Grydholt Jensen |
| 1999 | ESOP | Interprocedural Control Flow Analysis. | Flemming Nielson, Hanne Riis Nielson |
| 1999 | FOSSACS | Static Analysis of Processes for No and Read-Up nad No Write-Down. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1999 | SAS | Abstract Interpretation of Mobile Ambients. | Ren Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |
| 1998 | CC | Flow Logics for Constraint Based Analysis. | Hanne Riis Nielson, Flemming Nielson |
| 1998 | CONCUR | Control Flow Analysis for the pi-calculus. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | FASE | Behaviour Analysis and Safety Conditions: A Case Study in CML. | Hanne Riis Nielson, Torben Amtoft, Flemming Nielson |
| 1998 | MFCS | Flow Logic for Imperative Objects. | Flemming Nielson, Hanne Riis Nielson |
| 1997 | ICFP | Systematic Realisation of Control Flow Analyses for CML. | Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson |
| 1997 | PEPM | Prescriptive Frameworks for Multi-Level Lambda-Calculi. | Flemming Nielson, Hanne Riis Nielson |
| 1997 | POPL | Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. | Hanne Riis Nielson, Flemming Nielson |
| 1996 | SAS | Semantics-Directed Program Analysis: A Tool-Maker's Perspective. | Flemming Nielson |
| 1994 | POPL | Higher-Order Concurrent Programs with Finite Communication Topology. | Hanne Riis Nielson, Flemming Nielson |
| 1993 | CONCUR | From CML to Process Algebras (Extended Abstract). | Flemming Nielson, Hanne Riis Nielson |
| 1993 | SAS | Finiteness Conditions for Strictness Analysis. | Flemming Nielson, Hanne Riis Nielson |
| 1992 | ESOP | The Tensor Product in Wadler's Analysis of Lists. | Flemming Nielson, Hanne Riis Nielson |
| 1992 | POPL | Bounded Fixed Point Iteration. | Hanne Riis Nielson, Flemming Nielson |
| 1992 | SAS | Inference Systems for Binding Time Analysis. | Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson |
| 1990 | ESOP | Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. | Hanne Riis Nielson, Flemming Nielson |
| 1988 | ESOP | 2-level lambda-lifting. | Flemming Nielson, Hanne Riis Nielson |
| 1988 | POPL | Automatic Binding Time Analysis for a Typed Lambda-Calculus. | Hanne Riis Nielson, Flemming Nielson |
| 1987 | POPL | Strictness Analysis and Denotational Abstract Interpretation. | Flemming Nielson |
| 1986 | ESOP | Correctness of Code Generation from a Two-Level Meta-Language. | Flemming Nielson |
| 1986 | ESOP | Pragmatic Aspects of Two-Level Denotational Meta-Languages. | Hanne Riis Nielson, Flemming Nielson |
| 1986 | STACS | Abstract Interpretation of Denotational Definions (A Survey). | Flemming Nielson |
| 1983 | ICALP | Strong Abstract Interpretation Using Power Domains (Extended Abstract). | Alan Mycroft, Flemming Nielson |