Login / Signup
Nicolas Kaletsch
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Database
Tool Wear
Top Venues
ICTAC
</>
Publications
</>
David A. Basin
,
Thibault Dardinier
,
Nico Hauser
,
Lukas Heimes
,
Jonathan Julián Huerta y Munive
,
Nicolas Kaletsch
,
Srdan Krstic
,
Emanuele Marsicano
,
Martin Raszyk
,
Joshua Schneider
,
Dawit Legesse Tirore
,
Dmitriy Traytel
,
Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool.
ICTAC
(2022)