Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dmitriy Traytel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Thibault Dardinier

> Home > Persons > Dmitriy Traytel

Publications

2022
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BasinDHHMKKMRST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BasinDHHMKKMRST22
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: 1-6
2020
[j29]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/DardinierHRST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/DardinierHRST20
Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Arch. Formal Proofs 2020 (2020)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BasinDHKR0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BasinDHKR0T20
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) 2020: 432-453

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.