{"id":"https://openalex.org/W1997498801","doi":"https://doi.org/10.1109/afrcon.2013.6757720","title":"Formal verification and validation of DEVS simulation models","display_name":"Formal verification and validation of DEVS simulation models","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W1997498801","doi":"https://doi.org/10.1109/afrcon.2013.6757720","mag":"1997498801"},"language":"en","primary_location":{"id":"doi:10.1109/afrcon.2013.6757720","is_oa":false,"landing_page_url":"https://doi.org/10.1109/afrcon.2013.6757720","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Africon","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":null,"display_name":"Soremekun Ezekiel Olamide","orcid":null},"institutions":[{"id":"https://openalex.org/I2799873615","display_name":"African Institute of Science and Technology","ror":"https://ror.org/05rcqrz41","country_code":"NG","type":"education","lineage":["https://openalex.org/I2799873615"]}],"countries":["NG"],"is_corresponding":true,"raw_author_name":"Soremekun Ezekiel Olamide","raw_affiliation_strings":["African University of Science and Technology, Abuja, Nigeria","African University of Science and Technology Abuja, Nigeria"],"affiliations":[{"raw_affiliation_string":"African University of Science and Technology, Abuja, Nigeria","institution_ids":["https://openalex.org/I2799873615"]},{"raw_affiliation_string":"African University of Science and Technology Abuja, Nigeria","institution_ids":["https://openalex.org/I2799873615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021745405","display_name":"Traore Mamadou Kaba","orcid":null},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]},{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Traore Mamadou Kaba","raw_affiliation_strings":["LIMOS, Universit\u00e9 Blaise Pascal, France","LIMOS, Univ. Blaise Pascal, Clermont Ferrand, France"],"affiliations":[{"raw_affiliation_string":"LIMOS, Universit\u00e9 Blaise Pascal, France","institution_ids":["https://openalex.org/I4210099416","https://openalex.org/I198244214"]},{"raw_affiliation_string":"LIMOS, Univ. Blaise Pascal, Clermont Ferrand, France","institution_ids":["https://openalex.org/I4210099416"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I2799873615"],"apc_list":null,"apc_paid":null,"fwci":1.977,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88132277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/devs","display_name":"DEVS","score":0.838625967502594},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8320232629776001},{"id":"https://openalex.org/keywords/verification-and-validation-of-computer-simulation-models","display_name":"Verification and validation of computer simulation models","score":0.7738195061683655},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.5369458198547363},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5313072204589844},{"id":"https://openalex.org/keywords/iterative-refinement","display_name":"Iterative refinement","score":0.5063430070877075},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5042871236801147},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4688606858253479},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.45994704961776733},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4301999509334564},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.34702086448669434},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3285984396934509},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26603463292121887},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.20454898476600647},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17684924602508545}],"concepts":[{"id":"https://openalex.org/C68757728","wikidata":"https://www.wikidata.org/wiki/Q911082","display_name":"DEVS","level":3,"score":0.838625967502594},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8320232629776001},{"id":"https://openalex.org/C126433048","wikidata":"https://www.wikidata.org/wiki/Q7921324","display_name":"Verification and validation of computer simulation models","level":2,"score":0.7738195061683655},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.5369458198547363},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5313072204589844},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.5063430070877075},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5042871236801147},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4688606858253479},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.45994704961776733},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4301999509334564},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.34702086448669434},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3285984396934509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26603463292121887},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.20454898476600647},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17684924602508545},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/afrcon.2013.6757720","is_oa":false,"landing_page_url":"https://doi.org/10.1109/afrcon.2013.6757720","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Africon","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1830954042","https://openalex.org/W2001598892","https://openalex.org/W2060910670","https://openalex.org/W2130560480","https://openalex.org/W2167978186","https://openalex.org/W2169886041","https://openalex.org/W2952197024","https://openalex.org/W4298135007","https://openalex.org/W6764677970"],"related_works":["https://openalex.org/W2149438936","https://openalex.org/W1968412103","https://openalex.org/W1822877267","https://openalex.org/W2366855972","https://openalex.org/W2007136719","https://openalex.org/W2539196186","https://openalex.org/W2789734539","https://openalex.org/W2143095556","https://openalex.org/W1993799598","https://openalex.org/W1668833997"],"abstract_inverted_index":{"We":[0],"present":[1,173],"a":[2,119,174,179],"model-based":[3],"verification":[4,81],"technique":[5],"built":[6],"on":[7,23],"selective":[8],"and":[9,35,40,49,62,76,108,149],"pragmatic":[10],"use":[11],"of":[12,42,51,69,87,97,113,162,168,178,187],"formal":[13,70],"methods,":[14],"by":[15],"using":[16],"simplified":[17],"model":[18,80,99,107,120],"checking":[19],"tools":[20],"that":[21,37,50,124],"focus":[22],"error":[24],"detection":[25],"rather":[26],"than":[27],"formalized":[28],"proofs.":[29],"This":[30,72,116,140],"framework":[31,117,189],"is":[32,73,143],"to":[33,58,74,92,126,136,145,156,183,190],"check":[34],"confirm":[36],"the":[38,52,66,78,85,88,94,98,105,128,166,185],"trajectories":[39],"events":[41],"DEVS-Driven":[43],"Modeling":[44],"Language":[45],"(DDML)":[46],"simulation":[47,106,114],"models":[48],"real":[53],"system":[54,182,195],"agree":[55],"in":[56,90,104,154],"order":[57,91,155],"achieve":[59],"replicative,":[60],"predictive":[61],"structural":[63],"validity":[64],"through":[65],"lightweight":[67],"application":[68],"methods.":[71],"reduce":[75],"ease":[77],"Simulation":[79,130],"efforts":[82],"while":[83],"increasing":[84],"coverage":[86],"process,":[89,101],"verify":[93,194],"transformational":[95],"accuracy":[96],"development":[100,148],"increase":[102],"confidence":[103],"allow":[109],"for":[110],"performance":[111],"evaluation":[112],"models.":[115,200],"provides":[118],"refinement":[121,141],"iterative":[122,169],"procedure":[123,142],"helps":[125],"enhance":[127],"DEVS":[129],"Model,":[131],"correct":[132],"errors":[133],"or":[134],"adapt":[135],"changing":[137,160],"contextual":[138],"requirements.":[139],"applicable":[144],"evolutionary":[146],"software":[147],"systems":[150,164],"requiring":[151],"rapid":[152],"prototyping,":[153],"meet":[157],"up":[158],"with":[159,165],"requirements":[161],"such":[163],"aid":[167],"refinement.":[170],"Furthermore,":[171],"we":[172],"case":[175],"study":[176],"example":[177],"GSM":[180],"telecommunication":[181],"reveal":[184],"ability":[186],"this":[188],"not":[191],"only":[192],"formally":[193],"but":[196],"also":[197],"refine":[198],"their":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}