4TU.ResearchData logo
Log in
  • About your Data
    • Getting started
    • Manage & Share
    • Publish & Cite
    • Find & Re-use
    • Scientific Visualisation
    • NetCDF & OPeNDAP
    • FAIR Data Fund
  • About 4TU.ResearchData
    • Organisation
    • Collaboration
    • Policies & Guidelines
    • Team & Contact
    • Frequently Asked Questions
  • About our Community
    • Join our community
    • Community members
    • Community groups
  • About Training
    • Training
    • Introduction to Version Control with Git
    • Introduction to programming in research with Python
    • Efficient Research Workflows with the UNIX Shell
  • News & Resources
    • Latest news
    • Events
    • Highlights
    • Use cases
    • Fair Data Fund stories
    • Subscribe to our newsletter
  • Log in & Upload Data
    • About Log in / Sign up
    • Log in (Data Repository)
    • Log in (Community)
University of Twente logo

Usage statistics

Totals for datasets (co-)authored by Lukas Armborst

3470
downloads
3259
views

Lukas Armborst 0000-0001-7565-0954

PhD student on software verification

Datasets

  • Artifact to supplement the paper: The VerCors Verifier: a Progress Report
  • Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
  • Permission-based Verification of Red-Black Trees and Their Merging - Code
  • Specification Translator: Tool to Translate Specifications for Deductive Verifiers
  • Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

Co-authors

Co-authors of Lukas Armborst's datasets/collections. Bold: authors with a 4TU.ResearchData account.

  • Lars van den Haak
  • Marieke Huisman
  • Philip Tasche
  • Pieter Bos
  • Robert Rubbens
  • Sophie Lathouwers
  • Ömer Şakar
4TU Delft 4TU Eindhoven 4TU Twente 4TU Wageningen

Getting started | Contact | Data Collection Policy | Privacy Policy | Terms of Use | Source code