Henrik Pilegaard

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Static Analysis

Symbolic Execution

Top Venues

J. Log. Algebraic Methods Program.

ACM Comput. Surv.

Publications

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
Flow Logic for Process Calculi. ACM Comput. Surv. 44 (1) (2012)
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang
Roadmap Document on Stochastic Analysis CoRR (2012)
Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard
Static Analysis of IMC. J. Log. Algebraic Methods Program. 81 (4) (2012)
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)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
Relational Analysis of Correlation. SAS (2008)
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
Relational Analysis for Delivery of Services. TGC (2007)
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
What is a free name in a process algebra? Inf. Process. Lett. 103 (5) (2007)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
Active Evaluation Contexts for Reaction Semantics. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems (2006)
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems (2006)
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
The Succinct Solver Suite. TACAS (2004)
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
Spatial Analysis of BioAmbients. SAS (2004)
Henrik Pilegaard, Michael R. Hansen, Robin Sharp
An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10 (4) (2003)