{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T15:23:01Z","timestamp":1772205781927,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union?s Horizon 2020 research and innovation programme","award":["956123"],"award-info":[{"award-number":["956123"]}]},{"name":"Austrian FFG","award":["880811"],"award-info":[{"award-number":["880811"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510171","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"610-622","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["DeepSTL"],"prefix":"10.1145","author":[{"given":"Jie","family":"He","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology, Vienna, Austria"}]},{"given":"Haris","family":"Isakovic","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_83"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0452"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Proc. of TIME 2019: the 26th International Symposium on Temporal Representation and Reasoning","volume":"147","author":"Brunello Andrea","year":"2019","unstructured":"Andrea Brunello, Angelo Montanari, and Mark Reynolds. Synthesis of LTL formulas from natural language texts: State of the art and research directions. In Proc. of TIME 2019: the 26th International Symposium on Temporal Representation and Reasoning, volume 147 of LIPIcs, pages 17:1--17:19. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2019."},{"key":"e_1_3_2_1_10_1","first-page":"185","volume-title":"Proc. of ISSRE 2009: the 20th International Symposium on Software Reliability Engineering","author":"Allen","year":"2009","unstructured":"Allen P. Nikora and Galen Balcom. Automated identification of LTL patterns in natural language requirements. In Proc. of ISSRE 2009: the 20th International Symposium on Software Reliability Engineering, pages 185--194, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0452"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"e_1_3_2_1_16_1","first-page":"49","volume-title":"Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015)","author":"Christopher","year":"2015","unstructured":"Christopher B. Harris and Ian G. Harris. Generating formal hardware verification properties from natural language documentation. In Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015), pages 49--56, 2015."},{"key":"e_1_3_2_1_17_1","first-page":"372","volume-title":"Proc. of ICSE: the 27th International Conference on Software Engineering, ICSE '05","author":"Konrad Sascha","year":"2005","unstructured":"Sascha Konrad and Betty H. C. Cheng. Real-time specification patterns. In Proc. of ICSE: the 27th International Conference on Software Engineering, ICSE '05, page 372--381, New York, NY, USA, 2005. ACM."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03044-5_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110881"},{"key":"e_1_3_2_1_21_1","series-title":"EPiC Series in Computing","first-page":"25","volume-title":"Proc. of ARCH@CPSWeek 2014\/15: the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems","author":"Hoxha Bardh","year":"2014","unstructured":"Bardh Hoxha, Houssam Abbas, and Georgios E. Fainekos. Benchmarks for temporal logic requirements for automotive systems. In Goran Frehse and Matthias Althoff, editors, Proc. of ARCH@CPSWeek 2014\/15: the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, volume 34 of EPiC Series in Computing, pages 25--30. EasyChair, 2014."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics. The Association for Computational Linguistics","author":"Wong Yuk Wah","year":"2006","unstructured":"Yuk Wah Wong and Raymond J. Mooney. Learning for semantic parsing with statistical machine translation. In Robert C. Moore, Jeff A. Bilmes, Jennifer Chu-Carroll, and Mark Sanderson, editors, Proc. of Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics. The Association for Computational Linguistics, 2006."},{"key":"e_1_3_2_1_23_1","volume-title":"Accessed","author":"Sempre","year":"2021","unstructured":"Sempre: Semantic parsing with execution, Accessed 2021."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of ACL 2006: the 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics. The Association for Computer Linguistics","author":"Rohit","year":"2006","unstructured":"Rohit J. Kate and Raymond J. Mooney. Using string-kernels for learning semantic parsers. In Nicoletta Calzolari, Claire Cardie, and Pierre Isabelle, editors, Proc. of ACL 2006: the 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics. The Association for Computer Linguistics, 2006."},{"key":"e_1_3_2_1_25_1","unstructured":"Sippycup Accessed 2021."},{"key":"e_1_3_2_1_26_1","volume-title":"Cornell SPF: Cornell semantic parsing framework","author":"Artzi Yoav","year":"2016","unstructured":"Yoav Artzi. Cornell SPF: Cornell semantic parsing framework, 2016."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. ACM Program. Lang., 1(OOPSLA):63:1--63:26","author":"Yaghmazadeh Navid","year":"2017","unstructured":"Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig. Sqlizer: query synthesis from natural language. Proc. ACM Program. Lang., 1(OOPSLA):63:1--63:26, 2017."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735461.2735468"},{"key":"e_1_3_2_1_29_1","first-page":"133","volume-title":"Proc. of 2000 Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora","author":"Lappoon","year":"2000","unstructured":"Lappoon R. Tang and Raymond J. Mooney. Automated construction of database interfaces: Intergrating statistical and relational learning for semantic parsing. In Proc. of 2000 Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora, pages 133--141. Association for Computational Linguistics, 2000."},{"key":"e_1_3_2_1_30_1","first-page":"1050","volume-title":"Proc. of AAAI 96, IAAI 96:the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference","author":"John","year":"1996","unstructured":"John M. Zelle and Raymond J. Mooney. Learning to parse database queries using inductive logic programming. In Proc. of AAAI 96, IAAI 96:the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, pages 1050--1055. AAAI Press \/ The MIT Press, 1996."},{"key":"e_1_3_2_1_31_1","volume-title":"Seq2sql: Generating structured queries from natural language using reinforcement learning. CoRR, abs\/1709.00103","author":"Zhong Victor","year":"2017","unstructured":"Victor Zhong, Caiming Xiong, and Richard Socher. Seq2sql: Generating structured queries from natural language using reinforcement learning. CoRR, abs\/1709.00103, 2017."},{"key":"e_1_3_2_1_32_1","first-page":"574","volume-title":"Proc. of ASE 2015: the 30th IEEE\/ACM International Conference on Automated Software Engineering","author":"Oda Yusuke","year":"2015","unstructured":"Yusuke Oda, Hiroyuki Fudaba, Graham Neubig, Hideaki Hata, Sakriani Sakti, Tomoki Toda, and Satoshi Nakamura. Learning to generate pseudo-code from source code using statistical machine translation (T). In Myra B. Cohen, Lars Grunske, and Michael Whalen, editors, Proc. of ASE 2015: the 30th IEEE\/ACM International Conference on Automated Software Engineering, pages 574--584. IEEE Computer Society, 2015."},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of LREC 2018: the Eleventh International Conference on Language Resources and Evaluation","author":"Lin Xi Victoria","year":"2018","unstructured":"Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D. Ernst. NL2Bash: A corpus and semantic parser for natural language interface to the linux operating system. In Nicoletta Calzolari, Khalid Choukri, Christopher Cieri, Thierry Declerck, Sara Goggi, K\u00f4iti Hasida, Hitoshi Isahara, Bente Maegaard, Joseph Mariani, H\u00e9l\u00e8ne Mazo, Asunci\u00f3n Moreno, Jan Odijk, Stelios Piperidis, and Takenobu Tokunaga, editors, Proc. of LREC 2018: the Eleventh International Conference on Language Resources and Evaluation. European Language Resources Association (ELRA), 2018."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1085"},{"key":"e_1_3_2_1_35_1","first-page":"195","volume-title":"Introduction to PyTorch","author":"Ketkar Nikhil","year":"2017","unstructured":"Nikhil Ketkar. Introduction to PyTorch, pages 195--208. Apress, Berkeley, CA, 2017."},{"key":"e_1_3_2_1_36_1","first-page":"265","volume-title":"Proc. of OSDI 2016: the 12th USENIX Symposium on Operating Systems Design and Implementation","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. Tensorflow: A system for large-scale machine learning. In Proc. of OSDI 2016: the 12th USENIX Symposium on Operating Systems Design and Implementation, pages 265--283. USENIX Association, 2016."},{"key":"e_1_3_2_1_37_1","first-page":"5998","volume-title":"Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. Attention is all you need. In Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna M. Wallach, Rob Fergus, S. V. N. Vishwanathan, and Roman Garnett, editors, Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, pages 5998--6008, 2017."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00013"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264316"},{"key":"e_1_3_2_1_41_1","volume-title":"Model-based reinforcement learning from signal temporal logic specifications. arXiv preprint arXiv:2011.04950","author":"Kapoor Parv","year":"2020","unstructured":"Parv Kapoor, Anand Balakrishnan, and Jyotirmoy V Deshmukh. Model-based reinforcement learning from signal temporal logic specifications. arXiv preprint arXiv:2011.04950, 2020."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"e_1_3_2_1_43_1","volume-title":"A survey of reinforcement learning with temporal logic rewards","author":"Liao Hsuan-Cheng","year":"2020","unstructured":"Hsuan-Cheng Liao. A survey of reinforcement learning with temporal logic rewards, 2020."},{"key":"e_1_3_2_1_44_1","volume-title":"Model-based safe policy search from signal temporal logic specifications using recurrent neural networks. arXiv preprint arXiv:2103.15938","author":"Liu Wenliang","year":"2021","unstructured":"Wenliang Liu and Calin Belta. Model-based safe policy search from signal temporal logic specifications using recurrent neural networks. arXiv preprint arXiv:2103.15938, 2021."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2020.2984976"},{"key":"e_1_3_2_1_46_1","unstructured":"Infineon datasheet. https:\/\/www.infineon.com\/dgdl\/Infineon-BTS5016-2EKA-DS-v01_00-EN.pdf?fileId=5546d4625a888733015aa41a5e161129."},{"key":"e_1_3_2_1_47_1","first-page":"3104","volume-title":"Advances in neural information processing systems","author":"Sutskever Ilya","year":"2014","unstructured":"Ilya Sutskever, Oriol Vinyals, and Quoc V Le. Sequence to sequence learning with neural networks. In Advances in neural information processing systems, pages 3104--3112, 2014."},{"key":"e_1_3_2_1_48_1","volume-title":"Neural machine translation by jointly learning to align and translate. arXiv preprint arXiv:1409.0473","author":"Bahdanau Dzmitry","year":"2014","unstructured":"Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. Neural machine translation by jointly learning to align and translate. arXiv preprint arXiv:1409.0473, 2014."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1154"},{"key":"e_1_3_2_1_50_1","volume-title":"Proc. of ACL 2016: the 54th Annual Meeting of the Association for Computational","volume":"2016","author":"Sennrich Rico","unstructured":"Rico Sennrich, Barry Haddow, and Alexandra Birch. Neural machine translation of rare words with subword units. In Proc. of ACL 2016: the 54th Annual Meeting of the Association for Computational, Volume 1: Long Papers, 2016."},{"key":"e_1_3_2_1_51_1","volume-title":"Google's neural machine translation system: Bridging the gap between human and machine translation. CoRR, abs\/1609.08144","author":"Wu Yonghui","year":"2016","unstructured":"Yonghui Wu, Mike Schuster, Zhifeng Chen, Quoc V. Le, Mohammad Norouzi, Wolfgang Macherey, Maxim Krikun, Yuan Cao, Qin Gao, Klaus Macherey, Jeff Klingner, Apurva Shah, Melvin Johnson, Xiaobing Liu, Lukasz Kaiser, Stephan Gouws, Yoshikiyo Kato, Taku Kudo, Hideto Kazawa, Keith Stevens, George Kurian, Nishant Patil, Wei Wang, Cliff Young, Jason Smith, Jason Riesa, Alex Rudnick, Oriol Vinyals, Greg Corrado, Macduff Hughes, and Jeffrey Dean. Google's neural machine translation system: Bridging the gap between human and machine translation. CoRR, abs\/1609.08144, 2016."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-1007"},{"key":"e_1_3_2_1_53_1","volume-title":"Dive into deep learning. arXiv preprint arXiv:2106.11342","author":"Zhang Aston","year":"2021","unstructured":"Aston Zhang, Zachary C Lipton, Mu Li, and Alexander J Smola. Dive into deep learning. arXiv preprint arXiv:2106.11342, 2021."},{"key":"e_1_3_2_1_54_1","volume-title":"Dzmitry Bahdanau, and Yoshua Bengio. On the properties of neural machine translation: Encoder-decoder approaches. arXiv preprint arXiv:1409.1259","author":"Cho Kyunghyun","year":"2014","unstructured":"Kyunghyun Cho, Bart Van Merri\u00ebnboer, Dzmitry Bahdanau, and Yoshua Bengio. On the properties of neural machine translation: Encoder-decoder approaches. arXiv preprint arXiv:1409.1259, 2014."},{"key":"e_1_3_2_1_55_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma Diederik P","year":"2014","unstructured":"Diederik P Kingma and Jimmy Ba. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980, 2014."},{"key":"e_1_3_2_1_56_1","first-page":"311","volume-title":"Proceedings of the 40th annual meeting of the Association for Computational Linguistics","author":"Papineni Kishore","year":"2002","unstructured":"Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu. Bleu: a method for automatic evaluation of machine translation. In Proceedings of the 40th annual meeting of the Association for Computational Linguistics, pages 311--318, 2002."},{"key":"e_1_3_2_1_57_1","volume-title":"A survey of data augmentation approaches for NLP. arXiv preprint arXiv:2105.03075","author":"Feng Steven Y","year":"2021","unstructured":"Steven Y Feng, Varun Gangal, Jason Wei, Sarath Chandar, Soroush Vosoughi, Teruko Mitamura, and Eduard Hovy. A survey of data augmentation approaches for NLP. arXiv preprint arXiv:2105.03075, 2021."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2020.2981314"},{"key":"e_1_3_2_1_59_1","volume-title":"A survey on recent advances in named entity recognition from deep learning models. arXiv preprint arXiv:1910.11470","author":"Yadav Vikas","year":"2019","unstructured":"Vikas Yadav and Steven Bethard. A survey on recent advances in named entity recognition from deep learning models. arXiv preprint arXiv:1910.11470, 2019."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11431-020-1647-3"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510171","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:25Z","timestamp":1750183825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510171"}},"subtitle":["from english requirements to signal temporal logic"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":60,"alternative-id":["10.1145\/3510003.3510171","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510171","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}