Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Gerrit Meixner

2PUBLICATIONS

3CO-AUTHORS

Formal methods for softwareSoftware testing, verification and validation

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (2)

Sort by Publication Date:

|Jan 07, 2026

Virtualizing Alcohol Use Disorder Therapy: A Systematic Scoping Review.

Alexander Bazhanov, Gerrit Meixner

|Mar 13, 2024

Extrinsic Calibration for a Modular 3D Scanning Quality Validation Platform with a 3D Checkerboard.

Mirko Kaiser, Tobia Brusa, Martin Bertsch

Pageof 1

Frequent Collaborators

1 joint publications

Mirko Kaiser

1 joint publications

Saša Ćuković

1 joint publications

Alexander Bazhanov

Frequent Collaborators

1 joint publications

Mirko Kaiser

1 joint publications

Saša Ćuković

1 joint publications

Alexander Bazhanov

Top Related Videos

Chronic Intermittent Ethanol Vapor Exposure Paired with Two-Bottle Choice to Model Alcohol Use Disorder

Chronic Intermittent Ethanol Vapor Exposure Paired with Two-Bottle Choice to Model Alcohol Use Disorder

Published on : Jun 23, 2023

Robotized Testing of Camera Positions to Determine Ideal Configuration for Stereo 3D Visualization of Open-Heart Surgery

Robotized Testing of Camera Positions to Determine Ideal Configuration for Stereo 3D Visualization of Open-Heart Surgery

Published on : Aug 12, 2021

See more related videos

Top Related Videos

Chronic Intermittent Ethanol Vapor Exposure Paired with Two-Bottle Choice to Model Alcohol Use Disorder

Chronic Intermittent Ethanol Vapor Exposure Paired with Two-Bottle Choice to Model Alcohol Use Disorder

Published on : Jun 23, 2023

Robotized Testing of Camera Positions to Determine Ideal Configuration for Stereo 3D Visualization of Open-Heart Surgery

Robotized Testing of Camera Positions to Determine Ideal Configuration for Stereo 3D Visualization of Open-Heart Surgery

Published on : Aug 12, 2021

See more related videos