Login / Signup
Walstan Baptista
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Sql Server
Data Integrity
Statistical Databases
Visual Basic
Top Venues
HSCC
ARCH
</>
Publications
</>
Claudio Menghi
,
Paolo Arcaini
,
Walstan Baptista
,
Gidon Ernst
,
Georgios Fainekos
,
Federico Formica
,
Sauvik Gon
,
Tanmay Khandait
,
Atanu Kundu
,
Giulia Pedrielli
,
Jarkko Peltomäki
,
Ivan Porres
,
Rajarshi Ray
,
Masaki Waga
,
Zhenya Zhang
ARCH-COMP23 Category Report: Falsification.
ARCH
(2023)
Tanmay Khandait
,
Aniruddh Chandratre
,
Walstan Baptista
,
Giulia Pedrielli
,
Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
HSCC
(2023)