| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson |
Secondary use of data in EHR systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
Layered Fixed Point Logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
Flow Logic for Process Calculi. |
ACM Comput. Surv. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Flemming Nielson, Hanne Riis Nielson |
CaPiTo: protocol stacks for services. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ender Yüksel, Hanne Riis Nielson, Flemming Nielson |
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
The Logic of XACML - Extended |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson |
Modal abstractions of concurrent behavior. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Flemming Nielson, Hanne Riis Nielson |
Analysing Protocol Stacks for Services. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
Galois Connections for Flow Algebras. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson |
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ender Yüksel, Hanne Riis Nielson, Flemming Nielson |
Resilience analysis of key update strategies for resource-constrained networks. |
ICUMT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard |
From Explicit to Symbolic Types for Communication Protocols in CCS. |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson |
Controlling Modelling Artifacts. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation |
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to static type systems for coordination languages. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
Static analysis of topology-dependent broadcast networks. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson |
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Han Gao, Hanne Riis Nielson |
The CaPiTo Approach to Protocol Validation - (Invited Talk). |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson |
Model Checking Multivariate State Rewards. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson |
Probabilistic Aspects: Checking Security in an Imperfect World. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Model Checking Is Static Analysis of Modal Logic. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
A monotone framework for CCS. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson |
Advice from Belnap Policies. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
Belnap Logic, Verification, Access Control, Aspect-oriented Programming |
| 1 | Ender Yüksel, Hanne Riis Nielson, Flemming Nielson |
A secure key establishment protocol for zigbee wireless sensor networks. |
ISCIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson |
Pathway analysis for BioAmbients. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to Static Type Systems for Coordination Languages. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
Advice for Coordination. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Bauer 0001, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
Relational Analysis of Correlation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
Modal Abstractions of Concurrent Behaviour. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst |
Static Validation of Licence Conformance Policies. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
static analysis, open systems, policy enforcement |
| 1 | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
Iterative Specialisation of Horn Clauses. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
What is a free name in a process algebra? |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Heuristics for Safety and Security Constraints. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson |
Active Evaluation Contexts for Reaction Semantics. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
Cryptographic Pattern Matching. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa |
Control Flow Analysis for BioAmbients. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
Topology-Dependent Abstractions of Broadcast Networks. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson |
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
A flow-sensitive analysis of privacy properties. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Gilberto Filé (eds.) |
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings |
SAS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Jörg Bauer 0001, Christoffer Rosenkilde Nielsen, Henrik Pilegaard |
Relational Analysis for Delivery of Services. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Rosenkilde Nielsen, Hanne Riis Nielson |
Static Analysis for Blinding. |
Nord. J. Comput. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.) |
Transactions on Computational Systems Biology VII |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher |
06161 Executive Summary -- Simulation and Verification of Dynamic Systems. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher |
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (eds.) |
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006 |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson |
Context Dependent Analysis of BioAmbients. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson |
Static Analysis of a Model of the LDL Degradation Pathway. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ye Zhang 0002, Hanne Riis Nielson |
Analyzing Security Protocols in Hierarchical Networks. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Hanne Riis Nielson |
Analysis of LYSA-calculus with explicit confidentiality annotations. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Data Flow Analysis for CCS. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Types from Control Flow Analysis. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static validation of security protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson |
Static Validation of a Voting Protocol. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
Performance Evaluation of Security Protocols Specified in LySa. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Chris Hankin |
Principles of program analysis (2. corr. print). |
|
2005 |
RDF |
|
| 1 | Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson |
Using static analysis to validate the SAML single sign-on protocol. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
authentication, static analysis, process calculi, protocol validation |
| 1 | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
On Evaluating the Performance of Security Protocols. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson |
Information Flow Analysis for VHDL. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson |
A calculus for control flow analysis of security protocols. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Flow logic, Static analysis, Security protocols, Cryptographic protocols, Process calculi |
| 1 | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
The Succinct Solver Suite. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
Spatial Analysis of BioAmbients. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson |
Abstract interpretation of mobile ambients. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Automatic Validation of Protocol Narration. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen |
Validating firewalls using flow logics. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Flow logic for Dolev-Yao secrecy in cryptographic processes. |
Future Generation Comp. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Helmut Seidl, Hanne Riis Nielson |
A Succinct Solver for ALFP. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz |
Security for Mobility. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Flow Logic: A Multi-paradigmatic Approach to Static Analysis. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus |
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Automatic Complexity Analysis. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
automatic complexity analysis, Program analysis, sparseness, Horn clauses |
| 1 | Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv |
Kleene's Logic with Equality. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis for the pi-Calculus with Applications to Security. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Cryptographic Analysis in Cubic Time. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Shape Analysis for Mobile Ambients. |
Nord. J. Comput. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Security Analysis Using Flow Logics. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis for Secrecy and Non-interference in Networks of Processes. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Security Analysis using Flow Logics. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Shape Analysis for Mobile Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv |
A Kleene Analysis of Mobile Ambients. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Chris Hankin |
Principles of program analysis. |
|
1999 |
RDF |
|
| 1 | Torben Amtoft, Hanne Riis Nielson, Flemming Nielson |
Type and effect systems - behaviours for concurrency. |
|
1999 |
RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen |
Validating Firewalls in Mobile Ambients. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
| 1 | René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |
Abstract Interpretation of Mobile Ambients. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis of Processes for No and Read-Up nad No Write-Down. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Interprocedural Control Flow Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson |
Strictness and Totality Analysis. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Hanne Riis Nielson, Flemming Nielson |
Behavior Analysis for Validating Communication Patterns. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
Validation of safety conditions, Process algebras, Type and effect systems, Concurrent ML |
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Control Flow Analysis for the pi-calculus. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Flow Logic for Imperative Objects. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Torben Amtoft, Flemming Nielson |
Behaviour Analysis and Safety Conditions: A Case Study in CML. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
formal program development, Embedded systems, program analysis |
| 1 | Hanne Riis Nielson, Flemming Nielson |
Flow Logics for Constraint Based Analysis. |
CC |
1998 |
DBLP DOI BibTeX RDF |
Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis |
| 1 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. |
SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Flow Logic and Operational Semantics. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Flemming Nielson, Hanne Riis Nielson |
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. |
J. Funct. Program. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Prescriptive Frameworks for Multi-Level Lambda-Calculi. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson |
Systematic Realisation of Control Flow Analyses for CML. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ML, Concurrent C |
| 1 | Flemming Nielson, Hanne Riis Nielson |
From CML to its Process Algebra. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Strategic Directions in Research on Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")