{"id":"https://openalex.org/W7096086902","doi":null,"title":"Trace Theoretic Verification of Timed Circuits: Correctness, Reduction, and Interpretation.","display_name":"Trace Theoretic Verification of Timed Circuits: Correctness, Reduction, and Interpretation.","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W7096086902"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.7882","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.async.elen.utah.edu/~eemercer/phd_proposal/paper.ps","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W7096086902"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"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":"Eric Mercer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Eric Mercer","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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.9976000189781189,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.0003000000142492354,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00019999999494757503,"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/trace-theory","display_name":"trace theory","score":0.9179999828338623},{"id":"https://openalex.org/keywords/conformance-verification","display_name":"conformance verification","score":0.7480000257492065},{"id":"https://openalex.org/keywords/real-time-constraints","display_name":"real-time constraints","score":0.9620000123977661},{"id":"https://openalex.org/keywords/state-space-reduction","display_name":"state space reduction","score":0.8679999709129333},{"id":"https://openalex.org/keywords/timing-assumptions","display_name":"timing assumptions","score":0.753000020980835},{"id":"https://openalex.org/keywords/circuit-verification","display_name":"circuit verification","score":0.39399999380111694}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8051999807357788},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254999876022339},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.72079998254776},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6154999732971191},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.603600025177002},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6014000177383423},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5859000086784363},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5644999742507935},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.527999997138977},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.45899999141693115},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.4047999978065491},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40310001373291016},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3483999967575073},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.33730000257492065},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3287999927997589},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.31790000200271606},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.296099990606308},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.289000004529953},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.2712000012397766},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2655999958515167},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.7882","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.async.elen.utah.edu/~eemercer/phd_proposal/paper.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7100153374","https://openalex.org/W1929497867","https://openalex.org/W2019605773","https://openalex.org/W8534063","https://openalex.org/W2260904887","https://openalex.org/W2148325438","https://openalex.org/W2148684266","https://openalex.org/W1489517620","https://openalex.org/W7101010824","https://openalex.org/W2274047221"],"abstract_inverted_index":{"This":[0,22,145],"proposal":[1],"presents":[2],"an":[3,107],"implementation":[4,108],"of":[5,30,39,48,71,89,100,106,131],"trace":[6],"theoretic":[7],"verication":[8,38,90],"in":[9,14,86],"timed":[10,124],"circuits":[11,127,132],"detailing":[12],"research":[13,23,65],"3":[15],"specic":[16],"areas:":[17],"correctness,":[18],"reduction,":[19],"and":[20],"interpretation.":[21],"proposes":[24,43,66,84],"to":[25,44,54,67,78,103,109,121],"rst":[26],"develop":[27,68],"a":[28,69,97,129],"denition":[29],"correctness":[31],"for":[32,138],"TEL":[33,55,79],"structures":[34,56],"that":[35,75,133],"allows":[36],"conformance":[37,105],"real-time":[40],"constraints.":[41],"It":[42],"survey":[45],"the":[46,62,87,94],"utility":[47],"adapting":[49],"state":[50,72],"space":[51,73],"reduction":[52,74],"methods":[53],"with":[57,96,123],"POSET":[58],"timing.":[59],"Based":[60],"on":[61,135],"survey,":[63],"this":[64,82],"method":[70],"is":[76,146],"suited":[77],"semantics.":[80],"Finally,":[81],"paper":[83],"work":[85],"interpretation":[88],"results":[91],"by":[92],"providing":[93],"user":[95],"sucient":[98],"set":[99],"timing":[101,136],"assumptions":[102],"guarantee":[104],"its":[110],"specication.":[111],"1":[112],"Introduction":[113],"To":[114],"increase":[115],"performance,":[116],"circuit":[117],"designers":[118],"are":[119,128],"beginning":[120],"experiment":[122],"circuits.":[125],"Timed":[126],"class":[130],"rely":[134],"information":[137],"correct":[139],"functionality":[140],"[1,":[141],"2,":[142],"3,":[143],"4].":[144],"e...":[147]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}