@inproceedings{WA19,
	author = {Waga, Masaki and Andr{\'e}, {\'E}tienne},
	title = {Online Parametric Timed Pattern Matching with Automata-Based Skipping},
	longbooktitle = {Proceedings of the 11th Annual {NASA} Formal Methods Symposium ({NFM} 2019)},
	booktitle = {{NFM}},
	editor = {Badger, Julia and Rozier, Kristin Yvonne},
	location = {Houston, TX, USA},
	confdates = {7-9 May 2019},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	pages     = {371--389},
	volume    = {11460},
	year = {2019},
	doi = {10.1007/978-3-030-20652-9_26},
	coreRank = {absent},
}