BibTeX records: Franco Cicirelli

download as .bib file

@article{DBLP:journals/algorithms/NigroC23,
  author       = {Libero Nigro and
                  Franco Cicirelli},
  title        = {Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary
                  Technique Based on Careful Seeding},
  journal      = {Algorithms},
  volume       = {16},
  number       = {12},
  pages        = {572},
  year         = {2023},
  url          = {https://doi.org/10.3390/a16120572},
  doi          = {10.3390/A16120572},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/algorithms/NigroC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iot/AmadeoCGRSV23,
  author       = {Marica Amadeo and
                  Franco Cicirelli and
                  Antonio Guerrieri and
                  Giuseppe Ruggeri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {When edge intelligence meets cognitive buildings: The {COGITO} platform},
  journal      = {Internet Things},
  volume       = {24},
  pages        = {100908},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.iot.2023.100908},
  doi          = {10.1016/J.IOT.2023.100908},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iot/AmadeoCGRSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/NigroCF23,
  author       = {Libero Nigro and
                  Franco Cicirelli and
                  Pasi Fr{\"{a}}nti},
  title        = {Parallel random swap: An efficient and reliable clustering algorithm
                  in Java},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {124},
  pages        = {102712},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.simpat.2022.102712},
  doi          = {10.1016/J.SIMPAT.2022.102712},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpra/NigroCF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/thms/ScarcelloCGMSV23,
  author       = {Luigi Scarcello and
                  Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Pursuing Energy Saving and Thermal Comfort With a Human-Driven {DRL}
                  Approach},
  journal      = {{IEEE} Trans. Hum. Mach. Syst.},
  volume       = {53},
  number       = {4},
  pages        = {707--719},
  year         = {2023},
  url          = {https://doi.org/10.1109/THMS.2022.3216365},
  doi          = {10.1109/THMS.2022.3216365},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/thms/ScarcelloCGMSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/NigroC23,
  author       = {Libero Nigro and
                  Franco Cicirelli},
  title        = {An Efficient Algorithm for Clustering Sets},
  booktitle    = {27th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2023, Singapore, October 4-5,
                  2023},
  pages        = {97--100},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DS-RT58998.2023.00021},
  doi          = {10.1109/DS-RT58998.2023.00021},
  timestamp    = {Tue, 21 Nov 2023 12:38:06 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/NigroC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ict-dm/CicirelliN23,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {Assessing Time Behaviour in Disaster Management by Using Petri Nets
                  and Model Checking},
  booktitle    = {International Conference on Information and Communication Technologies
                  for Disaster Management, {ICT-DM} 2023, Cosenza, Italy, September
                  13-15, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICT-DM58371.2023.10286950},
  doi          = {10.1109/ICT-DM58371.2023.10286950},
  timestamp    = {Wed, 08 Nov 2023 17:21:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ict-dm/CicirelliN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/NigroC23,
  author       = {Libero Nigro and
                  Franco Cicirelli},
  editor       = {Gerd Wagner and
                  Frank Werner and
                  Floriano De Rango},
  title        = {Performance of a K-Means Algorithm Driven by Careful Seeding},
  booktitle    = {Proceedings of the 13th International Conference on Simulation and
                  Modeling Methodologies, Technologies and Applications, {SIMULTECH}
                  2023, Rome, Italy, July 12-14, 2023},
  pages        = {27--36},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0012045000003546},
  doi          = {10.5220/0012045000003546},
  timestamp    = {Sat, 30 Sep 2023 09:56:39 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/NigroC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/AmadeoCGRSV23,
  author       = {Marica Amadeo and
                  Franco Cicirelli and
                  Antonio Guerrieri and
                  Giuseppe Ruggeri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Andrea Vinci and
                  Giandomenico Spezzano},
  title        = {{COGITO:} {A} Platform for Developing Cognitive Environments},
  booktitle    = {IoT Edge Solutions for Cognitive Buildings - Technology, Communications
                  and Computing},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-15160-6\_1},
  doi          = {10.1007/978-3-031-15160-6\_1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/AmadeoCGRSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/23/CicirelliDGGGRS23,
  author       = {Franco Cicirelli and
                  Vincenzo D'Agostino and
                  Antonio Francesco Gentile and
                  Emilio Greco and
                  Antonio Guerrieri and
                  Luigi Rizzo and
                  Giuseppe Scopelliti},
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Andrea Vinci and
                  Giandomenico Spezzano},
  title        = {Intelligent Load Scheduling in Cognitive Buildings: {A} Use Case},
  booktitle    = {IoT Edge Solutions for Cognitive Buildings - Technology, Communications
                  and Computing},
  pages        = {305--328},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-15160-6\_14},
  doi          = {10.1007/978-3-031-15160-6\_14},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/CicirelliDGGGRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/23/CGVS2023,
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Andrea Vinci and
                  Giandomenico Spezzano},
  title        = {IoT Edge Solutions for Cognitive Buildings - Technology, Communications
                  and Computing},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-15160-6},
  doi          = {10.1007/978-3-031-15160-6},
  isbn         = {978-3-031-15159-0},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/23/CGVS2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/CicirelliGV22,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Andrea Vinci},
  title        = {Smart Monitoring and Control in the Future Internet of Things},
  journal      = {Sensors},
  volume       = {22},
  number       = {1},
  pages        = {27},
  year         = {2022},
  url          = {https://doi.org/10.3390/s22010027},
  doi          = {10.3390/S22010027},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/CicirelliGV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/CicirelliN22,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {Analyzing stochastic reward nets by model checking and parallel simulation},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {116},
  pages        = {102467},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.simpat.2021.102467},
  doi          = {10.1016/J.SIMPAT.2021.102467},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/CicirelliN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgcn/MastroianniCJMT22,
  author       = {Carlo Mastroianni and
                  Franco Cicirelli and
                  Min Jia and
                  Sabita Maharjan and
                  Ian J. Taylor},
  title        = {Guest Editorial Special Issue on Edge Intelligence for Sustainable
                  Smart Environments},
  journal      = {{IEEE} Trans. Green Commun. Netw.},
  volume       = {6},
  number       = {1},
  pages        = {234--237},
  year         = {2022},
  url          = {https://doi.org/10.1109/TGCN.2022.3148565},
  doi          = {10.1109/TGCN.2022.3148565},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tgcn/MastroianniCJMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/NigroCF22,
  author       = {Libero Nigro and
                  Franco Cicirelli and
                  Pasi Fr{\"{a}}nti},
  title        = {Efficient and Reliable Clustering by Parallel Random Swap Algorithm},
  booktitle    = {26th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2022, Al{\`{e}}s, France, September
                  26-28, 2022},
  pages        = {25--28},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DS-RT55542.2022.9932090},
  doi          = {10.1109/DS-RT55542.2022.9932090},
  timestamp    = {Fri, 11 Nov 2022 16:53:15 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/NigroCF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wivace/CicirelliGGSV22,
  author       = {Franco Cicirelli and
                  Emilio Greco and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Claudio De Stefano and
                  Francesco Fontanella and
                  Leonardo Vanneschi},
  title        = {Collaborative Learning over Cellular Automata},
  booktitle    = {Artificial Life and Evolutionary Computation - 16th Italian Workshop,
                  {WIVACE} 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1780},
  pages        = {3--14},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-31183-3\_1},
  doi          = {10.1007/978-3-031-31183-3\_1},
  timestamp    = {Mon, 05 Feb 2024 20:35:43 +0100},
  biburl       = {https://dblp.org/rec/conf/wivace/CicirelliGGSV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/CicirelliGM21,
  author       = {Franco Cicirelli and
                  Andrea Giordano and
                  Carlo Mastroianni},
  title        = {Analysis of Global and Local Synchronization in Parallel Computing},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {32},
  number       = {5},
  pages        = {988--1000},
  year         = {2021},
  url          = {https://doi.org/10.1109/TPDS.2020.3037469},
  doi          = {10.1109/TPDS.2020.3037469},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/CicirelliGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliN21,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Jos{\'{e}} M. Cecilia and
                  Francisco J. Martinez},
  title        = {Parallel Simulation of Stochastic Reward Nets using Theatre},
  booktitle    = {25th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2021, Valencia, Spain, September
                  27-29, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DS-RT52167.2021.9576140},
  doi          = {10.1109/DS-RT52167.2021.9576140},
  timestamp    = {Wed, 03 Nov 2021 10:00:37 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichms/CicirelliGMSSV21,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Luigi Scarcello and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Balancing Energy Consumption and Thermal Comfort with Deep Reinforcement
                  Learning},
  booktitle    = {2nd {IEEE} International Conference on Human-Machine Systems, {ICHMS}
                  2021, Magdeburg, Germany, September 8-10, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICHMS53169.2021.9582638},
  doi          = {10.1109/ICHMS53169.2021.9582638},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichms/CicirelliGMSSV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icict/CicirelliNNP21,
  author       = {Franco Cicirelli and
                  Christian Nigro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Xin{-}She Yang and
                  Simon Sherratt and
                  Nilanjan Dey and
                  Amit Joshi},
  title        = {Performance Comparison of Two Java-Based Actor Systems},
  booktitle    = {Proceedings of Sixth International Congress on Information and Communication
                  Technology - {ICICT} 2021, London, Volume 3},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {216},
  pages        = {79--88},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-981-16-1781-2\_9},
  doi          = {10.1007/978-981-16-1781-2\_9},
  timestamp    = {Wed, 04 May 2022 17:52:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icict/CicirelliNNP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/CicirelliNS20,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  title        = {Seamless development in Java of distributed real-time systems using
                  actors},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {15},
  number       = {1/2},
  pages        = {13--29},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJSPM.2020.106965},
  doi          = {10.1504/IJSPM.2020.106965},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/CicirelliNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliGGGSV20,
  author       = {Franco Cicirelli and
                  Antonio Francesco Gentile and
                  Emilio Greco and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Dusan Maga and
                  Jiri Hajek},
  title        = {An Energy Management System at the Edge based on Reinforcement Learning},
  booktitle    = {24th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2020, Prague, Czech Republic,
                  September 14-16, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DS-RT50469.2020.9213697},
  doi          = {10.1109/DS-RT50469.2020.9213697},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliGGGSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliN20,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Dusan Maga and
                  Jiri Hajek},
  title        = {Model Checking Actor-based Cyber-Physical Systems},
  booktitle    = {24th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2020, Prague, Czech Republic,
                  September 14-16, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DS-RT50469.2020.9213705},
  doi          = {10.1109/DS-RT50469.2020.9213705},
  timestamp    = {Tue, 13 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichms/CicirelliGMSV20,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Thermal comfort management leveraging deep reinforcement learning
                  and human-in-the-loop},
  booktitle    = {{IEEE} International Conference on Human-Machine Systems, {ICHMS}
                  2020, Rome, Italy, September 7-9, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICHMS49158.2020.9209555},
  doi          = {10.1109/ICHMS49158.2020.9209555},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ichms/CicirelliGMSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wivace/2019,
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Clara Pizzuti and
                  Annalisa Socievole and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Artificial Life and Evolutionary Computation - 14th Italian Workshop,
                  {WIVACE} 2019, Rende, Italy, September 18-20, 2019, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1200},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45016-8},
  doi          = {10.1007/978-3-030-45016-8},
  isbn         = {978-3-030-45015-1},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wivace/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CicirelliGMSV19,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Alessandro Mercuri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {ITEMa: {A} methodological approach for cognitive edge computing IoT
                  ecosystems},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {92},
  pages        = {189--197},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.future.2018.10.003},
  doi          = {10.1016/J.FUTURE.2018.10.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/CicirelliGMSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliGMPSV19,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Fabio Palopoli and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Floriano De Rango and
                  Carlos T. Calafate and
                  Miroslav Vozn{\'{a}}k and
                  Alfredo Garro and
                  Mauro Tropea},
  title        = {Comfort-aware Cognitive Buildings Leveraging Deep Reinforcement Learning},
  booktitle    = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
                  2019},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DS-RT47707.2019.8958661},
  doi          = {10.1109/DS-RT47707.2019.8958661},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliGMPSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliN19,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Floriano De Rango and
                  Carlos T. Calafate and
                  Miroslav Vozn{\'{a}}k and
                  Alfredo Garro and
                  Mauro Tropea},
  title        = {Home Energy Management Using Theatre With Hybrid Actors},
  booktitle    = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
                  2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DS-RT47707.2019.8958695},
  doi          = {10.1109/DS-RT47707.2019.8958695},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliNP19,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Floriano De Rango and
                  Carlos T. Calafate and
                  Miroslav Vozn{\'{a}}k and
                  Alfredo Garro and
                  Mauro Tropea},
  title        = {Formal Modelling and Verification of Real-Time Self-Adaptive Systems},
  booktitle    = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
                  2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DS-RT47707.2019.8958707},
  doi          = {10.1109/DS-RT47707.2019.8958707},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliNP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/numta/CicirelliGM19,
  author       = {Franco Cicirelli and
                  Andrea Giordano and
                  Carlo Mastroianni},
  editor       = {Yaroslav D. Sergeyev and
                  Dmitri E. Kvasov},
  title        = {Improving Efficiency in Parallel Computing Leveraging Local Synchronization},
  booktitle    = {Numerical Computations: Theory and Algorithms - Third International
                  Conference, {NUMTA} 2019, Crotone, Italy, June 15-21, 2019, Revised
                  Selected Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11973},
  pages        = {232--242},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-39081-5\_21},
  doi          = {10.1007/978-3-030-39081-5\_21},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/numta/CicirelliGM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/CicirelliGSV19,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {A Cognitive Enabled, Edge-Computing Architecture for Future Generation
                  IoT Environments},
  booktitle    = {5th {IEEE} World Forum on Internet of Things, WF-IoT 2019, Limerick,
                  Ireland, April 15-18, 2019},
  pages        = {35--40},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/WF-IoT.2019.8767246},
  doi          = {10.1109/WF-IOT.2019.8767246},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wf-iot/CicirelliGSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BrianteCGIMRSV19,
  author       = {Orazio Briante and
                  Franco Cicirelli and
                  Antonio Guerrieri and
                  Antonio Iera and
                  Alessandro Mercuri and
                  Giuseppe Ruggeri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {A Social and Pervasive IoT Platform for Developing Smart Environments},
  booktitle    = {The Internet of Things for Smart Urban Ecosystems},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-319-96550-5\_1},
  doi          = {10.1007/978-3-319-96550-5\_1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/19/BrianteCGIMRSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/CGMSV2019,
  editor       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Carlo Mastroianni and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {The Internet of Things for Smart Urban Ecosystems},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-319-96550-5},
  doi          = {10.1007/978-3-319-96550-5},
  isbn         = {978-3-319-96549-9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/CGMSV2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/CicirelliGMSV18,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Alessandro Mercuri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Cognitive smart environment: an approach based on concept hierarchies
                  and sensor data fusion},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {13},
  number       = {5},
  pages        = {506--519},
  year         = {2018},
  url          = {https://doi.org/10.1504/IJSPM.2018.094741},
  doi          = {10.1504/IJSPM.2018.094741},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/CicirelliGMSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/CicirelliGSVBIR18,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci and
                  Orazio Briante and
                  Antonio Iera and
                  Giuseppe Ruggeri},
  title        = {Edge Computing and Social Internet of Things for Large-Scale Smart
                  Environments Development},
  journal      = {{IEEE} Internet Things J.},
  volume       = {5},
  number       = {4},
  pages        = {2557--2571},
  year         = {2018},
  url          = {https://doi.org/10.1109/JIOT.2017.2775739},
  doi          = {10.1109/JIOT.2017.2775739},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iotj/CicirelliGSVBIR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/CicirelliFGM18,
  author       = {Franco Cicirelli and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni},
  title        = {Parallelization of space-aware applications: Modeling and performance
                  analysis},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {122},
  pages        = {115--127},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jnca.2018.08.015},
  doi          = {10.1016/J.JNCA.2018.08.015},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jnca/CicirelliFGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/CicirelliNS18,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  title        = {Model continuity in cyber-physical systems: {A} control-centered methodology
                  based on agents},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {83},
  pages        = {93--107},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.simpat.2017.12.008},
  doi          = {10.1016/J.SIMPAT.2017.12.008},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/CicirelliNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFGMR18,
  author       = {Franco Cicirelli and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni and
                  Rostislav V. Razumchik},
  editor       = {Lars Nolle and
                  Alexandra Burger and
                  Christoph Tholen and
                  Jens Werner and
                  Jens Wellhausen},
  title        = {Global And Local Synchronization In Parallel Space-Aware Applications},
  booktitle    = {European Conference on Modelling and Simulation, {ECMS} 2018, Wilhelmshaven,
                  Germany, May 22-25, 2018, Proceedings},
  pages        = {491--497},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2018},
  url          = {https://doi.org/10.7148/2018-0491},
  doi          = {10.7148/2018-0491},
  timestamp    = {Thu, 14 Oct 2021 10:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFGMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CesarioCM18,
  author       = {Eugenio Cesario and
                  Franco Cicirelli and
                  Carlo Mastroianni},
  editor       = {Gabriele Mencagli and
                  Dora B. Heras and
                  Valeria Cardellini and
                  Emiliano Casalicchio and
                  Emmanuel Jeannot and
                  Felix Wolf and
                  Antonio Salis and
                  Claudio Schifanella and
                  Ravi Reddy Manumachu and
                  Laura Ricci and
                  Marco Beccuti and
                  Laura Antonelli and
                  Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and
                  Stephen L. Scott},
  title        = {Distributed Computation of Mobility Patterns in a Smart City Environment},
  booktitle    = {Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International
                  Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11339},
  pages        = {559--572},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-10549-5\_44},
  doi          = {10.1007/978-3-030-10549-5\_44},
  timestamp    = {Fri, 27 Dec 2019 21:26:53 +0100},
  biburl       = {https://dblp.org/rec/conf/europar/CesarioCM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/CicirelliFGMSV18,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Alessandro Mercuri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Abhishek Chandra and
                  Jie Li and
                  Ying Cai and
                  Tian Guo},
  title        = {A Metamodel Framework for Edge-Based Smart Environments},
  booktitle    = {2018 {IEEE} International Conference on Cloud Engineering, {IC2E}
                  2018, Orlando, FL, USA, April 17-20, 2018},
  pages        = {286--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/IC2E.2018.00067},
  doi          = {10.1109/IC2E.2018.00067},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic2e/CicirelliFGMSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciot/CicirelliGMSV18,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Alessandro Mercuri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {IoT-Centric Edge Computing for Context-Aware Smart Environments},
  booktitle    = {2018 {IEEE} International Congress on Internet of Things, {ICIOT}
                  2018, San Francisco, CA, USA, July 2-7, 2018},
  pages        = {168--171},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICIOT.2018.00031},
  doi          = {10.1109/ICIOT.2018.00031},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iciot/CicirelliGMSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/CicirelliFGSV17,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Metamodeling of Smart Environments: from design to implementation},
  journal      = {Adv. Eng. Informatics},
  volume       = {33},
  pages        = {274--284},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.aei.2016.11.005},
  doi          = {10.1016/J.AEI.2016.11.005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aei/CicirelliFGSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CicirelliGSV17,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {An edge-based platform for dynamic Smart City applications},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {76},
  pages        = {106--118},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.future.2017.05.034},
  doi          = {10.1016/J.FUTURE.2017.05.034},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/CicirelliGSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csoc/CarniCGNS17,
  author       = {Domenico Luca Carn{\`{\i}} and
                  Franco Cicirelli and
                  Domenico Grimaldi and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  editor       = {Radek Silhavy and
                  Roman Senkerik and
                  Zuzana Kom{\'{\i}}nkov{\'{a}} Oplatkov{\'{a}} and
                  Zdenka Prokopova and
                  Petr Silhavy},
  title        = {Exploiting Model Continuity in Agent-Based Cyber-Physical Systems},
  booktitle    = {Cybernetics and Mathematics Applications in Intelligent Systems -
                  Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017),
                  Vol 2},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {574},
  pages        = {57--69},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57264-2\_6},
  doi          = {10.1007/978-3-319-57264-2\_6},
  timestamp    = {Thu, 14 Oct 2021 10:34:32 +0200},
  biburl       = {https://dblp.org/rec/conf/csoc/CarniCGNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/CarniGNSC17,
  author       = {Domenico Luca Carn{\`{\i}} and
                  Domenico Grimaldi and
                  Libero Nigro and
                  Paolo F. Sciammarella and
                  Franco Cicirelli},
  title        = {Agent-based software architecture for distributed measurement systems
                  and cyber-physical systems design},
  booktitle    = {{IEEE} International Instrumentation and Measurement Technology Conference,
                  {I2MTC} 2017, Torino, Italy, May 22-25, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/I2MTC.2017.7969977},
  doi          = {10.1109/I2MTC.2017.7969977},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/i2mtc/CarniGNSC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/CicirelliGSVBIR17,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci and
                  Orazio Briante and
                  Antonio Iera and
                  Giuseppe Ruggeri},
  editor       = {Giancarlo Fortino and
                  MengChu Zhou and
                  Zofia Lukszo and
                  Athanasios V. Vasilakos and
                  Francesco Basile and
                  Carlos Enrique Palau and
                  Antonio Liotta and
                  Maria Pia Fanti and
                  Antonio Guerrieri and
                  Andrea Vinci},
  title        = {An edge-based approach to develop large-scale smart environments by
                  leveraging SIoT},
  booktitle    = {14th {IEEE} International Conference on Networking, Sensing and Control,
                  {ICNSC} 2017, Calabria, Italy, May 16-18, 2017},
  pages        = {738--743},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICNSC.2017.8000182},
  doi          = {10.1109/ICNSC.2017.8000182},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icnsc/CicirelliGSVBIR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idcs/CicirelliFGMSV17,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Alessandro Mercuri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Giancarlo Fortino and
                  A. B. M. Shawkat Ali and
                  Mukaddim Pathan and
                  Antonio Guerrieri and
                  Giuseppe Di Fatta},
  title        = {Exploiting the {SEM} Framework for Modeling Smart Cities},
  booktitle    = {Internet and Distributed Computing Systems - 10th International Conference,
                  {IDCS} 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10794},
  pages        = {95--106},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-97795-9\_9},
  doi          = {10.1007/978-3-319-97795-9\_9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/idcs/CicirelliFGMSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interiot/CicirelliFGSV17,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  editor       = {Giancarlo Fortino and
                  Carlos Enrique Palau and
                  Antonio Guerrieri and
                  Nora Cuppens and
                  Fr{\'{e}}d{\'{e}}ric Cuppens and
                  Hakima Chaouchi and
                  Alban Gabillon},
  title        = {A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT
                  Systems},
  booktitle    = {Interoperability, Safety and Security in IoT - Third International
                  Conference, InterIoT 2017, and Fourth International Conference, SaSeIot
                  2017, Valencia, Spain, November 6-7, 2017, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {242},
  pages        = {53--59},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-93797-7\_7},
  doi          = {10.1007/978-3-319-93797-7\_7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interiot/CicirelliFGSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CicirelliN16,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {Control centric framework for model continuity in time-dependent multi-agent
                  systems},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {28},
  number       = {12},
  pages        = {3333--3356},
  year         = {2016},
  url          = {https://doi.org/10.1002/cpe.3802},
  doi          = {10.1002/CPE.3802},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/CicirelliN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/CicirelliFGGSV16,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Andrea Giordano and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {On the Design of Smart Homes: {A} Framework for Activity Recognition
                  in Home Environment},
  journal      = {J. Medical Syst.},
  volume       = {40},
  number       = {9},
  pages        = {200:1--200:17},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10916-016-0549-7},
  doi          = {10.1007/S10916-016-0549-7},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jms/CicirelliFGGSV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/CicirelliFGM16,
  author       = {Franco Cicirelli and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni},
  title        = {Transparent and Efficient Parallelization of Swarm Algorithms},
  journal      = {{ACM} Trans. Auton. Adapt. Syst.},
  volume       = {11},
  number       = {2},
  pages        = {14:1--14:26},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897373},
  doi          = {10.1145/2897373},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taas/CicirelliFGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/CicirelliN16,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {Exploiting Social Capabilities in the Minority Game},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {27},
  number       = {1},
  pages        = {6},
  year         = {2016},
  url          = {https://doi.org/10.1145/2996456},
  doi          = {10.1145/2996456},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/CicirelliN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/CicirelliFGSV16,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {A meta-model framework for the design and analysis of smart cyber-physical
                  environments},
  booktitle    = {20th {IEEE} International Conference on Computer Supported Cooperative
                  Work in Design, {CSCWD} 2016, Nanchang, China, May 4-6, 2016},
  pages        = {687--692},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CSCWD.2016.7566072},
  doi          = {10.1109/CSCWD.2016.7566072},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cscwd/CicirelliFGSV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csoc/CicirelliNS16,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  editor       = {Radek Silhavy and
                  Roman Senkerik and
                  Zuzana Kom{\'{\i}}nkov{\'{a}} Oplatkov{\'{a}} and
                  Petr Silhavy and
                  Zdenka Prokopova},
  title        = {Model Checking Mutual Exclusion Algorithms Using Uppaal},
  booktitle    = {Software Engineering Perspectives and Application in Intelligent Systems
                  - Proceedings of the 5th Computer Science On-line Conference 2016
                  (CSOC2016), Vol 2},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {465},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33622-0\_19},
  doi          = {10.1007/978-3-319-33622-0\_19},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csoc/CicirelliNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliNS16,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  title        = {Agents+Control: {A} Methodology for CPSs},
  booktitle    = {20th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2016, London, United Kingdom,
                  September 21-23, 2016},
  pages        = {45--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DS-RT.2016.21},
  doi          = {10.1109/DS-RT.2016.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliN16,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {Modelling and Verification of Mutual Exclusion Algorithms},
  booktitle    = {20th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2016, London, United Kingdom,
                  September 21-23, 2016},
  pages        = {136--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DS-RT.2016.16},
  doi          = {10.1109/DS-RT.2016.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliNS16,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  editor       = {Thorsten Claus and
                  Frank Herrmann and
                  Michael Manitz and
                  Oliver Rose},
  title        = {Agent-Based Model Continuity Of Stochastic Time Petri Nets},
  booktitle    = {30th European Conference on Modelling and Simulation, {ECMS} 2016,
                  Regensburg, Germany, May 31 - June 3, 2016, Proceedings},
  pages        = {18--24},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2016},
  url          = {https://doi.org/10.7148/2016-0018},
  doi          = {10.7148/2016-0018},
  timestamp    = {Tue, 09 Feb 2021 08:33:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliS16,
  author       = {Franco Cicirelli and
                  Giandomenico Spezzano},
  editor       = {Thorsten Claus and
                  Frank Herrmann and
                  Michael Manitz and
                  Oliver Rose},
  title        = {Concept Hierarchies For Sensor Data Fusion In The Cognitive IoT},
  booktitle    = {30th European Conference on Modelling and Simulation, {ECMS} 2016,
                  Regensburg, Germany, May 31 - June 3, 2016, Proceedings},
  pages        = {73--79},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2016},
  url          = {https://doi.org/10.7148/2016-0073},
  doi          = {10.7148/2016-0073},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/CicirelliFGMS16,
  author       = {Franco Cicirelli and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni and
                  Giandomenico Spezzano},
  title        = {Parallel Execution of Space-Aware Applications in a Cloud Environment},
  booktitle    = {24th Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
                  February 17-19, 2016},
  pages        = {686--693},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/PDP.2016.63},
  doi          = {10.1109/PDP.2016.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/CicirelliFGMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CicirelliFGSV16,
  author       = {Franco Cicirelli and
                  Giancarlo Fortino and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci},
  title        = {Edge enabled development of Smart Cyber-Physical Environments},
  booktitle    = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2016, Budapest, Hungary, October 9-12, 2016},
  pages        = {3463--3468},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SMC.2016.7844769},
  doi          = {10.1109/SMC.2016.7844769},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/CicirelliFGSV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/CicirelliGSVBR16,
  author       = {Franco Cicirelli and
                  Antonio Guerrieri and
                  Giandomenico Spezzano and
                  Andrea Vinci and
                  Orazio Briante and
                  Giuseppe Ruggeri},
  title        = {iSapiens: {A} platform for social and pervasive smart environments},
  booktitle    = {3rd {IEEE} World Forum on Internet of Things, WF-IoT 2016, Reston,
                  VA, USA, December 12-14, 2016},
  pages        = {365--370},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WF-IoT.2016.7845502},
  doi          = {10.1109/WF-IOT.2016.7845502},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wf-iot/CicirelliGSVBR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CicirelliGN15,
  author       = {Franco Cicirelli and
                  Andrea Giordano and
                  Libero Nigro},
  title        = {Efficient environment management for distributed simulation of large-scale
                  situated multi-agent systems},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {27},
  number       = {3},
  pages        = {610--632},
  year         = {2015},
  url          = {https://doi.org/10.1002/cpe.3254},
  doi          = {10.1002/CPE.3254},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/CicirelliGN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/CicirelliNN15,
  author       = {Franco Cicirelli and
                  Christian Nigro and
                  Libero Nigro},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Qualitative and quantitative evaluation of stochastic Time Petri Nets},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {763--772},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F69},
  doi          = {10.15439/2015F69},
  timestamp    = {Mon, 07 Aug 2023 11:27:13 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/CicirelliNN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/CicirelliN15,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Modelling and verification of starvation-free mutual exclusion algorithms
                  based on weak semaphores},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {773--779},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F32},
  doi          = {10.15439/2015F32},
  timestamp    = {Mon, 07 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/CicirelliN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/CicirelliFFGMS15,
  author       = {Franco Cicirelli and
                  Gianluigi Folino and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni and
                  Giandomenico Spezzano},
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {Strategies for Parallelizing Swarm Intelligence Algorithms},
  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  pages        = {329--336},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PDP.2015.101},
  doi          = {10.1109/PDP.2015.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/CicirelliFFGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/CicirelliNN15,
  author       = {Franco Cicirelli and
                  Christian Nigro and
                  Libero Nigro},
  editor       = {Mohammad S. Obaidat and
                  Janusz Kacprzyk and
                  Tuncer I. {\"{O}}ren},
  title        = {Statistical Model Checking of {GSPN} Models},
  booktitle    = {{SIMULTECH} 2015 - Proceedings of the 5th International Conference
                  on Simulation and Modeling Methodologies, Technologies and Applications,
                  Colmar, Alsace, France, 21 - 23 July, 2015},
  pages        = {69--76},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005506700690076},
  doi          = {10.5220/0005506700690076},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/CicirelliNN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliN14,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {A Control Framework for Model Continuity in {JADE}},
  booktitle    = {18th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2014, Toulouse, France, October
                  1-3, 2014},
  pages        = {97--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DS-RT.2014.20},
  doi          = {10.1109/DS-RT.2014.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliNP14,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Flaminio Squazzoni and
                  Fabio Baronio and
                  Claudia Archetti and
                  Marco Castellani},
  title        = {Agent-Based Control Framework In Jade},
  booktitle    = {28th European Conference on Modelling and Simulation, {ECMS} 2014,
                  Brescia, Italy, May 27-30, 2014},
  pages        = {25--31},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2014},
  url          = {https://doi.org/10.7148/2014-0025},
  doi          = {10.7148/2014-0025},
  timestamp    = {Thu, 21 Sep 2023 08:59:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliNP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcs/CicirelliFGM14,
  author       = {Franco Cicirelli and
                  Agostino Forestiero and
                  Andrea Giordano and
                  Carlo Mastroianni},
  title        = {An approach for scalable parallel execution of ant algorithms},
  booktitle    = {International Conference on High Performance Computing {\&} Simulation,
                  {HPCS} 2014, Bologna, Italy, 21-25 July, 2014},
  pages        = {170--177},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/HPCSim.2014.6903683},
  doi          = {10.1109/HPCSIM.2014.6903683},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpcs/CicirelliFGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idcs/CicirelliN14,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Giancarlo Fortino and
                  Giuseppe Di Fatta and
                  Wenfeng Li and
                  Sergio F. Ochoa and
                  Alfredo Cuzzocrea and
                  Mukaddim Pathan},
  title        = {Modelling and Analysis of Parallel/Distributed Time-dependent Systems:
                  An Approach Based on {JADE}},
  booktitle    = {Internet and Distributed Computing Systems - 7th International Conference,
                  {IDCS} 2014, Calabria, Italy, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8729},
  pages        = {204--214},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11692-1\_18},
  doi          = {10.1007/978-3-319-11692-1\_18},
  timestamp    = {Sat, 10 Sep 2022 20:50:33 +0200},
  biburl       = {https://dblp.org/rec/conf/idcs/CicirelliN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/CicirelliFN13,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Using time stream Petri nets for workflow modelling analysis and enactment},
  journal      = {Simul.},
  volume       = {89},
  number       = {1},
  pages        = {68--86},
  year         = {2013},
  url          = {https://doi.org/10.1177/0037549711434603},
  doi          = {10.1177/0037549711434603},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/CicirelliFN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiasim/CicirelliN13,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  editor       = {Gary S. H. Tan and
                  Gee Kin Yeo and
                  Stephen John Turner and
                  Yong Meng Teo},
  title        = {An Agent Framework for High Performance Simulations over Multi-core
                  Clusters},
  booktitle    = {AsiaSim 2013 - 13th International Conference on Systems Simulation,
                  Singapore, November 6-8, 2013. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {402},
  pages        = {49--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45037-2\_5},
  doi          = {10.1007/978-3-642-45037-2\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asiasim/CicirelliN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFNP13,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Webj{\o}rn Rekdalsbakken and
                  Robin T. Bye and
                  Houxiang Zhang},
  title        = {Agent Methodological Layers In Repast Simphony},
  booktitle    = {Proceedings of the 27th European Conference on Modelling and Simulation,
                  {ECMS} 2013, {\AA}lesund, Norway, May 27-30, 2013},
  pages        = {68--74},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2013},
  url          = {https://doi.org/10.7148/2013-0068},
  doi          = {10.7148/2013-0068},
  timestamp    = {Tue, 09 Feb 2021 08:33:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFNP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliNNP13,
  author       = {Franco Cicirelli and
                  Emmanuele Neri and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Webj{\o}rn Rekdalsbakken and
                  Robin T. Bye and
                  Houxiang Zhang},
  title        = {A Smartphone Application For The Monitoring Of Domestic Consumption
                  Of Electricity},
  booktitle    = {Proceedings of the 27th European Conference on Modelling and Simulation,
                  {ECMS} 2013, {\AA}lesund, Norway, May 27-30, 2013},
  pages        = {295--300},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2013},
  url          = {https://doi.org/10.7148/2013-0295},
  doi          = {10.7148/2013-0295},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliNNP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/CicirelliFNP13,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Modelling Java Concurrency: An Approach and a Uppaal Library},
  booktitle    = {Proceedings of the 2013 Federated Conference on Computer Science and
                  Information Systems, Krak{\'{o}}w, Poland, September 8-11, 2013},
  pages        = {1361--1368},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6644196/},
  timestamp    = {Mon, 09 Aug 2021 14:54:05 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/CicirelliFNP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/CicirelliFN12,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Model checking time-dependent system specifications using Time Stream
                  Petri Nets and Uppaal},
  journal      = {Appl. Math. Comput.},
  volume       = {218},
  number       = {16},
  pages        = {8160--8186},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.amc.2012.02.018},
  doi          = {10.1016/J.AMC.2012.02.018},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/CicirelliFN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliFNP12,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Azzedine Boukerche and
                  Vinny Cahill and
                  Abdulmotaleb El{-}Saddik and
                  Georgios Theodoropoulos and
                  Ray Walshe},
  title        = {Development of a Schedulability Analysis Framework Based on pTPN and
                  {UPPAAL} with Stopwatches},
  booktitle    = {16th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2012, Dublin, Ireland, October
                  25-27, 2012},
  pages        = {57--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DS-RT.2012.16},
  doi          = {10.1109/DS-RT.2012.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliFNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFNP12,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Klaus G. Troitzsch and
                  Michael M{\"{o}}hring and
                  Ulf Lotzmann},
  title        = {Agents Over The Grid: An Experience Using The Globus Toolkit 4},
  booktitle    = {26th European Conference on Modelling and Simulation, {ECMS} 2012,
                  Koblenz, Germany, May 29 - June 1, 2012},
  pages        = {78--85},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2012},
  url          = {https://doi.org/10.7148/2012-0078-0085},
  doi          = {10.7148/2012-0078-0085},
  timestamp    = {Tue, 09 Feb 2021 08:33:05 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/CicirelliFGN11,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  title        = {HLA{\_}ACTOR{\_}REPAST: An approach to distributing RePast models
                  for high-performance simulations},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {19},
  number       = {1},
  pages        = {283--300},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.simpat.2010.06.013},
  doi          = {10.1016/J.SIMPAT.2010.06.013},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/CicirelliFGN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/CicirelliFN11,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Modelling and simulation of complex manufacturing systems using statechart-based
                  actors},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {19},
  number       = {2},
  pages        = {685--703},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.simpat.2010.10.010},
  doi          = {10.1016/J.SIMPAT.2010.10.010},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/CicirelliFN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliGN11,
  author       = {Franco Cicirelli and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {David J. Roberts and
                  J. Mark Pullen and
                  Georgios Theodoropoulos and
                  Nick J. Avis},
  title        = {Distributed Simulation of Situated Multi-agent Systems},
  booktitle    = {15th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2011, Salford, United Kingdom,
                  September 4-7, 2011},
  pages        = {28--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DS-RT.2011.11},
  doi          = {10.1109/DS-RT.2011.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliGN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFNP11,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Tadeusz Burczynski and
                  Joanna Kolodziej and
                  Aleksander Byrski and
                  Marco Carvalho},
  title        = {Dynamic Sociality Minority Game},
  booktitle    = {25th European Conference on Modelling and Simulation, {ECMS} 2011,
                  Krakow, Poland, June 7-10, 2011},
  pages        = {27--33},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2011},
  url          = {https://doi.org/10.7148/2011-0027-0033},
  doi          = {10.7148/2011-0027-0033},
  timestamp    = {Tue, 09 Feb 2021 08:32:57 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFNP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliNP11,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Tadeusz Burczynski and
                  Joanna Kolodziej and
                  Aleksander Byrski and
                  Marco Carvalho},
  title        = {Modelling And Verification Of Concurrent Programs Using {UPPAAL}},
  booktitle    = {25th European Conference on Modelling and Simulation, {ECMS} 2011,
                  Krakow, Poland, June 7-10, 2011},
  pages        = {525--533},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2011},
  url          = {https://doi.org/10.7148/2011-0525-0533},
  doi          = {10.7148/2011-0525-0533},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliNP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/CicirelliFGN11,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {Gabriel A. Wainer and
                  Mamadou K. Traor{\'{e}} and
                  Reiko Heckel and
                  Jan Himmelspach},
  title        = {Performance of a multi-agent system over a multi-core cluster managed
                  by Terracotta},
  booktitle    = {2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA,
                  USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium
                  on Theory of Modeling {\&} Simulation: {DEVS} Integrative M{\&}S
                  Symposium {(TMS-DEVS)}},
  pages        = {125--133},
  publisher    = {{SCS/ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2048492},
  timestamp    = {Thu, 01 Dec 2011 15:42:33 +0100},
  biburl       = {https://dblp.org/rec/conf/springsim/CicirelliFGN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CicirelliFN10,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {A service-based architecture for dynamically reconfigurable workflows},
  journal      = {J. Syst. Softw.},
  volume       = {83},
  number       = {7},
  pages        = {1148--1164},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jss.2010.01.003},
  doi          = {10.1016/J.JSS.2010.01.003},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/CicirelliFN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliFGN10,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {Stephen John Turner and
                  David J. Roberts},
  title        = {Parallel Simulation of Multi-agent Systems Using Terracotta},
  booktitle    = {{DS-RT} '10 Proceedings of the 2010 {IEEE/ACM} 14th International
                  Symposium on Distributed Simulation and Real Time Applications, Fairfax,
                  Virginia, USA, 17-20 October 2010},
  pages        = {219--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DS-RT.2010.34},
  doi          = {10.1109/DS-RT.2010.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliFGN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/CicirelliFNP10,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Robert M. McGraw and
                  Eric S. Imsand and
                  Michael J. Chinni},
  title        = {Temporal verification of {RT-DEVS} models with implementation aspects},
  booktitle    = {Proceedings of the 2010 Spring Simulation Multiconference, SpringSim
                  2010, Orlando, Florida, USA, April 11-15, 2010},
  pages        = {130},
  publisher    = {{SCS/ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1878537.1878673},
  doi          = {10.1145/1878537.1878673},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/CicirelliFNP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/CicirelliFN10,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  editor       = {Robert M. McGraw and
                  Eric S. Imsand and
                  Michael J. Chinni},
  title        = {Using time stream Petri nets over a service architecture for workflow
                  modelling and enactment},
  booktitle    = {Proceedings of the 2010 Spring Simulation Multiconference, SpringSim
                  2010, Orlando, Florida, USA, April 11-15, 2010},
  pages        = {131},
  publisher    = {{SCS/ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1878537.1878674},
  doi          = {10.1145/1878537.1878674},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/CicirelliFN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/CicirelliFN09,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {An Agent Infrastructure over {HLA} for Distributed Simulation of Reconfigurable
                  Systems and its Application to {UAV} Coordination},
  journal      = {Simul.},
  volume       = {85},
  number       = {1},
  pages        = {17--32},
  year         = {2009},
  url          = {https://doi.org/10.1177/0037549708100187},
  doi          = {10.1177/0037549708100187},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/CicirelliFN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/CicirelliFGN09,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {Stephen John Turner and
                  David J. Roberts and
                  Wentong Cai and
                  Abdulmotaleb El{-}Saddik},
  title        = {Distributed Simulation of RePast Models over HLA/Actors},
  booktitle    = {13th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, Singapore, 25-28 October 2009},
  pages        = {184--191},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DS-RT.2009.14},
  doi          = {10.1109/DS-RT.2009.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/CicirelliFGN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFGN09,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {Javier Otamendi and
                  Andrzej Bargiela and
                  Jos{\'{e}} Luis Isla Montes and
                  Luis Miguel Doncel Pedrera},
  title        = {Distributing RePast Simulations Using Actors},
  booktitle    = {European Conference on Modelling and Simulation, {ECMS} 2009, Madrid,
                  Spain, June 9-12, 2009},
  pages        = {226--232},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2009},
  url          = {https://doi.org/10.7148/2009-0226-0232},
  doi          = {10.7148/2009-0226-0232},
  timestamp    = {Tue, 09 Feb 2021 08:33:04 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFGN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/CicirelliFGN09a,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  editor       = {Javier Otamendi and
                  Andrzej Bargiela and
                  Jos{\'{e}} Luis Isla Montes and
                  Luis Miguel Doncel Pedrera},
  title        = {Statechart-Based Actors For Modelling And Distributed Simulation Of
                  Complex Multi-Agent Systems},
  booktitle    = {European Conference on Modelling and Simulation, {ECMS} 2009, Madrid,
                  Spain, June 9-12, 2009},
  pages        = {233--239},
  publisher    = {European Council for Modeling and Simulation},
  year         = {2009},
  url          = {https://doi.org/10.7148/2009-0233-0239},
  doi          = {10.7148/2009-0233-0239},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecms/CicirelliFGN09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/CicirelliFN08,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Actor-Based Simulation of {PDEVS} systems over {HLA}},
  booktitle    = {Proceedings 41st Annual Simulation Symposium {(ANSS-41} 2008), April
                  14-16, 2008, Ottawa, Canada},
  pages        = {229--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ANSS-41.2008.5},
  doi          = {10.1109/ANSS-41.2008.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/CicirelliFN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/CicirelliN07,
  author       = {Franco Cicirelli and
                  Libero Nigro},
  title        = {A General Brokering Architecture Layer and its application to Video
                  on-Demand over the Internet},
  journal      = {Informatica (Slovenia)},
  volume       = {31},
  number       = {1},
  pages        = {29--39},
  year         = {2007},
  url          = {http://www.informatica.si/index.php/informatica/article/view/125},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/CicirelliN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CicirelliFN07,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Exploiting agents for modelling and simulation of coverage control
                  protocols in large sensor networks},
  journal      = {J. Syst. Softw.},
  volume       = {80},
  number       = {11},
  pages        = {1817--1832},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jss.2007.02.015},
  doi          = {10.1016/J.JSS.2007.02.015},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/CicirelliFN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/CicirelliFN07,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Distributed simulation of modular time Petri nets: An approach and
                  a case study exploiting temporal uncertainty},
  journal      = {Real Time Syst.},
  volume       = {35},
  number       = {2},
  pages        = {153--179},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11241-006-9006-x},
  doi          = {10.1007/S11241-006-9006-X},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/CicirelliFN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/CicirelliFN07,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Integration and Interoperability between Jini services andWeb Services},
  booktitle    = {2007 {IEEE} International Conference on Services Computing {(SCC}
                  2007), 9-13 July 2007, Salt Lake City, Utah, {USA}},
  pages        = {278--285},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SCC.2007.72},
  doi          = {10.1109/SCC.2007.72},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/CicirelliFN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/CicirelliFGN07,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Andrea Giordano and
                  Libero Nigro},
  title        = {An Agent Infrastructure for Distributed Simulations over {HLA} and
                  a Case Study Using Unmanned Aerial Vehicles},
  booktitle    = {Proceedings 40th Annual Simulation Symposium {(ANSS-40} 2007), 26-28
                  March 2007, Norfolk, Virginia, {USA}},
  pages        = {231--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ANSS.2007.10},
  doi          = {10.1109/ANSS.2007.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/CicirelliFGN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsc/CicirelliFN07,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  editor       = {Gabriel A. Wainer},
  title        = {Conflict management in {PDEVS:} an experience in modelling and simulation
                  of time petri nets},
  booktitle    = {Proceedings of the 2007 Summer Computer Simulation Conference, {SCSC}
                  2007, San Diego, California, USA, July 16-19, 2007},
  pages        = {349--356},
  publisher    = {Simulation Councils, Inc.},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1357966},
  timestamp    = {Wed, 28 Nov 2018 12:57:16 +0100},
  biburl       = {https://dblp.org/rec/conf/scsc/CicirelliFN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Cicirelli06,
  author       = {Franco Cicirelli},
  title        = {Service and agent computing paradigms for the development of distributed
                  systems},
  school       = {University of Calabria, Italy},
  year         = {2006},
  url          = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0027345},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Cicirelli06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CicirelliFGNP06,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Domenico Grimaldi and
                  Libero Nigro and
                  Francesco Pupo},
  title        = {{MADAMS:} {A} software architecture for the management of networked
                  measurement services},
  journal      = {Comput. Stand. Interfaces},
  volume       = {28},
  number       = {4},
  pages        = {396--411},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.csi.2005.04.003},
  doi          = {10.1016/J.CSI.2005.04.003},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CicirelliFGNP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/CicirelliFN06,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {An Approach to Protocol Modeling and Validation},
  booktitle    = {Proceedings 39th Annual Simulation Symposium {(ANSS-39} 2006), 2-6
                  April 2006, Huntsville, Alabama, {USA}},
  pages        = {261--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ANSS.2006.12},
  doi          = {10.1109/ANSS.2006.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/CicirelliFN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/CicirelliFN05,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  title        = {Exploiting Temporal Uncertainty in the Distributed Simulation of Time
                  Petri Nets},
  booktitle    = {Proceedings 38th Annual Simulation Symposium {(ANSS-38} 2005), 4-6
                  April 2005, San Diego, CA, {USA}},
  pages        = {233--240},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ANSS.2005.20},
  doi          = {10.1109/ANSS.2005.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/CicirelliFN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/CicirelliFN04,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro},
  editor       = {M. H. Hamza},
  title        = {Deployment, configuration and management of mobile actor systems},
  booktitle    = {Proceedings of the {IASTED} Conference on Software Engineering and
                  Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
  pages        = {483--488},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2004},
  timestamp    = {Mon, 18 Jun 2007 14:30:27 +0200},
  biburl       = {https://dblp.org/rec/conf/iastedSEA/CicirelliFN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msv/CicirelliFNP04,
  author       = {Franco Cicirelli and
                  Angelo Furfaro and
                  Libero Nigro and
                  Francesco Pupo},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua and
                  Iyad A. Ajwa and
                  George A. Gravvanis},
  title        = {Scripting and Monitoring in {TPN} Designer Simulations: {A} Case Study
                  Using the Production Cell},
  booktitle    = {Proceedings of the International Conference on Modeling, Simulation
                  {\&} Visualization Methods, {MSV} '04 {\&} Proceedings of
                  the International Conference on Algorithmic Mathematics {\&} Computer
                  Science, {AMCS} '04, June 21-24, 2004, Las Vegas, Nevada, {USA}},
  pages        = {277--288},
  publisher    = {{CSREA} Press},
  year         = {2004},
  timestamp    = {Wed, 24 Nov 2004 15:25:45 +0100},
  biburl       = {https://dblp.org/rec/conf/msv/CicirelliFNP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics