{"id":"https://openalex.org/W229597290","doi":"https://doi.org/10.1007/978-3-319-10431-7_29","title":"Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B","display_name":"Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W229597290","doi":"https://doi.org/10.1007/978-3-319-10431-7_29","mag":"229597290"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-10431-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10431-7_29","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03236159","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013810800","display_name":"Linas Laibinis","orcid":"https://orcid.org/0000-0002-1200-0847"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Linas Laibinis","raw_affiliation_strings":["\u00c5bo Akademi University, Turku, Finland","\u00e5bo Akademi University"],"affiliations":[{"raw_affiliation_string":"\u00c5bo Akademi University, Turku, Finland","institution_ids":["https://openalex.org/I130217899"]},{"raw_affiliation_string":"\u00e5bo Akademi University","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070192715","display_name":"Elena Troubitsyn\u00e5","orcid":null},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Elena Troubitsyna","raw_affiliation_strings":["\u00c5bo Akademi University, Turku, Finland","\u00e5bo Akademi University"],"affiliations":[{"raw_affiliation_string":"\u00c5bo Akademi University, Turku, Finland","institution_ids":["https://openalex.org/I130217899"]},{"raw_affiliation_string":"\u00e5bo Akademi University","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034424053","display_name":"Zeineb Graja","orcid":null},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR","TN"],"is_corresponding":false,"raw_author_name":"Zeineb Graja","raw_affiliation_strings":["Institute for Research in computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Research Laboratory on Development and Control of Distributed Applications (ReDCAD), Faculty of Economics and Management, University of Sfax, Tunisia","Paul Sabatier University","University of Sfax"],"affiliations":[{"raw_affiliation_string":"Institute for Research in computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Research Laboratory on Development and Control of Distributed Applications (ReDCAD), Faculty of Economics and Management, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Paul Sabatier University","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"University of Sfax","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040015985","display_name":"Fr\u00e9d\u00e9ric Migeon","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Migeon","raw_affiliation_strings":["Institute for Research in computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Paul Sabatier University;"],"affiliations":[{"raw_affiliation_string":"Institute for Research in computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Paul Sabatier University;","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063228263","display_name":"Ahmed Hadj Kacem","orcid":"https://orcid.org/0000-0002-8895-0152"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ahmed Hadj Kacem","raw_affiliation_strings":["Research Laboratory on Development and Control of Distributed Applications (ReDCAD), Faculty of Economics and Management, University of Sfax, Tunisia","[University of Sfax]"],"affiliations":[{"raw_affiliation_string":"Research Laboratory on Development and Control of Distributed Applications (ReDCAD), Faculty of Economics and Management, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"[University of Sfax]","institution_ids":["https://openalex.org/I142899784"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5013810800"],"corresponding_institution_ids":["https://openalex.org/I130217899"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.9572,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.95882013,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"363","last_page":"377"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9943000078201294,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9939000010490417,"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.7526870965957642},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6281141042709351},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.6058106422424316},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5989975333213806},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.563766360282898},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.5066786408424377},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5047560930252075},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4936026334762573},{"id":"https://openalex.org/keywords/ant-colony","display_name":"Ant colony","score":0.48829174041748047},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4662519693374634},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44761428236961365},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4041886329650879},{"id":"https://openalex.org/keywords/ant-colony-optimization-algorithms","display_name":"Ant colony optimization algorithms","score":0.3673613667488098},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3240116536617279},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27444326877593994},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21121668815612793},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14335897564888}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7526870965957642},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6281141042709351},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.6058106422424316},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5989975333213806},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.563766360282898},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.5066786408424377},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5047560930252075},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4936026334762573},{"id":"https://openalex.org/C60891933","wikidata":"https://www.wikidata.org/wiki/Q796575","display_name":"Ant colony","level":3,"score":0.48829174041748047},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4662519693374634},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44761428236961365},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4041886329650879},{"id":"https://openalex.org/C40128228","wikidata":"https://www.wikidata.org/wiki/Q460851","display_name":"Ant colony optimization algorithms","level":2,"score":0.3673613667488098},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3240116536617279},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27444326877593994},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21121668815612793},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14335897564888},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-10431-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10431-7_29","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-03236159v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03236159","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/chapter/10.1007/978-3-319-10431-7_29","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:publications/70e9777a-9a11-46ea-8d79-4df2900be26c","is_oa":false,"landing_page_url":"https://research.abo.fi/en/publications/70e9777a-9a11-46ea-8d79-4df2900be26c","pdf_url":null,"source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Laibinis , L , Troubitsyna , E , Graja , Z , Migeon , F & Kacem , AH 2014 , Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B . in D Giannakopoulou & G Salaun (eds) , Software Engineering and Formal Methods (SEFM 2014) . Springer , pp. 363\u2013377 , conference; 2014-09-01; 2014-09-05 , 01/09/14 . https://doi.org/10.1007/978-3-319-10431-7_29","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03236159v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03236159","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/chapter/10.1007/978-3-319-10431-7_29","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W126883800","https://openalex.org/W382554072","https://openalex.org/W1523170958","https://openalex.org/W1544057077","https://openalex.org/W1845451745","https://openalex.org/W1942126417","https://openalex.org/W1997577150","https://openalex.org/W2002956917","https://openalex.org/W2010392910","https://openalex.org/W2118172007","https://openalex.org/W2132266381","https://openalex.org/W2498667990","https://openalex.org/W2799340090","https://openalex.org/W2809648050","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2347951034","https://openalex.org/W2388326823","https://openalex.org/W2366876790","https://openalex.org/W2071981049","https://openalex.org/W2381829748","https://openalex.org/W2244460820","https://openalex.org/W2109336245","https://openalex.org/W2511325427","https://openalex.org/W2392795382","https://openalex.org/W2379177376"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}