%0 Conference Paper %1 conf/rv/FainekosH019 %A Fainekos, Georgios %A Hoxha, Bardh %A Sankaranarayanan, Sriram %B RV %D 2019 %E Finkbeiner, Bernd %E Mariani, Leonardo %I Springer %K dblp %P 27-47 %T Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. %U http://dblp.uni-trier.de/db/conf/rv/rv2019.html#FainekosH019 %V 11757 %@ 978-3-030-32079-9

@inproceedings{conf/rv/FainekosH019, added-at = {2019-10-07T00:00:00.000+0200}, author = {Fainekos, Georgios and Hoxha, Bardh and Sankaranarayanan, Sriram}, biburl = {https://www.bibsonomy.org/bibtex/26eee578edfab17bf8045cadf845a7bdf/dblp}, booktitle = {RV}, crossref = {conf/rv/2019}, editor = {Finkbeiner, Bernd and Mariani, Leonardo}, ee = {https://doi.org/10.1007/978-3-030-32079-9_3}, interhash = {23b581ad137831872326d8d682284eb4}, intrahash = {6eee578edfab17bf8045cadf845a7bdf}, isbn = {978-3-030-32079-9}, keywords = {dblp}, pages = {27-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-08T11:38:11.000+0200}, title = {Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2019.html#FainekosH019}, volume = 11757, year = 2019 }