acm sigbed
|
emsoft
|
participants
Cristinel Mateis
EMSOFT 2023: 23rd International Conference on Embedded Software
Mining Hyperproperties using Temporal Logics
Ezio Bartocci
,
Cristinel Mateis
,
Eleonora Nesterini
, and
Dejan Nickovic
10.1145/3609394
EMSOFT 2020: 20th International Conference on Embedded Software
Mining Shape Expressions From Positive Examples
Ezio Bartocci
,
Jyotirmoy Deshmukh
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Ničković
, and
Xin Qin
10.1109/TCAD.2020.3012240
https://par.nsf.gov/servlets/purl/10199915