{"id":"https://openalex.org/W2953688716","doi":"https://doi.org/10.1109/seams.2019.00021","title":"Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things","display_name":"Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2953688716","doi":"https://doi.org/10.1109/seams.2019.00021","mag":"2953688716"},"language":"en","primary_location":{"id":"doi:10.1109/seams.2019.00021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/seams.2019.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","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/A5057850035","display_name":"Christos Tsigkanos","orcid":"https://orcid.org/0000-0002-9493-3404"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Christos Tsigkanos","raw_affiliation_strings":["Distributed Systems Group, TU Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Distributed Systems Group, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021825279","display_name":"Laura Nenzi","orcid":"https://orcid.org/0000-0003-2263-9342"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laura Nenzi","raw_affiliation_strings":["Department of Mathematics and Geoscience, University of Trieste, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Geoscience, University of Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Loreti","raw_affiliation_strings":["School of Science and Technology, University of Camerino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science and Technology, University of Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056378984","display_name":"Mart\u00edn Garriga","orcid":"https://orcid.org/0000-0002-3056-3678"},"institutions":[{"id":"https://openalex.org/I70368782","display_name":"National University of Comahue","ror":"https://ror.org/02zvkba47","country_code":"AR","type":"education","lineage":["https://openalex.org/I70368782"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Martin Garriga","raw_affiliation_strings":["Universidad Nacional del Comahue, Neuquen, Patagonia, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional del Comahue, Neuquen, Patagonia, Argentina","institution_ids":["https://openalex.org/I70368782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004847496","display_name":"Schahram Dustdar","orcid":"https://orcid.org/0000-0001-6872-8821"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Schahram Dustdar","raw_affiliation_strings":["Distributed Systems Group, TU Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Distributed Systems Group, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024976868","display_name":"Carlo Ghezzi","orcid":"https://orcid.org/0000-0002-7234-5011"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Ghezzi","raw_affiliation_strings":["Dipartimento di Elettronica, Politecnico di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica, Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5057850035"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":2.6021,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.92088089,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"100","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9947999715805054,"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.8076422214508057},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.7117425203323364},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4940231442451477},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49283480644226074},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.45471876859664917},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4467662572860718},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4384033679962158},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4250113070011139},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34213846921920776},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3383907079696655},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.15446579456329346},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.12189650535583496},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1003161370754242}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8076422214508057},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.7117425203323364},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4940231442451477},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49283480644226074},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.45471876859664917},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4467662572860718},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4384033679962158},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4250113070011139},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34213846921920776},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3383907079696655},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.15446579456329346},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.12189650535583496},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1003161370754242},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/seams.2019.00021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/seams.2019.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arts.units.it:11368/2955059","is_oa":false,"landing_page_url":"http://hdl.handle.net/11368/2955059","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.49000000953674316}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W86222690","https://openalex.org/W207768977","https://openalex.org/W578585133","https://openalex.org/W1498432697","https://openalex.org/W1563419623","https://openalex.org/W1705718777","https://openalex.org/W1737853022","https://openalex.org/W1753426156","https://openalex.org/W1990911977","https://openalex.org/W2006691338","https://openalex.org/W2012084072","https://openalex.org/W2028031999","https://openalex.org/W2031674781","https://openalex.org/W2115141362","https://openalex.org/W2161874168","https://openalex.org/W2170690007","https://openalex.org/W2172041433","https://openalex.org/W2249250112","https://openalex.org/W2361313718","https://openalex.org/W2407143168","https://openalex.org/W2514915463","https://openalex.org/W2516894032","https://openalex.org/W2527872501","https://openalex.org/W2726579140","https://openalex.org/W2740038983","https://openalex.org/W2758427605","https://openalex.org/W2783130171","https://openalex.org/W2793669795","https://openalex.org/W2883967600","https://openalex.org/W2931168649","https://openalex.org/W3105264942","https://openalex.org/W3120150112","https://openalex.org/W6603467142","https://openalex.org/W6740221252","https://openalex.org/W6760931712","https://openalex.org/W6788552807"],"related_works":["https://openalex.org/W4245926026","https://openalex.org/W4311097251","https://openalex.org/W2586548817","https://openalex.org/W2625093826","https://openalex.org/W2950174689","https://openalex.org/W4200598720","https://openalex.org/W2921026492","https://openalex.org/W4247463117","https://openalex.org/W4361251261","https://openalex.org/W3031181660"],"abstract_inverted_index":{"Internet":[0],"of":[1,49,54,104,112,114,144,173,179,184],"things":[2,115],"systems":[3],"are":[4,96,106,169],"increasingly":[5],"common":[6],"nowadays.":[7],"They":[8],"feature":[9],"spatially-distributed,":[10],"mobile":[11],"entities":[12,19],"with":[13,98],"an":[14],"arising":[15],"collective":[16],"behavior.":[17],"Such":[18],"bear":[20],"radionavigation":[21],"sensors":[22],"that":[23,101],"produce":[24,34],"positioning":[25,35],"information,":[26],"then":[27,89],"used":[28,150,170],"by":[29,66,81],"the":[30,99,158,177,181],"(software-enabled)":[31],"device":[32],"to":[33,40,56,71,109,137],"information":[36],"over":[37],"time,":[38],"referred":[39],"as":[41,187,189],"trajectories.":[42],"However,":[43],"software":[44],"applications":[45],"built":[46],"on":[47],"top":[48],"this":[50,129],"require":[51],"composite":[52],"models":[53,61,120,140,168],"space":[55,105],"be":[57,122,149],"in":[58],"place;":[59],"such":[60,118,166],"can":[62,121],"provide":[63,132],"adaptive":[64],"behaviors":[65],"observing,":[67],"evaluating,":[68],"and":[69,88,91,117,133],"reacting":[70],"a":[72,135],"constantly":[73],"changing":[74],"spatial":[75,119,167,182],"environment.":[76],"This":[77],"is":[78],"typically":[79],"achieved":[80],"monitoring":[82],"for":[83,125,151,157,171],"changes,":[84],"analyzing":[85],"requirements":[86,110,174],"violations":[87],"planning":[90,155],"executing":[92],"adequate":[93],"countermeasures.":[94],"We":[95],"concerned":[97],"fact":[100],"model":[102],"representations":[103],"highly":[107],"pertinent":[108],"reasoning":[111],"internet":[113],"systems,":[116,146],"very":[123],"useful":[124],"engineering":[126,152],"adaptation.":[127],"To":[128],"end,":[130],"we":[131,163],"implement":[134],"technique":[136],"infer":[138],"analyzable":[139],"from":[141],"general":[142],"trajectories":[143],"spatially-distributed":[145],"which":[147],"may":[148],"analysis":[153],"or":[154],"facilities":[156],"overall":[159],"self-adaptive":[160],"systems.":[161],"Moreover,":[162],"illustrate":[164],"how":[165],"evaluation":[172],"predicating":[175],"about":[176],"structure":[178],"space,":[180],"distribution":[183],"devices,":[185],"temporal":[186],"well":[188],"quantitative":[190],"aspects":[191],"through":[192],"formal":[193],"spatio-temporal":[194],"verification.":[195]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}