Concepedia

Jesper Bengtson

JB

11

Publications

620

Citations

11

H-Index

2008

Active since

Affiliations

Uppsala University(Current)

IT University of Copenhagen

Delft University of Technology

Radboud University Nijmegen

Jesper Bengtson is an author at Uppsala University specializing in formal verification, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisCompilersSoftware AnalysisProgramming Languages

Publications per year

2008–2022

11

Publications

11

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 224 citations · Full text

Engineering, Information Security, Type Theory +22

Refinement Types for Secure Implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · 2008 · 86 citations · Full text

Engineering, Information Security, Type Theory +22

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow et al. · Logical Methods in Computer Science · 2011 · 84 citations · Full text

Applied Logic, Psi-calculi Extends, Nominal Data +22

Psi-calculi: Mobile Processes, Nominal Data, and Logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow et al. · 2009 · 55 citations

Applied Logic, Engineering, Verification +16

Actris: session-type based reasoning in separation logic

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers · Proceedings of the ACM on Programming Languages · 2019 · 40 citations · Full text

Rows per page

1–5 of 11