Jesper Bengtson

According to our database1, Jesper Bengtson authored at least 23 papers between 2004 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Machine-checked semantic session typing.
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020
Actris: session-type based reasoning in separation logic.
Proc. ACM Program. Lang., 2020

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.
CoRR, 2020

2018
Coqoon - An IDE for interactive proof development in Coq.
Int. J. Softw. Tools Technol. Transf., 2018

Formally verifying exceptions for low-level code with separation logic.
J. Log. Algebraic Methods Program., 2018

2016
Psi-Calculi in Isabelle.
J. Autom. Reason., 2016

Extensible and Efficient Automation Through Reflective Tactics.
Proceedings of the Programming Languages and Systems, 2016

2014
Session Types Meet Separation Logic.
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2012
CCS in nominal logic.
Arch. Formal Proofs, 2012

The pi-calculus in nominal logic.
Arch. Formal Proofs, 2012

Psi-calculi in Isabelle.
Arch. Formal Proofs, 2012

Charge! - A Framework for Higher-Order Separation Logic in Coq.
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011
Refinement types for secure implementations.
ACM Trans. Program. Lang. Syst., 2011

Psi-calculi: a framework for mobile processes with nominal data and logic
Log. Methods Comput. Sci., 2011

Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010
Weak Equivalences in Psi-Calculi.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009
Formalising the pi-calculus using nominal logic
Log. Methods Comput. Sci., 2009

Psi-calculi in Isabelle.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Psi-calculi: Mobile Processes, Nominal Data, and Logic.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008
Extended pi-Calculi.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle.
Electron. Notes Theor. Comput. Sci., 2007

Formalising the <i>pi</i>-Calculus Using Nominal Logic.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

2004
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Electron. Notes Theor. Comput. Sci., 2004


  Loading...