Collaborated with:
A.Narayan S.Fischmeister
Talks about:
regular (1) system (1) specif (1) trace (1) trem (1) tool (1) time (1) mine (1)
Person: Lukas Schmidt
DBLP: Schmidt:Lukas
Contributed to:
Wrote 1 papers:
- ASE-2017-SchmidtNF #mining #named #specification
- TREM: a tool for mining timed regular specifications from system traces (LS, AN, SF), pp. 901–906.