Joshua Schneider
发表
David A. Basin,
Dmitriy Traytel,
Srdan Krstic,
2021,
Int. J. Softw. Tools Technol. Transf..
D. Basin,
Joshua Schneider,
Frederik Brix,
2018
.
David A. Basin,
Joshua Schneider,
Srdan Krstic,
2020,
Runtime Verification.
Andreas Lochbihler,
Joshua Schneider,
Joshua Schneider,
2016,
ITP.
David A. Basin,
Dmitriy Traytel,
Srdan Krstic,
2018,
International Journal on Software Tools for Technology Transfer.
Joshua Schneider,
Srdan Krstic,
Joshua Schneider,
2020,
RV.
David A. Basin,
Dmitriy Traytel,
Joshua Schneider,
2019,
ATVA.
David Basin,
Dmitriy Traytel,
Srd̄an Krstić,
2019,
RV.
Dmitriy Traytel,
Joshua Schneider,
Andreas Lochbihler,
2020,
IJCAR.
Andreas Lochbihler,
Joshua Schneider,
Joshua Schneider,
2018,
ITP.
Dmitriy Traytel,
Martin Raszyk,
David Basin,
2020,
IJCAR.
Joshua Schneider,
S. Krstic,
Dmitriy Traytel,
2022,
TACAS.
D. Basin,
Joshua Schneider,
S. Krstic,
2022,
ICTAC.
Dmitriy Traytel,
Joshua Schneider,
Joshua Schneider,
2019,
Arch. Formal Proofs.