{"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":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"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":true,"raw_author_name":"Andrey Sadovykh","raw_affiliation_strings":["Softeam, France,","Innopolis University, Russia,"],"affiliations":[{"raw_affiliation_string":"Softeam, France,","institution_ids":["https://openalex.org/I4210090759"]},{"raw_affiliation_string":"Innopolis University, Russia,","institution_ids":["https://openalex.org/I4210116741"]}]},{"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,"],"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,"],"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,"],"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,"],"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,"],"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,"],"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,"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden,","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5009448213"],"corresponding_institution_ids":["https://openalex.org/I4210090759","https://openalex.org/I4210116741"],"apc_list":null,"apc_paid":null,"fwci":4.1136,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.93294919,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"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":false,"landing_page_url":"https://research.abo.fi/en/publications/754d5794-bbc5-4e20-b900-3388dd590058","pdf_url":null,"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":"Sadovykh , A , Widforss , G , Truscan , D , Enoiu , E P , Mallouli , W , Iglesias , R , Bagnto , A & Hendel , O 2021 , VeriDevOps : Automated Protection and Prevention to Meet Security Requirements in DevOps . in Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021 . , 9474185 , Proceedings -Design, Automation and Test in Europe, DATE , vol. 2021-February , the Institute of Electrical and Electronics Engineers, Inc. , pp. 1330-1333 , Design, Automation and Test in Europe Conference and Exhibition , 01/02/21 . https://doi.org/10.23919/DATE51398.2021.9474185","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"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,31],"development":[2],"practices":[3],"are":[4],"increasingly":[5],"based":[6],"on":[7,77,100,150],"using":[8,93],"both":[9],"COTS":[10],"and":[11,67,92,103,134,138],"legacy":[12],"components":[13],"which":[14],"make":[15],"such":[16,107],"systems":[17],"prone":[18],"to":[19,44,96],"security":[20,65,80,90,98,140],"vulnerabilities.The":[21],"modern":[22],"practice":[23],"addressing":[24],"ever":[25],"changing":[26],"conditions,":[27],"DevOps,":[28],"promotes":[29],"frequent":[30],"deliveries,":[32],"however,":[33],"verification":[34,81,133],"methods":[35],"artifacts":[36],"should":[37],"be":[38,114],"updated":[39],"in":[40,117,143],"a":[41,58,130],"timely":[42],"fashion":[43],"cope":[45],"with":[46],"the":[47,50,64,79,118,163,168,174],"pace":[48],"of":[49,71],"process.VeriDevOps,":[51],"Horizon":[52],"2020":[53],"project,":[54],"aims":[55],"at":[56],"providing":[57],"faster":[59],"feedback":[60],"loop":[61],"for":[62,123,155],"verifying":[63],"requirements":[66],"other":[68],"quality":[69],"attributes":[70],"large":[72],"scale":[73],"cyberphysical":[74],"systems.VeriDevOps":[75],"focuses":[76],"optimizing":[78],"activities,":[82],"by":[83],"automatically":[84],"creating":[85],"verifiable":[86],"models":[87,95,102],"directly":[88],"from":[89],"requirements,":[91],"these":[94,124],"check":[97],"properties":[99],"design":[101],"then":[104],"generate":[105],"artefacts":[106],"as,":[108],"tests":[109],"or":[110],"monitors":[111],"that":[112],"can":[113],"used":[115],"later":[116],"DevOps":[119],"process.The":[120],"main":[121],"drivers":[122],"advances":[125],"are:":[126],"Natural":[127],"Language":[128],"Processing,":[129],"combined":[131],"formal":[132],"modelbased":[135],"testing":[136],"approach,":[137],"machine-learning-based":[139],"monitors.VeriDevOps":[141],"is":[142],"its":[144],"initial":[145],"stage":[146],"-the":[147],"project":[148,169],"started":[149],"1.10.2020and":[151],"it":[152],"will":[153,161],"run":[154],"three":[156],"years.In":[157],"this":[158],"paper":[159],"we":[160],"present":[162],"major":[164],"conceptual":[165],"ideas":[166],"behind":[167],"approach":[170],"as":[171,173],"well":[172],"organizational":[175],"settings.":[176]},"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":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}