@inproceedings{DBLP:conf/acsos/CaldasGPPWB21,
	author = {Ricardo Caldas and Razan Ghzouli and Alessandro V. Papadopoulos and Patrizio Pelliccione and Danny Weyns and Thorsten Berger},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/acsos/CaldasGPPWB21.bib},
	booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021},
	date-added = {2022-03-30 17:23:48 +0200},
	date-modified = {2022-03-30 17:23:48 +0200},
	doi = {10.1109/ACSOS-C52956.2021.00067},
	editor = {Esam El{-}Araby and Vana Kalogeraki and Danilo Pianini and Fr{\'{e}}d{\'{e}}ric Lassabe and Barry Porter and Sona Ghahremani and Ingrid Nunes and Mohamed Bakhouya and Sven Tomforde},
	pages = {281--286},
	publisher = {{IEEE}},
	timestamp = {Tue, 30 Nov 2021 17:31:23 +0100},
	title = {Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns},
	url = {https://doi.org/10.1109/ACSOS-C52956.2021.00067},
	year = {2021},
	Bdsk-Url-1 = {https://doi.org/10.1109/ACSOS-C52956.2021.00067}}

{"_id":"8g83i4D2aKWWruFiK","bibbaseid":"caldas-ghzouli-papadopoulos-pelliccione-weyns-berger-towardsmappingcontroltheoryandsoftwareengineeringpropertiesusingspecificationpatterns-2021","author_short":["Caldas, R.","Ghzouli, R.","Papadopoulos, A. V.","Pelliccione, P.","Weyns, D.","Berger, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ricardo"],"propositions":[],"lastnames":["Caldas"],"suffixes":[]},{"firstnames":["Razan"],"propositions":[],"lastnames":["Ghzouli"],"suffixes":[]},{"firstnames":["Alessandro","V."],"propositions":[],"lastnames":["Papadopoulos"],"suffixes":[]},{"firstnames":["Patrizio"],"propositions":[],"lastnames":["Pelliccione"],"suffixes":[]},{"firstnames":["Danny"],"propositions":[],"lastnames":["Weyns"],"suffixes":[]},{"firstnames":["Thorsten"],"propositions":[],"lastnames":["Berger"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/acsos/CaldasGPPWB21.bib","booktitle":"IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021","date-added":"2022-03-30 17:23:48 +0200","date-modified":"2022-03-30 17:23:48 +0200","doi":"10.1109/ACSOS-C52956.2021.00067","editor":[{"firstnames":["Esam"],"propositions":[],"lastnames":["El-Araby"],"suffixes":[]},{"firstnames":["Vana"],"propositions":[],"lastnames":["Kalogeraki"],"suffixes":[]},{"firstnames":["Danilo"],"propositions":[],"lastnames":["Pianini"],"suffixes":[]},{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Lassabe"],"suffixes":[]},{"firstnames":["Barry"],"propositions":[],"lastnames":["Porter"],"suffixes":[]},{"firstnames":["Sona"],"propositions":[],"lastnames":["Ghahremani"],"suffixes":[]},{"firstnames":["Ingrid"],"propositions":[],"lastnames":["Nunes"],"suffixes":[]},{"firstnames":["Mohamed"],"propositions":[],"lastnames":["Bakhouya"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Tomforde"],"suffixes":[]}],"pages":"281–286","publisher":"IEEE","timestamp":"Tue, 30 Nov 2021 17:31:23 +0100","title":"Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns","url":"https://doi.org/10.1109/ACSOS-C52956.2021.00067","year":"2021","bdsk-url-1":"https://doi.org/10.1109/ACSOS-C52956.2021.00067","bibtex":"@inproceedings{DBLP:conf/acsos/CaldasGPPWB21,\n\tauthor = {Ricardo Caldas and Razan Ghzouli and Alessandro V. Papadopoulos and Patrizio Pelliccione and Danny Weyns and Thorsten Berger},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/acsos/CaldasGPPWB21.bib},\n\tbooktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021},\n\tdate-added = {2022-03-30 17:23:48 +0200},\n\tdate-modified = {2022-03-30 17:23:48 +0200},\n\tdoi = {10.1109/ACSOS-C52956.2021.00067},\n\teditor = {Esam El{-}Araby and Vana Kalogeraki and Danilo Pianini and Fr{\\'{e}}d{\\'{e}}ric Lassabe and Barry Porter and Sona Ghahremani and Ingrid Nunes and Mohamed Bakhouya and Sven Tomforde},\n\tpages = {281--286},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Tue, 30 Nov 2021 17:31:23 +0100},\n\ttitle = {Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns},\n\turl = {https://doi.org/10.1109/ACSOS-C52956.2021.00067},\n\tyear = {2021},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ACSOS-C52956.2021.00067}}\n\n","author_short":["Caldas, R.","Ghzouli, R.","Papadopoulos, A. V.","Pelliccione, P.","Weyns, D.","Berger, T."],"editor_short":["El-Araby, E.","Kalogeraki, V.","Pianini, D.","Lassabe, F.","Porter, B.","Ghahremani, S.","Nunes, I.","Bakhouya, M.","Tomforde, S."],"key":"DBLP:conf/acsos/CaldasGPPWB21","id":"DBLP:conf/acsos/CaldasGPPWB21","bibbaseid":"caldas-ghzouli-papadopoulos-pelliccione-weyns-berger-towardsmappingcontroltheoryandsoftwareengineeringpropertiesusingspecificationpatterns-2021","role":"author","urls":{"Paper":"https://doi.org/10.1109/ACSOS-C52956.2021.00067"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["towards","mapping","control","theory","software","engineering","properties","using","specification","patterns","caldas","ghzouli","papadopoulos","pelliccione","weyns","berger"],"title":"Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns","year":2021}