{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:52:20Z","timestamp":1743079940146,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031253119"},{"type":"electronic","value":"9783031253126"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-25312-6_28","type":"book-chapter","created":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T18:47:24Z","timestamp":1675968444000},"page":"240-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating OSLC Services into\u00a0Eclipse"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohuslav","family":"K\u0159ena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ale\u0161","family":"Smr\u010dka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Va\u0161\u00ed\u010dek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,10]]},"reference":[{"key":"28_CR1","unstructured":"Eclipse arrowhead framework (2022). https:\/\/projects.eclipse.org\/projects\/iot.arrowhead"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: Proceedings of Infotech@Aerospace\u201910. AIAA (2010)","DOI":"10.2514\/6.2010-3452"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-20398-5_33","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of c programs. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 459\u2013465. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_33"},{"key":"28_CR4","unstructured":"El-khoury, J.: An analysis of the OASIS OSLC integration standard, for a cross-disciplinary integrated development environment: analysis of market penetration, performance and prospects. Technical Report, KTH, Mechatronics (2020)"},{"key":"28_CR5","unstructured":"EATA (2022). http:\/\/gitlab.fbk.eu\/ESProjects\/EATA"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Fiedor, J., Mu\u017eikovsk\u00e1, M., Smr\u010dka, A., et. al.: Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C\/C++ programs. In: Proceedings of ISSTA 2018, ACM (2018)","DOI":"10.1145\/3213846.3229505"},{"key":"28_CR7","unstructured":"Fiedor, J.: eTE - eclipse task executor. https:\/\/pajda.fit.vutbr.cz\/verifit\/ete"},{"key":"28_CR8","unstructured":"Fiedor, J.: jSEM - Simple extension manager for Java. https:\/\/pajda.fit.vutbr.cz\/verifit\/jsem"},{"key":"28_CR9","unstructured":"Fiedor, J.: jTE - Java task executor. https:\/\/pajda.fit.vutbr.cz\/verifit\/jte"},{"key":"28_CR10","unstructured":"Luo, L., et. al.: MagpieBridge: a general approach to integrating static analyses into IDEs and editors. In: Proceedings of ECOOP 2019. LIPIcs, Schloss Dagstuhl - LZI (2019)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of of PLDI 2007, ACM (2007)","DOI":"10.1145\/1250734.1250746"},{"key":"28_CR12","unstructured":"OASIS: Open Services for Lifecycle Collaboration. https:\/\/open-services.net\/ (2022)"},{"key":"28_CR13","unstructured":"Ribeiro, F. (eds.). OASIS working draft 1 OSLC automation version 2.1 Part 1: specification (2022). https:\/\/rawgit.com\/oasis-tcs\/oslc-domains\/master\/auto\/automation-spec.html"},{"key":"28_CR14","unstructured":"Va\u0161\u00ed\u010dek, O.: Unite - GitLab (2022). https:\/\/pajda.fit.vutbr.cz\/verifit\/unite"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-25312-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T18:57:50Z","timestamp":1675969070000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-25312-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031253119","9783031253126"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-25312-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUROCAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Systems Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Las Palmas de Gran Canaria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 February 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 February 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurocast2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/eurocast2022.fulp.ulpgc.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}