{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:11:54Z","timestamp":1725804714881},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116914"},{"type":"electronic","value":"9783319116921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11692-1_18","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T07:59:26Z","timestamp":1410163166000},"page":"204-214","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Analysis of Parallel\/Distributed Time-dependent Systems: An Approach Based on JADE"],"prefix":"10.1007","author":[{"given":"Franco","family":"Cicirelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. John Wiley & Sons (2007)","DOI":"10.1002\/9780470058411"},{"key":"18_CR2","unstructured":"Jade, http:\/\/jade.tilab.com (accessed on June 2014)"},{"key":"18_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"key":"18_CR4","unstructured":"Fipa, foundation for intelligent physical agents, http:\/\/www.fipa.org (accessed on June 2014)"},{"key":"18_CR5","unstructured":"Wooldridge, M.: An introduction to multi-agent systems, 2nd edn. John Wiley & Sons (2009)"},{"key":"18_CR6","unstructured":"Carzaniga, A., Picco, G.P., Vigna, G.: Agent.gui: A multi-agent based simulation framework. In: Proc. of FedCSIS 2011, pp. 623\u2013630 (2011)"},{"key":"18_CR7","unstructured":"Gianni, D., Loukas, G., Gelenbe, E.: A simulation framework for the investigation of adaptive behaviours in largely populated building evacuation scenarios. In: Proc. of OAMAS, pp. 1\u201315 (2008)"},{"key":"18_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-32243-6_2","volume-title":"Multi-Agent and Multi-Agent-Based Simulation","author":"F. Wang","year":"2005","unstructured":"Wang, F., Turner, S.J., Wang, L.: Agent communication in distributed simulations. In: Davidsson, P., Logan, B., Takadama, K. (eds.) MABS 2004. LNCS (LNAI), vol.\u00a03415, pp. 11\u201324. Springer, Heidelberg (2005)"},{"key":"18_CR9","unstructured":"Pawlaszyk, D., Strassburger, S.: A synchronization protocol for distributed agent-based simulations with constrained optimism. In: Proc. of ESM 2009, pp. 337\u2013341 (2009)"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1177\/0037549708100187","volume":"85","author":"F. Cicirelli","year":"2009","unstructured":"Cicirelli, F., Furfaro, A., Nigro, L.: An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination. Trans. of SCS SIMULATION\u00a085(1), 17\u201332 (2009)","journal-title":"Trans. of SCS SIMULATION"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Cicirelli, F., Giordano, A., Nigro, L.: Efficient environment management for distributed simulation of large-scale situated multi-agent systems. In: Concurrency and Computation: Practice and Experience (2014), doi:10.1002\/cpe.3254","DOI":"10.1002\/cpe.3254"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.simpat.2010.10.010","volume":"19","author":"F. Cicirelli","year":"2011","unstructured":"Cicirelli, F., Furfaro, A., Nigro, L.: Modelling and simulation of complex manufacturing systems using statechart-based actors. Simulation Modelling Practice and Theory\u00a019(2), 685\u2013703 (2011)","journal-title":"Simulation Modelling Practice and Theory"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Cicirelli, F., Nigro, L., Pupo, F.: Agent-based control framework in JADE. In: 28st European Conf. on Modelling and Simulation, Brescia, pp. 25\u201331 (May 2014)","DOI":"10.7148\/2014-0025"},{"key":"18_CR14","unstructured":"Cicirelli, F., Nigro, L.: A control framework for model continuity in JADE. In: Proc. of the IEEE\/ACM 18th Intl. Symp. DS-RT (to appear, 2014)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlap.2008.05.002","volume":"77","author":"A.W. Brekling","year":"2008","unstructured":"Brekling, A.W., Hansen, M.R., Madsen, J.: Models and formal verifications of multiprocessor system-on-chips. The J. of Logic and Algebraic Prog.\u00a077, 1\u201319 (2008)","journal-title":"The J. of Logic and Algebraic Prog."},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed state space analysis of real-time preemptive systems. IEEE Trans. on Soft. Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"6","key":"18_CR17","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1109\/TSE.2011.4","volume":"37","author":"L. Carnevali","year":"2011","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Putting preemptive time petri nets to work in a v-model sw lifecycle. IEEE Trans. on Soft. Eng.\u00a037(6), 826\u2013844 (2011)","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"5","key":"18_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G. Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int\u2019l J. Software Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"Int\u2019l J. Software Tools for Technology Transfer"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Cicirelli, F., Angelo, F., Nigro, L., Pupo, F.: Development of a schedulability analysis framework based on PTPN and Uppaal with stopwatches. In: Proc. of 16th IEEE\/ACM Intl. Symp. DS-RT 2012, pp. 57\u201364 (2012)","DOI":"10.1109\/DS-RT.2012.16"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using Uppaal 4.1. In: Model-Based Design for Embedded Systems, ch. 3, pp. 93\u2013120. CRC Press (2009)","DOI":"10.1201\/9781420067859-c4"},{"key":"18_CR22","unstructured":"Fujimoto, R.M.: Parallel and distributed simulation systems. John Wiley (2000)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Andersson, B., Jonsson, J.: Preemptive multiprocessor scheduling anomalies. In: Proc. of the 16th IEEE Int. Parallel and Dist. Proc. Symp., pp. 12\u201319 (2002)","DOI":"10.1109\/IPDPS.2002.1015483"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.jss.2012.09.002","volume":"86","author":"R. Silva de Oliveria","year":"2013","unstructured":"Silva de Oliveria, R., Carminati, A., Starke, R.A.: On using adversary simulators to evaluate global fixed-priority and FPZL scheduling of multiprocessors. The Journal of Systems and Software\u00a086, 403\u2013411 (2013)","journal-title":"The Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Internet and Distributed Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11692-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:44:56Z","timestamp":1598244296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11692-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116914","9783319116921"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11692-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}