Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
@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/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
Benjamin Segun 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 = {Sat, 11 Mar 2023 00:00:00 +0100},
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/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 Urz{\'{a}}iz},
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 = {Tue, 28 Nov 2023 11:01:00 +0100},
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 = {Mon, 14 Nov 2022 15:28:08 +0100},
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 = {Thu, 04 Apr 2024 17:08:34 +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/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 = {Thu, 14 Oct 2021 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 = {Wed, 27 Jul 2022 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 = {Thu, 23 Sep 2021 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 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 = {Thu, 09 Sep 2021 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, 06 Aug 2023 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 = {Wed, 27 Jul 2022 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 = {Thu, 14 Oct 2021 09:59:32 +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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-15 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
