{"id":"https://openalex.org/W2583800648","doi":"https://doi.org/10.1109/idt.2016.7843039","title":"SystemC TLM2-protocol consistency checker using Petri net","display_name":"SystemC TLM2-protocol consistency checker using Petri net","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2583800648","doi":"https://doi.org/10.1109/idt.2016.7843039","mag":"2583800648"},"language":"en","primary_location":{"id":"doi:10.1109/idt.2016.7843039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/idt.2016.7843039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th International Design & Test Symposium (IDT)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5113113821","display_name":"Imed Bennour","orcid":null},"institutions":[{"id":"https://openalex.org/I8636806","display_name":"University of Sousse","ror":"https://ror.org/00dmpgj58","country_code":"TN","type":"education","lineage":["https://openalex.org/I8636806"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Imed E. Bennour","raw_affiliation_strings":["Department of Computer Sciences at National Engineering School of Sousse, Tunisia","Department of Computer Sciences, Laboratory of electronic and microelectronic, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences at National Engineering School of Sousse, Tunisia","institution_ids":["https://openalex.org/I8636806"]},{"raw_affiliation_string":"Department of Computer Sciences, Laboratory of electronic and microelectronic, Tunisia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113113821"],"corresponding_institution_ids":["https://openalex.org/I8636806"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"198"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.940674901008606},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.868647575378418},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8530897498130798},{"id":"https://openalex.org/keywords/transaction-level-modeling","display_name":"Transaction-level modeling","score":0.7510746717453003},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7136000394821167},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5519173741340637},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5352473855018616},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5184502005577087},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4917323887348175},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4690084159374237},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35806429386138916},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09111258387565613}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.940674901008606},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.868647575378418},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8530897498130798},{"id":"https://openalex.org/C169571997","wikidata":"https://www.wikidata.org/wiki/Q966099","display_name":"Transaction-level modeling","level":3,"score":0.7510746717453003},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7136000394821167},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5519173741340637},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5352473855018616},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5184502005577087},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4917323887348175},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4690084159374237},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35806429386138916},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09111258387565613},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/idt.2016.7843039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/idt.2016.7843039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th International Design & Test Symposium (IDT)","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":17,"referenced_works":["https://openalex.org/W1527974694","https://openalex.org/W1536710422","https://openalex.org/W1540522725","https://openalex.org/W1599642594","https://openalex.org/W1982357480","https://openalex.org/W2004396041","https://openalex.org/W2047620596","https://openalex.org/W2055424026","https://openalex.org/W2100889455","https://openalex.org/W2136694316","https://openalex.org/W2145101507","https://openalex.org/W2169490784","https://openalex.org/W2481725867","https://openalex.org/W4243318443","https://openalex.org/W6651528333","https://openalex.org/W6674940260","https://openalex.org/W7024822469"],"related_works":["https://openalex.org/W2533881872","https://openalex.org/W2585026057","https://openalex.org/W1596567466","https://openalex.org/W2183605704","https://openalex.org/W1525398417","https://openalex.org/W2358909550","https://openalex.org/W2069603759","https://openalex.org/W2116697887","https://openalex.org/W3172631514","https://openalex.org/W2204090679"],"abstract_inverted_index":{"SystemC":[0,35,80],"has":[1,39],"been":[2],"developed":[3],"as":[4],"a":[5,34,44,70,79,101],"standard":[6],"system":[7],"level":[8,14],"language":[9],"intended":[10],"to":[11,40,43,83,93],"enable":[12],"transaction":[13],"modeling":[15,54],"(TLM)":[16],"and":[17,30,62],"intellectual":[18],"properties":[19],"(IPs)":[20],"exchange":[21],"at":[22],"multiple":[23],"abstraction":[24],"levels.":[25],"To":[26],"re-use":[27],"formal":[28,45],"analysis":[29],"verification":[31],"methods":[32],"on":[33],"code,":[36],"the":[37,57,76,91,95],"code":[38],"be":[41],"translated":[42],"representation.":[46],"Petri":[47,84],"net":[48],"is":[49],"one":[50],"of":[51,59,78],"several":[52],"mathematical":[53],"languages":[55],"for":[56],"description":[58],"communication":[60],"protocols":[61],"programs":[63],"written":[64],"with":[65,75],"process-oriented":[66],"parallel":[67],"languages.":[68],"In":[69,86],"previous":[71],"work":[72],"we":[73,89],"dealt":[74],"translation":[77,92],"TLM":[81],"module":[82],"net.":[85],"this":[87],"paper,":[88],"extend":[90],"verify":[94],"TLM2":[96],"protocol":[97],"consistency":[98],"used":[99],"by":[100],"module.":[102]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}