| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard |
Static Analysis of IMC.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | David N. Jansen, Flemming Nielson, Lijun Zhang |
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. |
NASA Formal Methods |
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 | Lei Song, Flemming Nielson, Bo Friis Nielsen |
A Stochastic Broadcast Pi-Calculus |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking |
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 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking. |
ICALP |
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 | Nataliya Skrypnyuk, Flemming Nielson |
Reachability for Finite-State Process Algebras Using Static Analysis. |
RP |
2011 |
DBLP DOI 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 | Alejandro Mario Hernandez, Flemming Nielson |
History-sensitive versus future-sensitive approaches to security in distributed systems |
ICE |
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 | Christos Kaklamanis, Flemming Nielson (eds.) |
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers |
TGC |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Ye Zhang 0002, Torben Amtoft, Flemming Nielson |
From generic to specific: off-line optimization for a general constraint solver. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
off-line optimization, solver technology, constraints, program analysis, datalog, unification |
| 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 | Hanne Riis Nielson, Flemming Nielson |
A flow-sensitive analysis of privacy properties. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Zhang 0002, Flemming Nielson |
A Scalable Inclusion Constraint Solver Using Unification. |
LOPSTR |
2007 |
DBLP DOI 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 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. |
Simulation and Verification of Dynamic Systems |
2006 |
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 | Christian W. Probst, René Rydhof Hansen, Flemming Nielson |
Where Can an Insider Attack? |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen |
Locality-Based Security Policies. |
Formal Aspects in Security and Trust |
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 | René Rydhof Hansen, Christian W. Probst, Flemming Nielson |
Sandboxing in myKlaim. |
ARES |
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 | 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 | Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson |
Securing Statically-verified Communications Protocols Against Timing Attacks. |
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 | 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, Helmut Seidl |
Succinct Solvers |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2001 |
RDF |
|
| 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 | Flemming Nielson, Helmut Seidl |
Control-Flow Analysis in Cubic Time. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus |
| 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 | Flemming Nielson |
Perspectives on Program Analysis. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")