@inproceedings{ALin17,
	author = {Andr{\'e}, {\'E}tienne and Lin, Shang-Wei},
	longbooktitle =		{Proceedings of the 37th {IFIP WG} 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems ({FORTE} 2017)},
	booktitle =		{{FORTE}},
	doi       = {10.1007/978-3-319-60225-7_2},
	editor = {Bouajjani, Ahmed and Silva Alexandra},
	location = {Neuchâtel, Switzerland},
	note = {Best FORTE paper award and best DisCoTec paper award.},
	pages     = {17--32},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	title = {Learning-based compositional parameter synthesis for event-recording automata},
	volume    = {10321},
	year = {2017},
}