Hanne Riis Nielson

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Program Analysis (an Appetizer).

[BibT_eX]

[DOI]

CoRR, 2020

Adaptive Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Secure Guarded Commands.

[BibT_eX]

[DOI]

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Enforcing globally dependent flow policies in message-passing systems.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Timing Leaks and Coarse-Grained Clocks.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Lightweight Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Process-Local Static Analysis of Synchronous Processes.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 25th International Symposium, 2018

Secure Information Release in Timed Automata.

[BibT_eX]

[DOI]

Panagiotis Vasilikos

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Multi-valued Logic for Static Analysis and Model Checking.

[BibT_eX]

[DOI]

Fuyuan Zhang

Proceedings of the Models, Mindsets, 2018

2017

Effect-driven QuickChecking of compilers.

[BibT_eX]

[DOI]

Mathias Nygaard Justesen

Patrick Kasting

Proc. ACM Program. Lang., 2017

Content dependent information flow control.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Atomistic Galois insertions for flow sensitive integrity.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.

[BibT_eX]

[DOI]

Comput. J., 2017

Time Dependent Policy-Based Access Control.

[BibT_eX]

[DOI]

Panagiotis Vasilikos

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Information Flow for Timed Automata.

[BibT_eX]

[DOI]

Panagiotis Vasilikos

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Discovering, quantifying, and displaying attacks.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

A Theory of Available-by-Design Communicating Systems.

[BibT_eX]

[DOI]

Hugo A. López

CoRR, 2016

A Coordination Language for Databases.

[BibT_eX]

[DOI]

Xi Wu

Alberto Lluch-Lafuente

Log. Methods Comput. Sci., 2016

A Parametric Abstract Domain for Lattice-Valued Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Iterated process analysis over lattice-valued regular expressions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Content-Dependent Security Policies in Avionics.

[BibT_eX]

[DOI]

Tomasz Maciazek

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016

Enforcing Availability in Failure-Aware Communicating Systems.

[BibT_eX]

[DOI]

Hugo A. López

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Future-dependent Flow Policies with Prophetic Variables.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

A calculus of quality for robustness against unreliable communication.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Disjunctive Information Flow for Communicating Processes.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Xi Wu

Huibiao Zhu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

How to Trust the Re-use of Data.

[BibT_eX]

[DOI]

Erisa Karafili

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Factorization of Behavioral Integrity.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2015, 2015

Set-Pi: Set Membership p-Calculus.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Klaim-DB: A Modeling Language for Distributed Database Applications.

[BibT_eX]

[DOI]

Xi Wu

Alberto Lluch-Lafuente

Proceedings of the Coordination Models and Languages, 2015

Stochastic Model Checking of the Stochastic Quality Calculus.

[BibT_eX]

[DOI]

Kebin Zeng

Proceedings of the Software, 2015

Hoare Logic for Disjunctive Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Discretionary Information Flow Control for Interaction-Oriented Specifications.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Carroline Dewi Puspa Kencana Ramli

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

The logic of XACML.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A Framework for Hybrid Systems with Denial-of-Service Security Attack.

[BibT_eX]

[DOI]

Shuling Wang

CoRR, 2014

Trust-Based Enforcement of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Formal Security Analysis of the MaCAN Protocol.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Denial-of-Service Security Attack in the Continuous-Time World.

[BibT_eX]

[DOI]

Shuling Wang

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Uniform Protection for Multi-exposed Targets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Automated Generation of Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

The Stochastic Quality Calculus.

[BibT_eX]

[DOI]

Kebin Zeng

Proceedings of the Coordination Models and Languages, 2014

2013

Predictive access control for distributed computation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Design-Efficiency in Security

[BibT_eX]

[DOI]

CoRR, 2013

Pushdown Systems for Monotone Frameworks.

[BibT_eX]

[DOI]

Michal Terepeta

CoRR, 2013

Lazy Mobile Intruders.

[BibT_eX]

[DOI]

Sebastian Mödersheim

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Broadcast, Denial-of-Service, and Secure Communication.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Probabilistic Analysis of the Quality Calculus.

[BibT_eX]

[DOI]

Anders Skovbo Christensen

Proceedings of the Formal Techniques for Distributed Systems, 2013

ICT-powered Health Care Processes - (Position Paper).

[BibT_eX]

[DOI]

Marco Carbone

Thomas T. Hildebrandt

Martin Sølvkjær

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Safety versus Security in the Quality Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Flow Logic for Process Calculi.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2012

Lattice based Least Fixed Point Logic

[BibT_eX]

[DOI]

Piotr Filipiuk

CoRR, 2012

Optimizing ZigBee Security using Stochastic Model Checking

[BibT_eX]

[DOI]

CoRR, 2012

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

[BibT_eX]

[DOI]

CoRR, 2012

Secondary use of data in EHR systems

[BibT_eX]

[DOI]

CoRR, 2012

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Layered fixed point logic.

