dblp.uni-trier.dewww.uni-trier.de

Flemming Nielson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
115EEChristos Kaklamanis, Flemming Nielson: Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers Springer 2009
2008
114EERené Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
113EERocco 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
112EEChris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
111EEChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
110EEYe Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
109EESebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
108EEJörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
107EEHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
2007
106EESebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
105EEHanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
104EEYe Zhang, Flemming Nielson: A Scalable Inclusion Constraint Solver Using Unification. LOPSTR 2007: 121-137
103EEFlemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
102EEChristoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
101EEFlemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
100EEHenrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
99EEFlemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
98EEFlemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
2006
97EERené Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
96EEChristian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
95EETerkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen: Locality-Based Security Policies. Formal Aspects in Security and Trust 2006: 185-201
94EEFlemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
93EEHanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
92EEGré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
91EEHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
90EEHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
2005
89EEChiara 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
88EETerkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
87EEChiara 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)
86EEMikael 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)
85EEChiara 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
84EEHanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
83EEFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
82EEMikael 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
81EEChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
80EEFlemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
2002
79EEFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
78EEHanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
77EEFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
76EEHanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
75EEChiara 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)
73EEFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
2001
72EEFlemming Nielson, Helmut Seidl: Control-Flow Analysis in Cubic Time. ESOP 2001: 252-268
71EEChiara 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
69EEFlemming 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)
67EEFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
66EEHanne 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
64EEFlemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
63EEHanne 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
61EEFlemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
60EEFlemming Nielson, Hanne Riis Nielson: Type and Effect Systems. Correct System Design 1999: 114-136
59EEFlemming 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
57EERené Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
1998
56EEHanne Riis Nielson, Flemming Nielson: Flow Logics for Constraint Based Analysis. CC 1998: 109-127
55EEChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
54EEHanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
53EEFlemming Nielson, Hanne Riis Nielson: Flow Logic for Imperative Objects. MFCS 1998: 220-228
52EETorben 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
49EEFlemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
48EEHanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
47EEFlemming 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
43EEFlemming 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
42EEHanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
41EETorben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
40EEFlemming 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)
35EEFlemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
1995
34EEHanne 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
30EEFlemming 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
28EEFlemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
27EEFlemming 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
25EEFlemming 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
21EEHanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
20EEHanne 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
18EEHanne Riis Nielson, Flemming Nielson: Transformations on Higher-Order Functions. FPCA 1989: 129-143
17EEFlemming 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
15EEFlemming 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
9EEHanne Riis Nielson, Flemming Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP 1986: 133-143
8EEFlemming 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
6EEFlemming 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
3EEFlemming Nielson: Program Transformations in a Denotational Setting. ACM Trans. Program. Lang. Syst. 7(3): 359-379 (1985)
1983
2EEAlan 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)

Coauthor Index

1Jürgen Ammann [41]
2Torben Amtoft (Torben Amtoft Hansen) [40] [41] [42] [46] [52] [54] [110]
3Grégory Batt [92]
4Chiara Bodei [55] [58] [62] [68] [70] [71] [75] [81] [85] [87] [89]
5Jeremy T. Bradley [92]
6Mikael Buchholtz [78] [81] [82] [83] [85] [86] [87] [89]
7Patrick Cousot [43]
8Michele Curti [87] [89]
9Mads Dam [43]
10Pierpaolo Degano [43] [55] [58] [62] [68] [70] [71] [75] [81] [85] [87] [89]
11Roland Ewald [92]
12François Fages [92]
13Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg) [24] [50] [51]
14Stephen Gilmore (Stephen T. Gilmore) [86]
15Daniele Gorla [113]
16Chris Hankin [112]
17René Rydhof Hansen [57] [61] [73] [80] [83] [95] [96] [97] [113] [114]
18Holger Hermanns [92]
19Jane Hillston [86] [92]
20Jacob Grydholt Jensen [57] [61]
21Pierre Jouvelot [43]
22Christos Kaklamanis [115]
23Peter Kemper [92]
24Jörg Kreiker (Jörg Bauer) [103] [108]
25Alke Martens [92]
26Pieter J. Mosterman [92]
27Alan Mycroft [2] [43]
28Sebastian Nanz [106] [109]
29Rocco De Nicola [113]
30Christoffer Rosenkilde Nielsen [102] [103] [111]
31Hanne Riis Nielson [4] [7] [9] [11] [12] [14] [15] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [40] [41] [42] [44] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [66] [67] [68] [69] [70] [71] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [87] [88] [89] [90] [91] [93] [94] [98] [99] [100] [101] [102] [103] [105] [106] [107] [108] [109] [111] [112] [113] [114]
32Henrik Pilegaard [83] [84] [90] [91] [98] [100] [103] [107] [108]
33Corrado Priami [87] [89] [99]
34Christian W. Probst [96] [97] [113] [114]
35Rosario Pugliese [113]
36Debora Rosa [99]
37Shmuel Sagiv (Mooly Sagiv) [64] [67]
38Helmut Seidl [65] [69] [72] [74] [77] [79] [83]
39Oleg Sokolsky [92]
40Hongyan Sun [83]
41Bent Thomsen [43]
42Terkel K. Tolstrup [88] [95]
43Adelinde M. Uhrmacher (Adelinde Uhrmacher) [92]
44Fan Yang [112]
45Ye Zhang [104] [110]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)