Aslanyan, Zaruhi; Nielson, Flemming Model checking exact cost for attack scenarios. (English) Zbl 1444.68102 Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 210-231 (2017). MSC: 68Q60 03B44 68M25 68Q87 PDFBibTeX XMLCite \textit{Z. Aslanyan} and \textit{F. Nielson}, Lect. Notes Comput. Sci. 10204, 210--231 (2017; Zbl 1444.68102) Full Text: DOI
Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin Stochastic model checking of the stochastic quality calculus. (English) Zbl 1454.68079 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 522-537 (2015). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{F. Nielson} et al., Lect. Notes Comput. Sci. 8950, 522--537 (2015; Zbl 1454.68079) Full Text: DOI
Skrypnyuk, Nataliya; Nielson, Flemming Reachability for finite-state process algebras using Horn clauses. (English) Zbl 1295.68169 Int. J. Found. Comput. Sci. 24, No. 2, 283-302 (2013). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 68Q60 03B70 PDFBibTeX XMLCite \textit{N. Skrypnyuk} and \textit{F. Nielson}, Int. J. Found. Comput. Sci. 24, No. 2, 283--302 (2013; Zbl 1295.68169) Full Text: DOI
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1264.03087 Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013). MSC: 03B70 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013; Zbl 1264.03087) Full Text: DOI
Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik Flow logic for process calculi. (English) Zbl 1293.68192 ACM Comput. Surv. 44, No. 1, Paper No. 3, 39 p. (2012). MSC: 68Q60 03B70 68N30 68Q85 68-02 PDFBibTeX XMLCite \textit{H. R. Nielson} et al., ACM Comput. Surv. 44, No. 1, Paper No. 3, 39 p. (2012; Zbl 1293.68192) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI
Nielson, Flemming; Nanz, Sebastian; Nielson, Hanne Riis Modal abstractions of concurrent behavior. (English) Zbl 1351.68185 ACM Trans. Comput. Log. 12, No. 3, Article No. 18, 40 p. (2011). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{F. Nielson} et al., ACM Trans. Comput. Log. 12, No. 3, Article No. 18, 40 p. (2011; Zbl 1351.68185) Full Text: DOI
Nielson, Flemming; Nielson, Hanne Riis Heuristics for safety and security constraints. (English) Zbl 1277.68250 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 523-543 (2007). MSC: 68T20 68Q60 68Q55 PDFBibTeX XMLCite \textit{F. Nielson} and \textit{H. R. Nielson}, Electron. Notes Theor. Comput. Sci. 172, 523--543 (2007; Zbl 1277.68250) Full Text: DOI
Riis Nielson, Hanne; Nielson, Flemming Semantics with applications: an appetizer. (English) Zbl 1126.68052 Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-84628-691-9/pbk). xii, 274 p. (2007). MSC: 68Q55 68-01 PDFBibTeX XMLCite \textit{H. Riis Nielson} and \textit{F. Nielson}, Semantics with applications: an appetizer. London: Springer (2007; Zbl 1126.68052)
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut A succinct solver for ALFP. (English) Zbl 1088.68774 Nord. J. Comput. 9, No. 4, 335-372 (2002). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{F. Nielson} et al., Nord. J. Comput. 9, No. 4, 335--372 (2002; Zbl 1088.68774)
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut Automatic complexity analysis. (English) Zbl 1077.68610 Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 243-261 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Nielson} et al., Lect. Notes Comput. Sci. 2305, 243--261 (2002; Zbl 1077.68610) Full Text: Link
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut Normalizable Horn clauses, strongly recognizable relations, and Spi. (English) Zbl 1015.68042 Hermenegildo, Manuel V. (ed.) et al., Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2477, 20-35 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Nielson} et al., Lect. Notes Comput. Sci. 2477, 20--35 (2002; Zbl 1015.68042) Full Text: Link
Nielson, Flemming; Seidl, Helmut Control-flow analysis in cubic time. (English) Zbl 0977.68520 Sands, David (ed.), Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2028, 252-268 (2001). MSC: 68N30 68Q60 68Q25 PDFBibTeX XMLCite \textit{F. Nielson} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 2028, 252--268 (2001; Zbl 0977.68520) Full Text: Link
Nielson, Flemming Semantics-directed program analysis: a tool-maker’s perspective. (English) Zbl 1482.68092 Cousot, Radhia (ed.) et al., Static analysis. Third international symposium, SAS ’96, Aachen, Germany, September 24–26, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1145, 2-21 (1996). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{F. Nielson}, Lect. Notes Comput. Sci. 1145, 2--21 (1996; Zbl 1482.68092) Full Text: DOI
Nielson, Flemming LOMAPS. Logical and operational methods in the analysis of programs and systems. (English) Zbl 1030.68561 Bull. EATCS 58, 77-88 (1996). MSC: 68Q55 68Q60 68N30 PDFBibTeX XMLCite \textit{F. Nielson}, Bull. EATCS 58, 77--88 (1996; Zbl 1030.68561)
Nielson, Hanne Riis; Nielson, Flemming Bounded fixed-point iteration. (English) Zbl 0783.68075 J. Log. Comput. 2, No. 4, 441-464 (1992). MSC: 68Q55 PDFBibTeX XMLCite \textit{H. R. Nielson} and \textit{F. Nielson}, J. Log. Comput. 2, No. 4, 441--464 (1992; Zbl 0783.68075) Full Text: DOI
Nielson, Hanne R.; Nielson, Flemming Automatic binding time analysis for a typed \(\lambda\)-calculus. (English) Zbl 0653.03008 Sci. Comput. Program. 10, No. 2, 139-176 (1988). Reviewer: J.Zlatuska MSC: 03B40 68Q60 68Q65 PDFBibTeX XMLCite \textit{H. R. Nielson} and \textit{F. Nielson}, Sci. Comput. Program. 10, No. 2, 139--176 (1988; Zbl 0653.03008) Full Text: DOI
Nielson, Flemming Strictness analysis and denotational abstract interpretation. (English) Zbl 0636.68018 Inf. Comput. 76, No. 1, 29-92 (1988). Reviewer: F.Nielson MSC: 68Q60 68Q65 03B40 PDFBibTeX XMLCite \textit{F. Nielson}, Inf. Comput. 76, No. 1, 29--92 (1988; Zbl 0636.68018) Full Text: DOI
Nielson, Flemming; Nielson, Hanne R. Code generation from two-level denotational meta-languages. (English) Zbl 0585.68012 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 192-205 (1986). MSC: 68N01 PDFBibTeX XML
Nielson, Flemming Towards viewing nondeterminism as abstract interpretation. (English) Zbl 0533.68013 Foundations of software technology and theoretical computer science, 3rd Conf., Bangalore/India 1983, 20-39 (1983). MSC: 68Q60 PDFBibTeX XML
Mycroft, A.; Nielson, F. Strong abstract interpretation using power domains (extended abstract). (English) Zbl 0516.68012 Automata, languages and programming 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 536-544 (1983). MSC: 68Q60 PDFBibTeX XML