[BibT_eX]

[DOI]

Piotr Filipiuk

Carroline Dewi Puspa Kencana Ramli

Proceedings of the Principles and Practice of Declarative Programming, 2012

XACML 3.0 in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

LBTool: A stochastic toolkit for leave-based key updates.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Key Update Assistant for resource-constrained networks.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Model Checking as Static Analysis: Revisited.

[BibT_eX]

[DOI]

Fuyuan Zhang

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A Calculus for Quality.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Recursive Advice for Coordination.

[BibT_eX]

[DOI]

Michal Terepeta

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Modal abstractions of concurrent behavior.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

CaPiTo: protocol stacks for services.

[BibT_eX]

[DOI]

Alejandro Mario Hernandez

Formal Aspects Comput., 2011

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems.

[BibT_eX]

[DOI]

Carroline Dewi Puspa Kencana Ramli

Sci. Ann. Comput. Sci., 2011

The Logic of XACML - Extended

[BibT_eX]

[DOI]

CoRR, 2011

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.

[BibT_eX]

[DOI]

Comput. J., 2011

Controlling Modelling Artifacts.

[BibT_eX]

[DOI]

Michael J. A. Smith

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Resilience analysis of key update strategies for resource-constrained networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2011

Galois Connections for Flow Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

From Explicit to Symbolic Types for Communication Protocols in CCS.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Analysing Protocol Stacks for Services.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

From Flow Logic to static type systems for coordination languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Static analysis of topology-dependent broadcast networks.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints.

[BibT_eX]

[DOI]

Piotr Filipiuk

Proceedings of the Tools for Automatic Program AnalysiS, 2010

Probabilistic Aspects: Checking Security in an Imperfect World.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Model Checking Multivariate State Rewards.

[BibT_eX]

[DOI]

Bo Friis Nielsen

Proceedings of the QEST 2010, 2010

The CaPiTo Approach to Protocol Validation - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Model Checking <i>Is</i> Static Analysis of Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

A monotone framework for CCS.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2009

Advice from Belnap Policies.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Pathway analysis for BioAmbients.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Modal Abstractions of Concurrent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

Relational Analysis of Correlation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

Iterative Specialisation of Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

08161 Abstracts Collection - Scalable Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

Advice for Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Static Validation of Licence Conformance Policies.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Semantics with Applications: An Appetizer.

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-692-6, 2007

What is a free name in a process algebra?

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Heuristics for Safety and Security Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Relational Analysis for Delivery of Services.

[BibT_eX]

[DOI]

Jörg Bauer

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

A flow-sensitive analysis of privacy properties.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Topology-Dependent Abstractions of Broadcast Networks.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2007

2006

Static Analysis for Blinding.

[BibT_eX]

Nord. J. Comput., 2006

Active Evaluation Contexts for Reaction Semantics.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Cryptographic Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Context Dependent Analysis of BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Static Analysis of a Model of the LDL Degradation Pathway.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Executive Summary -- Simulation and Verification of Dynamic Systems.

[BibT_eX]

[DOI]

David M. Nicol

Corrado Priami

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.

[BibT_eX]

[DOI]

David M. Nicol

Corrado Priami

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Data Flow Analysis for CCS.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

Types from Control Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

Analyzing Security Protocols in Hierarchical Networks.

[BibT_eX]

[DOI]

Ye Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2006

Analysis of LYSA-calculus with explicit confidentiality annotations.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Static validation of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

Static Validation of a Voting Protocol.

[BibT_eX]

[DOI]

Esben Heltoft Andersen

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Using static analysis to validate the SAML single sign-on protocol.

[BibT_eX]

[DOI]

Steffen M. Hansen

Jakob Skriver

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Information Flow Analysis for VHDL.

[BibT_eX]

[DOI]

Terkel K. Tolstrup

Proceedings of the Parallel Computing Technologies, 2005

On Evaluating the Performance of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

2004

A calculus for control flow analysis of security protocols.

[BibT_eX]

[DOI]

Mikael Buchholtz

Int. J. Inf. Sec., 2004

Performance Evaluation of Security Protocols Specified in LySa.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

The Succinct Solver Suite.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Spatial Analysis of BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Abstract interpretation of mobile ambients.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2003

Control Flow Analysis for BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Automatic Validation of Protocol Narration.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Validating firewalls using flow logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Succinct Solver for ALFP.

[BibT_eX]

Nord. J. Comput., 2002

Flow logic for Dolev-Yao secrecy in cryptographic processes.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2002

Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Security for Mobility.

[BibT_eX]

[DOI]

Mikael Buchholtz

Proceedings of the Foundations of Security Analysis and Design II, 2002

Automatic Complexity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2002

Flow Logic: A Multi-paradigmatic Approach to Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Shape Analysis for Mobile Ambients.

[BibT_eX]

[DOI]

Nord. J. Comput., 2001

Kleene's Logic with Equality.

