{"id":"https://openalex.org/W3185067500","doi":"https://doi.org/10.23919/date51398.2021.9474185","title":"VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps","display_name":"VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps","publication_year":2021,"publication_date":"2021-02-01","ids":{"openalex":"https://openalex.org/W3185067500","doi":"https://doi.org/10.23919/date51398.2021.9474185","mag":"3185067500"},"language":"en","primary_location":{"id":"doi:10.23919/date51398.2021.9474185","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date51398.2021.9474185","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.abo.fi/ws/files/32605054/DATE2020_VeriDevops_cameraReady.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009448213","display_name":"Andrey Sadovykh","orcid":"https://orcid.org/0000-0003-2384-5447"},"institutions":[{"id":"https://openalex.org/I4210090759","display_name":"Softeam Cadextan","ror":"https://ror.org/00awqjx60","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210090759"]},{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["FR","RU"],"is_corresponding":false,"raw_author_name":"Andrey Sadovykh","raw_affiliation_strings":["Innopolis University, Russia,","Softeam, France,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University, Russia,","institution_ids":["https://openalex.org/I4210116741"]},{"raw_affiliation_string":"Softeam, France,","institution_ids":["https://openalex.org/I4210090759"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076020830","display_name":"Gunnar Widforss","orcid":"https://orcid.org/0000-0002-5360-7071"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Gunnar Widforss","raw_affiliation_strings":["M\u00e4lardalen University, Sweden,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden,","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082834818","display_name":"Drago\u015f Tru\u015fcan","orcid":"https://orcid.org/0000-0002-4367-6225"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Dragos Truscan","raw_affiliation_strings":["\u00c5bo Akademi University, Finland,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c5bo Akademi University, Finland,","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016735339","display_name":"Eduard Paul Enoiu","orcid":"https://orcid.org/0000-0003-2416-4205"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Eduard Paul Enoiu","raw_affiliation_strings":["M\u00e4lardalen University, Sweden,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden,","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084443011","display_name":"Wissam Mallouli","orcid":"https://orcid.org/0000-0003-2548-6628"},"institutions":[{"id":"https://openalex.org/I4210118939","display_name":"Montimage (France)","ror":"https://ror.org/02a8qtz61","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210118939"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wissam Mallouli","raw_affiliation_strings":["Montimage EURL, France,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Montimage EURL, France,","institution_ids":["https://openalex.org/I4210118939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084009111","display_name":"Rosa Iglesias","orcid":"https://orcid.org/0000-0003-1036-3035"},"institutions":[{"id":"https://openalex.org/I4210121514","display_name":"GAIKER Technology Centre","ror":"https://ror.org/02pwsw017","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210121514"]},{"id":"https://openalex.org/I4210140267","display_name":"Ikerlan","ror":"https://ror.org/03hp1m080","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210140267"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Rosa Iglesias","raw_affiliation_strings":["Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA), Spain,","institution_ids":["https://openalex.org/I4210121514","https://openalex.org/I4210140267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108756120","display_name":"Alessandra Bagnto","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090759","display_name":"Softeam Cadextan","ror":"https://ror.org/00awqjx60","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210090759"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alessandra Bagnto","raw_affiliation_strings":["Softeam, France,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Softeam, France,","institution_ids":["https://openalex.org/I4210090759"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040318384","display_name":"Olga Hendel","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Olga Hendel","raw_affiliation_strings":["M\u00e4lardalen University, Sweden,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden,","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5434,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8962149,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1330","last_page":"1333"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9739000201225281,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/devops","display_name":"DevOps","score":0.8954651355743408},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6379936337471008},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5765857100486755},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19501852989196777},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.06277185678482056}],"concepts":[{"id":"https://openalex.org/C9903902","wikidata":"https://www.wikidata.org/wiki/Q3025536","display_name":"DevOps","level":3,"score":0.8954651355743408},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6379936337471008},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5765857100486755},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19501852989196777},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.06277185678482056}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/date51398.2021.9474185","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date51398.2021.9474185","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/754d5794-bbc5-4e20-b900-3388dd590058","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85108370840&partnerID=8YFLogxK","pdf_url":"https://research.abo.fi/ws/files/32605054/DATE2020_VeriDevops_cameraReady.pdf","source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/754d5794-bbc5-4e20-b900-3388dd590058","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85108370840&partnerID=8YFLogxK","pdf_url":"https://research.abo.fi/ws/files/32605054/DATE2020_VeriDevops_cameraReady.pdf","source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3185067500.pdf","grobid_xml":"https://content.openalex.org/works/W3185067500.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1423289960","https://openalex.org/W1529728259","https://openalex.org/W2074937108","https://openalex.org/W2162131243","https://openalex.org/W2618269984","https://openalex.org/W2755866915","https://openalex.org/W2945515026"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3154253302","https://openalex.org/W4220665054","https://openalex.org/W4287554096","https://openalex.org/W3111012486","https://openalex.org/W3093988603","https://openalex.org/W2725103509","https://openalex.org/W4221154210","https://openalex.org/W4285734499"],"abstract_inverted_index":{"Current":[0],"software":[1,32],"development":[2],"practices":[3],"are":[4],"increasingly":[5],"based":[6],"on":[7,80,106,159],"using":[8,99],"both":[9],"COTS":[10],"and":[11,69,109,141,145,161],"legacy":[12],"components":[13],"which":[14],"make":[15],"such":[16,113],"systems":[17],"prone":[18],"to":[19,45,102],"security":[20,67,83,93,104,147],"vulnerabilities.":[21],"The":[22,127],"modern":[23],"practice":[24],"addressing":[25],"ever":[26],"changing":[27],"conditions,":[28],"DevOps,":[29],"promotes":[30],"frequent":[31],"deliveries,":[33],"however,":[34],"verification":[35,84,140],"methods":[36],"artifacts":[37],"should":[38],"be":[39,120],"updated":[40],"in":[41,96,123,151],"a":[42,60,137],"timely":[43],"fashion":[44],"cope":[46],"with":[47],"the":[48,51,66,82,124,156,174,179,185],"pace":[49],"of":[50,73],"process.":[52,126],"VeriDevOps,":[53],"Horizon":[54],"2020":[55],"project,":[56],"aims":[57],"at":[58],"providing":[59],"faster":[61],"feedback":[62],"loop":[63],"for":[64,130,165],"verifying":[65],"requirements":[68,94],"other":[70],"quality":[71],"attributes":[72],"large":[74],"scale":[75],"cyber-physical":[76],"systems.":[77],"VeriDevOps":[78,149],"focuses":[79],"optimizing":[81],"activities,":[85],"by":[86],"automatically":[87],"creating":[88],"verifiable":[89],"models":[90,101,108],"directly":[91],"from":[92],"formulated":[95],"natural":[97],"language,":[98],"these":[100,131],"check":[103],"properties":[105],"design":[107],"then":[110],"generating":[111],"artefacts":[112],"as,":[114],"tests":[115],"or":[116],"monitors":[117],"that":[118],"can":[119],"used":[121],"later":[122],"DevOps":[125],"main":[128],"drivers":[129],"advances":[132],"are:":[133],"Natural":[134],"Language":[135],"Processing,":[136],"combined":[138],"formal":[139],"model-based":[142],"testing":[143],"approach,":[144],"machine-learning-based":[146],"monitors.":[148],"is":[150],"its":[152],"initial":[153],"stage":[154],"-":[155],"project":[157,180],"started":[158],"1.10.2020":[160],"it":[162],"will":[163,172],"run":[164],"three":[166],"years.":[167],"In":[168],"this":[169],"paper":[170],"we":[171],"present":[173],"major":[175],"conceptual":[176],"ideas":[177],"behind":[178],"approach":[181],"as":[182,184],"well":[183],"organizational":[186],"settings.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}