{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:44:43Z","timestamp":1730313883125,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081196","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"125-133","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Requirements of an integrated formal method for intelligent swarms"],"prefix":"10.1145","author":[{"given":"M. G.","family":"Hinchey","sequence":"first","affiliation":[{"name":"NASA GSFC, Greenbelt, MD"}]},{"given":"C. A.","family":"Rouff","sequence":"additional","affiliation":[{"name":"SAIC, McLean, VA"}]},{"given":"J. L.","family":"Rash","sequence":"additional","affiliation":[{"name":"NASA GSFC, Greenbelt, MD"}]},{"given":"W. F.","family":"Truszkowski","sequence":"additional","affiliation":[{"name":"NASA GSFC, Greenbelt, MD"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Second International Workshop on the Mathematics and Algorithms of Social Insects","author":"Balch T.","year":"2003","unstructured":"T. Balch , A. Feldman , and Z. Khan . Automatic classification of insect behavior using computer vision and behavior recognition . In Proc. Second International Workshop on the Mathematics and Algorithms of Social Insects , Atlanta, Georgia, USA, 16- -17 December 2003 . T. Balch, A. Feldman, and Z. Khan. Automatic classification of insect behavior using computer vision and behavior recognition. In Proc. Second International Workshop on the Mathematics and Algorithms of Social Insects, Atlanta, Georgia, USA, 16--17 December 2003."},{"key":"e_1_3_2_1_2_1","first-page":"57","volume-title":"Proc. 1988 IEEE International Symposium on Intelligent Control","author":"Beni G.","year":"1988","unstructured":"G. Beni . The concept of cellular robotics . In Proc. 1988 IEEE International Symposium on Intelligent Control , pages 57 -- 62 . IEEE Computer Society Press, Los Alamitos, Calif. , 1988 . G. Beni. The concept of cellular robotics. In Proc. 1988 IEEE International Symposium on Intelligent Control, pages 57--62. IEEE Computer Society Press, Los Alamitos, Calif., 1988."},{"key":"e_1_3_2_1_3_1","first-page":"425","volume-title":"Proc. Seventh Annual Meeting of the Robotics Society of Japan","author":"Beni G.","year":"1989","unstructured":"G. Beni and J. Want . Swarm intelligence . In Proc. Seventh Annual Meeting of the Robotics Society of Japan , pages 425 -- 428 , Tokyo, Japan , 1989 . RSJ Press. G. Beni and J. Want. Swarm intelligence. In Proc. Seventh Annual Meeting of the Robotics Society of Japan, pages 425--428, Tokyo, Japan, 1989. RSJ Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0300-72"},{"key":"e_1_3_2_1_5_1","volume-title":"csp2B : A Practical Approach To Combining CSP and B","author":"Butler M. J.","year":"1999","unstructured":"M. J. Butler . csp2B : A Practical Approach To Combining CSP and B . Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton , February 1999 . M. J. Butler. csp2B : A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican1100-112"},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"443","article-title":"Combining particle swarms and k-nearest neighbors for the development of quantitative structure-activity relationships","volume":"11","author":"Cedeno W.","year":"2003","unstructured":"W. Cedeno and D. K. Agrafiotis . Combining particle swarms and k-nearest neighbors for the development of quantitative structure-activity relationships . Int. J. Comput. Res. , 11 ( 4 ): 443 -- 452 , 2003 . W. Cedeno and D. K. Agrafiotis. Combining particle swarms and k-nearest neighbors for the development of quantitative structure-activity relationships. Int. J. Comput. Res., 11(4):443--452, 2003.","journal-title":"Int. J. Comput. Res."},{"key":"e_1_3_2_1_8_1","volume-title":"Parallel Program Design: A Foundation","author":"Chandy K. M.","year":"1988","unstructured":"K. M. Chandy and J. Misra . Parallel Program Design: A Foundation . Addison-Wesley Publishing Company , 1988 . K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-6304"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. Int'l Astronautical Federation, 51st Congress","author":"Curtis S. A.","year":"2000","unstructured":"S. A. Curtis , J. Mica , J. Nuth , G. Marr , M. L. Rilee , and M. K. Bhat . ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration . In Proc. Int'l Astronautical Federation, 51st Congress , October 2000 . S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2003.1235057"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0303-2647(97)01708-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/975277"},{"key":"e_1_3_2_1_14_1","volume-title":"Categories for Software Engineering","author":"Fiadeiro J. L.","year":"2004","unstructured":"J. L. Fiadeiro . Categories for Software Engineering . Springer-Verlag , London , 2004 . J. L. Fiadeiro. Categories for Software Engineering. Springer-Verlag, London, 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. Decision Support 2001: Advanced Technology for Natural Resource Management","author":"Hiebeler D. E.","year":"1994","unstructured":"D. E. Hiebeler . The swarm simulation system and individual-based modeling . In Proc. Decision Support 2001: Advanced Technology for Natural Resource Management , Toronto, Canada , September 1994 . D. E. Hiebeler. The swarm simulation system and individual-based modeling. In Proc. Decision Support 2001: Advanced Technology for Natural Resource Management, Toronto, Canada, September 1994."},{"key":"e_1_3_2_1_16_1","series-title":"International Series in Software Engineering","volume-title":"Concurrent Systems: Formal Development in CSP","author":"Hinchey M. G.","year":"1995","unstructured":"M. G. Hinchey and S. A. Jarvis . Concurrent Systems: Formal Development in CSP . International Series in Software Engineering . McGraw-Hill International , London, UK , 1995 . M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995."},{"key":"e_1_3_2_1_17_1","first-page":"36","volume-title":"Proc. The 2005 International Conference on Software Engineering Research and Practice (SERP'05)","author":"Hinchey M. G.","year":"2005","unstructured":"M. G. Hinchey , J. L. Rash , W. F. Truszkowski , C. A. Rouff , and R. Sterrit . Autonomous and autonomic swarms . In Proc. The 2005 International Conference on Software Engineering Research and Practice (SERP'05) , pages 36 -- 42 , Las Vegas, Nevada, USA , 27 June 2005 . CSREA Press. M. G. Hinchey, J. L. Rash, W. F. Truszkowski, C. A. Rouff, and R. Sterrit. Autonomous and autonomic swarms. In Proc. The 2005 International Conference on Software Engineering Research and Practice (SERP'05), pages 36--42, Las Vegas, Nevada, USA, 27 June 2005. CSREA Press."},{"key":"e_1_3_2_1_18_1","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare . Communicating Sequential Processes . Prentice Hall International Series in Computer Science. Prentice Hall International , Englewood Cliffs, NJ, 1985 . C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985."},{"key":"e_1_3_2_1_20_1","volume-title":"Technical Report CS-86-1","author":"Holcombe W. M. L.","year":"1986","unstructured":"W. M. L. Holcombe . Towards a formal description of intracellular biochemical organization. Technical Report CS-86-1 , Sheffield University , UK , 1986 . W. M. L. Holcombe. Towards a formal description of intracellular biochemical organization. Technical Report CS-86-1, Sheffield University, UK, 1986."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0009"},{"key":"e_1_3_2_1_22_1","volume-title":"The specification of dynamic distributed component systems. Master's thesis","author":"Kiniry J. R.","year":"1998","unstructured":"J. R. Kiniry . The specification of dynamic distributed component systems. Master's thesis , California Institute of Technology , 1998 . J. R. Kiniry. The specification of dynamic distributed component systems. Master's thesis, California Institute of Technology, 1998."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/350997"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/37402.37406"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1035374"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030079"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/876904.881436"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/987682.987867"},{"key":"e_1_3_2_1_30_1","volume-title":"Arborscapes: A swarm-based multi-agent ecological disturbance model. Working paper 98-06-056","author":"Savage M.","year":"1998","unstructured":"M. Savage and M. Askenazi . Arborscapes: A swarm-based multi-agent ecological disturbance model. Working paper 98-06-056 , Santa Fe Institute , Santa Fe , New Mexico, 1998 . M. Savage and M. Askenazi. Arborscapes: A swarm-based multi-agent ecological disturbance model. Working paper 98-06-056, Santa Fe Institute, Santa Fe, New Mexico, 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/520794.878734"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. 1st International Conference on Integrated Formal Methods (IFM99)","author":"Suhl C.","year":"1999","unstructured":"C. Suhl . RT-Z : An integration of Z and Timed CSP . In Proc. 1st International Conference on Integrated Formal Methods (IFM99) , York, United Kingdom , June 1999 . C. Suhl. RT-Z: An integration of Z and Timed CSP. In Proc. 1st International Conference on Integrated Formal Methods (IFM99), York, United Kingdom, June 1999."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1006\/bulm.2001.0252"},{"key":"e_1_3_2_1_34_1","first-page":"227","volume-title":"Transactions on Social Computing Simulation","author":"Tofts C.","year":"1991","unstructured":"C. Tofts . Describing social insect behavior using process algebra . Transactions on Social Computing Simulation , pages 227 -- 283 , 1991 . C. Tofts. Describing social insect behavior using process algebra. Transactions on Social Computing Simulation, pages 227--283, 1991."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2004.66"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"e_1_3_2_1_37_1","volume-title":"University of Illinois Press","author":"von Neumann J.","year":"1996","unstructured":"J. von Neumann . Theory of Self-Reproducing Automata . University of Illinois Press , Urbana, Illinois , 1996 . J. von Neumann. Theory of Self-Reproducing Automata. University of Illinois Press, Urbana, Illinois, 1996."}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lisbon Portugal","acronym":"FMICS05"},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T18:07:44Z","timestamp":1672942064000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":35,"alternative-id":["10.1145\/1081180.1081196","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081196","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}