[BibT_eX]

[DOI]

Shmuel Sagiv

Inf. Process. Lett., 2001

Static Analysis for the pi-Calculus with Applications to Security.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Cryptographic Analysis in Cubic Time.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Static Analysis for Secrecy and Non-interference in Networks of Processes.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2001

Security Analysis Using Flow Logics.

[BibT_eX]

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Security Analysis using Flow Logics.

[BibT_eX]

Bull. EATCS, 2000

A Kleene Analysis of Mobile Ambients.

[BibT_eX]

[DOI]

Shmuel Sagiv

Proceedings of the Programming Languages and Systems, 2000

1999

Abstract Interpretation of Mobile Ambients.

[BibT_eX]

[DOI]

Jacob Grydholt Jensen

Proceedings of the Static Analysis, 6th International Symposium, 1999

Static Analysis of Processes for No and Read-Up nad No Write-Down.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Interprocedural Control Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1999

Validating Firewalls in Mobile Ambients.

[BibT_eX]

[DOI]

Jacob Grydholt Jensen

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Type and Effect Systems.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

Principles of program analysis.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-540-65410-0, 1999

Type and effect systems - behaviours for concurrency.

[BibT_eX]

Imperial College Press, ISBN: 978-1-86094-154-2, 1999

1998

Behavior Analysis for Validating Communication Patterns.

[BibT_eX]

[DOI]

Kirsten Lackner Solberg Gasser

Int. J. Softw. Tools Technol. Transf., 1998

Strictness and Totality Analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Flow Logic for Imperative Objects.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Behaviour Analysis and Safety Conditions: A Case Study in CML.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Control Flow Analysis for the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Flow Logics for Constraint Based Analysis.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

Position Statements on Strategic Directions for Research on Programming Languages.

[BibT_eX]

[DOI]

Jens Palsberg

ACM SIGPLAN Notices, 1997

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.

[BibT_eX]

[DOI]

J. Funct. Program., 1997

Flow Logic and Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Prescriptive Frameworks for Multi-Level Lambda-Calculi.

[BibT_eX]

[DOI]

Kirsten Lackner Solberg Gasser

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Systematic Realisation of Control Flow Analyses for CML.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

From CML to its Process Algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Operational Semantics of Termination Types.

[BibT_eX]

Nord. J. Comput., 1996

Strategic Directions in Research on Programming Languages.

[BibT_eX]

[DOI]

Jens Palsberg

ACM Comput. Surv., 1996

Computing Surveys Symposium on Models of Programming Languages and Compuation.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Polymorphic Subtyping for Effect Analysis: The Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Static Semantics.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Multi-Level Lambda-Calculi: An Algebraic Description.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

The Tensor Product in Wadler's Analysis of Lists.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

Higher-Order Concurrent Programs with Finite Communication Topology.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Constraints for Polymorphic Behaviours of Concurrent ML.

[BibT_eX]

[DOI]

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

Finiteness Conditions for Strictness Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Workshop, 1993

From CML to Process Algebras (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

Bounded Fixed-Point Iteration.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

Forced transformation of Occam programs.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1992

Inference Systems for Binding Time Analysis.

[BibT_eX]

Kirsten Lackner Solberg

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Layered Predicates.

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

Finiteness Conditions for Fixed Point Iteration.

[BibT_eX]

[DOI]

Proceedings of the Conference on Lisp and Functional Programming, 1992

Two-level functional languages.

[BibT_eX]

Cambridge tracts in theoretical computer science 34, Cambridge University Press, ISBN: 978-0-521-40384-9, 1992

Semantics with applications - a formal introduction.

[BibT_eX]

Wiley professional computing, Wiley, ISBN: 978-0-471-92980-2, 1992

1991

Using Transformations in the Implementations of Higher-Order Functions.

[BibT_eX]

[DOI]

J. Funct. Program., 1991

1990

Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Context Information for Lazy Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations.

[BibT_eX]

[DOI]

Proceedings of the ESOP'90, 1990

1989

Transformations on Higher-Order Functions.

[BibT_eX]

[DOI]

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Two-Level Semantics and Code Generation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

Automatic Binding Time Analysis for a Typed lambda-Calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

2-level lambda-lifting.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1987

A Hoare-Like Proof System for Analysing the Computation Time of Programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1987

1986

Semantics Directed Compiling for Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Pragmatic Aspects of Two-Level Denotational Meta-Languages.

[BibT_eX]

[DOI]

Proceedings of the ESOP 86, 1986

1985

Code generation from two-level denotational meta-languages.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, 1985

1984

Hoare logic's for run-time analysis of programs.

[BibT_eX]

[DOI]

PhD thesis, 1984

1983

Computation Sequences: A Way to Characterize Classes of Attribute Grammars.

[BibT_eX]

[DOI]

Acta Informatica, 1983

1981

k-visit Attribute Grammars.

[BibT_eX]

[DOI]