 | 2009 |
|---|
| 115 |       | Christos Kaklamanis,
Flemming Nielson:
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Springer 2009 |
| 2008 |
|---|
| 114 | | René Rydhof Hansen,
Flemming Nielson,
Hanne Riis Nielson,
Christian W. Probst:
Static Validation of Licence Conformance Policies.
ARES 2008: 1104-1111 |
| 113 | | 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 |
| 112 | | Chris Hankin,
Flemming Nielson,
Hanne Riis Nielson,
Fan Yang:
Advice for Coordination.
COORDINATION 2008: 153-168 |
| 111 | | Christoffer Rosenkilde Nielsen,
Flemming Nielson,
Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses.
ESOP 2008: 131-145 |
| 110 | | Ye Zhang,
Torben Amtoft,
Flemming Nielson:
From generic to specific: off-line optimization for a general constraint solver.
GPCE 2008: 45-54 |
| 109 | | Sebastian Nanz,
Flemming Nielson,
Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour.
SAS 2008: 159-173 |
| 108 | | Jörg Bauer,
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard:
Relational Analysis of Correlation.
SAS 2008: 32-46 |
| 107 | | Henrik Pilegaard,
Flemming Nielson,
Hanne Riis Nielson:
Pathway analysis for BioAmbients.
J. Log. Algebr. Program. 77(1-2): 92-130 (2008) |
| 2007 |
|---|
| 106 | | Sebastian Nanz,
Flemming Nielson,
Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks.
CONCUR 2007: 226-240 |
| 105 | | Hanne Riis Nielson,
Flemming Nielson:
A flow-sensitive analysis of privacy properties.
CSF 2007: 249-264 |
| 104 | | Ye Zhang,
Flemming Nielson:
A Scalable Inclusion Constraint Solver Using Unification.
LOPSTR 2007: 121-137 |
| 103 | | Flemming Nielson,
Hanne Riis Nielson,
Jörg Bauer,
Christoffer Rosenkilde Nielsen,
Henrik Pilegaard:
Relational Analysis for Delivery of Services.
TGC 2007: 73-89 |
| 102 | | Christoffer Rosenkilde Nielsen,
Flemming Nielson,
Hanne Riis Nielson:
Cryptographic Pattern Matching.
Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007) |
| 101 | | Flemming Nielson,
Hanne Riis Nielson:
Heuristics for Safety and Security Constraints.
Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007) |
| 100 | | Henrik Pilegaard,
Flemming Nielson,
Hanne Riis Nielson:
Active Evaluation Contexts for Reaction Semantics.
Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007) |
| 99 | | Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami,
Debora Rosa:
Control Flow Analysis for BioAmbients.
Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007) |
| 98 | | Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard:
What is a free name in a process algebra?
Inf. Process. Lett. 103(5): 188-194 (2007) |
| 2006 |
|---|
| 97 | | René Rydhof Hansen,
Christian W. Probst,
Flemming Nielson:
Sandboxing in myKlaim.
ARES 2006: 174-181 |
| 96 | | Christian W. Probst,
René Rydhof Hansen,
Flemming Nielson:
Where Can an Insider Attack?
Formal Aspects in Security and Trust 2006: 127-142 |
| 95 | | Terkel K. Tolstrup,
Flemming Nielson,
René Rydhof Hansen:
Locality-Based Security Policies.
Formal Aspects in Security and Trust 2006: 185-201 |
| 94 | | Flemming Nielson,
Hanne Riis Nielson:
Types from Control Flow Analysis.
Program Analysis and Compilation 2006: 293-310 |
| 93 | | Hanne Riis Nielson,
Flemming Nielson:
Data Flow Analysis for CCS.
Program Analysis and Compilation 2006: 311-327 |
| 92 | | 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:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems 2006 |
| 91 | | Henrik Pilegaard,
Hanne Riis Nielson,
Flemming Nielson:
Context Dependent Analysis of BioAmbients.
Simulation and Verification of Dynamic Systems 2006 |
| 90 | | Henrik Pilegaard,
Hanne Riis Nielson,
Flemming Nielson:
Static Analysis of a Model of the LDL Degradation Pathway.
Simulation and Verification of Dynamic Systems 2006 |
| 2005 |
|---|
| 89 | | Chiara Bodei,
Mikael Buchholtz,
Michele Curti,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
On Evaluating the Performance of Security Protocols.
PaCT 2005: 1-15 |
| 88 | | Terkel K. Tolstrup,
Flemming Nielson,
Hanne Riis Nielson:
Information Flow Analysis for VHDL.
PaCT 2005: 79-98 |
| 87 | | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Mikael Buchholtz,
Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami:
Performance Evaluation of Security Protocols Specified in LySa.
Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005) |
| 86 | | Mikael Buchholtz,
Stephen T. Gilmore,
Jane Hillston,
Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks.
Electr. Notes Theor. Comput. Sci. 128(4): 123-143 (2005) |
| 85 | | Chiara Bodei,
Mikael Buchholtz,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static validation of security protocols.
Journal of Computer Security 13(3): 347-390 (2005) |
| 2004 |
|---|
| 84 | | Hanne Riis Nielson,
Flemming Nielson,
Henrik Pilegaard:
Spatial Analysis of BioAmbients.
SAS 2004: 69-83 |
| 83 | | Flemming Nielson,
Hanne Riis Nielson,
Hongyan Sun,
Mikael Buchholtz,
René Rydhof Hansen,
Henrik Pilegaard,
Helmut Seidl:
The Succinct Solver Suite.
TACAS 2004: 251-265 |
| 82 | | Mikael Buchholtz,
Hanne Riis Nielson,
Flemming Nielson:
A calculus for control flow analysis of security protocols.
Int. J. Inf. Sec. 2(3-4): 145-167 (2004) |
| 2003 |
|---|
| 81 | | Chiara Bodei,
Mikael Buchholtz,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Automatic Validation of Protocol Narration.
CSFW 2003: 126-140 |
| 80 | | Flemming Nielson,
René Rydhof Hansen,
Hanne Riis Nielson:
Abstract interpretation of mobile ambients.
Sci. Comput. Program. 47(2-3): 145-175 (2003) |
| 2002 |
|---|
| 79 | | Flemming Nielson,
Hanne Riis Nielson,
Helmut Seidl:
Automatic Complexity Analysis.
ESOP 2002: 243-261 |
| 78 | | Hanne Riis Nielson,
Flemming Nielson,
Mikael Buchholtz:
Security for Mobility.
FOSAD 2002: 207-265 |
| 77 | | Flemming Nielson,
Hanne Riis Nielson,
Helmut Seidl:
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.
SAS 2002: 20-35 |
| 76 | | Hanne Riis Nielson,
Flemming Nielson:
Flow Logic: A Multi-paradigmatic Approach to Static Analysis.
The Essence of Computation 2002: 223-244 |
| 75 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Flow logic for Dolev-Yao secrecy in cryptographic processes.
Future Generation Comp. Syst. 18(6): 747-756 (2002) |
| 74 |  | Flemming Nielson,
Helmut Seidl,
Hanne Riis Nielson:
A Succinct Solver for ALFP.
Nord. J. Comput. 9(4): 335-372 (2002) |
| 73 | | Flemming Nielson,
Hanne Riis Nielson,
René Rydhof Hansen:
Validating firewalls using flow logics.
Theor. Comput. Sci. 283(2): 381-418 (2002) |
| 2001 |
|---|
| 72 | | Flemming Nielson,
Helmut Seidl:
Control-Flow Analysis in Cubic Time.
ESOP 2001: 252-268 |
| 71 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis for Secrecy and Non-interference in Networks of Processes.
PaCT 2001: 27-41 |
| 70 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Security Analysis Using Flow Logics.
Current Trends in Theoretical Computer Science 2001: 525-542 |
| 69 | | Flemming Nielson,
Hanne Riis Nielson,
Helmut Seidl:
Cryptographic Analysis in Cubic Time.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 68 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis for the pi-Calculus with Applications to Security.
Inf. Comput. 168(1): 68-92 (2001) |
| 67 | | Flemming Nielson,
Hanne Riis Nielson,
Shmuel Sagiv:
Kleene's Logic with Equality.
Inf. Process. Lett. 80(3): 131-137 (2001) |
| 66 | | Hanne Riis Nielson,
Flemming Nielson:
Shape Analysis for Mobile Ambients.
Nord. J. Comput. 8(2): 233-275 (2001) |
| 65 | | Flemming Nielson,
Helmut Seidl:
Succinct Solvers
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-12: (2001) |
| 2000 |
|---|
| 64 | | Flemming Nielson,
Hanne Riis Nielson,
Shmuel Sagiv:
A Kleene Analysis of Mobile Ambients.
ESOP 2000: 305-319 |
| 63 | | Hanne Riis Nielson,
Flemming Nielson:
Shape Analysis for Mobile Ambients.
POPL 2000: 142-154 |
| 62 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Security Analysis using Flow Logics.
Bulletin of the EATCS 70: 112-130 (2000) |
| 1999 |
|---|
| 61 | | Flemming Nielson,
Hanne Riis Nielson,
René Rydhof Hansen,
Jacob Grydholt Jensen:
Validating Firewalls in Mobile Ambients.
CONCUR 1999: 463-477 |
| 60 | | Flemming Nielson,
Hanne Riis Nielson:
Type and Effect Systems.
Correct System Design 1999: 114-136 |
| 59 | | Flemming Nielson,
Hanne Riis Nielson:
Interprocedural Control Flow Analysis.
ESOP 1999: 20-39 |
| 58 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Static Analysis of Processes for No and Read-Up nad No Write-Down.
FoSSaCS 1999: 120-134 |
| 57 | | René Rydhof Hansen,
Jacob Grydholt Jensen,
Flemming Nielson,
Hanne Riis Nielson:
Abstract Interpretation of Mobile Ambients.
SAS 1999: 134-148 |
| 1998 |
|---|
| 56 | | Hanne Riis Nielson,
Flemming Nielson:
Flow Logics for Constraint Based Analysis.
CC 1998: 109-127 |
| 55 | | Chiara Bodei,
Pierpaolo Degano,
Flemming Nielson,
Hanne Riis Nielson:
Control Flow Analysis for the pi-calculus.
CONCUR 1998: 84-98 |
| 54 | | Hanne Riis Nielson,
Torben Amtoft,
Flemming Nielson:
Behaviour Analysis and Safety Conditions: A Case Study in CML.
FASE 1998: 255-269 |
| 53 | | Flemming Nielson,
Hanne Riis Nielson:
Flow Logic for Imperative Objects.
MFCS 1998: 220-228 |
| 52 | | Torben Amtoft,
Hanne Riis Nielson,
Flemming Nielson:
Behavior Analysis for Validating Communication Patterns.
STTT 2(1): 13-28 (1998) |
| 51 | | Kirsten Lackner Solberg Gasser,
Hanne Riis Nielson,
Flemming Nielson:
Strictness and Totality Analysis.
Sci. Comput. Program. 31(1): 113-145 (1998) |
| 1997 |
|---|
| 50 | | Kirsten Lackner Solberg Gasser,
Flemming Nielson,
Hanne Riis Nielson:
Systematic Realisation of Control Flow Analyses for CML.
ICFP 1997: 38-51 |
| 49 | | Flemming Nielson,
Hanne Riis Nielson:
Prescriptive Frameworks for Multi-Level Lambda-Calculi.
PEPM 1997: 193-202 |
| 48 | | Hanne Riis Nielson,
Flemming Nielson:
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.
POPL 1997: 332-345 |
| 47 | | Flemming Nielson,
Hanne Riis Nielson:
Flow Logic and Operational Semantics.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 46 | | Torben Amtoft,
Flemming Nielson,
Hanne Riis Nielson:
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.
J. Funct. Program. 7(3): 321-347 (1997) |
| 45 | | Flemming Nielson:
Perspectives on Program Analysis.
SIGPLAN Notices 32(1): 89-91 (1997) |
| 1996 |
|---|
| 44 | | Flemming Nielson,
Hanne Riis Nielson:
Multi-Level Lambda-Calculi: An Algebraic Description.
Dagstuhl Seminar on Partial Evaluation 1996: 338-354 |
| 43 | | Flemming Nielson,
Patrick Cousot,
Mads Dam,
Pierpaolo Degano,
Pierre Jouvelot,
Alan Mycroft,
Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems.
LOMAPS 1996: 1-21 |
| 42 | | Hanne Riis Nielson,
Flemming Nielson,
Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Static Semantics.
LOMAPS 1996: 141-171 |
| 41 | | Torben Amtoft,
Flemming Nielson,
Hanne Riis Nielson,
Jürgen Ammann:
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.
LOMAPS 1996: 172-206 |
| 40 | | Flemming Nielson,
Hanne Riis Nielson,
Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Algorithm.
LOMAPS 1996: 207-243 |
| 39 | | Flemming Nielson:
Semantics-Directed Program Analysis: A Tool-Maker's Perspective.
SAS 1996: 2-21 |
| 38 | | Flemming Nielson:
Annotated Type and Effect Systems.
ACM Comput. Surv. 28(2): 344-345 (1996) |
| 37 | | Flemming Nielson:
Perspectives on Program Analysis.
ACM Comput. Surv. 28(4es): 168 (1996) |
| 36 | | Flemming Nielson,
Hanne Riis Nielson:
Operational Semantics of Termination Types.
Nord. J. Comput. 3(2): 144-187 (1996) |
| 35 | | Flemming Nielson,
Hanne Riis Nielson:
From CML to its Process Algebra.
Theor. Comput. Sci. 155(1): 179-219 (1996) |
| 1995 |
|---|
| 34 | | Hanne Riis Nielson,
Flemming Nielson:
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages.
TAPSOFT 1995: 590-604 |
| 1994 |
|---|
| 33 | | Flemming Nielson,
Hanne Riis Nielson:
Constraints for Polymorphic Behaviours of Concurrent ML.
CCL 1994: 73-88 |
| 32 | | Hanne Riis Nielson,
Flemming Nielson:
Higher-Order Concurrent Programs with Finite Communication Topology.
POPL 1994: 84-97 |
| 31 | | Flemming Nielson,
Hanne Riis Nielson:
The Tensor Product in Wadler's Analysis of Lists.
Sci. Comput. Program. 22(3): 327-354 (1994) |
| 1993 |
|---|
| 30 | | Flemming Nielson,
Hanne Riis Nielson:
From CML to Process Algebras (Extended Abstract).
CONCUR 1993: 493-508 |
| 29 | | Flemming Nielson,
Hanne Riis Nielson:
Finiteness Conditions for Strictness Analysis.
WSA 1993: 194-205 |
| 1992 |
|---|
| 28 | | Flemming Nielson,
Hanne Riis Nielson:
The Tensor Product in Wadler's Analysis of Lists.
ESOP 1992: 351-370 |
| 27 | | Flemming Nielson,
Hanne Riis Nielson:
Finiteness Conditions for Fixed Point Iteration.
LISP and Functional Programming 1992: 96-108 |
| 26 | | Hanne Riis Nielson,
Flemming Nielson:
Bounded Fixed Point Iteration.
POPL 1992: 71-82 |
| 25 | | Flemming Nielson,
Hanne Riis Nielson:
Layered Predicates.
REX Workshop 1992: 425-456 |
| 24 | | Kirsten Lackner Solberg,
Hanne Riis Nielson,
Flemming Nielson:
Inference Systems for Binding Time Analysis.
WSA 1992: 247-254 |
| 23 | | Hanne Riis Nielson,
Flemming Nielson:
Bounded Fixed-Point Iteration.
J. Log. Comput. 2(4): 441-464 (1992) |
| 1991 |
|---|
| 22 | | Hanne Riis Nielson,
Flemming Nielson:
Using Transformations in the Implementations of Higher-Order Functions.
J. Funct. Program. 1(4): 459-494 (1991) |
| 1990 |
|---|
| 21 | | Hanne Riis Nielson,
Flemming Nielson:
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations.
ESOP 1990: 291-305 |
| 20 | | Hanne Riis Nielson,
Flemming Nielson:
Context Information for Lazy Code Generation.
LISP and Functional Programming 1990: 251-263 |
| 19 | | Hanne Riis Nielson,
Flemming Nielson:
Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic.
Theor. Comput. Sci. 70(1): 99-126 (1990) |
| 1989 |
|---|
| 18 | | Hanne Riis Nielson,
Flemming Nielson:
Transformations on Higher-Order Functions.
FPCA 1989: 129-143 |
| 17 | | Flemming Nielson:
The Typed lambda-Calculus with First-Class Processes.
PARLE (2) 1989: 357-373 |
| 16 | | Flemming Nielson:
Two-Level Semantics and Abstract Interpretation.
Theor. Comput. Sci. 69(2): 117-242 (1989) |
| 1988 |
|---|
| 15 | | Flemming Nielson,
Hanne Riis Nielson:
2-level lambda-lifting.
ESOP 1988: 328-343 |
| 14 | | Hanne Riis Nielson,
Flemming Nielson:
Automatic Binding Time Analysis for a Typed Lambda-Calculus.
POPL 1988: 98-106 |
| 13 | | Flemming Nielson:
Strictness Analysis and Denotational Abstract Interpretation
Inf. Comput. 76(1): 29-92 (1988) |
| 12 | | Hanne Riis Nielson,
Flemming Nielson:
Automatic Binding Time Analysis for a Typed lambda-Calculus.
Sci. Comput. Program. 10(1): 139-176 (1988) |
| 11 | | Flemming Nielson,
Hanne Riis Nielson:
Two-Level Semantics and Code Generation.
Theor. Comput. Sci. 56: 59-133 (1988) |
| 1987 |
|---|
| 10 | | Flemming Nielson:
Strictness Analysis and Denotational Abstract Interpretation.
POPL 1987: 120-131 |
| 1986 |
|---|
| 9 | | Hanne Riis Nielson,
Flemming Nielson:
Pragmatic Aspects of Two-Level Denotational Meta-Languages.
ESOP 1986: 133-143 |
| 8 | | Flemming Nielson:
Correctness of Code Generation from a Two-Level Meta-Language.
ESOP 1986: 30-40 |
| 7 | | Hanne Riis Nielson,
Flemming Nielson:
Semantics Directed Compiling for Functional Languages.
LISP and Functional Programming 1986: 249-257 |
| 6 | | Flemming Nielson:
Abstract Interpretation of Denotational Definions (A Survey).
STACS 1986: 1-20 |
| 1985 |
|---|
| 5 | | Flemming Nielson:
Expected forms of data flow analyses.
Programs as Data Objects 1985: 172-191 |
| 4 | | Flemming Nielson,
Hanne Riis Nielson:
Code generation from two-level denotational meta-languages.
Programs as Data Objects 1985: 192-205 |
| 3 | | Flemming Nielson:
Program Transformations in a Denotational Setting.
ACM Trans. Program. Lang. Syst. 7(3): 359-379 (1985) |
| 1983 |
|---|
| 2 | | Alan Mycroft,
Flemming Nielson:
Strong Abstract Interpretation Using Power Domains (Extended Abstract).
ICALP 1983: 536-547 |
| 1982 |
|---|
| 1 | | Flemming Nielson:
A Denotational Framework for Data Flow Analysis.
Acta Inf. 18: 265-287 (1982) |
