{"id":"https://openalex.org/W165595480","doi":"https://doi.org/10.1007/1-4020-7997-4_6","title":"Modeling and verifying behavioral aspects","display_name":"Modeling and verifying behavioral aspects","publication_year":2006,"publication_date":"2006-02-17","ids":{"openalex":"https://openalex.org/W165595480","doi":"https://doi.org/10.1007/1-4020-7997-4_6","mag":"165595480"},"language":"en","primary_location":{"id":"doi:10.1007/1-4020-7997-4_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7997-4_6","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods for Embedded Distributed Systems","raw_type":"book-chapter"},"type":"book-chapter","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/A5108375522","display_name":"F. Br\u00e9ant","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160133","display_name":"Physique des Cellules et Cancers","ror":"https://ror.org/055ss7a31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210096427","https://openalex.org/I4210160133","https://openalex.org/I80043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Br\u00e9ant","raw_affiliation_strings":["Universit\u00e9 P. & M. Curie, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 P. & M. Curie, France","institution_ids":["https://openalex.org/I4210160133"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008040815","display_name":"J.-M. Couvreur","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J.-M. Couvreur","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017807308","display_name":"Fr\u00e9d\u00e9ric Gilliers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F. Gilliers","raw_affiliation_strings":["Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107809697","display_name":"Fabrice Kordon","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160133","display_name":"Physique des Cellules et Cancers","ror":"https://ror.org/055ss7a31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210096427","https://openalex.org/I4210160133","https://openalex.org/I80043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Kordon","raw_affiliation_strings":["Universit\u00e9 P. & M. Curie, France","Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 P. & M. Curie, France","institution_ids":["https://openalex.org/I4210160133"]},{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107138168","display_name":"Isabelle Mounier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"I. Mounier","raw_affiliation_strings":["Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088936423","display_name":"Emmanuel Paviot-Adet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"E. Paviot-Adet","raw_affiliation_strings":["Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112205018","display_name":"Denis Poitrenaud","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Poitrenaud","raw_affiliation_strings":["Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080386443","display_name":"D. Regep","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160133","display_name":"Physique des Cellules et Cancers","ror":"https://ror.org/055ss7a31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210096427","https://openalex.org/I4210160133","https://openalex.org/I80043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"D. Regep","raw_affiliation_strings":["Universit\u00e9 P. & M. Curie, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 P. & M. Curie, France","institution_ids":["https://openalex.org/I4210160133"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080032804","display_name":"Gr\u00e9goire Sutre","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G. Sutre","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8882,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78581315,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"171","last_page":"211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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/computer-science","display_name":"Computer science","score":0.7546908259391785},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6606377959251404},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5366283059120178},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.514404833316803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5123010873794556},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5035178065299988},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4688721001148224},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4504193663597107},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44135695695877075},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41629230976104736},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4115554094314575},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3962949514389038},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3232046663761139},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11372888088226318},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09275791049003601}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7546908259391785},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6606377959251404},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5366283059120178},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.514404833316803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5123010873794556},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5035178065299988},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4688721001148224},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4504193663597107},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44135695695877075},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41629230976104736},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4115554094314575},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3962949514389038},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3232046663761139},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11372888088226318},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09275791049003601},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/1-4020-7997-4_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7997-4_6","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods for Embedded Distributed Systems","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1557512698","https://openalex.org/W1585728492","https://openalex.org/W1994143452","https://openalex.org/W2052746057","https://openalex.org/W2098799476","https://openalex.org/W2122149060","https://openalex.org/W2127564302","https://openalex.org/W2135453964","https://openalex.org/W2148119462"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W2981877881"],"abstract_inverted_index":{"Design":[0],"of":[1,10,24,27,61,108,117,122,135],"reliable":[2],"distributed":[3,62,83],"systems":[4],"is":[5,31,45,54,78,157],"stretching":[6],"limits":[7],"in":[8,50],"term":[9],"complexity":[11],"since":[12],"existing":[13],"development":[14,40],"techniques":[15],"are":[16],"usually":[17],"not":[18,55,151],"fully":[19,56],"accurate":[20],"for":[21,58,74,98],"this":[22,51,65,142],"type":[23,134],"applications.":[25],"One":[26],"the":[28,32,35,69,123,153,160,166],"main":[29],"problem":[30],"gap":[33],"between":[34],"various":[36],"notations":[37],"used":[38],"during":[39],"process.":[41],"Even":[42],"if":[43],"UML":[44],"an":[46,96,106],"important":[47],"step":[48],"forward":[49],"domain,":[52],"it":[53],"suitable":[57],"formal":[59,99],"description":[60],"systems.":[63,86],"In":[64],"chapter,":[66],"we":[67,131,138],"present":[68],"L":[70,90],"f":[71,91],"P":[72,92],"(Language":[73],"Prototyping)":[75],"notation.":[76],"It":[77],"dedicated":[79],"to":[80],"formally":[81],"describe":[82],"(potentially":[84],"embedded)":[85],"We":[87],"show":[88,132],"how":[89],"may":[93,139,162],"serve":[94],"as":[95,165],"input":[97],"verification":[100],"using":[101],"Data":[102],"Decision":[103,110],"Diagrams":[104,111],"(DDD),":[105],"extension":[107],"Binary":[109],"(BDD)":[112],"enabling":[113],"a":[114],"compact":[115],"representation":[116],"state":[118],"spaces.":[119],"Some":[120],"aspects":[121],"BART":[124],"case":[125],"study":[126],"will":[127],"be":[128,163],"presented":[129],"and":[130,150,159],"what":[133],"behavioral":[136],"properties":[137],"verify":[140],"on":[141],"specification.":[143],"These":[144],"keywords":[145,161],"were":[146],"added":[147],"by":[148,152],"machine":[149],"authors.":[154],"This":[155],"process":[156],"experimental":[158],"updated":[164],"learning":[167],"algorithm":[168],"improves.":[169]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}