@article{28,
  author = {Apurva Narayan and Greta Cutulenco and Yogi Joshi and Sebastian Fischmeister},
  title = {Mining Timed Regular Specifications from System Traces},
  abstract = {<p>Temporal properties define the order of occurrence and timing constraints on event occurrence. Such specifi- cations are important for safety-critical real-time systems. We propose a framework for automatically mining temporal properties that are in the form of timed regular expressions (TREs) from system traces. Using an abstract structure of the property, the framework constructs a finite state machine to serve as an acceptor. We analytically derive speedup for the fragment and confirm the speedup using empirical validation with syn- thetic traces. The framework is evaluated on industrial-strength safety-critical real-time applications using traces with more than 1 million entries.</p>
},
  year = {2018},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {17},
  doi = {10.1145/3147660},
}