Travelled to:1 × Italy
Collaborated with:R.Bloem D.M.Hein R.Schumi E.Bartocci D.Nickovic
Talks about:case (2) implement (1) monitor (1) generat (1) automat (1) specif (1) semant (1) trace (1) studi (1) secur (1)
Person: Franz Röck
DBLP: R=ouml=ck:Franz
Contributed to:
2015
2018Wrote 2 papers:
- TAP-2015-BloemHRS #automation #case study #generative #implementation #testing
- Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
- CAV-2018-BartocciBNR #finite #ltl #monitoring #semantics #specification
- A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.