default search action
BibTeX records: Manuel Mazzara
@article{DBLP:journals/access/MuslihKMB24, author = {Hamidullah Muslih and S. M. Ahsan Kazmi and Manuel Mazzara and Gaspard Baye}, title = {Cache Sharing in UAV-Enabled Cellular Network: {A} Deep Reinforcement Learning-Based Approach}, journal = {{IEEE} Access}, volume = {12}, pages = {43422--43435}, year = {2024}, url = {https://doi.org/10.1109/ACCESS.2024.3379323}, doi = {10.1109/ACCESS.2024.3379323}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/MuslihKMB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lgrs/AhmadGUM24, author = {Muhammad Ahmad and Usman Ghous and Muhammad Usama and Manuel Mazzara}, title = {WaveFormer: Spectral-Spatial Wavelet Transformer for Hyperspectral Image Classification}, journal = {{IEEE} Geosci. Remote. Sens. Lett.}, volume = {21}, pages = {1--5}, year = {2024}, url = {https://doi.org/10.1109/LGRS.2024.3353909}, doi = {10.1109/LGRS.2024.3353909}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lgrs/AhmadGUM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lgrs/AhmadM24, author = {Muhammad Ahmad and Manuel Mazzara}, title = {SCSNet: Sharpened Cosine Similarity-Based Neural Network for Hyperspectral Image Classification}, journal = {{IEEE} Geosci. Remote. Sens. Lett.}, volume = {21}, pages = {1--4}, year = {2024}, url = {https://doi.org/10.1109/LGRS.2024.3365611}, doi = {10.1109/LGRS.2024.3365611}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lgrs/AhmadM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lgrs/AhmadUKDAM24, author = {Muhammad Ahmad and Muhammad Usama and Adil Mehmood Khan and Salvatore Distefano and Hamad Ahmed Altuwaijri and Manuel Mazzara}, title = {Spatial-Spectral Transformer With Conditional Position Encoding for Hyperspectral Image Classification}, journal = {{IEEE} Geosci. Remote. Sens. Lett.}, volume = {21}, pages = {1--5}, year = {2024}, url = {https://doi.org/10.1109/LGRS.2024.3431188}, doi = {10.1109/LGRS.2024.3431188}, timestamp = {Mon, 12 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lgrs/AhmadUKDAM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KhalilM24, author = {Mohammad Khalil and Manuel Mazzara}, editor = {Leonard Barolli}, title = {Survival Strategies for {IT} Companies During Crisis: {A} Case Study of Russia}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 6}, series = {Lecture Notes on Data Engineering and Communications Technologies}, volume = {204}, pages = {1--10}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57942-4\_1}, doi = {10.1007/978-3-031-57942-4\_1}, timestamp = {Mon, 15 Apr 2024 14:21:46 +0200}, biburl = {https://dblp.org/rec/conf/aina/KhalilM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/EddinSSSMB24, author = {Suleiman Karim Eddin and Hadi Salloum and Mohamad Nour Shahin and Badee Salloum and Manuel Mazzara and Mohammad Reza Bahrami}, editor = {Leonard Barolli}, title = {Quantum Microservices: Transforming Software Architecture with Quantum Computing}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 6}, series = {Lecture Notes on Data Engineering and Communications Technologies}, volume = {204}, pages = {227--237}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57942-4\_23}, doi = {10.1007/978-3-031-57942-4\_23}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/EddinSSSMB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalloumAOHBM24, author = {Hadi Salloum and Hamza Shafee Aldaghstany and Osama Orabi and Ahmad Haidar and Mohammad Reza Bahrami and Manuel Mazzara}, editor = {Leonard Barolli}, title = {Integration of Machine Learning with Quantum Annealing}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 3}, series = {Lecture Notes on Data Engineering and Communications Technologies}, volume = {201}, pages = {338--348}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57870-0\_30}, doi = {10.1007/978-3-031-57870-0\_30}, timestamp = {Fri, 12 Apr 2024 15:49:08 +0200}, biburl = {https://dblp.org/rec/conf/aina/SalloumAOHBM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalloumAAAMB24, author = {Hadi Salloum and Murhaf Alawir and Mohammad Anas Alatasi and Saleem Asekrea and Manuel Mazzara and Mohammad Reza Bahrami}, editor = {Leonard Barolli}, title = {Quantum Advancements in Securing Networking Infrastructures}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 6}, series = {Lecture Notes on Data Engineering and Communications Technologies}, volume = {204}, pages = {354--363}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57942-4\_34}, doi = {10.1007/978-3-031-57942-4\_34}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/SalloumAAAMB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-14944, author = {Muhammad Ahmad and Manuel Mazzara and Salvatore Distifano}, title = {Importance of Disjoint Sampling in Conventional and Transformer Models for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2404.14944}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.14944}, doi = {10.48550/ARXIV.2404.14944}, eprinttype = {arXiv}, eprint = {2404.14944}, timestamp = {Sat, 25 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-14944.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-14945, author = {Muhammad Ahmad and Muhammad Hassaan Farooq Butt and Manuel Mazzara and Salvatore Distifano}, title = {Pyramid Hierarchical Transformer for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2404.14945}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.14945}, doi = {10.48550/ARXIV.2404.14945}, eprinttype = {arXiv}, eprint = {2404.14945}, timestamp = {Sat, 25 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-14945.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-14955, author = {Muhammad Ahmad and Salvatore Distifano and Manuel Mazzara and Adil Mehmood Khan}, title = {Traditional to Transformers: {A} Survey on Current Trends and Future Prospects for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2404.14955}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.14955}, doi = {10.48550/ARXIV.2404.14955}, eprinttype = {arXiv}, eprint = {2404.14955}, timestamp = {Sat, 25 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-14955.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-01095, author = {Muhammad Ahmad and Manuel Mazzara and Salvatore Distifano}, title = {Transformers Fusion across Disjoint Samples for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2405.01095}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.01095}, doi = {10.48550/ARXIV.2405.01095}, eprinttype = {arXiv}, eprint = {2405.01095}, timestamp = {Sun, 09 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-01095.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-02675, author = {Raghad Salameh and Mohamad Al Mdfaa and Nursultan Askarbekuly and Manuel Mazzara}, title = {Quranic Audio Dataset: Crowdsourced and Labeled Recitation from Non-Arabic Speakers}, journal = {CoRR}, volume = {abs/2405.02675}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.02675}, doi = {10.48550/ARXIV.2405.02675}, eprinttype = {arXiv}, eprint = {2405.02675}, timestamp = {Fri, 07 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-02675.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2408-01224, author = {Muhammad Ahmad and Muhammad Hassaan Farooq Butt and Muhammad Usama and Hamad Ahmed Altuwaijri and Manuel Mazzara and Salvatore Distefano}, title = {Multi-head Spatial-Spectral Mamba for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2408.01224}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2408.01224}, doi = {10.48550/ARXIV.2408.01224}, eprinttype = {arXiv}, eprint = {2408.01224}, timestamp = {Wed, 11 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2408-01224.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2408-01372, author = {Muhammad Ahmad and Muhammad Hassaan Farooq Butt and Muhammad Usama and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Hamad Ahmed Altuwaijri and Swalpa Kumar Roy and Jocelyn Chanussot and Danfeng Hong}, title = {Spatial-Spectral Morphological Mamba for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2408.01372}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2408.01372}, doi = {10.48550/ARXIV.2408.01372}, eprinttype = {arXiv}, eprint = {2408.01372}, timestamp = {Wed, 11 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2408-01372.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/IgeTAOANMA23, author = {Ayokunle Olalekan Ige and Nikhil Kumar Tomar and Felix Ola Aranuwa and Oluwafemi Oriola and Alaba O. Akingbesote and Mohd Halim Mohd Noor and Manuel Mazzara and Segun Benjamin Aribisala}, title = {ConvSegNet: Automated Polyp Segmentation From Colonoscopy Using Context Feature Refinement With Multiple Convolutional Kernel Sizes}, journal = {{IEEE} Access}, volume = {11}, pages = {16142--16155}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3244789}, doi = {10.1109/ACCESS.2023.3244789}, timestamp = {Sun, 28 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/IgeTAOANMA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KudrenokDM23, author = {Ilya Kudrenok and Maxim Davidov and Manuel Mazzara}, editor = {Leonard Barolli}, title = {Simulation Modeling of Human Aortic Valve Blood Flow}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {655}, pages = {12--27}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-28694-0\_2}, doi = {10.1007/978-3-031-28694-0\_2}, timestamp = {Thu, 16 Mar 2023 10:36:01 +0100}, biburl = {https://dblp.org/rec/conf/aina/KudrenokDM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/HaiderAMM23, author = {Furqan Haider and Hamna Aslam and Rabab Marouf and Manuel Mazzara}, editor = {Leonard Barolli}, title = {Prototype for Controlled Use of Social Media to Reduce Depression}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {655}, pages = {169--180}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-28694-0\_16}, doi = {10.1007/978-3-031-28694-0\_16}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/HaiderAMM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/YuloskovBMINK23, author = {Artem Yuloskov and Mohammad Reza Bahrami and Manuel Mazzara and Gerald B. Imbugwa and Ikechi Ndukwe and Iouri Kotorov}, editor = {Leonard Barolli}, title = {Traffic Light Algorithms in Smart Cities: Simulation and Analysis}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 1}, series = {Lecture Notes in Networks and Systems}, volume = {661}, pages = {222--235}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-29056-5\_21}, doi = {10.1007/978-3-031-29056-5\_21}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/YuloskovBMINK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalemMH23, author = {Hamza Salem and Manuel Mazzara and Siham Maher Hattab}, editor = {Leonard Barolli}, title = {An Overview and Current Status of Blockchains Performance}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {655}, pages = {331--339}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-28694-0\_31}, doi = {10.1007/978-3-031-28694-0\_31}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/SalemMH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalemM23, author = {Hamza Salem and Manuel Mazzara}, editor = {Leonard Barolli}, title = {Multi Languages Pattern Matching-Based Scraping of News and Articles Websites}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {655}, pages = {644--648}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-28694-0\_60}, doi = {10.1007/978-3-031-28694-0\_60}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/SalemM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/satml/KenfackRKM23, author = {Patrik Joslin Kenfack and Ad{\'{\i}}n Ram{\'{\i}}rez Rivera and Adil Mehmood Khan and Manuel Mazzara}, title = {Learning Fair Representations through Uniformly Distributed Sensitive Attributes}, booktitle = {2023 {IEEE} Conference on Secure and Trustworthy Machine Learning, SaTML 2023, Raleigh, NC, USA, February 8-10, 2023}, pages = {58--67}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SaTML54575.2023.00014}, doi = {10.1109/SATML54575.2023.00014}, timestamp = {Fri, 17 May 2024 11:50:31 +0200}, biburl = {https://dblp.org/rec/conf/satml/KenfackRKM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssci/KedaloZAM23, author = {Alexander Kedalo and Andrey Zykov and Hamna Aslam and Manuel Mazzara}, title = {Comparing Behaviour Tree and Hierarchical Task Network Planning Methods for their Impact on Player Experience}, booktitle = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2023, Mexico City, Mexico, December 5-8, 2023}, pages = {135--139}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SSCI52147.2023.10371841}, doi = {10.1109/SSCI52147.2023.10371841}, timestamp = {Mon, 15 Jan 2024 21:26:31 +0100}, biburl = {https://dblp.org/rec/conf/ssci/KedaloZAM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ucami/MazzaraS23, author = {Manuel Mazzara and Alberto Sillitti}, editor = {Jos{\'{e}} Bravo and Gabriel Urzaiz}, title = {Energy-Aware Anomaly Detection in Railway Systems}, booktitle = {Proceedings of the 15th International Conference on Ubiquitous Computing {\&} Ambient Intelligence (UCAmI 2023) - Volume 3, Riviera Maya, Mexico, 28-29 November, 2023}, series = {Lecture Notes in Networks and Systems}, volume = {841}, pages = {235--242}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-48590-9\_23}, doi = {10.1007/978-3-031-48590-9\_23}, timestamp = {Wed, 10 Jul 2024 07:59:41 +0200}, biburl = {https://dblp.org/rec/conf/ucami/MazzaraS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/MazzaraST22, author = {Manuel Mazzara and Giancarlo Succi and Alexander Tormasov}, title = {Innopolis University - From Zero to Hero - Ten Years of Challenges and Victories}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-98599-8}, doi = {10.1007/978-3-030-98599-8}, isbn = {978-3-030-98598-1}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/MazzaraST22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/MahendranKHM22, author = {Anand Mahendran and Kumar Kannan and Mohamed Hamada and Manuel Mazzara}, title = {Analyzing the Trade-Off Between Complexity Measures, Ambiguity in Insertion System and Its Applications}, journal = {{IEEE} Access}, volume = {10}, pages = {100513--100525}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3206772}, doi = {10.1109/ACCESS.2022.3206772}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/MahendranKHM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comcom/EltayiebEAKMA22, author = {Nabeil Eltayieb and Rashad Elhabob and Muhammad Umar Aftab and Ramil Kuleev and Manuel Mazzara and Muhammad Ahmad}, title = {Secure aggregate signature scheme for smart city applications}, journal = {Comput. Commun.}, volume = {193}, pages = {388--395}, year = {2022}, url = {https://doi.org/10.1016/j.comcom.2022.07.050}, doi = {10.1016/J.COMCOM.2022.07.050}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comcom/EltayiebEAKMA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computers/KomolovDMM22, author = {Sirojiddin Komolov and Gcinizwe Dlamini and Swati Megha and Manuel Mazzara}, title = {Towards Predicting Architectural Design Patterns: {A} Machine Learning Approach}, journal = {Comput.}, volume = {11}, number = {10}, pages = {151}, year = {2022}, url = {https://doi.org/10.3390/computers11100151}, doi = {10.3390/COMPUTERS11100151}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/computers/KomolovDMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/BruelEGMNM21, author = {Jean{-}Michel Bruel and Sophie Ebersold and Florian Galinier and Manuel Mazzara and Alexandr Naumchev and Bertrand Meyer}, title = {The Role of Formalism in System Requirements}, journal = {{ACM} Comput. Surv.}, volume = {54}, number = {5}, pages = {93:1--93:36}, year = {2022}, url = {https://doi.org/10.1145/3448975}, doi = {10.1145/3448975}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/BruelEGMNM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lgrs/AhmadKMDAS22, author = {Muhammad Ahmad and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Mohsin Ali and Muhammad Shahzad Sarfraz}, title = {A Fast and Compact 3-D {CNN} for Hyperspectral Image Classification}, journal = {{IEEE} Geosci. Remote. Sens. Lett.}, volume = {19}, pages = {1--5}, year = {2022}, url = {https://doi.org/10.1109/LGRS.2020.3043710}, doi = {10.1109/LGRS.2020.3043710}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lgrs/AhmadKMDAS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/OluwasanmiABQAM22, author = {Ariyo Oluwasanmi and Muhammad Umar Aftab and Edward Yellakuor Baagyere and Zhiguang Qin and Muhammad Ahmad and Manuel Mazzara}, title = {Attention Autoencoder for Generative Latent Representational Learning in Anomaly Detection}, journal = {Sensors}, volume = {22}, number = {1}, pages = {123}, year = {2022}, url = {https://doi.org/10.3390/s22010123}, doi = {10.3390/S22010123}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/OluwasanmiABQAM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sncs/CapozuccaBMM22, author = {Alfredo Capozucca and Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Special Issue on New Paradigms of Software Production and Deployment}, journal = {{SN} Comput. Sci.}, volume = {3}, number = {2}, pages = {132}, year = {2022}, url = {https://doi.org/10.1007/s42979-022-01029-9}, doi = {10.1007/S42979-022-01029-9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sncs/CapozuccaBMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/staeors/AhmadSRHWYKMDC22, author = {Muhammad Ahmad and Sidrah Shabbir and Swalpa Kumar Roy and Danfeng Hong and Xin Wu and Jing Yao and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Jocelyn Chanussot}, title = {Hyperspectral Image Classification - Traditional to Deep Models: {A} Survey for Future Prospects}, journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.}, volume = {15}, pages = {968--999}, year = {2022}, url = {https://doi.org/10.1109/JSTARS.2021.3133021}, doi = {10.1109/JSTARS.2021.3133021}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/staeors/AhmadSRHWYKMDC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/staeors/AhmadKMDRW22, author = {Muhammad Ahmad and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Swalpa Kumar Roy and Xin Wu}, title = {Hybrid Dense Network With Attention Mechanism for Hyperspectral Image Classification}, journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.}, volume = {15}, pages = {3948--3957}, year = {2022}, url = {https://doi.org/10.1109/JSTARS.2022.3171586}, doi = {10.1109/JSTARS.2022.3171586}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/staeors/AhmadKMDRW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/MoolchandaniYKA22, author = {Diksha Moolchandani and Kishore Yadav and Geesara Kulathunga and Ilya Afanasyev and Anshul Kumar and Manuel Mazzara and Smruti Sarangi}, title = {Game Theory-Based Parameter Tuning for Energy-Efficient Path Planning on Modern UAVs}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {6}, number = {4}, pages = {34:1--34:29}, year = {2022}, url = {https://doi.org/10.1145/3565270}, doi = {10.1145/3565270}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcps/MoolchandaniYKA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalemMSHH22, author = {Hamza Salem and Manuel Mazzara and Hadi M. Saleh and Rami Husami and Siham Maher Hattab}, editor = {Leonard Barolli and Farookh Hussain and Tomoya Enokido}, title = {Development of a Blockchain-Based Ad Listing Application}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Sydney, NSW, Australia, 13-15 April 2022, Volume 1}, series = {Lecture Notes in Networks and Systems}, volume = {449}, pages = {37--45}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99584-3\_4}, doi = {10.1007/978-3-030-99584-3\_4}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/SalemMSHH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalemM22, author = {Hamza Salem and Manuel Mazzara}, editor = {Leonard Barolli and Farookh Hussain and Tomoya Enokido}, title = {A {NLP} Framework to Generate Video from Positive Comments in Youtube}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {451}, pages = {193--198}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99619-2\_19}, doi = {10.1007/978-3-030-99619-2\_19}, timestamp = {Thu, 31 Mar 2022 15:40:44 +0200}, biburl = {https://dblp.org/rec/conf/aina/SalemM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icl/ElbannaM22, author = {Ziyad Elbanna and Manuel Mazzara}, editor = {Michael E. Auer and Wolfgang Pachatz and Tiia R{\"{u}}{\"{u}}tmann}, title = {Perception Towards "Zoom" Live Lectures by Master's Students of Sweden}, booktitle = {Learning in the Age of Digital and Green Transition - Proceedings of the 25th International Conference on Interactive Collaborative Learning {(ICL} 2022), Volume 1, Vienna, Austria, 27-30 September 2022}, series = {Lecture Notes in Networks and Systems}, volume = {633}, pages = {587--598}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26876-2\_56}, doi = {10.1007/978-3-031-26876-2\_56}, timestamp = {Tue, 18 Jul 2023 09:31:38 +0200}, biburl = {https://dblp.org/rec/conf/icl/ElbannaM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icl/AslamNZKMAVK22, author = {Hamna Aslam and Maria Naumcheva and Petr Zhdanov and Iouri Kotorov and Manuel Mazzara and Elmira Akhmetgaraeva and Radik Valiev and Yuliya Krasylnykova}, editor = {Michael E. Auer and Wolfgang Pachatz and Tiia R{\"{u}}{\"{u}}tmann}, title = {Perception of the Internationalization Process by the University Employees: The Case Study of Innopolis University}, booktitle = {Learning in the Age of Digital and Green Transition - Proceedings of the 25th International Conference on Interactive Collaborative Learning {(ICL} 2022), Volume 2, Vienna, Austria, 27-30 September 2022}, series = {Lecture Notes in Networks and Systems}, volume = {634}, pages = {873--883}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26190-9\_89}, doi = {10.1007/978-3-031-26190-9\_89}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icl/AslamNZKMAVK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isda/ShresthaMCMK22, author = {Hewan Shrestha and Swati Megha and Subham Chakraborty and Manuel Mazzara and Iouri Kotorov}, editor = {Ajith Abraham and Sabri Pllana and Gabriella Casalino and Kun Ma and Anu Bajaj}, title = {Face Mask Recognition Based on Two-Stage Detector}, booktitle = {Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications {(ISDA} 2022) Held December 12-14, 2022 - Volume 2}, series = {Lecture Notes in Networks and Systems}, volume = {715}, pages = {576--585}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-35507-3\_56}, doi = {10.1007/978-3-031-35507-3\_56}, timestamp = {Thu, 22 Feb 2024 09:42:25 +0100}, biburl = {https://dblp.org/rec/conf/isda/ShresthaMCMK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2201-01001, author = {Muhammad Ahmad and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Swalpa Kumar Roy and Xin Wu}, title = {Attention Mechanism Meets with Hybrid Dense Network for Hyperspectral Image Classification}, journal = {CoRR}, volume = {abs/2201.01001}, year = {2022}, url = {https://arxiv.org/abs/2201.01001}, eprinttype = {arXiv}, eprint = {2201.01001}, timestamp = {Mon, 10 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2201-01001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fi/YuloskovBMK21, author = {Artem Yuloskov and Mohammad Reza Bahrami and Manuel Mazzara and Iouri Kotorov}, title = {Smart Cities in Russia: Current Situation and Insights for Future Development}, journal = {Future Internet}, volume = {13}, number = {10}, pages = {252}, year = {2021}, url = {https://doi.org/10.3390/fi13100252}, doi = {10.3390/FI13100252}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fi/YuloskovBMK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/BjorndalABDMD21, author = {Nichlas Bj{\o}rndal and Luiz Jonat{\~{a}} Pires de Ara{\'{u}}jo and Antonio Bucchiarone and Nicola Dragoni and Manuel Mazzara and Schahram Dustdar}, title = {Benchmarks and performance metrics for assessing the migration to microservice-based architectures}, journal = {J. Object Technol.}, volume = {20}, number = {2}, pages = {3:1--17}, year = {2021}, url = {https://doi.org/10.5381/jot.2021.20.2.a3}, doi = {10.5381/JOT.2021.20.2.A3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jot/BjorndalABDMD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nca/KhanSASAMR21, author = {Muhammad Hussain Khan and Zainab Saleem and Muhammad Ahmad and Sohaib Ahmed and Hamail Ayaz and Manuel Mazzara and Rana Aamir Raza}, title = {Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants}, journal = {Neural Comput. Appl.}, volume = {33}, number = {21}, pages = {14507--14521}, year = {2021}, url = {https://doi.org/10.1007/s00521-021-06094-4}, doi = {10.1007/S00521-021-06094-4}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nca/KhanSASAMR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/AhmadMD21, author = {Muhammad Ahmad and Manuel Mazzara and Salvatore Distefano}, title = {Regularized {CNN} Feature Hierarchy for Hyperspectral Image Classification}, journal = {Remote. Sens.}, volume = {13}, number = {12}, pages = {2275}, year = {2021}, url = {https://doi.org/10.3390/rs13122275}, doi = {10.3390/RS13122275}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/AhmadMD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/ZulfiqarASMD21, author = {Maheen Zulfiqar and Muhammad Ahmad and Sohaib Ahmed and Manuel Mazzara and Salvatore Distefano}, title = {Hyperspectral Imaging for Bloodstain Identification}, journal = {Sensors}, volume = {21}, number = {9}, pages = {3045}, year = {2021}, url = {https://doi.org/10.3390/s21093045}, doi = {10.3390/S21093045}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ZulfiqarASMD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tits/DistefanoGM21, author = {Salvatore Distefano and Andrea Di Giacomo and Manuel Mazzara}, title = {Trustworthiness for Transportation Ecosystems: The Blockchain Vehicle Information System}, journal = {{IEEE} Trans. Intell. Transp. Syst.}, volume = {22}, number = {4}, pages = {2013--2022}, year = {2021}, url = {https://doi.org/10.1109/TITS.2021.3054996}, doi = {10.1109/TITS.2021.3054996}, timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tits/DistefanoGM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/MazzaraDBGLD21, author = {Manuel Mazzara and Nicola Dragoni and Antonio Bucchiarone and Alberto Giaretta and Stephan Thordal Larsen and Schahram Dustdar}, title = {Microservices: Migration of a Mission Critical System}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {14}, number = {5}, pages = {1464--1477}, year = {2021}, url = {https://doi.org/10.1109/TSC.2018.2889087}, doi = {10.1109/TSC.2018.2889087}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsc/MazzaraDBGLD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ahfe/AskarbekulySLPM21, author = {Nursultan Askarbekuly and Alexandr Solovyov and Elena Lukyanchikova and Denis Pimenov and Manuel Mazzara}, editor = {Tareq Z. Ahram and Waldemar Karwowski and Jay Kalra}, title = {Building an Educational Product: Constructive Alignment and Requirements Engineering}, booktitle = {Advances in Artificial Intelligence, Software and Systems Engineering - Proceedings of the {AHFE} 2021 Virtual Conferences on Human Factors in Software and Systems Engineering, Artificial Intelligence and Social Computing, and Energy, July 25-29, 2021, {USA}}, series = {Lecture Notes in Networks and Systems}, volume = {271}, pages = {358--365}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-80624-8\_44}, doi = {10.1007/978-3-030-80624-8\_44}, timestamp = {Tue, 24 Aug 2021 15:06:18 +0200}, biburl = {https://dblp.org/rec/conf/ahfe/AskarbekulySLPM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/AtifRAAAM21, author = {Farah Atif and Manuel Rodriguez and Luiz J. P. Ara{\'{u}}jo and Utih Amartiwi and Barakat J. Akinsanya and Manuel Mazzara}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {A Survey on Data Science Techniques for Predicting Software Defects}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {227}, pages = {298--309}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75078-7\_31}, doi = {10.1007/978-3-030-75078-7\_31}, timestamp = {Thu, 12 Aug 2021 13:39:25 +0200}, biburl = {https://dblp.org/rec/conf/aina/AtifRAAAM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/MeghaSAMAFBA21, author = {Swati Megha and Hamza Salem and Enes Ayan and Manuel Mazzara and Hamna Aslam and Mirko Farina and Mohammad Reza Bahrami and Muhammad Ahmad}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {Survey on Blockchain Applications for Healthcare: Reflections and Challenges}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {227}, pages = {310--322}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75078-7\_32}, doi = {10.1007/978-3-030-75078-7\_32}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/MeghaSAMAFBA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KomolovIM21, author = {Sirojiddin Komolov and Youssef Youssry Ibrahim and Manuel Mazzara}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {TeleML: Deploying Trained Machine Learning Models in Cross-Platform Applications}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 2}, series = {Lecture Notes in Networks and Systems}, volume = {226}, pages = {333--344}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75075-6\_27}, doi = {10.1007/978-3-030-75075-6\_27}, timestamp = {Thu, 12 Aug 2021 13:39:18 +0200}, biburl = {https://dblp.org/rec/conf/aina/KomolovIM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/ImbugwaM21, author = {Gerald B. Imbugwa and Manuel Mazzara}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {Towards a Secure Smart Parking Solution for Business Entities}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {227}, pages = {469--478}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75078-7\_47}, doi = {10.1007/978-3-030-75078-7\_47}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/ImbugwaM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SalemME21, author = {Hamza Salem and Manuel Mazzara and Said Elnaffar}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {Automatically Injecting Semantic Annotations into Online Articles}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 3}, series = {Lecture Notes in Networks and Systems}, volume = {227}, pages = {617--624}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75078-7\_61}, doi = {10.1007/978-3-030-75078-7\_61}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/SalemME21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/EbersoldLM21, author = {Sophie Ebersold and R{\'{e}}gine Laleau and Manuel Mazzara}, editor = {Tao Yue and Mehdi Mirakhorli}, title = {Welcome from the Organizers FormReq 2021}, booktitle = {29th {IEEE} International Requirements Engineering Conference Workshops, {RE} 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021}, pages = {349}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/REW53955.2021.00061}, doi = {10.1109/REW53955.2021.00061}, timestamp = {Fri, 29 Oct 2021 13:58:42 +0200}, biburl = {https://dblp.org/rec/conf/re/EbersoldLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/MoolchandaniPAK21, author = {Diksha Moolchandani and Geesara Prathap and Ilya Afanasyev and Anshul Kumar and Manuel Mazzara and Smruti R. Sarangi}, title = {Game Theory-Based Parameter-Tuning for Path Planning of UAVs}, booktitle = {34th International Conference on {VLSI} Design and 20th International Conference on Embedded Systems, {VLSID} 2021, Guwahati, India, February 20-24, 2021}, pages = {187--192}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/VLSID51830.2021.00037}, doi = {10.1109/VLSID51830.2021.00037}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsid/MoolchandaniPAK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-10532, author = {Muhammad Ahmad and Sidrah Shabbir and Rana Aamir Raza and Manuel Mazzara and Salvatore Distefano and Adil Mehmood Khan}, title = {Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid {CNN}}, journal = {CoRR}, volume = {abs/2101.10532}, year = {2021}, url = {https://arxiv.org/abs/2101.10532}, eprinttype = {arXiv}, eprint = {2101.10532}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-10532.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-12136, author = {Muhammad Ahmad and Manuel Mazzara and Salvatore Distefano}, title = {3D/2D regularized {CNN} feature hierarchy for Hyperspectral image classification}, journal = {CoRR}, volume = {abs/2104.12136}, year = {2021}, url = {https://arxiv.org/abs/2104.12136}, eprinttype = {arXiv}, eprint = {2104.12136}, timestamp = {Mon, 03 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-12136.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/SohaibHAAM20, author = {Osama Sohaib and Walayat Hussain and Muhammad Asif and Muhammad Ahmad and Manuel Mazzara}, title = {A {PLS-SEM} Neural Network Approach for Understanding Cryptocurrency Adoption}, journal = {{IEEE} Access}, volume = {8}, pages = {13138--13150}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2019.2960083}, doi = {10.1109/ACCESS.2019.2960083}, timestamp = {Fri, 07 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/SohaibHAAM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/MaqsoodSNAAM20, author = {Shazia Maqsood and Abdul Shahid and Fakhra Nazar and Muhammad Asif and Muhammad Ahmad and Manuel Mazzara}, title = {{C-POS:} {A} Context-Aware Adaptive Part-of-Speech Language Learning Framework}, journal = {{IEEE} Access}, volume = {8}, pages = {30720--30733}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2972591}, doi = {10.1109/ACCESS.2020.2972591}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/MaqsoodSNAAM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/SaleemKASAM20, author = {Zainab Saleem and Muhammad Hussain Khan and Muhammad Ahmad and Sohaib Ahmed and Hamail Ayaz and Manuel Mazzara}, title = {Prediction of Microbial Spoilage and Shelf-Life of Bakery Products Through Hyperspectral Imaging}, journal = {{IEEE} Access}, volume = {8}, pages = {176986--176996}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.3026925}, doi = {10.1109/ACCESS.2020.3026925}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/SaleemKASAM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/PavlenkoAMM20, author = {Andrey Pavlenko and Nursultan Askarbekuly and Swati Megha and Manuel Mazzara}, title = {Micro-frontends: application of microservices to web front-ends}, journal = {J. Internet Serv. Inf. Secur.}, volume = {10}, number = {2}, pages = {49--66}, year = {2020}, url = {https://doi.org/10.22667/JISIS.2020.05.31.049}, doi = {10.22667/JISIS.2020.05.31.049}, timestamp = {Fri, 26 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jisis/PavlenkoAMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/ElbannaAAHKLMMM20, author = {Ziyad Elbanna and Ilya Afanasyev and Luiz Jonat{\~{a}} Pires de Ara{\'{u}}jo and Rasheed Hussain and Mansur Khazeev and Joseph Lamptey and Manuel Mazzara and Swati Megha and Diksha Moolchandani and Dragos Strugar}, editor = {Leonard Barolli and Flora Amato and Francesco Moscato and Tomoya Enokido and Makoto Takizawa}, title = {A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles}, booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings of the Workshops of the 34th International Conference on Advanced Information Networking and Applications, {AINA} Workshops 2020, Caserta, Italy, 15-17 April}, series = {Advances in Intelligent Systems and Computing}, volume = {1150}, pages = {34--45}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44038-1\_4}, doi = {10.1007/978-3-030-44038-1\_4}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/ElbannaAAHKLMMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KoziakovM20, author = {Sergey Koziakov and Manuel Mazzara}, editor = {Leonard Barolli and Flora Amato and Francesco Moscato and Tomoya Enokido and Makoto Takizawa}, title = {Proximity-Based Context Information Retrieval for Bluetooth Enabled Devices}, booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings of the Workshops of the 34th International Conference on Advanced Information Networking and Applications, {AINA} Workshops 2020, Caserta, Italy, 15-17 April}, series = {Advances in Intelligent Systems and Computing}, volume = {1150}, pages = {400--409}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44038-1\_36}, doi = {10.1007/978-3-030-44038-1\_36}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/KoziakovM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/MeghaLSM20, author = {Swati Megha and Joseph Lamptey and Hamza Mohamed Salem and Manuel Mazzara}, editor = {Leonard Barolli and Flora Amato and Francesco Moscato and Tomoya Enokido and Makoto Takizawa}, title = {A Survey of Blockchain-Based Solutions for Energy Industry}, booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings of the Workshops of the 34th International Conference on Advanced Information Networking and Applications, {AINA} Workshops 2020, Caserta, Italy, 15-17 April}, series = {Advances in Intelligent Systems and Computing}, volume = {1150}, pages = {787--797}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44038-1\_72}, doi = {10.1007/978-3-030-44038-1\_72}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/MeghaLSM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccbd/KomolovAM20, author = {Sirojiddin Komolov and Nursultan Askarbekuly and Manuel Mazzara}, title = {An empirical study of multi-threading paradigms Reactive programming vs continuation-passing style}, booktitle = {{ICCBD} 2020: The 3rd International Conference on Computing and Big Data, Taichung, Taiwan, August, 2020}, pages = {37--41}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3418688.3418695}, doi = {10.1145/3418688.3418695}, timestamp = {Thu, 27 Jun 2024 10:26:26 +0200}, biburl = {https://dblp.org/rec/conf/iccbd/KomolovAM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oss/BuldakovKDM20, author = {Nikolay Buldakov and Timur Khalilev and Salvatore Distefano and Manuel Mazzara}, editor = {Vladimir Ivanov and Artem V. Kruglov and Sergey Masyagin and Alberto Sillitti and Giancarlo Succi}, title = {An Open Source Solution for Smart Contract-Based Parking Management}, booktitle = {Open Source Systems - 16th {IFIP} {WG} 2.13 International Conference, {OSS} 2020, Innopolis, Russia, May 12-14, 2020, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {582}, pages = {55--69}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-47240-5\_6}, doi = {10.1007/978-3-030-47240-5\_6}, timestamp = {Tue, 15 Mar 2022 17:05:29 +0100}, biburl = {https://dblp.org/rec/conf/oss/BuldakovKDM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oss/AskarbekulySM20, author = {Nursultan Askarbekuly and Andrey Sadovykh and Manuel Mazzara}, editor = {Vladimir Ivanov and Artem V. Kruglov and Sergey Masyagin and Alberto Sillitti and Giancarlo Succi}, title = {Combining Two Modelling Approaches: {GQM} and {KAOS} in an Open Source Project}, booktitle = {Open Source Systems - 16th {IFIP} {WG} 2.13 International Conference, {OSS} 2020, Innopolis, Russia, May 12-14, 2020, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {582}, pages = {106--119}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-47240-5\_11}, doi = {10.1007/978-3-030-47240-5\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oss/AskarbekulySM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/20/MazzaraBDR20, author = {Manuel Mazzara and Antonio Bucchiarone and Nicola Dragoni and Victor Rivera}, editor = {Antonio Bucchiarone and Nicola Dragoni and Schahram Dustdar and Patricia Lago and Manuel Mazzara and Victor Rivera and Andrey Sadovykh}, title = {Size Matters: Microservices Research and Applications}, booktitle = {Microservices, Science and Engineering}, pages = {29--42}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-31646-4\_2}, doi = {10.1007/978-3-030-31646-4\_2}, timestamp = {Mon, 05 Feb 2024 20:35:54 +0100}, biburl = {https://dblp.org/rec/books/sp/20/MazzaraBDR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/20/BobrovBCGMNS20, author = {Evgeny Bobrov and Antonio Bucchiarone and Alfredo Capozucca and Nicolas Guelfi and Manuel Mazzara and Alexandr Naumchev and Larisa Safina}, editor = {Antonio Bucchiarone and Nicola Dragoni and Schahram Dustdar and Patricia Lago and Manuel Mazzara and Victor Rivera and Andrey Sadovykh}, title = {DevOps and Its Philosophy: Education Matters!}, booktitle = {Microservices, Science and Engineering}, pages = {349--361}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-31646-4\_14}, doi = {10.1007/978-3-030-31646-4\_14}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/20/BobrovBCGMNS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/20/BDDL2020, editor = {Antonio Bucchiarone and Nicola Dragoni and Schahram Dustdar and Patricia Lago and Manuel Mazzara and Victor Rivera and Andrey Sadovykh}, title = {Microservices, Science and Engineering}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-31646-4}, doi = {10.1007/978-3-030-31646-4}, isbn = {978-3-030-31645-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/20/BDDL2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/devops-ws/2019, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, {DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12055}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39306-9}, doi = {10.1007/978-3-030-39306-9}, isbn = {978-3-030-39305-2}, timestamp = {Tue, 21 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/devops-ws/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fisee/2019, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-57663-9}, doi = {10.1007/978-3-030-57663-9}, isbn = {978-3-030-57662-2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fisee/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/seda/2018, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-14687-0}, doi = {10.1007/978-3-030-14687-0}, isbn = {978-3-030-14686-3}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-08980, author = {Barakat J. Akinsanya and Luiz Jonata Pires de Araujo and Mariia Charikova and Susanna Gimaeva and Alexandr Grichshenko and Adil Khan and Manuel Mazzara and Ozioma Okonicha N and Daniil Shilintsev}, title = {Machine Learning and value generation in Software Development: a survey}, journal = {CoRR}, volume = {abs/2001.08980}, year = {2020}, url = {https://arxiv.org/abs/2001.08980}, eprinttype = {arXiv}, eprint = {2001.08980}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-08980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-05663, author = {Nikolay Buldakov and Timur Khalilev and Salvatore Distefano and Manuel Mazzara}, title = {An Open Source Solution for Smart Contract-based Parking}, journal = {CoRR}, volume = {abs/2002.05663}, year = {2020}, url = {https://arxiv.org/abs/2002.05663}, eprinttype = {arXiv}, eprint = {2002.05663}, timestamp = {Fri, 14 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-05663.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-08774, author = {Victor Rivera and Hamna Aslam and Alexandr Naumchev and Daniel de Carvalho and Mansur Khazeev and Manuel Mazzara}, title = {Code Review in the Classroom}, journal = {CoRR}, volume = {abs/2004.08774}, year = {2020}, url = {https://arxiv.org/abs/2004.08774}, eprinttype = {arXiv}, eprint = {2004.08774}, timestamp = {Wed, 22 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-08774.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/AwaisSGAAM19, author = {Muhammad Awais and Tanzila Samin and Muhammad Awais Gulzar and Hanan Aljuaid and Muhammad Ahmad and Manuel Mazzara}, title = {User Acceptance of HUMP-Model: The Role of E-Mavenism and Polychronicity}, journal = {{IEEE} Access}, volume = {7}, pages = {174972--174985}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2954650}, doi = {10.1109/ACCESS.2019.2954650}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/AwaisSGAAM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fi/DonnoGDBM19, author = {Michele De Donno and Alberto Giaretta and Nicola Dragoni and Antonio Bucchiarone and Manuel Mazzara}, title = {Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era}, journal = {Future Internet}, volume = {11}, number = {6}, pages = {127}, year = {2019}, url = {https://doi.org/10.3390/fi11060127}, doi = {10.3390/FI11060127}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fi/DonnoGDBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/AhmadKKMDSN19, author = {Muhammad Ahmad and Asad Khan and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Sohaib Ahmed and Omar Nibouche}, title = {Spatial Prior Fuzziness Pool-Based Interactive Classification of Hyperspectral Images}, journal = {Remote. Sens.}, volume = {11}, number = {9}, pages = {1136}, year = {2019}, url = {https://doi.org/10.3390/rs11091136}, doi = {10.3390/RS11091136}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/AhmadKKMDSN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/NaumchevMMGBE19, author = {Alexandr Naumchev and Bertrand Meyer and Manuel Mazzara and Florian Galinier and Jean{-}Michel Bruel and Sophie Ebersold}, title = {AutoReq: Expressing and verifying requirements for control systems}, journal = {J. Comput. Lang.}, volume = {51}, pages = {131--142}, year = {2019}, url = {https://doi.org/10.1016/j.cola.2019.02.004}, doi = {10.1016/J.COLA.2019.02.004}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlc/NaumchevMMGBE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/StrugarHMRAL19, author = {Dragos Strugar and Rasheed Hussain and Manuel Mazzara and Victor Rivera and Ilya Afanasyev and Jooyoung Lee}, editor = {Leonard Barolli and Makoto Takizawa and Fatos Xhafa and Tomoya Enokido}, title = {An Architecture for Distributed Ledger-Based {M2M} Auditing for Electric Autonomous Vehicles}, booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings of the Workshops of the 33rd International Conference on Advanced Information Networking and Applications, {AINA} Workshops 2019, Matsue, Japan, March 27-29, 2019}, series = {Advances in Intelligent Systems and Computing}, volume = {927}, pages = {116--128}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-15035-8\_11}, doi = {10.1007/978-3-030-15035-8\_11}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/StrugarHMRAL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/YashkinaPLMAZL19, author = {Ekaterina Yashkina and Arseny Pinigin and Jooyoung Lee and Manuel Mazzara and Akinlolu Solomon Adekotujo and Adam Zubair and Luca Longo}, editor = {Leonard Barolli and Makoto Takizawa and Fatos Xhafa and Tomoya Enokido}, title = {Expressing Trust with Temporal Frequency of User Interaction in Online Communities}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 33rd International Conference on Advanced Information Networking and Applications, {AINA} 2019, Matsue, Japan, March 27-29, 2019}, series = {Advances in Intelligent Systems and Computing}, volume = {926}, pages = {1133--1146}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-15032-7\_95}, doi = {10.1007/978-3-030-15032-7\_95}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/YashkinaPLMAZL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dese/AfanasyevMCZMYK19, author = {Ilya Afanasyev and Manuel Mazzara and Subham Chakraborty and Nikita Zhuchkov and Aizhan Maksatbek and Aydin Yesildirek and Mohamad Kassab and Salvatore Distefano}, title = {Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges}, booktitle = {12th International Conference on Developments in eSystems Engineering, DeSE 2019, Kazan, Russia, October 7-10, 2019}, pages = {3--8}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/DeSE.2019.00011}, doi = {10.1109/DESE.2019.00011}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dese/AfanasyevMCZMYK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dese/GazizullinaM19, author = {Alisa Gazizullina and Manuel Mazzara}, title = {Prediction of Twitter Message Deletion}, booktitle = {12th International Conference on Developments in eSystems Engineering, DeSE 2019, Kazan, Russia, October 7-10, 2019}, pages = {117--122}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/DeSE.2019.00031}, doi = {10.1109/DESE.2019.00031}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dese/GazizullinaM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/devops-ws/BobrovBCGMM19, author = {Evgeny Bobrov and Antonio Bucchiarone and Alfredo Capozucca and Nicolas Guelfi and Manuel Mazzara and Sergey Masyagin}, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Teaching DevOps in Academia and Industry: Reflections and Vision}, booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, {DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12055}, pages = {1--14}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-39306-9\_1}, doi = {10.1007/978-3-030-39306-9\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/devops-ws/BobrovBCGMM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/devops-ws/CapizziDAMAB19, author = {Antonio Capizzi and Salvatore Distefano and Luiz Jonata Pires de Araujo and Manuel Mazzara and Muhammad Ahmad and Evgeny Bobrov}, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Anomaly Detection in DevOps Toolchain}, booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, {DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12055}, pages = {37--51}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-39306-9\_3}, doi = {10.1007/978-3-030-39306-9\_3}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/devops-ws/CapizziDAMAB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/devops-ws/CapizziDM19, author = {Antonio Capizzi and Salvatore Distefano and Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {From DevOps to DevDataOps: Data Management in DevOps Processes}, booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, {DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12055}, pages = {52--62}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-39306-9\_4}, doi = {10.1007/978-3-030-39306-9\_4}, timestamp = {Tue, 21 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/devops-ws/CapizziDM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/devops-ws/KassabM19, author = {Mohamad Kassab and Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Towards Designing Smart Learning Environments with IoT}, booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, {DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12055}, pages = {152--166}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-39306-9\_11}, doi = {10.1007/978-3-030-39306-9\_11}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/devops-ws/KassabM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fisee/KhazeevACMBB19, author = {Mansur Khazeev and Hamna Aslam and Daniel de Carvalho and Manuel Mazzara and Jean{-}Michel Bruel and Joseph Alexander Brown}, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Reflections on Teaching Formal Methods for Software Development in Higher Education}, booktitle = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, pages = {28--41}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-57663-9\_3}, doi = {10.1007/978-3-030-57663-9\_3}, timestamp = {Mon, 05 Feb 2024 20:35:26 +0100}, biburl = {https://dblp.org/rec/conf/fisee/KhazeevACMBB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fisee/Mazzara19, author = {Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Teaching Theoretical Computer Science at Innopolis University}, booktitle = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, pages = {60--70}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-57663-9\_5}, doi = {10.1007/978-3-030-57663-9\_5}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fisee/Mazzara19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fisee/RiveraANCKM19, author = {Victor Rivera and Hamna Aslam and Alexandr Naumchev and Daniel de Carvalho and Mansur Khazeev and Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Towards Code Review Guideline in a Classroom}, booktitle = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, pages = {88--105}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-57663-9\_7}, doi = {10.1007/978-3-030-57663-9\_7}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fisee/RiveraANCKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fisee/KotorovKZM19, author = {Iouri Kotorov and Yuliya Krasylnykova and Petr Zhdanov and Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Internationalization Strategy of Innopolis University}, booktitle = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, pages = {327--340}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-57663-9\_21}, doi = {10.1007/978-3-030-57663-9\_21}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fisee/KotorovKZM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fisee/KotorovKZM19a, author = {Iouri Kotorov and Yuliya Krasylnykova and Petr Zhdanov and Manuel Mazzara}, editor = {Jean{-}Michel Bruel and Alfredo Capozucca and Manuel Mazzara and Bertrand Meyer and Alexandr Naumchev and Andrey Sadovykh}, title = {Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization}, booktitle = {Frontiers in Software Engineering Education - First International Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019, Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {12271}, pages = {341--353}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-57663-9\_22}, doi = {10.1007/978-3-030-57663-9\_22}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fisee/KotorovKZM19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ittcs/AtongeTMCA19, author = {Daniel Atonge and Ananga Thapaliya and Manuel Mazzara and Subham Chakraborty and Ilya Afanasyev}, editor = {Artem V. Kruglov and Konstantin A. Aksyonov}, title = {Digital image forgery}, booktitle = {Proceedings of the 6th International Young Scientists Conference on Information Technologies, Telecommunications and Control Systems {(ITTCS} 2019), Innopolis/Yekaterinburg, Russia, December 6, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2525}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2525/ITTCS-19\_paper\_36.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:22 +0100}, biburl = {https://dblp.org/rec/conf/ittcs/AtongeTMCA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/EbersoldLM19, author = {Sophie Ebersold and R{\'{e}}gine Laleau and Manuel Mazzara}, title = {FormReq@RE2019 Preface}, booktitle = {27th {IEEE} International Requirements Engineering Conference Workshops, {RE} 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019}, pages = {108}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/REW.2019.00023}, doi = {10.1109/REW.2019.00023}, timestamp = {Tue, 07 Jan 2020 13:48:59 +0100}, biburl = {https://dblp.org/rec/conf/re/EbersoldLM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AhmadKMDAT19, author = {Muhammad Ahmad and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano and Amjad Ali and Ali Tufail}, editor = {Chih{-}Cheng Hung and George A. Papadopoulos}, title = {Extended sammon projection and wavelet kernel extreme learning machine for gait-based legitimate user identification}, booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2019, Limassol, Cyprus, April 8-12, 2019}, pages = {1216--1219}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3297280.3297579}, doi = {10.1145/3297280.3297579}, timestamp = {Sat, 20 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/AhmadKMDAT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartcomp/MazzaraASD0A19, author = {Manuel Mazzara and Ilya Afanasyev and Smruti R. Sarangi and Salvatore Distefano and Vivek Kumar and Muhammad Ahmad}, title = {A Reference Architecture for Smart and Software-Defined Buildings}, booktitle = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019, Washington, DC, USA, June 12-15, 2019}, pages = {167--172}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SMARTCOMP.2019.00048}, doi = {10.1109/SMARTCOMP.2019.00048}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smartcomp/MazzaraASD0A19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/GazizullinaM19, author = {Alisa Gazizullina and Manuel Mazzara}, editor = {Manuel Mazzara and Jean{-}Michel Bruel and Bertrand Meyer and Alexander K. Petrenko}, title = {Spontaneous Emotion Recognition in Response to Videos}, booktitle = {Software Technology: Methods and Tools - 51st International Conference, {TOOLS} 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11771}, pages = {203--209}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29852-4\_16}, doi = {10.1007/978-3-030-29852-4\_16}, timestamp = {Wed, 24 Jun 2020 11:26:48 +0200}, biburl = {https://dblp.org/rec/conf/tools/GazizullinaM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/visapp/AhmadKMD19, author = {Muhammad Ahmad and Adil Mehmood Khan and Manuel Mazzara and Salvatore Distefano}, editor = {Alain Tr{\'{e}}meau and Giovanni Maria Farinella and Jos{\'{e}} Braz}, title = {Multi-layer Extreme Learning Machine-based Autoencoder for Hyperspectral Image Classification}, booktitle = {Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, {VISIGRAPP} 2019, Volume 4: VISAPP, Prague, Czech Republic, February 25-27, 2019}, pages = {75--82}, publisher = {SciTePress}, year = {2019}, url = {https://doi.org/10.5220/0007258000750082}, doi = {10.5220/0007258000750082}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/visapp/AhmadKMD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/laser/2018d, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - First International Workshop, {DEVOPS} 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11350}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-06019-0}, doi = {10.1007/978-3-030-06019-0}, isbn = {978-3-030-06018-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/laser/2018d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tools/2019, editor = {Manuel Mazzara and Jean{-}Michel Bruel and Bertrand Meyer and Alexander K. Petrenko}, title = {Software Technology: Methods and Tools - 51st International Conference, {TOOLS} 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11771}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29852-4}, doi = {10.1007/978-3-030-29852-4}, isbn = {978-3-030-29851-7}, timestamp = {Wed, 24 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tools/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-06483, author = {Vivek Kumar and Manuel Mazzara and Angelo Messina and JooYoung Lee}, title = {A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism}, journal = {CoRR}, volume = {abs/1901.06483}, year = {2019}, url = {http://arxiv.org/abs/1901.06483}, eprinttype = {arXiv}, eprint = {1901.06483}, timestamp = {Thu, 11 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-06483.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-03825, author = {Vivek Kumar and Brojo Kishore Mishra and Manuel Mazzara and Dang N. H. Thanh and Abhishek Verma}, title = {Prediction of Malignant {\&} Benign Breast Cancer: {A} Data Mining Approach in Healthcare Applications}, journal = {CoRR}, volume = {abs/1902.03825}, year = {2019}, url = {http://arxiv.org/abs/1902.03825}, eprinttype = {arXiv}, eprint = {1902.03825}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-03825.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-09464, author = {Manuel Mazzara and Ilya Afanasyev and Smruti R. Sarangi and Salvatore Distefano and Vivek Kumar}, title = {A Reference Architecture for Smart and Software-defined Buildings}, journal = {CoRR}, volume = {abs/1902.09464}, year = {2019}, url = {http://arxiv.org/abs/1902.09464}, eprinttype = {arXiv}, eprint = {1902.09464}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-09464.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-05981, author = {Ekaterina Yashkina and Arseny Pinigin and Jooyoung Lee and Manuel Mazzara and Akinlolu Solomon Adekotujo and Adam Zubair and Luca Longo}, title = {Expressing Trust with Temporal Frequency of User Interaction in Online Communities}, journal = {CoRR}, volume = {abs/1903.05981}, year = {2019}, url = {http://arxiv.org/abs/1903.05981}, eprinttype = {arXiv}, eprint = {1903.05981}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-05981.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-07468, author = {Evgeny Bobrov and Antonio Bucchiarone and Alfredo Capozucca and Nicolas Guelfi and Manuel Mazzara and Sergey Masyagin}, title = {Teaching DevOps in academia and industry: reflections and vision}, journal = {CoRR}, volume = {abs/1903.07468}, year = {2019}, url = {http://arxiv.org/abs/1903.07468}, eprinttype = {arXiv}, eprint = {1903.07468}, timestamp = {Mon, 01 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-07468.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-02469, author = {Evgeny Bobrov and Antonio Bucchiarone and Alfredo Capozucca and Nicolas Guelfi and Manuel Mazzara and Alexandr Naumchev and Larisa Safina}, title = {DevOps and its Philosophy : Education Matters!}, journal = {CoRR}, volume = {abs/1904.02469}, year = {2019}, url = {http://arxiv.org/abs/1904.02469}, eprinttype = {arXiv}, eprint = {1904.02469}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-02469.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-03027, author = {Manuel Mazzara and Antonio Bucchiarone and Nicola Dragoni and Victor Rivera}, title = {Size Matters: Microservices Research and Applications}, journal = {CoRR}, volume = {abs/1904.03027}, year = {2019}, url = {http://arxiv.org/abs/1904.03027}, eprinttype = {arXiv}, eprint = {1904.03027}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-03027.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-01430, author = {Mansur Khazeev and Manuel Mazzara and Daniel de Carvalho and Hamna Aslam}, title = {Towards {A} Broader Acceptance Of Formal Verification Tools: The Role Of Education}, journal = {CoRR}, volume = {abs/1906.01430}, year = {2019}, url = {http://arxiv.org/abs/1906.01430}, eprinttype = {arXiv}, eprint = {1906.01430}, timestamp = {Thu, 13 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-01430.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-03817, author = {Ilya Afanasyev and Manuel Mazzara and Subham Chakraborty and Nikita Zhuchkov and Aizhan Maksatbek and Mohamad Kassab and Salvatore Distefano}, title = {Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges}, journal = {CoRR}, volume = {abs/1907.03817}, year = {2019}, url = {http://arxiv.org/abs/1907.03817}, eprinttype = {arXiv}, eprint = {1907.03817}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03817.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-07433, author = {Ilya Afanasyev and Alexander Kolotov and Ruslan Rezin and Konstantin Danilov and Manuel Mazzara and Subham Chakraborty and Alexey M. Kashevnik and Andrey Chechulin and Aleksandr A. Kapitonov and Vladimir Jotsov and Andon V. Topalov and Nikola Georgiev Shakev and Sevil Ahmed}, title = {Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications}, journal = {CoRR}, volume = {abs/1907.07433}, year = {2019}, url = {http://arxiv.org/abs/1907.07433}, eprinttype = {arXiv}, eprint = {1907.07433}, timestamp = {Mon, 27 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-07433.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-12682, author = {Antonio Capizzi and Salvatore Distefano and Manuel Mazzara and Luiz Jonata Pires de Araujo and Muhammad Ahmad and Evgeny Bobrov}, title = {Anomaly Detection in DevOps Toolchain}, journal = {CoRR}, volume = {abs/1909.12682}, year = {2019}, url = {http://arxiv.org/abs/1909.12682}, eprinttype = {arXiv}, eprint = {1909.12682}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-12682.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-03066, author = {Antonio Capizzi and Salvatore Distefano and Manuel Mazzara}, title = {From DevOps to DevDataOps: Data Management in DevOps processes}, journal = {CoRR}, volume = {abs/1910.03066}, year = {2019}, url = {http://arxiv.org/abs/1910.03066}, eprinttype = {arXiv}, eprint = {1910.03066}, timestamp = {Wed, 09 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-03066.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-02564, author = {Jean{-}Michel Bruel and Sophie Ebersold and Florian Galinier and Alexandr Naumchev and Manuel Mazzara and Bertrand Meyer}, title = {Formality in Software Requirements}, journal = {CoRR}, volume = {abs/1911.02564}, year = {2019}, url = {http://arxiv.org/abs/1911.02564}, eprinttype = {arXiv}, eprint = {1911.02564}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-02564.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-03746, author = {Ziyad Elbanna and Ilya Afanasyev and Luiz Jonata Pires de Araujo and Rasheed Hussain and Mansur Khazeev and Joseph Lamptey and Manuel Mazzara and Swati Megha and Diksha Moolchandani and Dragos Strugar}, title = {A Machine to Machine framework for the charging of Electric Autonomous Vehicles}, journal = {CoRR}, volume = {abs/1911.03746}, year = {2019}, url = {http://arxiv.org/abs/1911.03746}, eprinttype = {arXiv}, eprint = {1911.03746}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-03746.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-10509, author = {Swati Megha and Joseph Lamptey and Hamza Salem and Manuel Mazzara}, title = {A survey of of blockchain-based solutions for Energy Industry}, journal = {CoRR}, volume = {abs/1911.10509}, year = {2019}, url = {http://arxiv.org/abs/1911.10509}, eprinttype = {arXiv}, eprint = {1911.10509}, timestamp = {Tue, 03 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-10509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/KassabMLS18, author = {Mohamad Kassab and Manuel Mazzara and JooYoung Lee and Giancarlo Succi}, title = {Software architectural patterns in practice: an empirical study}, journal = {Innov. Syst. Softw. Eng.}, volume = {14}, number = {4}, pages = {263--271}, year = {2018}, url = {https://doi.org/10.1007/s11334-018-0319-4}, doi = {10.1007/S11334-018-0319-4}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/KassabMLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mis/AhmadAKKCMUD18, author = {Muhammad Ahmad and Mohammed A. Alqarni and Asad Khan and Adil Khan and Sajjad Hussain Chauhdary and Manuel Mazzara and Tariq Umer and Salvatore Distefano}, title = {Smartwatch-Based Legitimate User Identification for Cloud-Based Secure Services}, journal = {Mob. Inf. Syst.}, volume = {2018}, pages = {5107024:1--5107024:14}, year = {2018}, url = {https://doi.org/10.1155/2018/5107024}, doi = {10.1155/2018/5107024}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mis/AhmadAKKCMUD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/BucchiaroneDDLM18, author = {Antonio Bucchiarone and Nicola Dragoni and Schahram Dustdar and Stephan Thordal Larsen and Manuel Mazzara}, title = {From Monolithic to Microservices: An Experience Report from the Banking Domain}, journal = {{IEEE} Softw.}, volume = {35}, number = {3}, pages = {50--55}, year = {2018}, url = {https://doi.org/10.1109/MS.2018.2141026}, doi = {10.1109/MS.2018.2141026}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/BucchiaroneDDLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/BasovCM18, author = {Alexandr Basov and Daniel de Carvalho and Manuel Mazzara}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Implementing Distributed Lamda-Calculus Interpreter}, booktitle = {32nd International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May 16-18, 2018}, pages = {34--39}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/WAINA.2018.00060}, doi = {10.1109/WAINA.2018.00060}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/BasovCM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KhusnutdinovUMK18, author = {Azat Khusnutdinov and Denis Usachev and Manuel Mazzara and Adil Khan and Ivan Panchenko}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Open Source Platform Digital Personal Assistant}, booktitle = {32nd International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May 16-18, 2018}, pages = {45--50}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/WAINA.2018.00062}, doi = {10.1109/WAINA.2018.00062}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/KhusnutdinovUMK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SayfullinAMMR18, author = {Sadyk Sayfullin and Fedor Akhmetov and Manuel Mazzara and Ruslan Mustafin and Victor Rivera}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Gene Expression for Simulation of Biological Tissue}, booktitle = {32nd International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May 16-18, 2018}, pages = {232--239}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/WAINA.2018.00092}, doi = {10.1109/WAINA.2018.00092}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/SayfullinAMMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/MelnikovLRML18, author = {Almaz Melnikov and Jooyoung Lee and Victor Rivera and Manuel Mazzara and Luca Longo}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Towards Dynamic Interaction-Based Reputation Models}, booktitle = {32nd {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018}, pages = {422--428}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/AINA.2018.00070}, doi = {10.1109/AINA.2018.00070}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/MelnikovLRML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KhatipovNZZMR18, author = {Rinat Khatipov and Aydar Negimatzhanov and Ilgiz Zamaleev and Anvar Zakirov and Manuel Mazzara and Victor Rivera}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Hikester - The Event Management Application}, booktitle = {32nd International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May 16-18, 2018}, pages = {462--468}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/WAINA.2018.00129}, doi = {10.1109/WAINA.2018.00129}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/KhatipovNZZMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/MarochkoJML18, author = {Vladimir Marochko and Leonard Johard and Manuel Mazzara and Luca Longo}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Pseudorehearsal in Actor-Critic Agents with Neural Network Function Approximation}, booktitle = {32nd {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018}, pages = {644--650}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/AINA.2018.00099}, doi = {10.1109/AINA.2018.00099}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/MarochkoJML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/RezinAMR18, author = {Ruslan Rezin and Ilya Afanasyev and Manuel Mazzara and Victor Rivera}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Marek R. Ogiela and Lidia Ogiela and Nadeem Javaid}, title = {Model Checking in Multiplayer Games Development}, booktitle = {32nd {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018}, pages = {826--833}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/AINA.2018.00122}, doi = {10.1109/AINA.2018.00122}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/RezinAMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icl/CarvalhoH0KLMMM18, author = {Daniel de Carvalho and Rasheed Hussain and Adil Khan and Mansur Khazeev and Jooyong Lee and Sergey Masyagin and Manuel Mazzara and Ruslan Mustafin and Alexandr Naumchev and Victor Rivera}, editor = {Michael E. Auer and Thrasyvoulos Tsiatsos}, title = {Teaching Programming and Design-by-Contract}, booktitle = {The Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning {(ICL} 2018) - Volume 1, Kos Island, Greece, 25-28 September 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {916}, pages = {68--76}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-11932-4\_7}, doi = {10.1007/978-3-030-11932-4\_7}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icl/CarvalhoH0KLMMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/is/TkachukKARM18, author = {Vladislav Tkachuk and Maria Koreneva and Ilya Afanasyev and Victor Rivera and Manuel Mazzara}, editor = {Ricardo Jardim{-}Gon{\c{c}}alves and Jo{\~{a}}o Pedro Mendon{\c{c}}a and Vladimir Jotsov and Maria Marques and Jo{\~{a}}o Martins and Robert E. Bierwolf}, title = {GA-based Fractal and Neuroevolution Compressions}, booktitle = {9th {IEEE} International Conference on Intelligent Systems, {IS} 2018, Funchal, Madeira, Portugal, September 25-27, 2018}, pages = {260--266}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IS.2018.8710459}, doi = {10.1109/IS.2018.8710459}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/is/TkachukKARM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ithings/StrugarHMRLM18, author = {Dragos Strugar and Rasheed Hussain and Manuel Mazzara and Victor Rivera and Jooyoung Lee and Ruslan Mustafin}, title = {On {M2M} Micropayments: {A} Case Study of Electric Autonomous Vehicles}, booktitle = {{IEEE} International Conference on Internet of Things (iThings) and {IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber, Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018}, pages = {1697--1700}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/Cybermatics\_2018.2018.00283}, doi = {10.1109/CYBERMATICS\_2018.2018.00283}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ithings/StrugarHMRLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/laser/MazzaraNSSU18, author = {Manuel Mazzara and Alexandr Naumchev and Larisa Safina and Alberto Sillitti and Konstantin Urysov}, editor = {Jean{-}Michel Bruel and Manuel Mazzara and Bertrand Meyer}, title = {Teaching DevOps in Corporate Environments - An Experience Report}, booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - First International Workshop, {DEVOPS} 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11350}, pages = {100--111}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-06019-0\_8}, doi = {10.1007/978-3-030-06019-0\_8}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/laser/MazzaraNSSU18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/AdekotujoLEMA18, author = {Akinlolu Solomon Adekotujo and JooYoung Lee and Ayokunle Oluwatoyin Enikuomehin and Manuel Mazzara and Segun Benjamin Aribisala}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Bi-lingual Intent Classification of Twitter Posts: {A} Roadmap}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {1--9}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_1}, doi = {10.1007/978-3-030-14687-0\_1}, timestamp = {Tue, 07 May 2024 20:14:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/AdekotujoLEMA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/GryaznovM18, author = {Evgeniy Gryaznov and Manuel Mazzara}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Semantic Query Language for Temporal Genealogical Trees}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {94--109}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_9}, doi = {10.1007/978-3-030-14687-0\_9}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/GryaznovM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/KarapetyanDMMMP18, author = {Sergey Karapetyan and Alexander Dolgoborodov and Sergey Masyagin and Manuel Mazzara and Angelo Messina and Ekaterina Protsko}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Innopolis Going Global - Internationalization of a Young {IT} University}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {138--145}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_12}, doi = {10.1007/978-3-030-14687-0\_12}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/KarapetyanDMMMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/KumarMML18, author = {Vivek Kumar and Manuel Mazzara and Angelo Messina and JooYoung Lee}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {146--158}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_13}, doi = {10.1007/978-3-030-14687-0\_13}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/KumarMML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/LozhnikovDM18, author = {Nikita Lozhnikov and Leon Derczynski and Manuel Mazzara}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Stance Prediction for Russian: Data and Analysis}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {176--186}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_16}, doi = {10.1007/978-3-030-14687-0\_16}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/LozhnikovDM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/RiveraLM18, author = {Victor Rivera and Jooyoung Lee and Manuel Mazzara}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Mapping Event-B Machines into Eiffel Programming Language}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {255--264}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_23}, doi = {10.1007/978-3-030-14687-0\_23}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/RiveraLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/ZubairAMM18, author = {Adam Folohunsho Zubair and Segun Benjamin Aribisala and Marco Manca and Manuel Mazzara}, editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {On the Parcellation of Functional Magnetic Resonance Images}, booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {925}, pages = {325--332}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-14687-0\_29}, doi = {10.1007/978-3-030-14687-0\_29}, timestamp = {Thu, 11 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/ZubairAMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/staf/2018w, editor = {Manuel Mazzara and Iulian Ober and Gwen Sala{\"{u}}n}, title = {Software Technologies: Applications and Foundations - {STAF} 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11176}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-04771-9}, doi = {10.1007/978-3-030-04771-9}, isbn = {978-3-030-04770-2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/staf/2018w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-03650, author = {Denis Usachev and Azat Khusnutdinov and Manuel Mazzara and Adil Khan and Ivan Panchenko}, title = {Open source platform Digital Personal Assistant}, journal = {CoRR}, volume = {abs/1801.03650}, year = {2018}, url = {http://arxiv.org/abs/1801.03650}, eprinttype = {arXiv}, eprint = {1801.03650}, timestamp = {Thu, 27 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-03650.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-03904, author = {Almaz Melnikov and Manuel Mazzara and Victor Rivera and Jooyoung Lee and Luca Longo}, title = {Towards dynamic interaction-based model}, journal = {CoRR}, volume = {abs/1801.03904}, year = {2018}, url = {http://arxiv.org/abs/1801.03904}, eprinttype = {arXiv}, eprint = {1801.03904}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-03904.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-06400, author = {Rinat Khatipov and Manuel Mazzara and Aydar Negimatzhanov and Victor Rivera and Anvar Zakirov and Ilgiz Zamaleev}, title = {Hikester - the event management application}, journal = {CoRR}, volume = {abs/1801.06400}, year = {2018}, url = {http://arxiv.org/abs/1801.06400}, eprinttype = {arXiv}, eprint = {1801.06400}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-06400.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-06571, author = {Alexandr Basov and Daniel de Carvalho and Manuel Mazzara}, title = {Implementing distributed {\(\lambda\)}-calculus interpreter}, journal = {CoRR}, volume = {abs/1802.06571}, year = {2018}, url = {http://arxiv.org/abs/1802.06571}, eprinttype = {arXiv}, eprint = {1802.06571}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-06571.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-00658, author = {Dragos Strugar and Rasheed Hussain and Manuel Mazzara and Victor Rivera}, title = {{M2M} Billing for Electric Autonomous Vehicles}, journal = {CoRR}, volume = {abs/1804.00658}, year = {2018}, url = {http://arxiv.org/abs/1804.00658}, eprinttype = {arXiv}, eprint = {1804.00658}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-00658.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-04701, author = {Dragos Strugar and Rasheed Hussain and Jooyoung Lee and Manuel Mazzara and Victor Rivera}, title = {Reputation in {M2M} Economy}, journal = {CoRR}, volume = {abs/1804.04701}, year = {2018}, url = {http://arxiv.org/abs/1804.04701}, eprinttype = {arXiv}, eprint = {1804.04701}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-04701.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-08964, author = {Dragos Strugar and Rasheed Hussain and Manuel Mazzara and Victor Rivera and Jooyoung Lee and Ruslan Mustafin}, title = {On {M2M} Micropayments : {A} Case Study of Electric Autonomous Vehicles}, journal = {CoRR}, volume = {abs/1804.08964}, year = {2018}, url = {http://arxiv.org/abs/1804.08964}, eprinttype = {arXiv}, eprint = {1804.08964}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-08964.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-01632, author = {Manuel Mazzara and Alexandr Naumchev and Larisa Safina and Alberto Sillitti and Konstantin Urysov}, title = {Teaching DevOps in Corporate Environments: An experience report}, journal = {CoRR}, volume = {abs/1807.01632}, year = {2018}, url = {http://arxiv.org/abs/1807.01632}, eprinttype = {arXiv}, eprint = {1807.01632}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-01632.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-01574, author = {Nikita Lozhnikov and Leon Derczynski and Manuel Mazzara}, title = {Stance Prediction for Russian: Data and Analysis}, journal = {CoRR}, volume = {abs/1809.01574}, year = {2018}, url = {http://arxiv.org/abs/1809.01574}, eprinttype = {arXiv}, eprint = {1809.01574}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-01574.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/DmitrenokDJM17, author = {Ilya Dmitrenok and Viktor Drobnyy and Leonard Johard and Manuel Mazzara}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Hui{-}Huang Hsu and Chi{-}Yi Lin}, title = {Evaluation of Spatial Trees for the Simulation of Biological Tissue}, booktitle = {31st International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2017 Workshops, Taipei, Taiwan, March 27-29, 2017}, pages = {276--282}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/WAINA.2017.42}, doi = {10.1109/WAINA.2017.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/DmitrenokDJM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/KhandaSGMM17, author = {Kevin Khanda and Dilshat Salikhov and Kamill Gusmanov and Manuel Mazzara and Nikolaos Mavridis}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Hui{-}Huang Hsu and Chi{-}Yi Lin}, title = {Microservice-Based IoT for Smart Buildings}, booktitle = {31st International Conference on Advanced Information Networking and Applications Workshops, {AINA} 2017 Workshops, Taipei, Taiwan, March 27-29, 2017}, pages = {302--308}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/WAINA.2017.77}, doi = {10.1109/WAINA.2017.77}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/KhandaSGMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bncod/LebedevLRM17, author = {Andrei Lebedev and Jooyoung Lee and Victor Rivera and Manuel Mazzara}, editor = {Andrea Cal{\`{\i}} and Peter T. Wood and Nigel J. Martin and Alexandra Poulovassilis}, title = {Link Prediction Using Top-k Shortest Distances}, booktitle = {Data Analytics - 31st British International Conference on Databases, {BICOD} 2017, London, UK, July 10-12, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10365}, pages = {101--105}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60795-5\_10}, doi = {10.1007/978-3-319-60795-5\_10}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bncod/LebedevLRM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/ArtemevIMRSSZ17, author = {Vasilii Artemev and Vladimir Ivanov and Manuel Mazzara and Alan Rogers and Alberto Sillitti and Giancarlo Succi and Eugene Zouev}, editor = {Alexander K. Petrenko and Andrei Voronkov}, title = {An Architecture for Non-invasive Software Measurement}, booktitle = {Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10742}, pages = {1--11}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-74313-4\_1}, doi = {10.1007/978-3-319-74313-4\_1}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ershov/ArtemevIMRSSZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/DragoniLLMMS17, author = {Nicola Dragoni and Ivan Lanese and Stephan Thordal Larsen and Manuel Mazzara and Ruslan Mustafin and Larisa Safina}, editor = {Alexander K. Petrenko and Andrei Voronkov}, title = {Microservices: How To Make Your Application Scale}, booktitle = {Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10742}, pages = {95--104}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-74313-4\_8}, doi = {10.1007/978-3-319-74313-4\_8}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ershov/DragoniLLMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/MarochkoJM17, author = {Vladimir Marochko and Leonard Johard and Manuel Mazzara}, editor = {Gordan Jezic and Mario Kusek and Yun{-}Heh Jessica Chen{-}Burger and Robert J. Howlett and Lakhmi C. Jain}, title = {Pseudorehearsal in Value Function Approximation}, booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES} International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal, June 21-23, 2017, Proceedings}, series = {Smart Innovation, Systems and Technologies}, volume = {74}, pages = {178--189}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59394-4\_18}, doi = {10.1007/978-3-319-59394-4\_18}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kesamsta/MarochkoJM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MakhmutovBMJ17, author = {Munir Makhmutov and Joseph Alexander Brown and Manuel Mazzara and Leonard Johard}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, title = {{MOMOS-MT:} mobile monophonic system for music transcription: sheet music generation on mobile devices}, booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017}, pages = {543--549}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3019612.3019723}, doi = {10.1145/3019612.3019723}, timestamp = {Wed, 01 Feb 2023 17:58:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/MakhmutovBMJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/DragoniGLMMMS17, author = {Nicola Dragoni and Saverio Giallorenzo and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi and Ruslan Mustafin and Larisa Safina}, editor = {Manuel Mazzara and Bertrand Meyer}, title = {Microservices: Yesterday, Today, and Tomorrow}, booktitle = {Present and Ulterior Software Engineering}, pages = {195--216}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67425-4\_12}, doi = {10.1007/978-3-319-67425-4\_12}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/DragoniGLMMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/GuidiLMM17, author = {Claudio Guidi and Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, editor = {Manuel Mazzara and Bertrand Meyer}, title = {Microservices: {A} Language-Based Approach}, booktitle = {Present and Ulterior Software Engineering}, pages = {217--225}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67425-4\_13}, doi = {10.1007/978-3-319-67425-4\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/GuidiLMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/MM2017, editor = {Manuel Mazzara and Bertrand Meyer}, title = {Present and Ulterior Software Engineering}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67425-4}, doi = {10.1007/978-3-319-67425-4}, isbn = {978-3-319-67424-7}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/MM2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ArtemevIMRSSZ17, author = {Vasilii Artemev and Vladimir Ivanov and Manuel Mazzara and Alan Rogers and Alberto Sillitti and Giancarlo Succi and Eugene Zouev}, title = {An architecture for non-invasive software measurement}, journal = {CoRR}, volume = {abs/1702.07138}, year = {2017}, url = {http://arxiv.org/abs/1702.07138}, eprinttype = {arXiv}, eprint = {1702.07138}, timestamp = {Mon, 12 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ArtemevIMRSSZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MingelaTMST17, author = {Bogdan Mingela and Nikolay Troshkov and Manuel Mazzara and Larisa Safina and Alexander Tchitchigin}, title = {Towards Static Type-checking for Jolie}, journal = {CoRR}, volume = {abs/1702.07146}, year = {2017}, url = {http://arxiv.org/abs/1702.07146}, eprinttype = {arXiv}, eprint = {1702.07146}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MingelaTMST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DragoniLLMMS17, author = {Nicola Dragoni and Ivan Lanese and Stephan Thordal Larsen and Manuel Mazzara and Ruslan Mustafin and Larisa Safina}, title = {Microservices: How To Make Your Application Scale}, journal = {CoRR}, volume = {abs/1702.07149}, year = {2017}, url = {http://arxiv.org/abs/1702.07149}, eprinttype = {arXiv}, eprint = {1702.07149}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DragoniLLMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Mazzara17, author = {Manuel Mazzara}, title = {Designing a pi-based Programming Language in the .NET framework: {CLR} interoperability from the Programmer's point of view}, journal = {CoRR}, volume = {abs/1703.05185}, year = {2017}, url = {http://arxiv.org/abs/1703.05185}, eprinttype = {arXiv}, eprint = {1703.05185}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Mazzara17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AkentevTSM17, author = {Evgenii Akentev and Alexander Tchitchigin and Larisa Safina and Manuel Mazzara}, title = {Verified type checker for Jolie programming language}, journal = {CoRR}, volume = {abs/1703.05186}, year = {2017}, url = {http://arxiv.org/abs/1703.05186}, eprinttype = {arXiv}, eprint = {1703.05186}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AkentevTSM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MarochkoJM17, author = {Vladimir Marochko and Leonard Johard and Manuel Mazzara}, title = {Pseudorehearsal in value function approximation}, journal = {CoRR}, volume = {abs/1703.07075}, year = {2017}, url = {http://arxiv.org/abs/1703.07075}, eprinttype = {arXiv}, eprint = {1703.07075}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MarochkoJM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DragoniDLM17, author = {Nicola Dragoni and Schahram Dustdar and Stephan Thordal Larsen and Manuel Mazzara}, title = {Microservices: Migration of a Mission Critical System}, journal = {CoRR}, volume = {abs/1704.04173}, year = {2017}, url = {http://arxiv.org/abs/1704.04173}, eprinttype = {arXiv}, eprint = {1704.04173}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DragoniDLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/NaumchevMMBGE17, author = {Alexandr Naumchev and Manuel Mazzara and Bertrand Meyer and Jean{-}Michel Bruel and Florian Galinier and Sophie Ebersold}, title = {A contract-based method to specify stimulus-response requirements}, journal = {CoRR}, volume = {abs/1704.04905}, year = {2017}, url = {http://arxiv.org/abs/1704.04905}, eprinttype = {arXiv}, eprint = {1704.04905}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/NaumchevMMBGE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MarochkoJM17a, author = {Vladimir Marochko and Leonard Johard and Manuel Mazzara}, title = {Pseudorehearsal in actor-critic agents}, journal = {CoRR}, volume = {abs/1704.04912}, year = {2017}, url = {http://arxiv.org/abs/1704.04912}, eprinttype = {arXiv}, eprint = {1704.04912}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MarochkoJM17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KhazeevRM17, author = {Mansur Khazeev and Victor Rivera and Manuel Mazzara}, title = {Initial steps towards assessing the usability of a verification tool}, journal = {CoRR}, volume = {abs/1704.05008}, year = {2017}, url = {http://arxiv.org/abs/1704.05008}, eprinttype = {arXiv}, eprint = {1704.05008}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KhazeevRM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GuidiLMM17, author = {Claudio Guidi and Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, title = {Microservices: a Language-based Approach}, journal = {CoRR}, volume = {abs/1704.08073}, year = {2017}, url = {http://arxiv.org/abs/1704.08073}, eprinttype = {arXiv}, eprint = {1704.08073}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GuidiLMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LebedevLRM17, author = {Andrei Lebedev and Jooyoung Lee and Victor Rivera and Manuel Mazzara}, title = {Link Prediction using Top-{\textdollar}k{\textdollar} Shortest Distances}, journal = {CoRR}, volume = {abs/1705.02936}, year = {2017}, url = {http://arxiv.org/abs/1705.02936}, eprinttype = {arXiv}, eprint = {1705.02936}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LebedevLRM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RiveraLMJ17, author = {Victor Rivera and Jooyoung Lee and Manuel Mazzara and Leonard Johard}, title = {Translating Event-B machines to Eiffel programs}, journal = {CoRR}, volume = {abs/1706.04578}, year = {2017}, url = {http://arxiv.org/abs/1706.04578}, eprinttype = {arXiv}, eprint = {1706.04578}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RiveraLMJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MazzaraKMRSS17, author = {Manuel Mazzara and Kevin Khanda and Ruslan Mustafin and Victor Rivera and Larisa Safina and Alberto Sillitti}, title = {Microservices Science and Engineering}, journal = {CoRR}, volume = {abs/1706.07350}, year = {2017}, url = {http://arxiv.org/abs/1706.07350}, eprinttype = {arXiv}, eprint = {1706.07350}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MazzaraKMRSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DragoniGM17, author = {Nicola Dragoni and Alberto Giaretta and Manuel Mazzara}, title = {The Internet of Hackable Things}, journal = {CoRR}, volume = {abs/1707.08380}, year = {2017}, url = {http://arxiv.org/abs/1707.08380}, eprinttype = {arXiv}, eprint = {1707.08380}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/DragoniGM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-04498, author = {Leonard Johard and Victor Rivera and Manuel Mazzara and Jooyoung Lee}, title = {Self-adaptive node-based {PCA} encodings}, journal = {CoRR}, volume = {abs/1708.04498}, year = {2017}, url = {http://arxiv.org/abs/1708.04498}, eprinttype = {arXiv}, eprint = {1708.04498}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-04498.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-05050, author = {Michele De Donno and Nicola Dragoni and Alberto Giaretta and Manuel Mazzara}, title = {AntibIoTic: Protecting IoT Devices Against DDoS Attacks}, journal = {CoRR}, volume = {abs/1708.05050}, year = {2017}, url = {http://arxiv.org/abs/1708.05050}, eprinttype = {arXiv}, eprint = {1708.05050}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-05050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-05635, author = {Alberto Giaretta and Nicola Dragoni and Manuel Mazzara}, title = {Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer}, journal = {CoRR}, volume = {abs/1709.05635}, year = {2017}, url = {http://arxiv.org/abs/1709.05635}, eprinttype = {arXiv}, eprint = {1709.05635}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-05635.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-10255, author = {Kizilov Mikhail and Antonio Bucchiarone and Manuel Mazzara and Larisa Safina and Victor Rivera}, title = {Domain Objects and Microservices for Systems Development: a roadmap}, journal = {CoRR}, volume = {abs/1709.10255}, year = {2017}, url = {http://arxiv.org/abs/1709.10255}, eprinttype = {arXiv}, eprint = {1709.10255}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-10255.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-02801, author = {Alexandr Naumchev and Bertrand Meyer and Manuel Mazzara and Florian Galinier and Jean{-}Michel Bruel and Sophie Ebersold}, title = {Expressing and verifying embedded software requirements}, journal = {CoRR}, volume = {abs/1710.02801}, year = {2017}, url = {http://arxiv.org/abs/1710.02801}, eprinttype = {arXiv}, eprint = {1710.02801}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-02801.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-07956, author = {Daniel de Carvalho and Jooyoung Lee and Adil Khan and Manuel Mazzara and Mansur Khazeev and Ruslan Mustafin and Alexandr Naumchev and Victor Rivera}, title = {Teaching Programming and Design-by-Contract}, journal = {CoRR}, volume = {abs/1710.07956}, year = {2017}, url = {http://arxiv.org/abs/1710.07956}, eprinttype = {arXiv}, eprint = {1710.07956}, timestamp = {Tue, 26 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-07956.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-01207, author = {Ruslan Rezin and Ilya Afanasyev and Manuel Mazzara and Victor Rivera}, title = {Model Checking in multiplayer games development}, journal = {CoRR}, volume = {abs/1712.01207}, year = {2017}, url = {http://arxiv.org/abs/1712.01207}, eprinttype = {arXiv}, eprint = {1712.01207}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-01207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-07686, author = {Vladimir Marochko and Leonard Johard and Manuel Mazzara and Luca Longo}, title = {Pseudorehearsal in actor-critic agents with neural network function approximation}, journal = {CoRR}, volume = {abs/1712.07686}, year = {2017}, url = {http://arxiv.org/abs/1712.07686}, eprinttype = {arXiv}, eprint = {1712.07686}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-07686.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaise/EtxanizAM16, author = {Josu Etxaniz and Gerardo Aranguren and Manuel Mazzara}, title = {Analysis of the data transportation multi-hop network for an intelligent environment}, journal = {J. Ambient Intell. Smart Environ.}, volume = {8}, number = {2}, pages = {205--218}, year = {2016}, url = {https://doi.org/10.3233/AIS-160366}, doi = {10.3233/AIS-160366}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jaise/EtxanizAM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SafinaMMR16, author = {Larisa Safina and Manuel Mazzara and Fabrizio Montesi and Victor Rivera}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Antonio J. Jara and Yann Bocchi}, title = {Data-Driven Workflows for Microservices: Genericity in Jolie}, booktitle = {30th {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2016, Crans-Montana, Switzerland, 23-25 March, 2016}, pages = {430--437}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/AINA.2016.95}, doi = {10.1109/AINA.2016.95}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/SafinaMMR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/IvanovMPSS16, author = {Vladimir Ivanov and Manuel Mazzara and Witold Pedrycz and Alberto Sillitti and Giancarlo Succi}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {Assessing the process of an Eastern European software {SME} using systemic analysis, GQM, and reliability growth models: a case study}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume}, pages = {251--259}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2889160.2889250}, doi = {10.1145/2889160.2889250}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/IvanovMPSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/TumyrkinMKSL16, author = {Rasul Tumyrkin and Manuel Mazzara and Mohamad Kassab and Giancarlo Succi and JooYoung Lee}, editor = {Gordan Jezic and Yun{-}Heh Jessica Chen{-}Burger and Robert J. Howlett and Lakhmi C. Jain}, title = {Quality Attributes in Practice: Contemporary Data}, booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 10th {KES} International Conference, {KES-AMSTA} 2016, Puerto de la Cruz, Tenerife, Spain, June 15-17, 2016, Proceedings}, series = {Smart Innovation, Systems and Technologies}, volume = {58}, pages = {281--290}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39883-9\_23}, doi = {10.1007/978-3-319-39883-9\_23}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/TumyrkinMKSL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/TchitchiginTSM16, author = {Alexander Tchitchigin and Max Talanov and Larisa Safina and Manuel Mazzara}, editor = {Gordan Jezic and Yun{-}Heh Jessica Chen{-}Burger and Robert J. Howlett and Lakhmi C. Jain}, title = {Robot Dream}, booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 10th {KES} International Conference, {KES-AMSTA} 2016, Puerto de la Cruz, Tenerife, Spain, June 15-17, 2016, Proceedings}, series = {Smart Innovation, Systems and Technologies}, volume = {58}, pages = {291--298}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39883-9\_24}, doi = {10.1007/978-3-319-39883-9\_24}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kesamsta/TchitchiginTSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/JohardRML16, author = {Leonard Johard and Victor Rivera and Manuel Mazzara and Jooyoung Lee}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Self-adaptive Node-Based {PCA} Encodings}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {1--9}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_1}, doi = {10.1007/978-3-319-70578-1\_1}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/JohardRML16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/MazzaraKMRSS16, author = {Manuel Mazzara and Kevin Khanda and Ruslan Mustafin and Victor Rivera and Larisa Safina and Alberto Sillitti}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Microservices Science and Engineering}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {11--20}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_2}, doi = {10.1007/978-3-319-70578-1\_2}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/MazzaraKMRSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/KhazeevRMJ16, author = {Mansur Khazeev and Victor Rivera and Manuel Mazzara and Leonard Johard}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Initial Steps Towards Assessing the Usability of a Verification Tool}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {31--40}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_4}, doi = {10.1007/978-3-319-70578-1\_4}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/KhazeevRMJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/MazzaraS16, author = {Manuel Mazzara and Alberto Sillitti}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {The Agile Coordination Processes}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {41--51}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_5}, doi = {10.1007/978-3-319-70578-1\_5}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/MazzaraS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/DonnoDGM16, author = {Michele De Donno and Nicola Dragoni and Alberto Giaretta and Manuel Mazzara}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {AntibIoTic: Protecting IoT Devices Against DDoS Attacks}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {59--72}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_7}, doi = {10.1007/978-3-319-70578-1\_7}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/DonnoDGM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/MikhailBMSR16, author = {Kizilov Mikhail and Antonio Bucchiarone and Manuel Mazzara and Larisa Safina and Victor Rivera}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Domain Objects and Microservices for Systems Development: {A} Roadmap}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {97--107}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_10}, doi = {10.1007/978-3-319-70578-1\_10}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/MikhailBMSR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/DragoniGM16, author = {Nicola Dragoni and Alberto Giaretta and Manuel Mazzara}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {The Internet of Hackable Things}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {129--140}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_13}, doi = {10.1007/978-3-319-70578-1\_13}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seda/DragoniGM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seda/GiarettaDM16, author = {Alberto Giaretta and Nicola Dragoni and Manuel Mazzara}, editor = {Paolo Ciancarini and Stanislav Litvinov and Angelo Messina and Alberto Sillitti and Giancarlo Succi}, title = {Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer}, booktitle = {Proceedings of 5th International Conference in Software Engineering for Defence Applications - {SEDA} 2016, Rome, Italy, May 10th, 2016}, series = {Advances in Intelligent Systems and Computing}, volume = {717}, pages = {167--175}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-70578-1\_16}, doi = {10.1007/978-3-319-70578-1\_16}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seda/GiarettaDM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soca/BanduraKMRST16, author = {Alexey Bandura and Nikita Kurilenko and Manuel Mazzara and Victor Rivera and Larisa Safina and Alexander Tchitchigin}, title = {Jolie Community on the Rise}, booktitle = {9th {IEEE} International Conference on Service-Oriented Computing and Applications, {SOCA} 2016, Macau, China, November 4-6, 2016}, pages = {40--43}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/SOCA.2016.16}, doi = {10.1109/SOCA.2016.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/soca/BanduraKMRST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ershov/2015, editor = {Manuel Mazzara and Andrei Voronkov}, title = {Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9609}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41579-6}, doi = {10.1007/978-3-319-41579-6}, isbn = {978-3-319-41578-9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TchitchiginSMEM16, author = {Alexander Tchitchigin and Larisa Safina and Manuel Mazzara and Mohamed Elwakil and Fabrizio Montesi and Victor Rivera}, title = {Refinement types in Jolie}, journal = {CoRR}, volume = {abs/1602.06823}, year = {2016}, url = {http://arxiv.org/abs/1602.06823}, eprinttype = {arXiv}, eprint = {1602.06823}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TchitchiginSMEM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TumyrkinMKSL16, author = {Rasul Tumyrkin and Manuel Mazzara and Mohamad Kassab and Giancarlo Succi and JooYoung Lee}, title = {Quality Attributes in Practice: Contemporary Data}, journal = {CoRR}, volume = {abs/1602.07092}, year = {2016}, url = {http://arxiv.org/abs/1602.07092}, eprinttype = {arXiv}, eprint = {1602.07092}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TumyrkinMKSL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TchitchiginTSM16, author = {Alexander Tchitchigin and Max Talanov and Larisa Safina and Manuel Mazzara}, title = {Robot Dream}, journal = {CoRR}, volume = {abs/1603.03007}, year = {2016}, url = {http://arxiv.org/abs/1603.03007}, eprinttype = {arXiv}, eprint = {1603.03007}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TchitchiginTSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KhazeevRMT16, author = {Mansur Khazeev and Victor Rivera and Manuel Mazzara and Alexander Tchitchigin}, title = {Usability of AutoProof: a case study of software verification}, journal = {CoRR}, volume = {abs/1605.01663}, year = {2016}, url = {http://arxiv.org/abs/1605.01663}, eprinttype = {arXiv}, eprint = {1605.01663}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KhazeevRMT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/VallverduTDMTN16, author = {Jordi Vallverd{\'{u}} and Max Talanov and Salvatore Distefano and Manuel Mazzara and Alexander Tchitchigin and Ildar Nurgaliev}, title = {A Cognitive Architecture for the Implementation of Emotions in Computing Systems}, journal = {CoRR}, volume = {abs/1606.02899}, year = {2016}, url = {http://arxiv.org/abs/1606.02899}, eprinttype = {arXiv}, eprint = {1606.02899}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/VallverduTDMTN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BridgesDMMTV16, author = {Michael W. Bridges and Salvatore Distefano and Manuel Mazzara and Marat Minlebaev and Max Talanov and Jordi Vallverd{\'{u}}}, title = {Towards Anthropo-inspired Computational Systems: the {\textdollar}P{\^{}}3{\textdollar} Model}, journal = {CoRR}, volume = {abs/1606.03229}, year = {2016}, url = {http://arxiv.org/abs/1606.03229}, eprinttype = {arXiv}, eprint = {1606.03229}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BridgesDMMTV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DragoniGLMMMS16, author = {Nicola Dragoni and Saverio Giallorenzo and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi and Ruslan Mustafin and Larisa Safina}, title = {Microservices: yesterday, today, and tomorrow}, journal = {CoRR}, volume = {abs/1606.04036}, year = {2016}, url = {http://arxiv.org/abs/1606.04036}, eprinttype = {arXiv}, eprint = {1606.04036}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DragoniGLMMMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MazzaraJI16, author = {Manuel Mazzara and Cliff B. Jones and Alexei Iliasov}, title = {Lessons from DEPLOYment}, journal = {CoRR}, volume = {abs/1607.00475}, year = {2016}, url = {http://arxiv.org/abs/1607.00475}, eprinttype = {arXiv}, eprint = {1607.00475}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MazzaraJI16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AguilarHMK16, author = {Juan Carlos Polanco Aguilar and Koji Hasebe and Manuel Mazzara and Kazuhiko Kato}, title = {Model Checking of {BPMN} Models for Reconfigurable Workflows}, journal = {CoRR}, volume = {abs/1607.00478}, year = {2016}, url = {http://arxiv.org/abs/1607.00478}, eprinttype = {arXiv}, eprint = {1607.00478}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AguilarHMK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BauerBMJKMMT16, author = {Roman Bauer and Lukas Breitwieser and Alberto Di Meglio and Leonard Johard and Marcus Kaiser and Marco Manca and Manuel Mazzara and Max Talanov}, title = {The BioDynaMo Project}, journal = {CoRR}, volume = {abs/1607.02717}, year = {2016}, url = {http://arxiv.org/abs/1607.02717}, eprinttype = {arXiv}, eprint = {1607.02717}, timestamp = {Thu, 11 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BauerBMJKMMT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Mazzara16, author = {Manuel Mazzara}, title = {LTL-based Verification of Reconfigurable Workflows}, journal = {CoRR}, volume = {abs/1607.03649}, year = {2016}, url = {http://arxiv.org/abs/1607.03649}, eprinttype = {arXiv}, eprint = {1607.03649}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Mazzara16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TchitchiginTSM16a, author = {Alexander Tchitchigin and Max Talanov and Larisa Safina and Manuel Mazzara}, title = {Neuromorphic Robot Dream}, journal = {CoRR}, volume = {abs/1607.08131}, year = {2016}, url = {http://arxiv.org/abs/1607.08131}, eprinttype = {arXiv}, eprint = {1607.08131}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TchitchiginTSM16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BreitwieserBMJK16, author = {Lukas Breitwieser and Roman Bauer and Alberto Di Meglio and Leonard Johard and Marcus Kaiser and Marco Manca and Manuel Mazzara and Fons Rademakers and Max Talanov}, title = {The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations}, journal = {CoRR}, volume = {abs/1608.04967}, year = {2016}, url = {http://arxiv.org/abs/1608.04967}, eprinttype = {arXiv}, eprint = {1608.04967}, timestamp = {Thu, 11 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BreitwieserBMJK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BanduraKMRST16, author = {Alexey Bandura and Nikita Kurilenko and Manuel Mazzara and Victor Rivera and Larisa Safina and Alexander Tchitchigin}, title = {Jolie Community on the Rise}, journal = {CoRR}, volume = {abs/1609.09718}, year = {2016}, url = {http://arxiv.org/abs/1609.09718}, eprinttype = {arXiv}, eprint = {1609.09718}, timestamp = {Mon, 17 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BanduraKMRST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MazzaraMSL16, author = {Manuel Mazzara and Ruslan Mustafin and Larisa Safina and Ivan Lanese}, title = {Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing}, journal = {CoRR}, volume = {abs/1610.01778}, year = {2016}, url = {http://arxiv.org/abs/1610.01778}, eprinttype = {arXiv}, eprint = {1610.01778}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MazzaraMSL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SalikhovKGMM16, author = {Dilshat Salikhov and Kevin Khanda and Kamill Gusmanov and Manuel Mazzara and Nikolaos Mavridis}, title = {Microservice-based IoT for Smart Buildings}, journal = {CoRR}, volume = {abs/1610.09480}, year = {2016}, url = {http://arxiv.org/abs/1610.09480}, eprinttype = {arXiv}, eprint = {1610.09480}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SalikhovKGMM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DmitrenokDJM16, author = {Ilya Dmitrenok and Viktor Drobnyy and Leonard Johard and Manuel Mazzara}, title = {Evaluation of spatial trees for simulation of biological tissue}, journal = {CoRR}, volume = {abs/1611.03358}, year = {2016}, url = {http://arxiv.org/abs/1611.03358}, eprinttype = {arXiv}, eprint = {1611.03358}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DmitrenokDJM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MakhmutovBMJ16, author = {Munir Makhmutov and Joseph Alexander Brown and Manuel Mazzara and Leonard Johard}, title = {{MOMOS-MT:} Mobile Monophonic System for Music Transcription}, journal = {CoRR}, volume = {abs/1611.07351}, year = {2016}, url = {http://arxiv.org/abs/1611.07351}, eprinttype = {arXiv}, eprint = {1611.07351}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MakhmutovBMJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GusmanovKSMM16, author = {Kamill Gusmanov and Kevin Khanda and Dilshat Salikhov and Manuel Mazzara and Nikolaos Mavridis}, title = {Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices}, journal = {CoRR}, volume = {abs/1611.08995}, year = {2016}, url = {http://arxiv.org/abs/1611.08995}, eprinttype = {arXiv}, eprint = {1611.08995}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GusmanovKSMM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/BravettiLMM15, author = {Mario Bravetti and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi}, title = {Guest Editorial: Special Issue on Service-Oriented Architectures and Programming}, journal = {J. Internet Serv. Inf. Secur.}, volume = {5}, number = {1}, pages = {1--2}, year = {2015}, url = {https://doi.org/10.22667/JISIS.2015.02.31.001}, doi = {10.22667/JISIS.2015.02.31.001}, timestamp = {Thu, 23 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jisis/BravettiLMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LaneseMM15, author = {Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, title = {Special issue on Service-Oriented Architecture and Programming {(SOAP} 2013)}, journal = {Sci. Comput. Program.}, volume = {97}, pages = {181--182}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.007}, doi = {10.1016/J.SCICO.2014.07.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LaneseMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/TalanovVDMD15, author = {Max Talanov and Jordi Vallverd{\'{u}} and Salvatore Distefano and Manuel Mazzara and Radhakrishnan Delhibabu}, editor = {Leonard Barolli and Makoto Takizawa and Fatos Xhafa and Tomoya Enokido and Jong Hyuk Park}, title = {Neuromodulating Cognitive Architecture: Towards Biomimetic Emotional {AI}}, booktitle = {29th {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2015, Gwangju, South Korea, March 24-27, 2015}, pages = {587--592}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/AINA.2015.240}, doi = {10.1109/AINA.2015.240}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aina/TalanovVDMD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/BridgesDMMTV15, author = {Michael W. Bridges and Salvatore Distefano and Manuel Mazzara and Marat Minlebaev and Max Talanov and Jordi Vallverd{\'{u}}}, editor = {Gordan Jezic and Robert J. Howlett and Lakhmi C. Jain}, title = {Towards Anthropo-Inspired Computational Systems: The P\({}^{\mbox{3}}\) Model}, booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 9th {KES} International Conference, KES-AMSTA, 2015 Sorrento, Italy, June 17-19, 2015, Proceedings}, series = {Smart Innovation, Systems and Technologies}, volume = {38}, pages = {311--321}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19728-9\_26}, doi = {10.1007/978-3-319-19728-9\_26}, timestamp = {Thu, 17 Sep 2020 17:55:39 +0200}, biburl = {https://dblp.org/rec/conf/kesamsta/BridgesDMMTV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SafinaMM15, author = {Larisa Safina and Manuel Mazzara and Fabrizio Montesi}, title = {Data-driven Workflows for Microservices}, journal = {CoRR}, volume = {abs/1511.02597}, year = {2015}, url = {http://arxiv.org/abs/1511.02597}, eprinttype = {arXiv}, eprint = {1511.02597}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SafinaMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijssoe/MazzaraC14, author = {Manuel Mazzara and Michele Ciavotta}, title = {Issues about the Adoption of Formal Methods for Dependable Composition of Web Services}, journal = {Int. J. Syst. Serv. Oriented Eng.}, volume = {4}, number = {4}, pages = {35--50}, year = {2014}, url = {https://doi.org/10.4018/ijssoe.2014100103}, doi = {10.4018/IJSSOE.2014100103}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijssoe/MazzaraC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/FerrucciBM14, author = {Luca Ferrucci and Marcello M. Bersani and Manuel Mazzara}, editor = {Andreas Holzinger and Jorge Cardoso and Jos{\'{e}} Cordeiro and Marten van Sinderen and Stephen J. Mellor}, title = {An {LTL} Semantics of BusinessWorkflows with Recovery}, booktitle = {{ICSOFT-PT} 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014}, pages = {29--40}, publisher = {SciTePress}, year = {2014}, url = {https://doi.org/10.5220/0005110000290040}, doi = {10.5220/0005110000290040}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoft/FerrucciBM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/BersaniDFM14, author = {Marcello M. Bersani and Salvatore Distefano and Luca Ferrucci and Manuel Mazzara}, editor = {Andreas Holzinger and Jorge Cardoso and Jos{\'{e}} Cordeiro and Th{\'{e}}r{\`{e}}se Libourel and Leszek A. Maciaszek and Marten van Sinderen}, title = {A Timed Semantics of Workflows}, booktitle = {Software Technologies - 9th International Joint Conference, {ICSOFT} 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {555}, pages = {365--383}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-25579-8\_21}, doi = {10.1007/978-3-319-25579-8\_21}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoft/BersaniDFM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/BersaniBFM14, editor = {Marcello Maria Bersani and Davide Bresolin and Luca Ferrucci and Manuel Mazzara}, title = {Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014}, series = {{EPTCS}}, volume = {168}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.168}, doi = {10.4204/EPTCS.168}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BersaniBFM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BhattacharyyaMPM14, author = {Anirban Bhattacharyya and Andrey Mokhov and Ken Pierce and Manuel Mazzara}, title = {On Formalisms for Dynamic Reconfiguration of Dependable Systems}, journal = {CoRR}, volume = {abs/1405.0319}, year = {2014}, url = {http://arxiv.org/abs/1405.0319}, eprinttype = {arXiv}, eprint = {1405.0319}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BhattacharyyaMPM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FerrucciBM14, author = {Luca Ferrucci and Marcello M. Bersani and Manuel Mazzara}, title = {An {LTL} Semantics of Business Workflows with Recovery}, journal = {CoRR}, volume = {abs/1406.1395}, year = {2014}, url = {http://arxiv.org/abs/1406.1395}, eprinttype = {arXiv}, eprint = {1406.1395}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FerrucciBM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/idt/AbouzaidMMQ13, author = {Faisal Abouzaid and Manuel Mazzara and John Mullins and Nafees Qamar}, title = {Towards a formal analysis of dynamic reconfiguration in {WS-BPEL}}, journal = {Intell. Decis. Technol.}, volume = {7}, number = {3}, pages = {213--224}, year = {2013}, url = {https://doi.org/10.3233/IDT-130164}, doi = {10.3233/IDT-130164}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/idt/AbouzaidMMQ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijccbs/MazzuccoMD13, author = {Michele Mazzucco and Manuel Mazzara and Nicola Dragoni}, title = {Dynamic allocation and admission policies for QoS-aware provisioning systems}, journal = {Int. J. Crit. Comput. Based Syst.}, volume = {4}, number = {1}, pages = {27--44}, year = {2013}, url = {https://doi.org/10.1504/IJCCBS.2013.053741}, doi = {10.1504/IJCCBS.2013.053741}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijccbs/MazzuccoMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GmehlichGLIJM13, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a formalism-based toolkit for automotive applications}, booktitle = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013}, pages = {36--42}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/FormaliSE.2013.6612275}, doi = {10.1109/FORMALISE.2013.6612275}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GmehlichGLIJM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MazzaraC13, author = {Manuel Mazzara and Michele Ciavotta}, title = {Issues about the Adoption of Formal Methods for Dependable Composition of Web Services}, journal = {CoRR}, volume = {abs/1311.2535}, year = {2013}, url = {http://arxiv.org/abs/1311.2535}, eprinttype = {arXiv}, eprint = {1311.2535}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MazzaraC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MazzaraBGDMQN13, author = {Manuel Mazzara and Luca Biselli and Pier Paolo Greco and Nicola Dragoni and Antonio Marraffa and Nafees Qamar and Simona de Nicola}, title = {Social Networks and Collective Intelligence: {A} Return to the Agora}, journal = {CoRR}, volume = {abs/1311.2551}, year = {2013}, url = {http://arxiv.org/abs/1311.2551}, eprinttype = {arXiv}, eprint = {1311.2551}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MazzaraBGDMQN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GmehlichGIJLM13, author = {Rainer Gmehlich and Katrin Grau and Alexei Iliasov and Michael Jackson and Felix Loesch and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, journal = {CoRR}, volume = {abs/1311.6145}, year = {2013}, url = {http://arxiv.org/abs/1311.6145}, eprinttype = {arXiv}, eprint = {1311.6145}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GmehlichGIJLM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/MazzaraDZ12, author = {Manuel Mazzara and Nicola Dragoni and Mu Zhou}, title = {Implementing Workflow Reconfiguration in {WS-BPEL}}, journal = {J. Internet Serv. Inf. Secur.}, volume = {2}, number = {1/2}, pages = {73--92}, year = {2012}, url = {https://doi.org/10.22667/JISIS.2012.02.31.073}, doi = {10.22667/JISIS.2012.02.31.073}, timestamp = {Thu, 23 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jisis/MazzaraDZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/at/BiselliDGGMMP12, author = {Luca Biselli and Nicola Dragoni and Emanuela Goldoni and Pier Paolo Greco and Antonio Marraffa and Manuel Mazzara and Georgios Papageorgiou}, editor = {Sascha Ossowski and Francesca Toni and George A. Vouros}, title = {Social Networks and Collective Intelligence - {A} Return to the Agora (with the Polidoxa Shift)}, booktitle = {Proceedings of the First International Conference on Agreement Technologies, {AT} 2012, Dubrovnik, Croatia, October 15-16, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {918}, pages = {347--348}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-918/111110347.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:00 +0100}, biburl = {https://dblp.org/rec/conf/at/BiselliDGGMMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/AbouzaidMMD12, author = {Faisal Abouzaid and John Mullins and Manuel Mazzara and Nicola Dragoni}, editor = {Gordan Jezic and Mario Kusek and Ngoc Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, title = {Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus}, booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th {KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7327}, pages = {534--543}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30947-2\_58}, doi = {10.1007/978-3-642-30947-2\_58}, timestamp = {Thu, 16 Mar 2023 20:00:31 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/AbouzaidMMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1207-2754, author = {Manuel Mazzara}, title = {On Methods for the Formal Specification of Fault Tolerant Systems}, journal = {CoRR}, volume = {abs/1207.2754}, year = {2012}, url = {http://arxiv.org/abs/1207.2754}, eprinttype = {arXiv}, eprint = {1207.2754}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-2754.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/MazzaraMBC11, author = {Manuel Mazzara and Antonio Marraffa and Luca Biselli and Luca Chiarabini}, title = {The Polidoxa Shift: a New Approach to Social Networks}, journal = {J. Internet Serv. Inf. Secur.}, volume = {1}, number = {4}, pages = {74--88}, year = {2011}, url = {https://doi.org/10.22667/JISIS.2011.11.31.074}, doi = {10.22667/JISIS.2011.11.31.074}, timestamp = {Thu, 23 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jisis/MazzaraMBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/MazzaraADB11, author = {Manuel Mazzara and Faisal Abouzaid and Nicola Dragoni and Anirban Bhattacharyya}, editor = {Michael Duvigneau and Daniel Moldt and Kunihiko Hiraishi}, title = {Design, Modelling and Analysis of a Workflow Reconfiguration}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {723}, pages = {10--24}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-723/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/MazzaraADB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/MazzaraADB11, author = {Manuel Mazzara and Faisal Abouzaid and Nicola Dragoni and Anirban Bhattacharyya}, editor = {Marco Carbone and Jean{-}Marc Petit}, title = {Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - {A} Process Algebra Perspective}, booktitle = {Web Services and Formal Methods - 8th International Workshop, {WS-FM} 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7176}, pages = {64--78}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29834-9\_6}, doi = {10.1007/978-3-642-29834-9\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/MazzaraADB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-3462, author = {Manuel Mazzara and Anirban Bhattacharyya}, title = {On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems}, journal = {CoRR}, volume = {abs/1009.3462}, year = {2010}, url = {http://arxiv.org/abs/1009.3462}, eprinttype = {arXiv}, eprint = {1009.3462}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-3462.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-3911, author = {Manuel Mazzara}, title = {Deriving Specifications of Dependable Systems: toward a Method}, journal = {CoRR}, volume = {abs/1009.3911}, year = {2010}, url = {http://arxiv.org/abs/1009.3911}, eprinttype = {arXiv}, eprint = {1009.3911}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-3911.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-0522, author = {Michele Mazzucco and Manuel Mazzara and Nicola Dragoni}, title = {Design of QoS-aware Provisioning Systems}, journal = {CoRR}, volume = {abs/1012.0522}, year = {2010}, url = {http://arxiv.org/abs/1012.0522}, eprinttype = {arXiv}, eprint = {1012.0522}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-0522.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/DragoniM09, author = {Nicola Dragoni and Manuel Mazzara}, editor = {Cosimo Laneve and Jianwen Su}, title = {A Formal Semantics for the {WS-BPEL} Recovery Framework - The \emph{pi}-Calculus Way}, booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM} 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6194}, pages = {92--109}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-14458-5\_6}, doi = {10.1007/978-3-642-14458-5\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/DragoniM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/LucchiM07, author = {Roberto Lucchi and Manuel Mazzara}, title = {A pi-calculus based semantics for {WS-BPEL}}, journal = {J. Log. Algebraic Methods Program.}, volume = {70}, number = {1}, pages = {96--118}, year = {2007}, url = {https://doi.org/10.1016/j.jlap.2006.05.007}, doi = {10.1016/J.JLAP.2006.05.007}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/LucchiM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpsc/YanMCU07, author = {Zhixian Yan and Manuel Mazzara and Emilia Cimpian and Alexander Urbanec}, editor = {Witold Abramowicz and Leszek A. Maciaszek}, title = {Business Process Modeling: Classifications and Perspectives}, booktitle = {Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, {BPSC} 2007, September 25-26, 2007, Leipzig, Germany}, series = {{LNI}}, volume = {{P-116}}, pages = {222--227}, publisher = {{GI}}, year = {2007}, url = {https://dl.gi.de/handle/20.500.12116/22348}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpsc/YanMCU07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/YanCZM07, author = {Zhixian Yan and Emilia Cimpian and Michal Zaremba and Manuel Mazzara}, title = {{BPMO:} Semantic Business Process Modeling and {WSMO} Extension}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {1185--1186}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.60}, doi = {10.1109/ICWS.2007.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/YanCZM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/it/Mazzara06, author = {Manuel Mazzara}, title = {Towards abstractations for web services composition}, school = {University of Bologna, Italy}, year = {2006}, url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0021487}, timestamp = {Sat, 06 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/it/Mazzara06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/MazzaraL06, author = {Manuel Mazzara and Ivan Lanese}, editor = {Mario Bravetti and Manuel N{\'{u}}{\~{n}}ez and Gianluigi Zavattaro}, title = {Towards a Unifying Theory for Web Services Composition}, booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM} 2006 Vienna, Austria, September 8-9, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4184}, pages = {257--272}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841197\_17}, doi = {10.1007/11841197\_17}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/MazzaraL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/MazzaraG05, author = {Manuel Mazzara and Sergio Govoni}, editor = {Jean{-}Marie Jacquet and Gian Pietro Picco}, title = {A Case Study of Web Services Orchestration}, booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION} 2005, Namur, Belgium, April 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3454}, pages = {1--16}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417019\_1}, doi = {10.1007/11417019\_1}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/MazzaraG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/Mazzara05, author = {Manuel Mazzara}, editor = {Mario Bravetti and Le{\"{\i}}la Kloul and Gianluigi Zavattaro}, title = {Timing Issues in Web Services Composition}, booktitle = {Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, {EPEW} 2005 and International Workshop on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France, September 1-3, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3670}, pages = {287--302}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11549970\_21}, doi = {10.1007/11549970\_21}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/Mazzara05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GuidiLM07, author = {Claudio Guidi and Roberto Lucchi and Manuel Mazzara}, editor = {Antonio Brogi and Jean{-}Marie Jacquet and Ernesto Pimentel}, title = {A Formal Framework for Web Services Coordination}, booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, {FOCLASA} 2004, London, UK, August 30, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {180}, number = {2}, pages = {55--70}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2006.10.046}, doi = {10.1016/J.ENTCS.2006.10.046}, timestamp = {Tue, 06 Dec 2022 11:39:55 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GuidiLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MazzaraL04, author = {Manuel Mazzara and Roberto Lucchi}, editor = {Mario Bravetti and Gianluigi Zavattaro}, title = {A Framework for Generic Error Handling in Business Processes}, booktitle = {Proceedings of the First International Workshop on Web Services and Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {105}, pages = {133--145}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.05.002}, doi = {10.1016/J.ENTCS.2004.05.002}, timestamp = {Fri, 09 Dec 2022 11:51:40 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MazzaraL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.