Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Flemming Nielson
@inproceedings{DBLP:conf/birthday/NielsonHN21,
author = {Flemming Nielson and
Ren{\'{e}} Rydhof Hansen and
Hanne Riis Nielson},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Benign Interaction of Security Domains},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {312--331},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_17},
doi = {10.1007/978-3-030-91631-2\_17},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonHN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN15,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Secure Guarded Commands},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {201--215},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_7},
doi = {10.1007/978-3-030-41103-9\_7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NielsonHN20,
author = {Flemming Nielson and
Ren{\'{e}} Rydhof Hansen and
Hanne Riis Nielson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Adaptive Security Policies},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {280--294},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_17},
doi = {10.1007/978-3-030-61470-6\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NielsonHN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-10086,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Program Analysis (an Appetizer)},
journal = {CoRR},
volume = {abs/2012.10086},
year = {2020},
url = {https://arxiv.org/abs/2012.10086},
eprinttype = {arXiv},
eprint = {2012.10086},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-10086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/LiNN19,
author = {Ximeng Li and
Flemming Nielson and
Hanne Riis Nielson},
title = {Enforcing globally dependent flow policies in message-passing systems},
journal = {J. Comput. Lang.},
volume = {54},
year = {2019},
url = {https://doi.org/10.1016/j.cola.2019.100904},
doi = {10.1016/J.COLA.2019.100904},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/LiNN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN19,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Lightweight Information Flow},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {455--470},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_25},
doi = {10.1007/978-3-030-21485-2\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/VasilikosNNK19,
author = {Panagiotis Vasilikos and
Hanne Riis Nielson and
Flemming Nielson and
Boris K{\"{o}}pf},
title = {Timing Leaks and Coarse-Grained Clocks},
booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
NJ, USA, June 25-28, 2019},
pages = {32--47},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSF.2019.00010},
doi = {10.1109/CSF.2019.00010},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/VasilikosNNK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HuthN19,
author = {Michael Huth and
Flemming Nielson},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Static Analysis for Proactive Security},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {374--392},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_19},
doi = {10.1007/978-3-319-91908-9\_19},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/HuthN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/post/2019,
editor = {Flemming Nielson and
David Sands},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {11426},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17138-4},
doi = {10.1007/978-3-030-17138-4},
isbn = {978-3-030-17137-7},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNZ18,
author = {Flemming Nielson and
Hanne Riis Nielson and
Fuyuan Zhang},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Multi-valued Logic for Static Analysis and Model Checking},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {89--109},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_7},
doi = {10.1007/978-3-030-22348-9\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/VasilikosNN18,
author = {Panagiotis Vasilikos and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {Secure Information Release in Timed Automata},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {28--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_2},
doi = {10.1007/978-3-319-89722-6\_2},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/VasilikosNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MidtgaardNN18,
author = {Jan Midtgaard and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Andreas Podelski},
title = {Process-Local Static Analysis of Synchronous Processes},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {284--305},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_18},
doi = {10.1007/978-3-319-99725-4\_18},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/MidtgaardNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WangNNZ17,
author = {Shuling Wang and
Flemming Nielson and
Hanne Riis Nielson and
Naijun Zhan},
title = {Modelling and Verifying Communication Failure of Hybrid Systems in
{HCSP}},
journal = {Comput. J.},
volume = {60},
number = {8},
pages = {1111--1130},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxw084},
doi = {10.1093/COMJNL/BXW084},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/WangNNZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/NielsonN17,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Atomistic Galois insertions for flow sensitive integrity},
journal = {Comput. Lang. Syst. Struct.},
volume = {50},
pages = {82--107},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2017.06.004},
doi = {10.1016/J.CL.2017.06.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/NielsonN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NielsonN17,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Content dependent information flow control},
journal = {J. Log. Algebraic Methods Program.},
volume = {87},
pages = {6--32},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.09.005},
doi = {10.1016/J.JLAMP.2016.09.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NielsonN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MidtgaardJKNN17,
author = {Jan Midtgaard and
Mathias Nygaard Justesen and
Patrick Kasting and
Flemming Nielson and
Hanne Riis Nielson},
title = {Effect-driven QuickChecking of compilers},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {15:1--15:23},
year = {2017},
url = {https://doi.org/10.1145/3110259},
doi = {10.1145/3110259},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MidtgaardJKNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNV17,
author = {Flemming Nielson and
Hanne Riis Nielson and
Panagiotis Vasilikos},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Information Flow for Timed Automata},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_1},
doi = {10.1007/978-3-319-63121-9\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AslanyanN17,
author = {Zaruhi Aslanyan and
Flemming Nielson},
editor = {Matteo Maffei and
Mark Ryan},
title = {Model Checking Exact Cost for Attack Scenarios},
booktitle = {Principles of Security and Trust - 6th International Conference, {POST}
2017, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10204},
pages = {210--231},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54455-6\_10},
doi = {10.1007/978-3-662-54455-6\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/AslanyanN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/VasilikosNN17,
author = {Panagiotis Vasilikos and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Time Dependent Policy-Based Access Control},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {21:1--21:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.21},
doi = {10.4230/LIPICS.TIME.2017.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/VasilikosNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VigoNN16,
author = {Roberto Vigo and
Flemming Nielson and
Hanne Riis Nielson},
title = {Discovering, quantifying, and displaying attacks},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:5)2016},
doi = {10.2168/LMCS-12(4:5)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VigoNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Li0LNN16,
author = {Ximeng Li and
Xi Wu and
Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
title = {A Coordination Language for Databases},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2016},
url = {https://doi.org/10.23638/LMCS-13(1:10)2017},
doi = {10.23638/LMCS-13(1:10)2017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Li0LNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LiNN16,
author = {Ximeng Li and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Toby C. Murray and
Deian Stefan},
title = {Future-dependent Flow Policies with Prophetic Variables},
booktitle = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
2016},
pages = {29--42},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993600.2993603},
doi = {10.1145/2993600.2993603},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/LiNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AslanyanNP16,
author = {Zaruhi Aslanyan and
Flemming Nielson and
David Parker},
title = {Quantitative Verification and Synthesis of Attack-Defence Scenarios},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {105--119},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.15},
doi = {10.1109/CSF.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AslanyanNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LopezNN16,
author = {Hugo A. L{\'{o}}pez and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Elvira Albert and
Ivan Lanese},
title = {Enforcing Availability in Failure-Aware Communicating Systems},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {195--211},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_13},
doi = {10.1007/978-3-319-39570-8\_13},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/LopezNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/MaciazekNN16,
author = {Tomasz Maciazek and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Sergey Tverdyshev},
title = {Content-Dependent Security Policies in Avionics},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
publisher = {Zenodo},
year = {2016},
url = {https://doi.org/10.5281/zenodo.47981},
doi = {10.5281/ZENODO.47981},
timestamp = {Thu, 02 Aug 2018 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/MaciazekNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargheriNNP16,
author = {Andrea Margheri and
Hanne Riis Nielson and
Flemming Nielson and
Rosario Pugliese},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Static Analysis of Policy-Based Self-adaptive Computing Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {554--569},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_39},
doi = {10.1007/978-3-319-47166-2\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargheriNNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MidtgaardNN16,
author = {Jan Midtgaard and
Flemming Nielson and
Hanne Riis Nielson},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Iterated process analysis over lattice-valued regular expressions},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {132--145},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968601},
doi = {10.1145/2967973.2968601},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MidtgaardNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MidtgaardNN16,
author = {Jan Midtgaard and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Xavier Rival},
title = {A Parametric Abstract Domain for Lattice-Valued Regular Expressions},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {338--360},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_17},
doi = {10.1007/978-3-662-53413-7\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MidtgaardNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LopezNN16,
author = {Hugo A. L{\'{o}}pez and
Flemming Nielson and
Hanne Riis Nielson},
title = {A Theory of Available-by-Design Communicating Systems},
journal = {CoRR},
volume = {abs/1611.05651},
year = {2016},
url = {http://arxiv.org/abs/1611.05651},
eprinttype = {arXiv},
eprint = {1611.05651},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LopezNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NielsonNV15,
author = {Hanne Riis Nielson and
Flemming Nielson and
Roberto Vigo},
title = {A calculus of quality for robustness against unreliable communication},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {5},
pages = {611--639},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.04.002},
doi = {10.1016/J.JLAMP.2015.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NielsonNV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNL15,
author = {Hanne Riis Nielson and
Flemming Nielson and
Ximeng Li},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Hoare Logic for Disjunctive Information Flow},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {47--65},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_6},
doi = {10.1007/978-3-319-25527-9\_6},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lluch-LafuenteN15,
author = {Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Discretionary Information Flow Control for Interaction-Oriented Specifications},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {427--450},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_20},
doi = {10.1007/978-3-319-23165-5\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Lluch-LafuenteN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNZ15,
author = {Flemming Nielson and
Hanne Riis Nielson and
Kebin Zeng},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Stochastic Model Checking of the Stochastic Quality Calculus},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {522--537},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_30},
doi = {10.1007/978-3-319-15545-6\_30},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AslanyanINP15,
author = {Zaruhi Aslanyan and
Marieta Georgieva Ivanova and
Flemming Nielson and
Christian W. Probst},
editor = {Stewart Kowalski and
Peter M. Bednar and
Ilia Bider and
Jeffy Mwakalinga},
title = {Modelling and Analysing Socio-Technical Systems},
booktitle = {Proceedings of the 1st International Workshop on Socio-Technical Perspective
in {IS} Development (STPIS'15) co-located with the 27th International
Conference on Advanced Information Systems Engineering (CAiSE 2015),
Stockholm, Sweden, June 9, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1374},
pages = {121--124},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1374/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/AslanyanINP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/WuLLNN15,
author = {Xi Wu and
Ximeng Li and
Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Klaim-DB: {A} Modeling Language for Distributed Database Applications},
booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {197--212},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_13},
doi = {10.1007/978-3-319-19282-6\_13},
timestamp = {Fri, 27 Mar 2020 08:47:36 +0100},
biburl = {https://dblp.org/rec/conf/coordination/WuLLNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BruniMNN15,
author = {Alessandro Bruni and
Sebastian M{\"{o}}dersheim and
Flemming Nielson and
Hanne Riis Nielson},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {Set-Pi: Set Membership p-Calculus},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {185--198},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.20},
doi = {10.1109/CSF.2015.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BruniMNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LiNN15,
author = {Ximeng Li and
Flemming Nielson and
Hanne Riis Nielson},
editor = {G{\"{u}}nther Pernul and
Peter Y. A. Ryan and
Edgar R. Weippl},
title = {Factorization of Behavioral Integrity},
booktitle = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research
in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9327},
pages = {500--519},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24177-7\_25},
doi = {10.1007/978-3-319-24177-7\_25},
timestamp = {Sat, 19 Oct 2019 20:00:24 +0200},
biburl = {https://dblp.org/rec/conf/esorics/LiNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AslanyanN15,
author = {Zaruhi Aslanyan and
Flemming Nielson},
editor = {Riccardo Focardi and
Andrew C. Myers},
title = {Pareto Efficient Solutions of Attack-Defence Trees},
booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
2015, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9036},
pages = {95--114},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46666-7\_6},
doi = {10.1007/978-3-662-46666-7\_6},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/AslanyanN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/KarafiliNN15,
author = {Erisa Karafili and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Sara Foresti},
title = {How to Trust the Re-use of Data},
booktitle = {Security and Trust Management - 11th International Workshop, {STM}
2015, Vienna, Austria, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9331},
pages = {72--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24858-5\_5},
doi = {10.1007/978-3-319-24858-5\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/KarafiliNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LiNNF15,
author = {Ximeng Li and
Flemming Nielson and
Hanne Riis Nielson and
Xinyu Feng},
editor = {Pierre Ganty and
Michele Loreti},
title = {Disjunctive Information Flow for Communicating Processes},
booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9533},
pages = {95--111},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28766-9\_7},
doi = {10.1007/978-3-319-28766-9\_7},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tgc/LiNNF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RamliNN14,
author = {Carroline Dewi Puspa Kencana Ramli and
Hanne Riis Nielson and
Flemming Nielson},
title = {The logic of {XACML}},
journal = {Sci. Comput. Program.},
volume = {83},
pages = {80--105},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.05.003},
doi = {10.1016/J.SCICO.2013.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RamliNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YukselNNZH14,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson and
Huibiao Zhu and
Heqing Huang},
title = {Quantitative modelling and analysis of a Chinese smart grid: a stochastic
model checking case study},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {421--435},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0311-8},
doi = {10.1007/S10009-014-0311-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/YukselNNZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ZengNN14,
author = {Kebin Zeng and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Eva K{\"{u}}hn and
Rosario Pugliese},
title = {The Stochastic Quality Calculus},
booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2014, Held as Part of the 9th International
Federated Conferences on Distributed Computing Techniques, DisCoTec
2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {179--193},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43376-8\_12},
doi = {10.1007/978-3-662-43376-8\_12},
timestamp = {Tue, 15 Nov 2022 15:22:35 +0100},
biburl = {https://dblp.org/rec/conf/coordination/ZengNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/VigoNN14,
author = {Roberto Vigo and
Flemming Nielson and
Hanne Riis Nielson},
title = {Automated Generation of Attack Trees},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {337--350},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.31},
doi = {10.1109/CSF.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/VigoNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WangNN14,
author = {Shuling Wang and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {Denial-of-Service Security Attack in the Continuous-Time World},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {149--165},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_10},
doi = {10.1007/978-3-662-43613-4\_10},
timestamp = {Fri, 09 Apr 2021 18:40:15 +0200},
biburl = {https://dblp.org/rec/conf/forte/WangNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VigoNN14,
author = {Roberto Vigo and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {Uniform Protection for Multi-exposed Targets},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {182--198},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_12},
doi = {10.1007/978-3-662-43613-4\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VigoNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BruniSNN14,
author = {Alessandro Bruni and
Michal Sojka and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Formal Security Analysis of the MaCAN Protocol},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {241--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_15},
doi = {10.1007/978-3-319-10181-1\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BruniSNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuaresmaPN14,
author = {Jose Quaresma and
Christian W. Probst and
Flemming Nielson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Guided System Development Framework: Modeling and Verifying Communication
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {509--523},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_42},
doi = {10.1007/978-3-662-45231-8\_42},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuaresmaPN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/VigoCTNNN14,
author = {Roberto Vigo and
Alessandro Celestini and
Francesco Tiezzi and
Rocco De Nicola and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Trust-Based Enforcement of Security Policies},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {176--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_12},
doi = {10.1007/978-3-662-45917-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/VigoCTNNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangNN14,
author = {Shuling Wang and
Flemming Nielson and
Hanne Riis Nielson},
title = {A Framework for Hybrid Systems with Denial-of-Service Security Attack},
journal = {CoRR},
volume = {abs/1403.6367},
year = {2014},
url = {http://arxiv.org/abs/1403.6367},
eprinttype = {arXiv},
eprint = {1403.6367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SkrypnyukN13,
author = {Nataliya Skrypnyuk and
Flemming Nielson},
title = {Reachability for Finite-State Process Algebras using Horn Clauses},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {2},
pages = {283},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400121},
doi = {10.1142/S0129054113400121},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/SkrypnyukN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YangHNN13,
author = {Fan Yang and
Chris Hankin and
Flemming Nielson and
Hanne Riis Nielson},
title = {Predictive access control for distributed computation},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1264--1277},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.008},
doi = {10.1016/J.SCICO.2012.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/YangHNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN13,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Safety versus Security in the Quality Calculus},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {285--303},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_18},
doi = {10.1007/978-3-642-39698-4\_18},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/CarboneCNNHS13,
author = {Marco Carbone and
Anders Skovbo Christensen and
Flemming Nielson and
Hanne Riis Nielson and
Thomas T. Hildebrandt and
Martin S{\o}lvkj{\ae}r},
editor = {Jeremy Gibbons and
Wendy MacCaull},
title = {ICT-powered Health Care Processes - (Position Paper)},
booktitle = {Foundations of Health Information Engineering and Systems - Third
International Symposium, {FHIES} 2013, Macau, China, August 21-23,
2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8315},
pages = {59--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53956-5\_5},
doi = {10.1007/978-3-642-53956-5\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/CarboneCNNHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NielsonN13,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Dirk Beyer and
Michele Boreale},
title = {Probabilistic Analysis of the Quality Calculus},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {258--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_18},
doi = {10.1007/978-3-642-38592-6\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/NielsonN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VigoNN13,
author = {Roberto Vigo and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Broadcast, Denial-of-Service, and Secure Communication},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {412--427},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_28},
doi = {10.1007/978-3-642-38613-8\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VigoNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/ModersheimNN13,
author = {Sebastian M{\"{o}}dersheim and
Flemming Nielson and
Hanne Riis Nielson},
editor = {David A. Basin and
John C. Mitchell},
title = {Lazy Mobile Intruders},
booktitle = {Principles of Security and Trust - Second International Conference,
{POST} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7796},
pages = {147--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36830-1\_8},
doi = {10.1007/978-3-642-36830-1\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/ModersheimNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1111,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson},
title = {Design-Efficiency in Security},
journal = {CoRR},
volume = {abs/1302.1111},
year = {2013},
url = {http://arxiv.org/abs/1302.1111},
eprinttype = {arXiv},
eprint = {1302.1111},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TerepetaNN13,
author = {Michal Terepeta and
Hanne Riis Nielson and
Flemming Nielson},
title = {Pushdown Systems for Monotone Frameworks},
journal = {CoRR},
volume = {abs/1307.4585},
year = {2013},
url = {http://arxiv.org/abs/1307.4585},
eprinttype = {arXiv},
eprint = {1307.4585},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TerepetaNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NielsonNP12,
author = {Hanne Riis Nielson and
Flemming Nielson and
Henrik Pilegaard},
title = {Flow Logic for Process Calculi},
journal = {{ACM} Comput. Surv.},
volume = {44},
number = {1},
pages = {3:1--3:39},
year = {2012},
url = {https://doi.org/10.1145/2071389.2071392},
doi = {10.1145/2071389.2071392},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/NielsonNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SkrypnyukNP12,
author = {Nataliya Skrypnyuk and
Flemming Nielson and
Henrik Pilegaard},
title = {Static Analysis of {IMC}},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {4},
pages = {522--540},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.03.011},
doi = {10.1016/J.JLAP.2012.03.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SkrypnyukNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/TerepetaNN12,
author = {Michal Terepeta and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Marjan Sirjani},
title = {Recursive Advice for Coordination},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {137--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_10},
doi = {10.1007/978-3-642-30829-1\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/TerepetaNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/NielsonNV12,
author = {Hanne Riis Nielson and
Flemming Nielson and
Roberto Vigo},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Calculus for Quality},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {188--204},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_12},
doi = {10.1007/978-3-642-35861-6\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/NielsonNV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ZhangNN12,
author = {Fuyuan Zhang and
Flemming Nielson and
Hanne Riis Nielson},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Model Checking as Static Analysis: Revisited},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {99--112},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_8},
doi = {10.1007/978-3-642-30729-4\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ZhangNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/YukselNN12,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson},
title = {Key Update Assistant for resource-constrained networks},
booktitle = {2012 {IEEE} Symposium on Computers and Communications, {ISCC} 2012,
Cappadocia, Turkey, July 1-4, 2012},
pages = {75--81},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCC.2012.6249271},
doi = {10.1109/ISCC.2012.6249271},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/YukselNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/YukselNNN12,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson and
Bo Friis Nielsen},
title = {LBTool: {A} stochastic toolkit for leave-based key updates},
booktitle = {2012 {IEEE} Symposium on Computers and Communications, {ISCC} 2012,
Cappadocia, Turkey, July 1-4, 2012},
pages = {868--875},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCC.2012.6249411},
doi = {10.1109/ISCC.2012.6249411},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/YukselNNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/RamliNN12,
author = {Carroline Dewi Puspa Kencana Ramli and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Elvira Albert},
title = {{XACML} 3.0 in Answer Set Programming},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7844},
pages = {89--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_7},
doi = {10.1007/978-3-642-38197-3\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/RamliNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JansenNZ12,
author = {David N. Jansen and
Flemming Nielson and
Lijun Zhang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Belief Bisimulation for Hidden Markov Models - Logical Characterisation
and Decision Algorithm},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {326--340},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_31},
doi = {10.1007/978-3-642-28891-3\_31},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JansenNZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HernandezN12,
author = {Alejandro Mario Hernandez and
Flemming Nielson},
editor = {Sergio Maffeis and
Tamara Rezk},
title = {A generic approach for security policies composition: position paper},
booktitle = {Proceedings of the 2012 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2012, Beijing, China, 15 June, 2012},
pages = {5},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2336717.2336722},
doi = {10.1145/2336717.2336722},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HernandezN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FilipiukNN12,
author = {Piotr Filipiuk and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Danny De Schreye and
Gerda Janssens and
Andy King},
title = {Layered fixed point logic},
booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
pages = {45--54},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2370776.2370784},
doi = {10.1145/2370776.2370784},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/FilipiukNN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YukselZNHN12,
author = {Ender Y{\"{u}}ksel and
Huibiao Zhu and
Hanne Riis Nielson and
Heqing Huang and
Flemming Nielson},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Modelling and Analysis of Smart Grid: {A} Stochastic Model Checking
Case Study},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.44},
doi = {10.1109/TASE.2012.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/YukselZNHN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-4262,
author = {Fan Yang and
Chris Hankin and
Flemming Nielson and
Hanne Riis Nielson},
title = {Secondary use of data in {EHR} systems},
journal = {CoRR},
volume = {abs/1201.4262},
year = {2012},
url = {http://arxiv.org/abs/1201.4262},
eprinttype = {arXiv},
eprint = {1201.4262},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-4262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2768,
author = {Piotr Filipiuk and
Flemming Nielson and
Hanne Riis Nielson},
title = {Layered Fixed Point Logic},
journal = {CoRR},
volume = {abs/1204.2768},
year = {2012},
url = {http://arxiv.org/abs/1204.2768},
eprinttype = {arXiv},
eprint = {1204.2768},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6664,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson and
Huibiao Zhu and
Heqing Huang},
title = {Modelling Chinese Smart Grid: {A} Stochastic Model Checking Case Study},
journal = {CoRR},
volume = {abs/1205.6664},
year = {2012},
url = {http://arxiv.org/abs/1205.6664},
eprinttype = {arXiv},
eprint = {1205.6664},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6675,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson and
Matthias Fruth and
Marta Z. Kwiatkowska},
title = {Optimizing ZigBee Security using Stochastic Model Checking},
journal = {CoRR},
volume = {abs/1205.6675},
year = {2012},
url = {http://arxiv.org/abs/1205.6675},
eprinttype = {arXiv},
eprint = {1205.6675},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5327,
author = {Carroline Dewi Puspa Kencana Ramli and
Hanne Riis Nielson and
Flemming Nielson},
title = {{XACML} 3.0 in Answer Set Programming},
journal = {CoRR},
volume = {abs/1206.5327},
year = {2012},
url = {http://arxiv.org/abs/1206.5327},
eprinttype = {arXiv},
eprint = {1206.5327},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-5384,
author = {Piotr Filipiuk and
Flemming Nielson and
Hanne Riis Nielson},
title = {Lattice based Least Fixed Point Logic},
journal = {CoRR},
volume = {abs/1207.5384},
year = {2012},
url = {http://arxiv.org/abs/1207.5384},
eprinttype = {arXiv},
eprint = {1207.5384},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-5384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-6578,
author = {Bo Friis Nielsen and
Flemming Nielson and
Henrik Pilegaard and
Michael James Andrew Smith and
Ender Y{\"{u}}ksel and
Kebin Zeng and
Lijun Zhang},
title = {Roadmap Document on Stochastic Analysis},
journal = {CoRR},
volume = {abs/1209.6578},
year = {2012},
url = {http://arxiv.org/abs/1209.6578},
eprinttype = {arXiv},
eprint = {1209.6578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-6578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/YukselNN11,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson},
title = {A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks},
journal = {Comput. J.},
volume = {54},
number = {4},
pages = {589--601},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxq036},
doi = {10.1093/COMJNL/BXQ036},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/YukselNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4983,
author = {Lijun Zhang and
David N. Jansen and
Flemming Nielson and
Holger Hermanns},
title = {Automata-Based {CSL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-8(2:17)2012},
doi = {10.2168/LMCS-8(2:17)2012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HernandezNN11,
author = {Alejandro Mario Hernandez and
Flemming Nielson and
Hanne Riis Nielson},
title = {Designing, Capturing and Validating History-Sensitive Security Policies
for Distributed Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {107--149},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&\#38;a=10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HernandezNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GaoNN11,
author = {Han Gao and
Flemming Nielson and
Hanne Riis Nielson},
title = {CaPiTo: protocol stacks for services},
journal = {Formal Aspects Comput.},
volume = {23},
number = {4},
pages = {541--565},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0174-7},
doi = {10.1007/S00165-011-0174-7},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/GaoNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NielsonNN11,
author = {Flemming Nielson and
Sebastian Nanz and
Hanne Riis Nielson},
title = {Modal abstractions of concurrent behavior},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {18:1--18:40},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929955},
doi = {10.1145/1929954.1929955},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NielsonNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNKP11,
author = {Hanne Riis Nielson and
Flemming Nielson and
J{\"{o}}rg Kreiker and
Henrik Pilegaard},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {From Explicit to Symbolic Types for Communication Protocols in {CCS}},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_5},
doi = {10.1007/978-3-642-24933-4\_5},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/YangAMNN11,
author = {Fan Yang and
Tomoyuki Aotani and
Hidehiko Masuhara and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Combining Static Analysis and Runtime Checking in Security Aspects
for Distributed Tuple Spaces},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {202--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_14},
doi = {10.1007/978-3-642-21464-6\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/YangAMNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/RamliNN11,
author = {Carroline Dewi Puspa Kencana Ramli and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {The Logic of {XACML}},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {205--222},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_13},
doi = {10.1007/978-3-642-35743-5\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/RamliNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FilipiukTNN11,
author = {Piotr Filipiuk and
Michal Terepeta and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Galois Connections for Flow Algebras},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {138--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_9},
doi = {10.1007/978-3-642-21461-5\_9},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/FilipiukTNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ZhangJNH11,
author = {Lijun Zhang and
David N. Jansen and
Flemming Nielson and
Holger Hermanns},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Automata-Based {CSL} Model Checking},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {271--282},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_21},
doi = {10.1007/978-3-642-22012-8\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ZhangJNH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/YukselNN11,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson},
title = {Resilience analysis of key update strategies for resource-constrained
networks},
booktitle = {3rd International Congress on Ultra Modern Telecommunications and
Control Systems and Workshops, {ICUMT} 2011, Budapest, Hungary, October
5-7, 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078929/},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icumt/YukselNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SmithNN11,
author = {Michael J. A. Smith and
Flemming Nielson and
Hanne Riis Nielson},
title = {Controlling Modelling Artifacts},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.32},
doi = {10.1109/QEST.2011.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SmithNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SkrypnyukN11,
author = {Nataliya Skrypnyuk and
Flemming Nielson},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Reachability for Finite-State Process Algebras Using Static Analysis},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {231--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_20},
doi = {10.1007/978-3-642-24288-5\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SkrypnyukN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1202,
author = {Lei Song and
Flemming Nielson and
Bo Friis Nielsen},
editor = {Mieke Massink and
Gethin Norman},
title = {A Stochastic Broadcast Pi-Calculus},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {74--88},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.6},
doi = {10.4204/EPTCS.57.6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/GaoNN11,
author = {Han Gao and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Analysing Protocol Stacks for Services},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {369--389},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_17},
doi = {10.1007/978-3-642-20401-2\_17},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/GaoNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-3706,
author = {Carroline Dewi Puspa Kencana Ramli and
Hanne Riis Nielson and
Flemming Nielson},
title = {The Logic of {XACML} - Extended},
journal = {CoRR},
volume = {abs/1110.3706},
year = {2011},
url = {http://arxiv.org/abs/1110.3706},
eprinttype = {arXiv},
eprint = {1110.3706},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-3706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NanzNN10,
author = {Sebastian Nanz and
Flemming Nielson and
Hanne Riis Nielson},
title = {Static analysis of topology-dependent broadcast networks},
journal = {Inf. Comput.},
volume = {208},
number = {2},
pages = {117--139},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.10.003},
doi = {10.1016/J.IC.2009.10.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NanzNN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaGHNNPP10,
author = {Rocco De Nicola and
Daniele Gorla and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst and
Rosario Pugliese},
title = {From Flow Logic to static type systems for coordination languages},
journal = {Sci. Comput. Program.},
volume = {75},
number = {6},
pages = {376--397},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.07.009},
doi = {10.1016/J.SCICO.2009.07.009},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaGHNNPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/NielsonN10,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {C.{-}H. Luke Ong},
title = {Model Checking \emph{Is} Static Analysis of Modal Logic},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {191--205},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_14},
doi = {10.1007/978-3-642-12032-9\_14},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/NielsonN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/NielsonGN10,
author = {Flemming Nielson and
Han Gao and
Hanne Riis Nielson},
editor = {Alessandro Armando and
Gavin Lowe},
title = {The CaPiTo Approach to Protocol Validation - (Invited Talk)},
booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the
Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus,
March 27-28, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_1},
doi = {10.1007/978-3-642-16074-5\_1},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/NielsonGN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NielsenNN10,
author = {Bo Friis Nielsen and
Flemming Nielson and
Hanne Riis Nielson},
title = {Model Checking Multivariate State Rewards},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.10},
doi = {10.1109/QEST.2010.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/NielsenNN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/HankinNN10,
author = {Chris Hankin and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Probabilistic Aspects: Checking Security in an Imperfect World},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {348--363},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_23},
doi = {10.1007/978-3-642-15640-3\_23},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tgc/HankinNN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1010-5567,
author = {Alejandro Mario Hernandez and
Flemming Nielson},
editor = {Simon Bliudze and
Roberto Bruni and
Davide Grohmann and
Alexandra Silva},
title = {History-sensitive versus future-sensitive approaches to security in
distributed systems},
booktitle = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
2010},
series = {{EPTCS}},
volume = {38},
pages = {29--43},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.38.5},
doi = {10.4204/EPTCS.38.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FilipiukNN10,
author = {Piotr Filipiuk and
Hanne Riis Nielson and
Flemming Nielson},
editor = {David Delmas and
Xavier Rival},
title = {Explicit Versus Symbolic Algorithms for Solving {ALFP} Constraints},
booktitle = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
2010, Perpignan, France, September 17, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {267},
number = {2},
pages = {15--28},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.09.015},
doi = {10.1016/J.ENTCS.2010.09.015},
timestamp = {Fri, 10 Mar 2023 11:20:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FilipiukNN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/NielsonN09,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {A monotone framework for {CCS}},
journal = {Comput. Lang. Syst. Struct.},
volume = {35},
number = {4},
pages = {365--394},
year = {2009},
url = {https://doi.org/10.1016/j.cl.2008.07.001},
doi = {10.1016/J.CL.2008.07.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/NielsonN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HankinNN09,
author = {Chris Hankin and
Flemming Nielson and
Hanne Riis Nielson},
title = {Advice from Belnap Policies},
booktitle = {Proceedings of the 22nd {IEEE} Computer Security Foundations Symposium,
{CSF} 2009, Port Jefferson, New York, USA, July 8-10, 2009},
pages = {234--247},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSF.2009.8},
doi = {10.1109/CSF.2009.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HankinNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/YukselNN09,
author = {Ender Y{\"{u}}ksel and
Hanne Riis Nielson and
Flemming Nielson},
title = {A secure key establishment protocol for zigbee wireless sensor networks},
booktitle = {The 24th International Symposium on Computer and Information Sciences,
{ISCIS} 2009, 14-16 September 2009, North Cyprus},
pages = {340--345},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISCIS.2009.5291816},
doi = {10.1109/ISCIS.2009.5291816},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscis/YukselNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2008,
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00945-7},
doi = {10.1007/978-3-642-00945-7},
isbn = {978-3-642-00944-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PilegaardNN08,
author = {Henrik Pilegaard and
Flemming Nielson and
Hanne Riis Nielson},
title = {Pathway analysis for BioAmbients},
journal = {J. Log. Algebraic Methods Program.},
volume = {77},
number = {1-2},
pages = {92--130},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.05.006},
doi = {10.1016/J.JLAP.2008.05.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PilegaardNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/HansenNNP08,
author = {Ren{\'{e}} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst},
title = {Static Validation of Licence Conformance Policies},
booktitle = {Proceedings of the The Third International Conference on Availability,
Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
University of Catalonia, Barcelona , Spain},
pages = {1104--1111},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ARES.2008.162},
doi = {10.1109/ARES.2008.162},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/HansenNNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaGHNNPP08,
author = {Rocco De Nicola and
Daniele Gorla and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst and
Rosario Pugliese},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {From Flow Logic to Static Type Systems for Coordination Languages},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {100--116},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_7},
doi = {10.1007/978-3-540-68265-3\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaGHNNPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HankinNNY08,
author = {Chris Hankin and
Flemming Nielson and
Hanne Riis Nielson and
Fan Yang},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Advice for Coordination},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {153--168},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_10},
doi = {10.1007/978-3-540-68265-3\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/HankinNNY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsenNN08,
author = {Christoffer Rosenkilde Nielsen and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Sophia Drossopoulou},
title = {Iterative Specialisation of Horn Clauses},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {131--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_11},
doi = {10.1007/978-3-540-78739-6\_11},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsenNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ZhangAN08,
author = {Ye Zhang and
Torben Amtoft and
Flemming Nielson},
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
title = {From generic to specific: off-line optimization for a general constraint
solver},
booktitle = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
pages = {45--54},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449913.1449922},
doi = {10.1145/1449913.1449922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/ZhangAN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BauerNNP08,
author = {J{\"{o}}rg Bauer and
Flemming Nielson and
Hanne Riis Nielson and
Henrik Pilegaard},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Relational Analysis of Correlation},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {32--46},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_3},
doi = {10.1007/978-3-540-69166-2\_3},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/BauerNNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NanzNN08,
author = {Sebastian Nanz and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Modal Abstractions of Concurrent Behaviour},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {159--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_11},
doi = {10.1007/978-3-540-69166-2\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/NanzNN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/NielsonN07,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Semantics with Applications: An Appetizer},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-84628-692-6},
doi = {10.1007/978-1-84628-692-6},
isbn = {978-1-84628-691-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/NielsonN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NielsonNP07,
author = {Flemming Nielson and
Hanne Riis Nielson and
Henrik Pilegaard},
title = {What is a free name in a process algebra?},
journal = {Inf. Process. Lett.},
volume = {103},
number = {5},
pages = {188--194},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.04.001},
doi = {10.1016/J.IPL.2007.04.001},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NielsonNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NanzNN07,
author = {Sebastian Nanz and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Topology-Dependent Abstractions of Broadcast Networks},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {226--240},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_16},
doi = {10.1007/978-3-540-74407-8\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NanzNN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/NielsonN07,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {A flow-sensitive analysis of privacy properties},
booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
July 2007, Venice, Italy},
pages = {249--264},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CSF.2007.4},
doi = {10.1109/CSF.2007.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/NielsonN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ZhangN07,
author = {Ye Zhang and
Flemming Nielson},
editor = {Andy King},
title = {A Scalable Inclusion Constraint Solver Using Unification},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {121--137},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_9},
doi = {10.1007/978-3-540-78769-3\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ZhangN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NielsonNBNP07,
author = {Flemming Nielson and
Hanne Riis Nielson and
J{\"{o}}rg Bauer and
Christoffer Rosenkilde Nielsen and
Henrik Pilegaard},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Relational Analysis for Delivery of Services},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_7},
doi = {10.1007/978-3-540-78663-4\_7},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/NielsonNBNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonN07,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Heuristics for Safety and Security Constraints},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {523--543},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.018},
doi = {10.1016/J.ENTCS.2007.02.018},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/HansenPN06,
author = {Ren{\'{e}} Rydhof Hansen and
Christian W. Probst and
Flemming Nielson},
title = {Sandboxing in myKlaim},
booktitle = {Proceedings of the The First International Conference on Availability,
Reliability and Security, {ARES} 2006, The International Dependability
Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
University of Technology, Austria},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ARES.2006.115},
doi = {10.1109/ARES.2006.115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/HansenPN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN06,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Types from Control Flow Analysis},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {293--310},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_14},
doi = {10.1007/978-3-540-71322-7\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN06a,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Data Flow Analysis for {CCS}},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {311--327},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_15},
doi = {10.1007/978-3-540-71322-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ProbstHN06,
author = {Christian W. Probst and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Where Can an Insider Attack?},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {127--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_9},
doi = {10.1007/978-3-540-75227-1\_9},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ProbstHN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/TolstrupNH06,
author = {Terkel K. Tolstrup and
Flemming Nielson and
Ren{\'{e}} Rydhof Hansen},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Locality-Based Security Policies},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {185--201},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_13},
doi = {10.1007/978-3-540-75227-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/TolstrupNH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PilegaardNN07,
author = {Henrik Pilegaard and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Active Evaluation Contexts for Reaction Semantics},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {57--70},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.014},
doi = {10.1016/J.ENTCS.2006.09.014},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PilegaardNN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsenNN07,
author = {Christoffer Rosenkilde Nielsen and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Cryptographic Pattern Matching},
booktitle = {Proceedings of the Second International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September
16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {168},
pages = {91--107},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.024},
doi = {10.1016/J.ENTCS.2006.08.024},
timestamp = {Tue, 24 Jan 2023 11:14:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsenNN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BattBEFHHKMMNSU06,
author = {Gr{\'{e}}gory Batt and
Jeremy T. Bradley and
Roland Ewald and
Fran{\c{c}}ois Fages and
Holger Hermanns and
Jane Hillston and
Peter Kemper and
Alke Martens and
Pieter J. Mosterman and
Flemming Nielson and
Oleg Sokolsky and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Working Groups' Report: The Challlenge of Combining Simulation
and Verification},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BattBEFHHKMMNSU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PilegaardNN06,
author = {Henrik Pilegaard and
Hanne Riis Nielson and
Flemming Nielson},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Static Analysis of a Model of the {LDL} Degradation Pathway},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/723},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PilegaardNN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PilegaardNN06a,
author = {Henrik Pilegaard and
Hanne Riis Nielson and
Flemming Nielson},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Context Dependent Analysis of BioAmbients},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/709},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PilegaardNN06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BodeiBDNN05,
author = {Chiara Bodei and
Mikael Buchholtz and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
title = {Static validation of security protocols},
journal = {J. Comput. Secur.},
volume = {13},
number = {3},
pages = {347--390},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13302},
doi = {10.3233/JCS-2005-13302},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BodeiBDNN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BodeiBCDNNP05,
author = {Chiara Bodei and
Mikael Buchholtz and
Michele Curti and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami},
editor = {Victor E. Malyshkin},
title = {On Evaluating the Performance of Security Protocols},
booktitle = {Parallel Computing Technologies, 8th International Conference, PaCT
2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3606},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11535294\_1},
doi = {10.1007/11535294\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BodeiBCDNNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/TolstrupNN05,
author = {Terkel K. Tolstrup and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Victor E. Malyshkin},
title = {Information Flow Analysis for {VHDL}},
booktitle = {Parallel Computing Technologies, 8th International Conference, PaCT
2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3606},
pages = {79--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11535294\_8},
doi = {10.1007/11535294\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pact/TolstrupNN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/BuchholtzNN04,
author = {Mikael Buchholtz and
Hanne Riis Nielson and
Flemming Nielson},
title = {A calculus for control flow analysis of security protocols},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {145--167},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0036-x},
doi = {10.1007/S10207-004-0036-X},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/BuchholtzNN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NielsonNP04,
author = {Hanne Riis Nielson and
Flemming Nielson and
Henrik Pilegaard},
editor = {Roberto Giacobazzi},
title = {Spatial Analysis of BioAmbients},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {69--83},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_8},
doi = {10.1007/978-3-540-27864-1\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NielsonNP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NielsonNSBHPS04,
author = {Flemming Nielson and
Hanne Riis Nielson and
Hongyan Sun and
Mikael Buchholtz and
Ren{\'{e}} Rydhof Hansen and
Henrik Pilegaard and
Helmut Seidl},
editor = {Kurt Jensen and
Andreas Podelski},
title = {The Succinct Solver Suite},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {251--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_21},
doi = {10.1007/978-3-540-24730-2\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NielsonNSBHPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuchholtzGHN05,
author = {Mikael Buchholtz and
Stephen T. Gilmore and
Jane Hillston and
Flemming Nielson},
editor = {Jeremy T. Bradley and
William J. Knottenbelt},
title = {Securing Statically-verified Communications Protocols Against Timing
Attacks},
booktitle = {Proceedings of the First International Workshop on Practical Applications
of Stochastic Modelling, {PASM} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {4},
pages = {123--143},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.016},
doi = {10.1016/J.ENTCS.2005.01.016},
timestamp = {Mon, 12 Dec 2022 15:30:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuchholtzGHN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeiCDBNNP05,
author = {Chiara Bodei and
Michele Curti and
Pierpaolo Degano and
Mikael Buchholtz and
Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {Performance Evaluation of Security Protocols Specified in LySa},
booktitle = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {112},
pages = {167--189},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.017},
doi = {10.1016/J.ENTCS.2004.01.017},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeiCDBNNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NielsonHN03,
author = {Flemming Nielson and
Ren{\'{e}} Rydhof Hansen and
Hanne Riis Nielson},
title = {Abstract interpretation of mobile ambients},
journal = {Sci. Comput. Program.},
volume = {47},
number = {2-3},
pages = {145--175},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00131-4},
doi = {10.1016/S0167-6423(02)00131-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NielsonHN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BodeiBDNN03,
author = {Chiara Bodei and
Mikael Buchholtz and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
title = {Automatic Validation of Protocol Narration},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {126--140},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212709},
doi = {10.1109/CSFW.2003.1212709},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BodeiBDNN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonNPR07,
author = {Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami and
Debora Rosa},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Control Flow Analysis for BioAmbients},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {65--79},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.01.041},
doi = {10.1016/J.ENTCS.2004.01.041},
timestamp = {Tue, 31 Jan 2023 14:03:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonNPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BodeiDNN02,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
title = {Flow logic for Dolev-Yao secrecy in cryptographic processes},
journal = {Future Gener. Comput. Syst.},
volume = {18},
number = {6},
pages = {747--756},
year = {2002},
url = {https://doi.org/10.1016/S0167-739X(02)00047-X},
doi = {10.1016/S0167-739X(02)00047-X},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BodeiDNN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonSN02,
author = {Flemming Nielson and
Helmut Seidl and
Hanne Riis Nielson},
title = {A Succinct Solver for {ALFP}},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {335--372},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsonSN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsonNH02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Ren{\'{e}} Rydhof Hansen},
title = {Validating firewalls using flow logics},
journal = {Theor. Comput. Sci.},
volume = {283},
number = {2},
pages = {381--418},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00140-2},
doi = {10.1016/S0304-3975(01)00140-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NielsonNH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN02,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {Flow Logic: {A} Multi-paradigmatic Approach to Static Analysis},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {223--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_11},
doi = {10.1007/3-540-36377-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonNS02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Daniel Le M{\'{e}}tayer},
title = {Automatic Complexity Analysis},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {243--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_18},
doi = {10.1007/3-540-45927-8\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/NielsonNB02,
author = {Hanne Riis Nielson and
Flemming Nielson and
Mikael Buchholtz},
editor = {Riccardo Focardi and
Roberto Gorrieri},
title = {Security for Mobility},
booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2946},
pages = {207--265},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24631-2\_6},
doi = {10.1007/978-3-540-24631-2\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/fosad/NielsonNB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NielsonNS02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {20--35},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_5},
doi = {10.1007/3-540-45789-5\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NielsonNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BodeiDNN01,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
title = {Static Analysis for the pi-Calculus with Applications to Security},
journal = {Inf. Comput.},
volume = {168},
number = {1},
pages = {68--92},
year = {2001},
url = {https://doi.org/10.1006/inco.2000.3020},
doi = {10.1006/INCO.2000.3020},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BodeiDNN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NielsonNS01,
author = {Flemming Nielson and
Hanne Riis Nielson and
Shmuel Sagiv},
title = {Kleene's Logic with Equality},
journal = {Inf. Process. Lett.},
volume = {80},
number = {3},
pages = {131--137},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00155-7},
doi = {10.1016/S0020-0190(01)00155-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NielsonNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonN01,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Shape Analysis for Mobile Ambients},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {233--275},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/riisnielsonn2001:233.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsonN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonS01,
author = {Flemming Nielson and
Helmut Seidl},
editor = {David Sands},
title = {Control-Flow Analysis in Cubic Time},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {252--268},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_17},
doi = {10.1007/3-540-45309-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BodeiDNN01,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Victor E. Malyshkin},
title = {Static Analysis for Secrecy and Non-interference in Networks of Processes},
booktitle = {Parallel Computing Technologies, 6th International Conference, PaCT
2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2127},
pages = {27--41},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44743-1\_3},
doi = {10.1007/3-540-44743-1\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BodeiDNN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonNS01,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Marina Lenisa and
Marino Miculan},
title = {Cryptographic Analysis in Cubic Time},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {7--23},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00316-0},
doi = {10.1016/S1571-0661(04)00316-0},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/BodeiDNN01,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Security Analysis Using Flow Logics},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {525--542},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/BodeiDNN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI01-12,
author = {Flemming Nielson and
Helmut Seidl},
title = {Succinct Solvers},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {01-12},
year = {2001},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI01-12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BodeiDNN00,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
title = {Security Analysis using Flow Logics},
journal = {Bull. {EATCS}},
volume = {70},
pages = {112--130},
year = {2000},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BodeiDNN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonNS00,
author = {Flemming Nielson and
Hanne Riis Nielson and
Shmuel Sagiv},
editor = {Gert Smolka},
title = {A Kleene Analysis of Mobile Ambients},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {305--319},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_20},
doi = {10.1007/3-540-46425-5\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NielsonN00,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Shape Analysis for Mobile Ambients},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {142--154},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325711},
doi = {10.1145/325694.325711},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/NielsonN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0098135,
author = {Torben Amtoft and
Hanne Riis Nielson and
Flemming Nielson},
title = {Type and effect systems - behaviours for concurrency},
publisher = {Imperial College Press},
year = {1999},
isbn = {978-1-86094-154-2},
timestamp = {Wed, 20 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0098135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0098888,
author = {Flemming Nielson and
Hanne Riis Nielson and
Chris Hankin},
title = {Principles of program analysis},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-662-03811-6},
doi = {10.1007/978-3-662-03811-6},
isbn = {978-3-540-65410-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0098888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonN99,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {Type and Effect Systems},
booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
pages = {114--136},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7\_6},
doi = {10.1007/3-540-48092-7\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NielsonNHJ99,
author = {Flemming Nielson and
Hanne Riis Nielson and
Ren{\'{e}} Rydhof Hansen and
Jacob Grydholt Jensen},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Validating Firewalls in Mobile Ambients},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {463--477},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_32},
doi = {10.1007/3-540-48320-9\_32},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NielsonNHJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonN99,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {S. Doaitse Swierstra},
title = {Interprocedural Control Flow Analysis},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {20--39},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_3},
doi = {10.1007/3-540-49099-X\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BodeiDNN99,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Wolfgang Thomas},
title = {Static Analysis of Processes for No and Read-Up nad No Write-Down},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {120--134},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_9},
doi = {10.1007/3-540-49019-1\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BodeiDNN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HansenJNN99,
author = {Ren{\'{e}} Rydhof Hansen and
Jacob Grydholt Jensen and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {Abstract Interpretation of Mobile Ambients},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1694},
pages = {134--148},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_9},
doi = {10.1007/3-540-48294-6\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HansenJNN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Nielson99,
author = {Flemming Nielson},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Validating Programs in Concurrent {ML}},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {361--378},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_17},
doi = {10.1007/978-1-4471-0841-2\_17},
timestamp = {Thu, 01 Aug 2019 12:47:09 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Nielson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GasserNN98,
author = {Kirsten Lackner Solberg Gasser and
Hanne Riis Nielson and
Flemming Nielson},
title = {Strictness and Totality Analysis},
journal = {Sci. Comput. Program.},
volume = {31},
number = {1},
pages = {113--145},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(96)00043-3},
doi = {10.1016/S0167-6423(96)00043-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GasserNN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmtoftNN98,
author = {Torben Amtoft and
Hanne Riis Nielson and
Flemming Nielson},
title = {Behavior Analysis for Validating Communication Patterns},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {1},
pages = {13--28},
year = {1998},
url = {https://doi.org/10.1007/s100090050015},
doi = {10.1007/S100090050015},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmtoftNN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/NielsonN98,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Kai Koskimies},
title = {Flow Logics for Constraint Based Analysis},
booktitle = {Compiler Construction, 7th International Conference, CC'98, Held as
Part of the European Joint Conferences on the Theory and Practice
of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1383},
pages = {109--127},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0026426},
doi = {10.1007/BFB0026426},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/NielsonN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BodeiDNN98,
author = {Chiara Bodei and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Control Flow Analysis for the pi-calculus},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {84--98},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055617},
doi = {10.1007/BFB0055617},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BodeiDNN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NielsonAN98,
author = {Hanne Riis Nielson and
Torben Amtoft and
Flemming Nielson},
editor = {Egidio Astesiano},
title = {Behaviour Analysis and Safety Conditions: {A} Case Study in {CML}},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {255--269},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053595},
doi = {10.1007/BFB0053595},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/fase/NielsonAN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NielsonN98,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Flow Logic for Imperative Objects},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {220--228},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055771},
doi = {10.1007/BFB0055771},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NielsonN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AmtoftNN97,
author = {Torben Amtoft and
Flemming Nielson and
Hanne Riis Nielson},
title = {Type and Behaviour Reconstruction for Higher-Order Concurrent Programs},
journal = {J. Funct. Program.},
volume = {7},
number = {3},
pages = {321--347},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002700},
doi = {10.1017/S0956796897002700},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AmtoftNN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Nielson97,
author = {Flemming Nielson},
title = {Perspectives on Program Analysis},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {89--91},
year = {1997},
url = {https://doi.org/10.1145/251595.251604},
doi = {10.1145/251595.251604},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Nielson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GasserNN97,
author = {Kirsten Lackner Solberg Gasser and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Systematic Realisation of Control Flow Analyses for {CML}},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {38--51},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258954},
doi = {10.1145/258948.258954},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GasserNN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/NielsonN97,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {John P. Gallagher and
Charles Consel and
A. Michael Berman},
title = {Prescriptive Frameworks for Multi-Level Lambda-Calculi},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam,
The Netherlands, June 12-13, 1997},
pages = {193--202},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258993.259018},
doi = {10.1145/258993.259018},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pepm/NielsonN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NielsonN97,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Infinitary Control Flow Analysis: a Collecting Semantics for Closure
Analysis},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {332--345},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263745},
doi = {10.1145/263699.263745},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/NielsonN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonN97,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Flow Logic and Operational Semantics},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {150--169},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80695-4},
doi = {10.1016/S1571-0661(05)80695-4},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Nielson96,
author = {Flemming Nielson},
title = {Annotated Type and Effect Systems},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {344--345},
year = {1996},
url = {https://doi.org/10.1145/234528.234745},
doi = {10.1145/234528.234745},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Nielson96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Nielson96a,
author = {Flemming Nielson},
title = {Perspectives on Program Analysis},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {168},
year = {1996},
url = {https://doi.org/10.1145/242224.242441},
doi = {10.1145/242224.242441},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Nielson96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonN96,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Operational Semantics of Termination Types},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {144--187},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/NielsonN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsonN96,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {From {CML} to its Process Algebra},
journal = {Theor. Comput. Sci.},
volume = {155},
number = {1},
pages = {179--219},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00017-8},
doi = {10.1016/0304-3975(95)00017-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NielsonN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NielsonN96,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Multi-Level Lambda-Calculi: An Algebraic Description},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {338--354},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_17},
doi = {10.1007/3-540-61580-6\_17},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/NielsonN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonCDDJMT96,
author = {Flemming Nielson and
Patrick Cousot and
Mads Dam and
Pierpaolo Degano and
Pierre Jouvelot and
Alan Mycroft and
Bent Thomsen},
editor = {Mads Dam},
title = {Logical and Operational Methods in the Analysis of Programs and Systems},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {1--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_1},
doi = {10.1007/3-540-62503-8\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonCDDJMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96,
author = {Hanne Riis Nielson and
Flemming Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Static Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {141--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_8},
doi = {10.1007/3-540-62503-8\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/AmtoftNNA96,
author = {Torben Amtoft and
Flemming Nielson and
Hanne Riis Nielson and
J{\"{u}}rgen Ammann},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {172--206},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_9},
doi = {10.1007/3-540-62503-8\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/AmtoftNNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96a,
author = {Flemming Nielson and
Hanne Riis Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Algorithm},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {207--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_10},
doi = {10.1007/3-540-62503-8\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Nielson96,
author = {Flemming Nielson},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Semantics-Directed Program Analysis: {A} Tool-Maker's Perspective},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {2--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_30},
doi = {10.1007/3-540-61739-6\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Nielson96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NielsonN95,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Static and Dynamic Processor Allocation for Higher-Order Concurrent
Languages},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {590--604},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_222},
doi = {10.1007/3-540-59293-8\_222},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NielsonN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NielsonN94,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {The Tensor Product in Wadler's Analysis of Lists},
journal = {Sci. Comput. Program.},
volume = {22},
number = {3},
pages = {327--354},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00009-3},
doi = {10.1016/0167-6423(94)00009-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NielsonN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/NielsonN94,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Jean{-}Pierre Jouannaud},
title = {Constraints for Polymorphic Behaviours of Concurrent {ML}},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {73--88},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016845},
doi = {10.1007/BFB0016845},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ccl/NielsonN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NielsonN94,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Higher-Order Concurrent Programs with Finite Communication Topology},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {84--97},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.174538},
doi = {10.1145/174675.174538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/NielsonN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NielsonN93,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Eike Best},
title = {From {CML} to Process Algebras (Extended Abstract)},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {493--508},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_34},
doi = {10.1007/3-540-57208-2\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NielsonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NielsonN93,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Finiteness Conditions for Strictness Analysis},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {194--205},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_41},
doi = {10.1007/3-540-57264-3\_41},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NielsonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067731,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Semantics with applications - a formal introduction},
series = {Wiley professional computing},
publisher = {Wiley},
year = {1992},
isbn = {978-0-471-92980-2},
timestamp = {Thu, 07 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071307,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Two-level functional languages},
series = {Cambridge tracts in theoretical computer science},
volume = {34},
publisher = {Cambridge University Press},
year = {1992},
isbn = {978-0-521-40384-9},
timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/NielsonN92,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Forced transformation of Occam programs},
journal = {Inf. Softw. Technol.},
volume = {34},
number = {2},
pages = {91--96},
year = {1992},
url = {https://doi.org/10.1016/0950-5849(92)90109-3},
doi = {10.1016/0950-5849(92)90109-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Nielson92,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Bounded Fixed-Point Iteration},
journal = {J. Log. Comput.},
volume = {2},
number = {4},
pages = {441--464},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.4.441},
doi = {10.1093/LOGCOM/2.4.441},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Nielson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonN92,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {The Tensor Product in Wadler's Analysis of Lists},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {351--370},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_21},
doi = {10.1007/3-540-55253-7\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN92,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Jon L. White},
title = {Finiteness Conditions for Fixed Point Iteration},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {96--108},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141514},
doi = {10.1145/141471.141514},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NielsonN92,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Ravi Sethi},
title = {Bounded Fixed Point Iteration},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {71--82},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143182},
doi = {10.1145/143165.143182},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NielsonN92,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Layered Predicates},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {425--456},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_43},
doi = {10.1007/3-540-56596-5\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SolbergNN92,
author = {Kirsten Lackner Solberg and
Hanne Riis Nielson and
Flemming Nielson},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Inference Systems for Binding Time Analysis},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {247--254},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/SolbergNN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NielsonN91,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Using Transformations in the Implementations of Higher-Order Functions},
journal = {J. Funct. Program.},
volume = {1},
number = {4},
pages = {459--494},
year = {1991},
url = {https://doi.org/10.1017/S0956796800000204},
doi = {10.1017/S0956796800000204},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NielsonN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsonN90,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Functional Completeness of the Mixed lambda-Calculus and Combinatory
Logic},
journal = {Theor. Comput. Sci.},
volume = {70},
number = {1},
pages = {99--126},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90155-B},
doi = {10.1016/0304-3975(90)90155-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NielsonN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonN90,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Neil D. Jones},
title = {Eureka Definitions for Free! or Disagreement Points for Fold/Unford
Transformations},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {291--305},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_70},
doi = {10.1007/3-540-52592-0\_70},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN90,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Gilles Kahn},
title = {Context Information for Lazy Code Generation},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {251--263},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91665},
doi = {10.1145/91556.91665},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Nielson89,
author = {Flemming Nielson},
title = {Two-Level Semantics and Abstract Interpretation},
journal = {Theor. Comput. Sci.},
volume = {69},
number = {2},
pages = {117--242},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90091-1},
doi = {10.1016/0304-3975(89)90091-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Nielson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/NielsonN89,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Joseph E. Stoy},
title = {Transformations on Higher-Order Functions},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {129--143},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99380},
doi = {10.1145/99370.99380},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/NielsonN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Nielson89,
author = {Flemming Nielson},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {The Typed lambda-Calculus with First-Class Processes},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {366},
pages = {357--373},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51285-3\_52},
doi = {10.1007/3-540-51285-3\_52},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Nielson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Nielson88,
author = {Flemming Nielson},
title = {Strictness Analysis and Denotational Abstract Interpretation},
journal = {Inf. Comput.},
volume = {76},
number = {1},
pages = {29--92},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90041-7},
doi = {10.1016/0890-5401(88)90041-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Nielson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NielsonN88,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Automatic Binding Time Analysis for a Typed lambda-Calculus},
journal = {Sci. Comput. Program.},
volume = {10},
number = {1},
pages = {139--176},
year = {1988},
url = {https://doi.org/10.1016/0167-6423(88)90025-1},
doi = {10.1016/0167-6423(88)90025-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NielsonN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsonN88,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Two-Level Semantics and Code Generation},
journal = {Theor. Comput. Sci.},
volume = {56},
pages = {59--133},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(86)90006-X},
doi = {10.1016/0304-3975(86)90006-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NielsonN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonN88,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Harald Ganzinger},
title = {2-level lambda-lifting},
booktitle = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {300},
pages = {328--343},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19027-9\_22},
doi = {10.1007/3-540-19027-9\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NielsonN88,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Automatic Binding Time Analysis for a Typed Lambda-Calculus},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {98--106},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73569},
doi = {10.1145/73560.73569},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/NielsonN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Nielson87,
author = {Flemming Nielson},
title = {Strictness Analysis and Denotational Abstract Interpretation},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {120--131},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41636},
doi = {10.1145/41625.41636},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Nielson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Nielson86,
author = {Flemming Nielson},
editor = {Bernard J. Robinet and
Reinhard Wilhelm},
title = {Correctness of Code Generation from a Two-Level Meta-Language},
booktitle = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
Federal Republic of Germany, March 17-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {213},
pages = {30--40},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16442-1\_2},
doi = {10.1007/3-540-16442-1\_2},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/esop/Nielson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonN86,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Bernard J. Robinet and
Reinhard Wilhelm},
title = {Pragmatic Aspects of Two-Level Denotational Meta-Languages},
booktitle = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
Federal Republic of Germany, March 17-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {213},
pages = {133--143},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16442-1\_10},
doi = {10.1007/3-540-16442-1\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN86,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Semantics Directed Compiling for Functional Languages},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {249--257},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319867},
doi = {10.1145/319838.319867},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Nielson86,
author = {Flemming Nielson},
editor = {Burkhard Monien and
Guy Vidal{-}Naquet},
title = {Abstract Interpretation of Denotational Definions {(A} Survey)},
booktitle = {{STACS} 86, 3rd Annual Symposium on Theoretical Aspects of Computer
Science, Orsay, France, January 16-18, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {210},
pages = {1--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16078-7\_61},
doi = {10.1007/3-540-16078-7\_61},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Nielson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Nielson85,
author = {Flemming Nielson},
title = {Program Transformations in a Denotational Setting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {7},
number = {3},
pages = {359--379},
year = {1985},
url = {https://doi.org/10.1145/3916.3917},
doi = {10.1145/3916.3917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Nielson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Nielson85,
author = {Flemming Nielson},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {Expected forms of data flow analyses},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {172--191},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_10},
doi = {10.1007/3-540-16446-4\_10},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/Nielson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/NielsonN85,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {Code generation from two-level denotational meta-languages},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {192--205},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_11},
doi = {10.1007/3-540-16446-4\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdo/NielsonN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Nielson84a,
author = {Flemming Nielson},
title = {Abstract interpretation using domain theory},
school = {University of Edinburgh, {UK}},
year = {1984},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.350060},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Nielson84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MycroftN83,
author = {Alan Mycroft and
Flemming Nielson},
editor = {Josep D{\'{\i}}az},
title = {Strong Abstract Interpretation Using Power Domains (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {536--547},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036935},
doi = {10.1007/BFB0036935},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MycroftN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Nielson82,
author = {Flemming Nielson},
title = {A Denotational Framework for Data Flow Analysis},
journal = {Acta Informatica},
volume = {18},
pages = {265--287},
year = {1982},
url = {https://doi.org/10.1007/BF00263194},
doi = {10.1007/BF00263194},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Nielson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
