{"id":"https://openalex.org/W2139226092","doi":"https://doi.org/10.1109/avss.2011.6027407","title":"AVSS 2011 demo session: Level of service classification for smart cameras","display_name":"AVSS 2011 demo session: Level of service classification for smart cameras","publication_year":2011,"publication_date":"2011-08-01","ids":{"openalex":"https://openalex.org/W2139226092","doi":"https://doi.org/10.1109/avss.2011.6027407","mag":"2139226092"},"language":"en","primary_location":{"id":"doi:10.1109/avss.2011.6027407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/avss.2011.6027407","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS)","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":"https://openalex.org/A5086822056","display_name":"Felix Pletzer","orcid":null},"institutions":[{"id":"https://openalex.org/I134023368","display_name":"Institute for Interdisciplinary Studies of Austrian Universities","ror":"https://ror.org/001zf8v27","country_code":"AT","type":"education","lineage":["https://openalex.org/I134023368","https://openalex.org/I4210166741"]},{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Felix Pletzer","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, Klagenfurt, Austria","Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, 9020, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, 9020, Austria","institution_ids":["https://openalex.org/I134023368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024032794","display_name":"Bernhard Rinner","orcid":"https://orcid.org/0000-0002-8793-3828"},"institutions":[{"id":"https://openalex.org/I134023368","display_name":"Institute for Interdisciplinary Studies of Austrian Universities","ror":"https://ror.org/001zf8v27","country_code":"AT","type":"education","lineage":["https://openalex.org/I134023368","https://openalex.org/I4210166741"]},{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Bernhard Rinner","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, Klagenfurt, Austria","Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, 9020, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Networked and Embedded Systems, 9020, Austria","institution_ids":["https://openalex.org/I134023368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020568168","display_name":"Roland Tusch","orcid":"https://orcid.org/0000-0003-2188-8603"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Roland Tusch","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, Klagenfurt, Austria","Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, 9020, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, 9020, Austria","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112392366","display_name":"L\u00e1szl\u00f3 B\u00f6sz\u00f6rm\u00e9nyi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Laszlo Boszormenyi","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, Klagenfurt, Austria","Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, 9020, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Institute of Information Technology, 9020, Austria","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109120780","display_name":"Manfred Harrer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manfred Harrer","raw_affiliation_strings":["ASFINAG Maut Service GmbH, Salzburg, Austria","ASFINAG Maut Service GmbH, 5033 Salzburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ASFINAG Maut Service GmbH, Salzburg, Austria","institution_ids":[]},{"raw_affiliation_string":"ASFINAG Maut Service GmbH, 5033 Salzburg, Austria","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046899142","display_name":"Thomas Mariacher","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Mariacher","raw_affiliation_strings":["ASFINAG Maut Service GmbH, Salzburg, Austria","ASFINAG Maut Service GmbH, 5033 Salzburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ASFINAG Maut Service GmbH, Salzburg, Austria","institution_ids":[]},{"raw_affiliation_string":"ASFINAG Maut Service GmbH, 5033 Salzburg, Austria","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4396,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74689139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"543","last_page":"544"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9977999925613403,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9977999925613403,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.994700014591217,"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.8559861183166504},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6087303161621094},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5497211217880249},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5421721339225769},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.48208075761795044},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46383747458457947},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.46036210656166077},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45887625217437744},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.449705570936203},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.42981427907943726},{"id":"https://openalex.org/keywords/best-practice","display_name":"Best practice","score":0.4207855463027954},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.41633540391921997},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.4145162105560303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3723090887069702},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.36665353178977966},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.32416313886642456},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1880117952823639}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8559861183166504},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6087303161621094},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5497211217880249},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5421721339225769},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.48208075761795044},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46383747458457947},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.46036210656166077},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45887625217437744},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.449705570936203},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.42981427907943726},{"id":"https://openalex.org/C184356942","wikidata":"https://www.wikidata.org/wiki/Q830382","display_name":"Best practice","level":2,"score":0.4207855463027954},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.41633540391921997},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.4145162105560303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3723090887069702},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.36665353178977966},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.32416313886642456},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1880117952823639},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/avss.2011.6027407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/avss.2011.6027407","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W2091352781"],"related_works":["https://openalex.org/W3134905881","https://openalex.org/W4295529944","https://openalex.org/W345638404","https://openalex.org/W1779373593","https://openalex.org/W2401568214","https://openalex.org/W3026405340","https://openalex.org/W2951686222","https://openalex.org/W2806600916","https://openalex.org/W2019299443","https://openalex.org/W51612467"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2],"given.":[3],"Automated":[4],"code":[5,43,52],"analysis":[6,44,90,113,189,224],"is":[7,46,195,240],"technology":[8],"aimed":[9],"at":[10],"locating,":[11],"describing":[12],"and":[13,53,74,109,133,147,244],"repairing":[14],"areas":[15],"of":[16,35,51,60,101,150,168,184,192,219,235],"weakness":[17],"in":[18,173,199,222,231],"code.":[19],"Code":[20],"weaknesses":[21],"range":[22],"from":[23,242],"security":[24],"vulnerabilities,":[25],"logic":[26],"errors,":[27],"concurrency":[28],"violations,":[29],"to":[30,41,97],"improper":[31],"resource":[32],"usage,":[33],"violations":[34],"architectures":[36],"or":[37,181],"coding":[38],"guidelines.":[39],"Common":[40],"all":[42],"techniques":[45],"that":[47,239],"they":[48],"build":[49,117],"abstractions":[50,57],"then":[54],"check":[55,77],"those":[56],"for":[58,142],"properties":[59],"interest.":[61],"For":[62],"instance":[63],"a":[64,94,99,217],"type":[65],"checker":[66],"computes":[67],"how":[68,78,84],"types":[69],"are":[70,170],"used,":[71],"abstract":[72],"interpreters":[73],"symbolic":[75],"evaluators":[76],"values":[79],"flow,":[80],"model":[81],"checkers":[82],"analyze":[83],"state":[85],"evolves.":[86],"Building":[87],"modern":[88],"program":[89,112,127,188,223],"tools":[91,152],"thus":[92],"requires":[93],"multi-pronged":[95],"approach":[96],"find":[98],"variety":[100],"weaknesses.":[102],"In":[103],"this":[104],"talk":[105],"I":[106,137,213],"will":[107,138,214],"discuss":[108],"compare":[110],"several":[111,205],"tools,":[114],"which":[115,225],"MSR":[116],"during":[118],"the":[119,140,164,177],"last":[120],"ten":[121],"years.":[122],"They":[123],"include":[124],"theorem":[125],"provers,":[126],"verifiers,":[128],"bug":[129],"finders,":[130],"malware":[131],"scanners,":[132],"test":[134],"case":[135],"generators.":[136],"describe":[139],"need":[141],"their":[143,145],"development,":[144],"innovation,":[146],"application.":[148],"Many":[149],"these":[151],"had":[153],"considerable":[154],"impact":[155],"on":[156,163],"Microsoft's":[157],"development":[158,202],"practices,":[159],"as":[160,162,176,182,190],"well":[161],"research":[165],"community.":[166],"Some":[167],"them":[169],"being":[171],"shipped":[172],"products":[174],"such":[175],"Static":[178],"Driver":[179],"Verifier":[180],"part":[183,191],"Visual":[185],"Studio.":[186],"Performing":[187],"quality":[193],"assurance":[194],"meanwhile":[196],"standard":[197],"practice":[198],"many":[200],"software":[201,238],"companies.":[203],"However":[204],"challenges":[206,221],"have":[207],"not":[208],"yet":[209],"been":[210],"resolved.":[211],"Thus,":[212],"conclude":[215],"with":[216],"set":[218],"open":[220],"hopefully":[226],"triggers":[227],"new":[228],"aspiring":[229],"directions":[230],"our":[232],"joint":[233],"quest":[234],"delivering":[236],"predictable":[237],"free":[241],"defect":[243],"vulnerabilities.":[245]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}