{"id":"https://openalex.org/W2023163864","doi":"https://doi.org/10.1186/s13677-015-0032-x","title":"MapReduce for parallel trace validation of LTL properties","display_name":"MapReduce for parallel trace validation of LTL properties","publication_year":2015,"publication_date":"2015-04-13","ids":{"openalex":"https://openalex.org/W2023163864","doi":"https://doi.org/10.1186/s13677-015-0032-x","mag":"2023163864"},"language":"en","primary_location":{"id":"doi:10.1186/s13677-015-0032-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13677-015-0032-x","pdf_url":"https://journalofcloudcomputing.springeropen.com/counter/pdf/10.1186/s13677-015-0032-x","source":{"id":"https://openalex.org/S2486819371","display_name":"Journal of Cloud Computing Advances Systems and Applications","issn_l":"2192-113X","issn":["2192-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cloud Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journalofcloudcomputing.springeropen.com/counter/pdf/10.1186/s13677-015-0032-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022249773","display_name":"Sylvain Hall\u00e9","orcid":"https://orcid.org/0000-0002-4406-6154"},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Sylvain Hall\u00e9","raw_affiliation_strings":["Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), G7H 2B1, Canada","Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), G7H 2B1, Canada","institution_ids":["https://openalex.org/I104914703"]},{"raw_affiliation_string":"Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), Canada","institution_ids":["https://openalex.org/I104914703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044493967","display_name":"Maxime Soucy-Boivin","orcid":null},"institutions":[{"id":"https://openalex.org/I104914703","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi","ror":"https://ror.org/00y3hzd62","country_code":"CA","type":"education","lineage":["https://openalex.org/I104914703","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Maxime Soucy-Boivin","raw_affiliation_strings":["Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), G7H 2B1, Canada","Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), G7H 2B1, Canada","institution_ids":["https://openalex.org/I104914703"]},{"raw_affiliation_string":"Laboratoire d\u2019informatique formelle, D\u00e9partement d\u2019informatique et de math\u00e9matique, Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi (Qu\u00e9bec), Canada","institution_ids":["https://openalex.org/I104914703"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022249773"],"corresponding_institution_ids":["https://openalex.org/I104914703"],"apc_list":{"value":1490,"currency":"USD","value_usd":1490},"apc_paid":{"value":1490,"currency":"USD","value_usd":1490},"fwci":0.3347,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.64665668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"4","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"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.9973000288009644,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9847000241279602,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8810374736785889},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.8552526235580444},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7975651025772095},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5433841347694397},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5091156363487244},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4753798544406891},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40197938680648804},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36297607421875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3507876992225647},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27850162982940674},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13209927082061768},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09395536780357361}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8810374736785889},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.8552526235580444},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7975651025772095},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5433841347694397},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5091156363487244},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4753798544406891},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40197938680648804},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36297607421875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3507876992225647},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27850162982940674},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13209927082061768},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09395536780357361},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1186/s13677-015-0032-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13677-015-0032-x","pdf_url":"https://journalofcloudcomputing.springeropen.com/counter/pdf/10.1186/s13677-015-0032-x","source":{"id":"https://openalex.org/S2486819371","display_name":"Journal of Cloud Computing Advances Systems and Applications","issn_l":"2192-113X","issn":["2192-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cloud Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1186/s13677-015-0032-x","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13677-015-0032-x","pdf_url":"https://journalofcloudcomputing.springeropen.com/counter/pdf/10.1186/s13677-015-0032-x","source":{"id":"https://openalex.org/S2486819371","display_name":"Journal of Cloud Computing Advances Systems and Applications","issn_l":"2192-113X","issn":["2192-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cloud Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2023163864.pdf","grobid_xml":"https://content.openalex.org/works/W2023163864.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1487629853","https://openalex.org/W1490252010","https://openalex.org/W1510820946","https://openalex.org/W1524646280","https://openalex.org/W1591094652","https://openalex.org/W1591941310","https://openalex.org/W1593957641","https://openalex.org/W1835623796","https://openalex.org/W1854214752","https://openalex.org/W1912779191","https://openalex.org/W1943320619","https://openalex.org/W2005062077","https://openalex.org/W2024753805","https://openalex.org/W2027564848","https://openalex.org/W2041912543","https://openalex.org/W2044936152","https://openalex.org/W2054655669","https://openalex.org/W2087492381","https://openalex.org/W2106355650","https://openalex.org/W2111884963","https://openalex.org/W2120153871","https://openalex.org/W2120411588","https://openalex.org/W2122465391","https://openalex.org/W2129008814","https://openalex.org/W2153385696","https://openalex.org/W2339718530","https://openalex.org/W2531404100"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W2032233321","https://openalex.org/W3150465815","https://openalex.org/W1975475533","https://openalex.org/W4251121992"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2,17,95],"algorithm":[3,26],"for":[4],"the":[5,33,79,87],"automated":[6],"verification":[7],"of":[8,32,45,47,54,89],"Linear":[9],"Temporal":[10],"Logic":[11],"formul\u00e6":[12],"on":[13,51],"event":[14],"traces":[15],"using":[16],"increasingly":[18],"popular":[19],"cloud":[20],"computing":[21],"framework":[22,92],"called":[23],"MapReduce.":[24],"The":[25],"can":[27,66,93],"process":[28],"multiple,":[29],"arbitrary":[30],"fragments":[31],"trace":[34,100],"in":[35,69,72],"parallel,":[36],"and":[37],"compute":[38],"its":[39],"final":[40],"result":[41],"through":[42],"a":[43,52,73,90],"cycle":[44],"runs":[46],"MapReduce":[48,56,91],"instances.":[49],"Experimentation":[50],"variety":[53],"cloud-based":[55],"frameworks,":[57],"including":[58],"Apache":[59],"Hadoop,":[60],"show":[61,85],"how":[62,86],"complex":[63],"LTL":[64,81],"properties":[65],"be":[67],"validated":[68],"reasonable":[70],"time":[71],"completely":[74],"distributed":[75],"fashion.":[76],"Compared":[77],"to":[78,98],"classical":[80],"evaluation":[82],"algorithm,":[83],"results":[84],"use":[88],"provide":[94],"interesting":[96],"alternative":[97],"existing":[99],"analysis":[101],"techniques,":[102],"performance-wise,":[103],"under":[104],"favourable":[105],"conditions.":[106]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}