{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T03:22:08Z","timestamp":1769052128263,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/recosoc.2011.5981495","type":"proceedings-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T14:03:34Z","timestamp":1315836214000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["FPGA physical-design automation using Model-Driven Engineering"],"prefix":"10.1109","author":[{"given":"Ciprian","family":"Teodorov","sequence":"first","affiliation":[{"name":"Lab-STICC MOCS, CNRS UMR 3192, Université de Bretagne Occidentale, Brest, France"}]},{"given":"Damien","family":"Picard","sequence":"additional","affiliation":[{"name":"LISyC, UBO, Université Europeenne de Bretagne, Brest, France"}]},{"given":"Lo\u00efc","family":"Lagadec","sequence":"additional","affiliation":[{"name":"Lab-STICC MOCS, CNRS UMR 3192, Université de Bretagne Occidentale, Brest, France"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/978-3-540-89020-1_26","article-title":"State of the art of qvt: A model transformation language standard","volume":"5088","author":"kurtev","year":"2008","journal-title":"Applications of Graph Transformations with Industrial Relevance"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"ref13","first-page":"46","article-title":"UML as an Ontology Modelling Lan-guage","author":"cranefield","year":"0","journal-title":"In Proceedings of the Workshop on Intelligent Information Integration 16th International Joint Conference on Artificial Intelligence (IJCAI-99"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.319"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371660"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090662"},{"key":"ref17","article-title":"Domain specific languages: A theoretical survey","author":"oliveira","year":"0","journal-title":"Proceedings of the 3rd Compilers Programming Languages Related Technologies and Applications (CoRTA‘2009)"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"Optimization by simulated annealing","volume":"220","author":"kirkpatrick","year":"1983","journal-title":"Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/201310.201328"},{"key":"ref4","article-title":"Abstraction and modélisation et outils de cao pour les architectures reconfigurables","author":"lagadec","year":"2000","journal-title":"Ph D Dissertation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5145-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2009.02.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1046192.1046210"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2010.039025"},{"key":"ref7","first-page":"286","article-title":"Model driven engineering","author":"kent","year":"0","journal-title":"Proceedings of the Third International Conference on Integrated Formal Methods"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2032356"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890096"},{"key":"ref9","article-title":"Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems","volume":"10","author":"gamati\u00e9","year":"2009","journal-title":"Scalable Computing Practice and Experience (SCPE)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1561\/1000000005"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1063\/1.1697872"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1561\/1000000003"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/505388.505431"}],"event":{"name":"2011 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC)","location":"Montpellier, France","start":{"date-parts":[[2011,6,20]]},"end":{"date-parts":[[2011,6,22]]}},"container-title":["6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5967008\/5981488\/05981495.pdf?arnumber=5981495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T17:50:55Z","timestamp":1756921855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5981495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/recosoc.2011.5981495","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}