{"id":"https://openalex.org/W2113457250","doi":"https://doi.org/10.3166/tsi.27.1065-1084","title":"La validation de mod\u00e8les Event-B avec le plug-in ProB pour RODIN","display_name":"La validation de mod\u00e8les Event-B avec le plug-in ProB pour RODIN","publication_year":2008,"publication_date":"2008-10-30","ids":{"openalex":"https://openalex.org/W2113457250","doi":"https://doi.org/10.3166/tsi.27.1065-1084","mag":"2113457250"},"language":"fr","primary_location":{"id":"doi:10.3166/tsi.27.1065-1084","is_oa":false,"landing_page_url":"https://doi.org/10.3166/tsi.27.1065-1084","pdf_url":null,"source":{"id":"https://openalex.org/S4210191397","display_name":"Techniques et sciences informatiques","issn_l":"0752-4072","issn":["0752-4072","2116-5920"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Techniques et sciences informatiques","raw_type":"journal-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/A5098505098","display_name":"Jens Bendiposto","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jens Bendiposto","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098291542","display_name":"Michael Lescheul","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Lescheul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037837284","display_name":"Olivier Ligot","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Olivier Ligot","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5084872145","display_name":"Mireille Samia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mireille Samia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2651,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.91957022,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":"8","first_page":"1065","last_page":"1084"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/event","display_name":"Event (particle physics)","score":0.3387554883956909},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.26922279596328735}],"concepts":[{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.3387554883956909},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.26922279596328735},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3166/tsi.27.1065-1084","is_oa":false,"landing_page_url":"https://doi.org/10.3166/tsi.27.1065-1084","pdf_url":null,"source":{"id":"https://openalex.org/S4210191397","display_name":"Techniques et sciences informatiques","issn_l":"0752-4072","issn":["0752-4072","2116-5920"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Techniques et sciences informatiques","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W34819657","https://openalex.org/W1491364274","https://openalex.org/W1519503479","https://openalex.org/W1524626343","https://openalex.org/W1539606702","https://openalex.org/W1544621933","https://openalex.org/W1545930910","https://openalex.org/W1556500444","https://openalex.org/W1559870885","https://openalex.org/W1563841124","https://openalex.org/W1575221187","https://openalex.org/W1598338394","https://openalex.org/W1659048632","https://openalex.org/W2060440626","https://openalex.org/W2101126217","https://openalex.org/W2115961907","https://openalex.org/W2119518818","https://openalex.org/W2134495021","https://openalex.org/W2913459036","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2043727559","https://openalex.org/W4376623368","https://openalex.org/W3183539093","https://openalex.org/W4386768751","https://openalex.org/W3176972442","https://openalex.org/W192918227","https://openalex.org/W4200284277","https://openalex.org/W2810433436","https://openalex.org/W2782606814","https://openalex.org/W1182684176"],"abstract_inverted_index":{"The":[0],"B-method,":[1],"as":[2,4,72,74],"well":[3,73],"its":[5],"offspring":[6],"Event-B,":[7,107],"are":[8,66],"both":[9],"formal":[10,99],"methods":[11],"used":[12],"for":[13,53,57],"the":[14,30,69],"development":[15],"of":[16,77],"critical":[17],"computer":[18],"systems":[19],"whose":[20],"correctness":[21],"has":[22,87],"to":[23,79],"be":[24,40],"formally":[25],"established.":[26],"Event-B":[27,78],"now":[28,88],"spurs":[29],"RODIN":[31,86],"platform,":[32],"which":[33],"is":[34],"based":[35,67],"on":[36,68],"Eclipse":[37],"and":[38,55],"can":[39,95],"extended":[41],"via":[42],"plug-ins.":[43],"In":[44],"this":[45],"paper,":[46],"we":[47],"present":[48],"two":[49],"such":[50],"plug-ins;":[51],"one":[52,56],"animation":[54],"interactive":[58],"proof":[59],"support,":[60],"called":[61],"a":[62,75,90,93],"disprover.":[63],"Both":[64],"plug-ins":[65],"PROB":[70],"tool":[71],"translation":[76],"classical":[80],"B.":[81],"With":[82],"our":[83],"new":[84],"plug-ins,":[85],"become":[89],"platform":[91],"where":[92],"user":[94],"animate,":[96],"prove,":[97],"disprove":[98],"models":[100],"in":[101],"an":[102],"integrated":[103],"fashion.":[104],"MOTS-CLES":[105],":":[106],"Methode":[108],"B,":[109],"Model-Checking,":[110],"Animation,":[111],"Preuve":[112],"Automatique,":[113],"RODIN,":[114]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}