Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hanne Riis 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}
}
@proceedings{DBLP:conf/coordination/2019,
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7},
doi = {10.1007/978-3-030-22397-7},
isbn = {978-3-030-22396-0},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/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/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/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/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/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/tase/WuNZ15,
author = {Xi Wu and
Hanne Riis Nielson and
Huibiao Zhu},
title = {A SAT-Based Analysis of a Calculus for Wireless Sensor Networks},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.23},
doi = {10.1109/TASE.2015.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WuNZ15.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/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/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}
}
@proceedings{DBLP:conf/nordsec/2013,
editor = {Hanne Riis Nielson and
Dieter Gollmann},
title = {Secure {IT} Systems - 18th Nordic Conference, NordSec 2013, Ilulissat,
Greenland, October 18-21, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41488-6},
doi = {10.1007/978-3-642-41488-6},
isbn = {978-3-642-41487-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/2013.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}
}
@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/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/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/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/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}
}
@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/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}
}
@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/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}
}
@proceedings{DBLP:conf/dagstuhl/2008P8161,
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08161/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MartinNRS08,
author = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
editor = {Florian Martin and
Hanne Riis Nielson and
Claudio Riva and
Markus Schordan},
title = {08161 Abstracts Collection - Scalable Program Analysis},
booktitle = {Scalable Program Analysis, 13.04. - 18.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1576/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MartinNRS08.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/asian/GaoBDN07,
author = {Han Gao and
Chiara Bodei and
Pierpaolo Degano and
Hanne Riis Nielson},
editor = {Iliano Cervesato},
title = {A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {150--165},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_15},
doi = {10.1007/978-3-540-76929-3\_15},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/GaoBDN07.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/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}
}
@proceedings{DBLP:conf/sas/2007,
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2},
doi = {10.1007/978-3-540-74061-2},
isbn = {978-3-540-74060-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsenN06,
author = {Christoffer Rosenkilde Nielsen and
Hanne Riis Nielson},
title = {Static Analysis for Blinding},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {98--116},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsenN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/GaoN06,
author = {Han Gao and
Hanne Riis Nielson},
title = {Analysis of LYSA-calculus with explicit confidentiality annotations},
booktitle = {20th International Conference on Advanced Information Networking and
Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
pages = {39--43},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AINA.2006.100},
doi = {10.1109/AINA.2006.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/GaoN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ZhangN06,
author = {Ye Zhang and
Hanne Riis Nielson},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Analyzing Security Protocols in Hierarchical Networks},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {430--445},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_32},
doi = {10.1007/11901914\_32},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ZhangN06.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: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}
}
@proceedings{DBLP:conf/dagstuhl/2006P6161,
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {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/portals/06161/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2006-7,
editor = {Corrado Priami and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bud Mishra and
Hanne Riis Nielson},
title = {Transactions on Computational Systems Biology {VII}},
series = {Lecture Notes in Computer Science},
volume = {4230},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11905455},
doi = {10.1007/11905455},
isbn = {3-540-48837-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2006-7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NicolPNU06,
author = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Abstracts Collection -- Simulation and Verification of Dynamic
Systems},
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/710},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NicolPNU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NielsonNPU06,
author = {Hanne Riis Nielson and
David M. Nicol and
Corrado Priami and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Executive Summary -- Simulation and Verification of Dynamic
Systems},
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/702},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NielsonNPU06.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}
}
@inproceedings{DBLP:conf/popl/HansenSN05,
author = {Steffen M. Hansen and
Jakob Skriver and
Hanne Riis Nielson},
editor = {Catherine Meadows},
title = {Using static analysis to validate the {SAML} single sign-on protocol},
booktitle = {Proceedings of the {POPL} 2005 Workshop on Issues in the Theory of
Security, {WITS} 2005, Long Beach, California, USA, January 10-11,
2005},
pages = {27--40},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1045405.1045409},
doi = {10.1145/1045405.1045409},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/popl/HansenSN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsenAN05,
author = {Christoffer Rosenkilde Nielsen and
Esben Heltoft Andersen and
Hanne Riis Nielson},
editor = {Pierpaolo Degano and
Luca Vigan{\`{o}}},
title = {Static Validation of a Voting Protocol},
booktitle = {Proceedings of the Second Workshop on Automated Reasoning for Security
Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {1},
pages = {115--134},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.001},
doi = {10.1016/J.ENTCS.2005.06.001},
timestamp = {Thu, 15 Dec 2022 13:58:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsenAN05.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/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/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: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}
}
@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/HankinNP97,
author = {Chris Hankin and
Hanne Riis Nielson and
Jens Palsberg},
title = {Position Statements on Strategic Directions for Research on Programming
Languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {59--65},
year = {1997},
url = {https://doi.org/10.1145/251595.251599},
doi = {10.1145/251595.251599},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/HankinNP97.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/HankinN96,
author = {Chris Hankin and
Hanne Riis Nielson},
title = {Computing Surveys Symposium on Models of Programming Languages and
Compuation},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {293--294},
year = {1996},
url = {https://doi.org/10.1145/234528.234729},
doi = {10.1145/234528.234729},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HankinN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HankinNP96,
author = {Chris Hankin and
Hanne Riis Nielson and
Jens Palsberg},
title = {Strategic Directions in Research on Programming Languages},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {644--652},
year = {1996},
url = {https://doi.org/10.1145/242223.242260},
doi = {10.1145/242223.242260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HankinNP96.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/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 = {Tue, 14 May 2019 10:00:49 +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}
}
@proceedings{DBLP:conf/esop/1996,
editor = {Hanne Riis Nielson},
title = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3},
doi = {10.1007/3-540-61055-3},
isbn = {3-540-61055-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/1996.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}
}
@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}
}
@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}
}
@article{DBLP:journals/scp/Nielson87,
author = {Hanne Riis Nielson},
title = {A Hoare-Like Proof System for Analysing the Computation Time of Programs},
journal = {Sci. Comput. Program.},
volume = {9},
number = {2},
pages = {107--136},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90029-3},
doi = {10.1016/0167-6423(87)90029-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Nielson87.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 = {Thu, 24 Feb 2022 13:41:39 +0100},
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/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 = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/NielsonN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Nielson84,
author = {Hanne Riis Nielson},
title = {Hoare logic's for run-time analysis of programs},
school = {University of Edinburgh, {UK}},
year = {1984},
url = {https://hdl.handle.net/1842/15527},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Nielson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Nielson83,
author = {Hanne Riis Nielson},
title = {Computation Sequences: {A} Way to Characterize Classes of Attribute
Grammars},
journal = {Acta Informatica},
volume = {19},
pages = {255--268},
year = {1983},
url = {https://doi.org/10.1007/BF00265558},
doi = {10.1007/BF00265558},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Nielson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/RiisS81,
author = {Hanne Riis Nielson and
Sven Skyum},
title = {k-visit Attribute Grammars},
journal = {Math. Syst. Theory},
volume = {15},
number = {1},
pages = {17--28},
year = {1981},
url = {https://doi.org/10.1007/BF01786970},
doi = {10.1007/BF01786970},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/RiisS81.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 2024-04-25 01:16 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:
