@article {313,
	title = {Mining Timed Regular Specifications from System Traces},
	journal = {ACM Transactions on Embedded Computing Systems},
	volume = {17},
	year = {2018},
	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>
},
	doi = {10.1145/3147660},
	author = {Apurva Narayan and Greta Cutulenco and Yogi Joshi and Sebastian Fischmeister}
}
