{"id":"https://openalex.org/W2059525369","doi":"https://doi.org/10.1109/iros.2010.5650536","title":"Deriving concurrent control software from behavioral specifications","display_name":"Deriving concurrent control software from behavioral specifications","publication_year":2010,"publication_date":"2010-10-01","ids":{"openalex":"https://openalex.org/W2059525369","doi":"https://doi.org/10.1109/iros.2010.5650536","mag":"2059525369"},"language":"en","primary_location":{"id":"doi:10.1109/iros.2010.5650536","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2010.5650536","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE/RSJ International Conference on Intelligent Robots and Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5039735362","display_name":"G. Ramanathan","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]},{"id":"https://openalex.org/I4210160616","display_name":"Siemens (Switzerland)","ror":"https://ror.org/056egm241","country_code":"CH","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210160616"]}],"countries":["CH","DE"],"is_corresponding":false,"raw_author_name":"G Ramanathan","raw_affiliation_strings":["Siemens AG, Germany","Siemens AG, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG, Germany","institution_ids":["https://openalex.org/I1325886976"]},{"raw_affiliation_string":"Siemens AG, Switzerland","institution_ids":["https://openalex.org/I4210160616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073099778","display_name":"Bill Morandi","orcid":"https://orcid.org/0000-0003-3968-1424"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"B Morandi","raw_affiliation_strings":["Chair of Software Engineering, ETH Zurich, Switzerland","[Chair of Software Engineering, ETH Zurich, Switzerland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Software Engineering, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"[Chair of Software Engineering, ETH Zurich, Switzerland]","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036774746","display_name":"Scott West","orcid":"https://orcid.org/0000-0002-0694-2483"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"S West","raw_affiliation_strings":["Chair of Software Engineering, ETH Zurich, Switzerland","[Chair of Software Engineering, ETH Zurich, Switzerland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Software Engineering, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"[Chair of Software Engineering, ETH Zurich, Switzerland]","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039237768","display_name":"Sebastian Nanz","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"S Nanz","raw_affiliation_strings":["Chair of Software Engineering, ETH Zurich, Switzerland","[Chair of Software Engineering, ETH Zurich, Switzerland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Software Engineering, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"[Chair of Software Engineering, ETH Zurich, Switzerland]","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073925128","display_name":"Bertrand Meyer","orcid":"https://orcid.org/0000-0002-5985-7434"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"B Meyer","raw_affiliation_strings":["Chair of Software Engineering, ETH Zurich, Switzerland","[Chair of Software Engineering, ETH Zurich, Switzerland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Software Engineering, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"[Chair of Software Engineering, ETH Zurich, Switzerland]","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6283,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.64266369,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1994","last_page":"1999"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9986000061035156,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"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/hexapod","display_name":"Hexapod","score":0.7973209619522095},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7679149508476257},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6783244609832764},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.5699583292007446},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.5655633211135864},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5614646673202515},{"id":"https://openalex.org/keywords/scoop","display_name":"SCOOP","score":0.5489292144775391},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5340323448181152},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5076652765274048},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4826293885707855},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.47741401195526123},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47042202949523926},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44574204087257385},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43306106328964233},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42158764600753784},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.36217817664146423},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.3069811463356018},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2963944673538208},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.2506329119205475}],"concepts":[{"id":"https://openalex.org/C136434205","wikidata":"https://www.wikidata.org/wiki/Q3437269","display_name":"Hexapod","level":3,"score":0.7973209619522095},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7679149508476257},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6783244609832764},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5699583292007446},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.5655633211135864},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5614646673202515},{"id":"https://openalex.org/C2779427698","wikidata":"https://www.wikidata.org/wiki/Q17146793","display_name":"SCOOP","level":2,"score":0.5489292144775391},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5340323448181152},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5076652765274048},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4826293885707855},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.47741401195526123},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47042202949523926},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44574204087257385},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43306106328964233},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42158764600753784},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.36217817664146423},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.3069811463356018},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2963944673538208},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2506329119205475},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iros.2010.5650536","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2010.5650536","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE/RSJ International Conference on Intelligent Robots and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.226.7885","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.7885","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://se.inf.ethz.ch/people/morandi/publications/SCOOP_for_robotics/SCOOP_for_robotics.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.398.8713","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.8713","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://se.inf.ethz.ch/people/west/scoop-robotics-iros-2010.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.75}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W8140010","https://openalex.org/W211918120","https://openalex.org/W1509606339","https://openalex.org/W1607735372","https://openalex.org/W1999052969","https://openalex.org/W2010740844","https://openalex.org/W2020618104","https://openalex.org/W2023064587","https://openalex.org/W2043055725","https://openalex.org/W2107810727","https://openalex.org/W2119906889","https://openalex.org/W2142294821","https://openalex.org/W2157790935","https://openalex.org/W2171724570","https://openalex.org/W2901136733","https://openalex.org/W2908371837","https://openalex.org/W3183224878","https://openalex.org/W6600358712","https://openalex.org/W6636327416","https://openalex.org/W6683265775","https://openalex.org/W6756486208","https://openalex.org/W6758067284"],"related_works":["https://openalex.org/W1981799182","https://openalex.org/W3142467144","https://openalex.org/W1864929253","https://openalex.org/W2475404872","https://openalex.org/W343691931","https://openalex.org/W1516638553","https://openalex.org/W2114000277","https://openalex.org/W2158699105","https://openalex.org/W2062131799","https://openalex.org/W2383651485"],"abstract_inverted_index":{"Concurrency":[0],"is":[1,60],"an":[2,51],"integral":[3],"part":[4],"of":[5,37,40,62,70],"many":[6],"robotics":[7,96],"applications,":[8],"due":[9],"to":[10,48,86,133],"the":[11,38,113,119,124],"need":[12],"for":[13,27,55,91,106],"handling":[14],"inherently":[15],"parallel":[16],"tasks":[17],"such":[18],"as":[19],"motion":[20],"control":[21,104,135],"and":[22],"sensor":[23],"monitoring.":[24],"Writing":[25],"programs":[26],"this":[28],"complex":[29],"domain":[30],"can":[31],"be":[32],"hard,":[33],"in":[34,95,129],"particular":[35],"because":[36],"difficulties":[39],"retaining":[41],"a":[42,67,88,103],"robust":[43],"modular":[44],"design.":[45],"We":[46,122],"propose":[47],"use":[49],"SCOOP,":[50],"object-oriented":[52],"programming":[53,72],"model":[54],"concurrency":[56],"which":[57,83],"by":[58,78,118],"construction":[59],"free":[61],"data":[63],"races,":[64],"therefore":[65],"excluding":[66],"major":[68],"class":[69],"concurrent":[71],"errors.":[73],"Synchronization":[74],"requirements":[75,94],"are":[76],"expressed":[77,128],"waiting":[79],"on":[80],"routine":[81],"preconditions,":[82],"turns":[84],"out":[85],"provide":[87],"natural":[89],"framework":[90],"implementing":[92],"coordination":[93],"applications.":[97,136],"As":[98],"demonstration":[99],"application,":[100],"we":[101],"describe":[102],"program":[105],"hexapod":[107],"locomotion,":[108],"whose":[109],"implementation":[110],"closely":[111],"follows":[112],"corresponding":[114],"behavioral":[115],"specification":[116],"given":[117],"biological":[120],"model.":[121],"compare":[123],"architecture":[125],"with":[126],"solutions":[127],"more":[130],"traditional":[131],"approaches":[132],"robotic":[134]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}