default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Mazzara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j53]Najm Us Sama
, Saeed Ullah, S. M. Ahsan Kazmi, Manuel Mazzara:
Cutting-Edge Intrusion Detection in IoT Networks: A Focus on Ensemble Models. IEEE Access 13: 8375-8392 (2025)- [j52]Hamza Salem, Hadi Salloum, Manuel Mazzara:
Mathematical Model and Algorithm for Accurate Main Content Extraction From News Websites. IEEE Access 13: 15694-15711 (2025) - [j51]Hadi Salloum, Kamil Sabbagh, Vladislav Savchuk, Ruslan Lukin, Osama Orabi, Marat Isangulov, Manuel Mazzara:
Performance of Quantum Annealing Machine Learning Classification Models on ADMET Datasets. IEEE Access 13: 16263-16287 (2025) - [j50]Syed M. Hamedoon, Jawwad Nasar Chattha, Umair Rashid, S. M. Ahsan Kazmi, Manuel Mazzara:
AI-Driven Resource Allocation for RIS-Assisted NOMA in IoT Networks. IEEE Access 13: 68152-68171 (2025) - [j49]Lama Shaheen, Bader Rasheed, Manuel Mazzara:
Self-Supervised Learning for Precise Individual Tree Segmentation in Airborne LiDAR Point Clouds. IEEE Access 13: 70895-70908 (2025) - [j48]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Muhammad Usama, Swalpa Kumar Roy, Jocelyn Chanussot, Danfeng Hong:
Spatial-spectral morphological mamba for hyperspectral image classification. Neurocomputing 636: 129995 (2025) - [j47]Muhammad Ahmad, Muhammad Usama, Manuel Mazzara, Salvatore Distefano:
WaveMamba: Spatial-Spectral Wavelet Mamba for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. 22: 1-5 (2025) - [j46]Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Silvia Liberata Ullo:
DiffFormer: A Differential Spatial-Spectral Transformer for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 18: 10419-10428 (2025) - [c119]Hamza Salem, Hadi Salloum, Manuel Mazzara, Nursultan Askarbekuly, Karl Koberg, Giancarlo Succi:
Hidden Risks: The Centralization of NFT Metadata and What It Means for the Market. AINA (2) 2025: 73-80 - [c118]Nadia Salem, Loai M. Alnemer, Khawla M. Al-tarawneh, Hamza Salem, Manuel Mazzara, Asma Salem:
Harnessing Large Language Models for Personalized Learning: A Case Study in Algorithm Education at Mu'tah University. AINA (7) 2025: 117-128 - [c117]Maxim Filippov, Manuel Mazzara:
Autoscaling Containerized Microservices: A Survey. AINA (7) 2025: 326-334 - [c116]Muhammad Naveed Zafar, Manuel Mazzara, Mahmoud Naderi:
Large Language Models: An Empirical Study in Computer Science. AINA (7) 2025: 335-343 - [c115]Marko Pezer, Daniil Shilintsev, Mahmoud Naderi, Manuel Mazzara:
Survey on Requirements Elicitation Techniques for UI Design Projects. AINA (7) 2025: 344-351 - [i94]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Danfeng Hong:
Hybrid State-Space and GRU-based Graph Tokenization Mamba for Hyperspectral Image Classification. CoRR abs/2502.06427 (2025) - [i93]Saad Sohail, Muhammad Usama, Usman Ghous, Manuel Mazzara, Salvatore Distefano, Muhammad Ahmad:
EnergyFormer: Energy Attention with Fourier Embedding for Hyperspectral Image Classification. CoRR abs/2503.08239 (2025) - 2024
- [j45]Hamidullah Muslih, S. M. Ahsan Kazmi, Manuel Mazzara, Gaspard Baye:
Cache Sharing in UAV-Enabled Cellular Network: A Deep Reinforcement Learning-Based Approach. IEEE Access 12: 43422-43435 (2024) - [j44]Muhammad Ahmad, Usman Ghous, Muhammad Usama, Manuel Mazzara:
WaveFormer: Spectral-Spatial Wavelet Transformer for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024) - [j43]Muhammad Ahmad, Manuel Mazzara:
SCSNet: Sharpened Cosine Similarity-Based Neural Network for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. 21: 1-4 (2024) - [j42]Muhammad Ahmad, Muhammad Usama, Adil Mehmood Khan, Salvatore Distefano, Hamad Ahmed Altuwaijri, Manuel Mazzara:
Spatial-Spectral Transformer With Conditional Position Encoding for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024) - [j41]Divya S, Sripriya N, J. Andrew, Manuel Mazzara:
Unified extractive-abstractive summarization: a hybrid approach utilizing BERT and transformer models for enhanced document summarization. PeerJ Comput. Sci. 10: e2424 (2024) - [j40]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Hamad Ahmed Altuwaijri:
Pyramid Hierarchical Spatial-Spectral Transformer for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17: 17681-17689 (2024) - [j39]Muhammad Ahmad, Muhammad Usama, Manuel Mazzara, Salvatore Distefano, Hamad Ahmed Altuwaijri, Silvia Liberata Ullo:
Fusing Transformers in a Tuning Fork Structure for Hyperspectral Image Classification Across Disjoint Samples. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17: 18167-18181 (2024) - [c114]Mohammad Khalil, Manuel Mazzara:
Survival Strategies for IT Companies During Crisis: A Case Study of Russia. AINA (6) 2024: 1-10 - [c113]Suleiman Karim Eddin, Hadi Salloum, Mohamad Nour Shahin, Badee Salloum, Manuel Mazzara, Mohammad Reza Bahrami:
Quantum Microservices: Transforming Software Architecture with Quantum Computing. AINA (6) 2024: 227-237 - [c112]Hadi Salloum, Hamza Shafee Aldaghstany, Osama Orabi, Ahmad Haidar, Mohammad Reza Bahrami, Manuel Mazzara:
Integration of Machine Learning with Quantum Annealing. AINA (3) 2024: 338-348 - [c111]Hadi Salloum, Murhaf Alawir, Mohammad Anas Alatasi, Saleem Asekrea, Manuel Mazzara, Mohammad Reza Bahrami:
Quantum Advancements in Securing Networking Infrastructures. AINA (6) 2024: 354-363 - [c110]Swati Goel, Manuel Mazzara:
Early Design Mechanism for Upgrading Smart Contract Business Processes. CISIS 2024: 184-195 - [c109]Muhammad Ahmad, Muhammad Usama, Salvatore Distefano, Manuel Mazzara:
Hyperspectral Image Classification With Fuzzy Spatial-Spectral Class Discriminate Information. ICIP 2024: 2285-2291 - [c108]Raghad Salameh, Mohamad Al Mdfaa, Nursultan Askarbekuly, Manuel Mazzara:
Quranic Audio Dataset: Crowdsourced and Labeled Recitation from Non-Arabic Speakers. KES 2024: 2684-2693 - [c107]Hadi Salloum, Ali Salloum, Manuel Mazzara, Sergey Zykov:
Quantum Annealing in Machine Learning: QBoost on D-Wave Quantum Annealer. KES 2024: 3285-3293 - [c106]Iouri Kotorov, Yuliya Krasylnykova, Manuel Mazzara, Evgeny Bobrov:
Higher Education Institutions and the Imperative for Transformation in the 21st Century. KES-AMSTA 2024: 283-291 - [c105]Gleb Osotov, Nursultan Askarbekuly, Manuel Mazzara:
Empowering User Consent: Transparent Data Collection for Learner Profile in Educational Products. KES-AMSTA 2024: 319-330 - [c104]Gerald B. Imbugwa, Tom Gilb, Manuel Mazzara:
A Survey of Machine Learning's Integration into Traditional Software Risk Management. KES-IDT 2024: 373-383 - [c103]Manuel Mazzara, Iouri Kotorov, Yuliya Krasylnykova, Nursultan Askarbekuly, Petr Zhdanov, Evgeny Bobrov:
Advanced Engineering School at Innopolis University: A Global Ecosystem for Future Leaders. KES-IDT 2024: 385-398 - [i92]Muhammad Ahmad, Manuel Mazzara, Salvatore Distifano:
Importance of Disjoint Sampling in Conventional and Transformer Models for Hyperspectral Image Classification. CoRR abs/2404.14944 (2024) - [i91]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Manuel Mazzara, Salvatore Distifano:
Pyramid Hierarchical Transformer for Hyperspectral Image Classification. CoRR abs/2404.14945 (2024) - [i90]Muhammad Ahmad, Salvatore Distifano, Manuel Mazzara, Adil Mehmood Khan:
Traditional to Transformers: A Survey on Current Trends and Future Prospects for Hyperspectral Image Classification. CoRR abs/2404.14955 (2024) - [i89]Muhammad Ahmad, Manuel Mazzara, Salvatore Distifano:
Transformers Fusion across Disjoint Samples for Hyperspectral Image Classification. CoRR abs/2405.01095 (2024) - [i88]Raghad Salameh, Mohamad Al Mdfaa, Nursultan Askarbekuly, Manuel Mazzara:
Quranic Audio Dataset: Crowdsourced and Labeled Recitation from Non-Arabic Speakers. CoRR abs/2405.02675 (2024) - [i87]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Hamad Ahmed Altuwaijri, Manuel Mazzara, Salvatore Distefano:
Multi-head Spatial-Spectral Mamba for Hyperspectral Image Classification. CoRR abs/2408.01224 (2024) - [i86]Muhammad Ahmad, Muhammad Hassaan Farooq Butt, Muhammad Usama, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Hamad Ahmed Altuwaijri, Swalpa Kumar Roy, Jocelyn Chanussot, Danfeng Hong:
Spatial-Spectral Morphological Mamba for Hyperspectral Image Classification. CoRR abs/2408.01372 (2024) - [i85]Hamza Salem, Manuel Mazzara:
Hidden Risks: The Centralization of NFT Metadata and What It Means for the Market. CoRR abs/2408.13281 (2024) - [i84]Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano:
Spectral-Spatial Transformer with Active Transfer Learning for Hyperspectral Image Classification. CoRR abs/2411.18115 (2024) - [i83]Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan, Silvia Liberata Ullo:
DiffFormer: a Differential Spatial-Spectral Transformer for Hyperspectral Image Classification. CoRR abs/2412.17350 (2024) - 2023
- [j38]Ayokunle Olalekan Ige, Nikhil Kumar Tomar, Felix Ola Aranuwa, Oluwafemi Oriola, Alaba O. Akingbesote, Mohd Halim Mohd Noor, Manuel Mazzara, Segun Benjamin Aribisala:
ConvSegNet: Automated Polyp Segmentation From Colonoscopy Using Context Feature Refinement With Multiple Convolutional Kernel Sizes. IEEE Access 11: 16142-16155 (2023) - [c102]Ilya Kudrenok, Maxim Davidov, Manuel Mazzara:
Simulation Modeling of Human Aortic Valve Blood Flow. AINA (3) 2023: 12-27 - [c101]Furqan Haider, Hamna Aslam, Rabab Marouf, Manuel Mazzara:
Prototype for Controlled Use of Social Media to Reduce Depression. AINA (3) 2023: 169-180 - [c100]Artem Yuloskov, Mohammad Reza Bahrami, Manuel Mazzara, Gerald B. Imbugwa, Ikechi Ndukwe, Iouri Kotorov:
Traffic Light Algorithms in Smart Cities: Simulation and Analysis. AINA (1) 2023: 222-235 - [c99]Hamza Salem, Manuel Mazzara, Siham Maher Hattab:
An Overview and Current Status of Blockchains Performance. AINA (3) 2023: 331-339 - [c98]Hamza Salem, Manuel Mazzara:
Multi Languages Pattern Matching-Based Scraping of News and Articles Websites. AINA (3) 2023: 644-648 - [c97]Yuliya Krasylnykova, Iouri Kotorov, Jaroslav Demel, Manuel Mazzara, Evgeny Bobrov:
Innopolis University: An Agile and Resilient Academic Institution Navigating the Rocky Waters of the COVID-19 Pandemic. KES-AMSTA 2023: 383-392 - [c96]Patrik Joslin Kenfack, Adín Ramírez Rivera, Adil Mehmood Khan, Manuel Mazzara:
Learning Fair Representations through Uniformly Distributed Sensitive Attributes. SaTML 2023: 58-67 - [c95]Alexander Kedalo, Andrey Zykov, Hamna Aslam, Manuel Mazzara:
Comparing Behaviour Tree and Hierarchical Task Network Planning Methods for their Impact on Player Experience. SSCI 2023: 135-139 - [c94]Manuel Mazzara, Alberto Sillitti:
Energy-Aware Anomaly Detection in Railway Systems. UCAmI (3) 2023: 235-242 - 2022
- [b2]Manuel Mazzara, Giancarlo Succi, Alexander Tormasov:
Innopolis University - From Zero to Hero - Ten Years of Challenges and Victories. Springer 2022, ISBN 978-3-030-98598-1, pp. 1-97 - [j37]Anand Mahendran, Kumar Kannan, Mohamed Hamada, Manuel Mazzara:
Analyzing the Trade-Off Between Complexity Measures, Ambiguity in Insertion System and Its Applications. IEEE Access 10: 100513-100525 (2022) - [j36]Nabeil Eltayieb, Rashad Elhabob, Muhammad Umar Aftab, Ramil Kuleev, Manuel Mazzara, Muhammad Ahmad:
Secure aggregate signature scheme for smart city applications. Comput. Commun. 193: 388-395 (2022) - [j35]Sirojiddin Komolov, Gcinizwe Dlamini, Swati Megha, Manuel Mazzara:
Towards Predicting Architectural Design Patterns: A Machine Learning Approach. Comput. 11(10): 151 (2022) - [j34]Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer:
The Role of Formalism in System Requirements. ACM Comput. Surv. 54(5): 93:1-93:36 (2022) - [j33]Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Mohsin Ali, Muhammad Shahzad Sarfraz:
A Fast and Compact 3-D CNN for Hyperspectral Image Classification. IEEE Geosci. Remote. Sens. Lett. 19: 1-5 (2022) - [j32]Ariyo Oluwasanmi, Muhammad Umar Aftab, Edward Yellakuor Baagyere, Zhiguang Qin, Muhammad Ahmad, Manuel Mazzara:
Attention Autoencoder for Generative Latent Representational Learning in Anomaly Detection. Sensors 22(1): 123 (2022) - [j31]Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3(2): 132 (2022) - [j30]Muhammad Ahmad, Sidrah Shabbir, Swalpa Kumar Roy, Danfeng Hong, Xin Wu, Jing Yao, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Jocelyn Chanussot:
Hyperspectral Image Classification - Traditional to Deep Models: A Survey for Future Prospects. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 15: 968-999 (2022) - [j29]Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Swalpa Kumar Roy, Xin Wu:
Hybrid Dense Network With Attention Mechanism for Hyperspectral Image Classification. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 15: 3948-3957 (2022) - [j28]Diksha Moolchandani, Kishore Yadav, Geesara Kulathunga, Ilya Afanasyev, Anshul Kumar, Manuel Mazzara, Smruti Sarangi:
Game Theory-Based Parameter Tuning for Energy-Efficient Path Planning on Modern UAVs. ACM Trans. Cyber Phys. Syst. 6(4): 34:1-34:29 (2022) - [c93]Hamza Salem, Manuel Mazzara, Hadi M. Saleh, Rami Husami, Siham Maher Hattab:
Development of a Blockchain-Based Ad Listing Application. AINA (1) 2022: 37-45 - [c92]Hamza Salem, Manuel Mazzara:
A NLP Framework to Generate Video from Positive Comments in Youtube. AINA (3) 2022: 193-198 - [c91]Ziyad Elbanna, Manuel Mazzara:
Perception Towards "Zoom" Live Lectures by Master's Students of Sweden. ICL (1) 2022: 587-598 - [c90]Hamna Aslam, Maria Naumcheva, Petr Zhdanov, Iouri Kotorov, Manuel Mazzara, Elmira Akhmetgaraeva, Radik Valiev, Yuliya Krasylnykova:
Perception of the Internationalization Process by the University Employees: The Case Study of Innopolis University. ICL (2) 2022: 873-883 - [c89]Hewan Shrestha, Swati Megha, Subham Chakraborty, Manuel Mazzara, Iouri Kotorov:
Face Mask Recognition Based on Two-Stage Detector. ISDA (2) 2022: 576-585 - [i82]Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Swalpa Kumar Roy, Xin Wu:
Attention Mechanism Meets with Hybrid Dense Network for Hyperspectral Image Classification. CoRR abs/2201.01001 (2022) - 2021
- [j27]Artem Yuloskov, Mohammad Reza Bahrami, Manuel Mazzara, Iouri Kotorov:
Smart Cities in Russia: Current Situation and Insights for Future Development. Future Internet 13(10): 252 (2021) - [j26]Nichlas Bjørndal, Luiz Jonatã Pires de Araújo, Antonio Bucchiarone, Nicola Dragoni, Manuel Mazzara, Schahram Dustdar:
Benchmarks and performance metrics for assessing the migration to microservice-based architectures. J. Object Technol. 20(2): 3:1-17 (2021) - [j25]Muhammad Hussain Khan, Zainab Saleem, Muhammad Ahmad, Sohaib Ahmed, Hamail Ayaz, Manuel Mazzara, Rana Aamir Raza:
Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants. Neural Comput. Appl. 33(21): 14507-14521 (2021) - [j24]Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano:
Regularized CNN Feature Hierarchy for Hyperspectral Image Classification. Remote. Sens. 13(12): 2275 (2021) - [j23]Maheen Zulfiqar, Muhammad Ahmad, Sohaib Ahmed, Manuel Mazzara, Salvatore Distefano:
Hyperspectral Imaging for Bloodstain Identification. Sensors 21(9): 3045 (2021) - [j22]Salvatore Distefano, Andrea Di Giacomo, Manuel Mazzara:
Trustworthiness for Transportation Ecosystems: The Blockchain Vehicle Information System. IEEE Trans. Intell. Transp. Syst. 22(4): 2013-2022 (2021) - [j21]Manuel Mazzara, Nicola Dragoni, Antonio Bucchiarone, Alberto Giaretta, Stephan Thordal Larsen, Schahram Dustdar:
Microservices: Migration of a Mission Critical System. IEEE Trans. Serv. Comput. 14(5): 1464-1477 (2021) - [c88]Nursultan Askarbekuly, Alexandr Solovyov, Elena Lukyanchikova, Denis Pimenov, Manuel Mazzara:
Building an Educational Product: Constructive Alignment and Requirements Engineering. AHFE (13) 2021: 358-365 - [c87]Farah Atif, Manuel Rodriguez, Luiz J. P. Araújo, Utih Amartiwi, Barakat J. Akinsanya, Manuel Mazzara:
A Survey on Data Science Techniques for Predicting Software Defects. AINA (3) 2021: 298-309 - [c86]Swati Megha, Hamza Salem, Enes Ayan, Manuel Mazzara, Hamna Aslam, Mirko Farina, Mohammad Reza Bahrami, Muhammad Ahmad:
Survey on Blockchain Applications for Healthcare: Reflections and Challenges. AINA (3) 2021: 310-322 - [c85]Sirojiddin Komolov, Youssef Youssry Ibrahim, Manuel Mazzara:
TeleML: Deploying Trained Machine Learning Models in Cross-Platform Applications. AINA (2) 2021: 333-344 - [c84]Gerald B. Imbugwa, Manuel Mazzara:
Towards a Secure Smart Parking Solution for Business Entities. AINA (3) 2021: 469-478 - [c83]Hamza Salem, Manuel Mazzara, Said Elnaffar:
Automatically Injecting Semantic Annotations into Online Articles. AINA (3) 2021: 617-624 - [c82]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
Welcome from the Organizers FormReq 2021. RE Workshops 2021: 349 - [c81]Diksha Moolchandani, Geesara Prathap, Ilya Afanasyev, Anshul Kumar, Manuel Mazzara, Smruti R. Sarangi:
Game Theory-Based Parameter-Tuning for Path Planning of UAVs. VLSID 2021: 187-192 - [i81]Muhammad Ahmad, Sidrah Shabbir, Rana Aamir Raza, Manuel Mazzara, Salvatore Distefano, Adil Mehmood Khan:
Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid CNN. CoRR abs/2101.10532 (2021) - [i80]Muhammad Ahmad, Manuel Mazzara, Salvatore Distefano:
3D/2D regularized CNN feature hierarchy for Hyperspectral image classification. CoRR abs/2104.12136 (2021) - 2020
- [j20]Osama Sohaib, Walayat Hussain, Muhammad Asif, Muhammad Ahmad, Manuel Mazzara:
A PLS-SEM Neural Network Approach for Understanding Cryptocurrency Adoption. IEEE Access 8: 13138-13150 (2020) - [j19]Shazia Maqsood, Abdul Shahid, Fakhra Nazar, Muhammad Asif, Muhammad Ahmad, Manuel Mazzara:
C-POS: A Context-Aware Adaptive Part-of-Speech Language Learning Framework. IEEE Access 8: 30720-30733 (2020) - [j18]Zainab Saleem, Muhammad Hussain Khan, Muhammad Ahmad, Sohaib Ahmed, Hamail Ayaz, Manuel Mazzara:
Prediction of Microbial Spoilage and Shelf-Life of Bakery Products Through Hyperspectral Imaging. IEEE Access 8: 176986-176996 (2020) - [j17]Andrey Pavlenko, Nursultan Askarbekuly, Swati Megha, Manuel Mazzara:
Micro-frontends: application of microservices to web front-ends. J. Internet Serv. Inf. Secur. 10(2): 49-66 (2020) - [c80]Ziyad Elbanna, Ilya Afanasyev, Luiz Jonatã Pires de Araújo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar:
A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles. AINA Workshops 2020: 34-45 - [c79]Sergey Koziakov, Manuel Mazzara:
Proximity-Based Context Information Retrieval for Bluetooth Enabled Devices. AINA Workshops 2020: 400-409 - [c78]Swati Megha, Joseph Lamptey, Hamza Mohamed Salem, Manuel Mazzara:
A Survey of Blockchain-Based Solutions for Energy Industry. AINA Workshops 2020: 787-797 - [c77]Sirojiddin Komolov, Nursultan Askarbekuly, Manuel Mazzara:
An empirical study of multi-threading paradigms Reactive programming vs continuation-passing style. ICCBD 2020: 37-41 - [c76]Nikolay Buldakov, Timur Khalilev, Salvatore Distefano, Manuel Mazzara:
An Open Source Solution for Smart Contract-Based Parking Management. OSS 2020: 55-69 - [c75]Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara:
Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project. OSS 2020: 106-119 - [p4]Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera:
Size Matters: Microservices Research and Applications. Microservices, Science and Engineering 2020: 29-42 - [p3]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina:
DevOps and Its Philosophy: Education Matters! Microservices, Science and Engineering 2020: 349-361 - [e10]Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh:
Microservices, Science and Engineering. Springer 2020, ISBN 978-3-030-31645-7 [contents] - [e9]Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12055, Springer 2020, ISBN 978-3-030-39305-2 [contents] - [e8]Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh:
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Lecture Notes in Computer Science 12271, Springer 2020, ISBN 978-3-030-57662-2 [contents] - [e7]Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi:
Proceedings of 6th International Conference in Software Engineering for Defence Applications, SEDA 2018, Rome, Italy, June 7-8, 2018. Advances in Intelligent Systems and Computing 925, Springer 2020, ISBN 978-3-030-14686-3 [contents] - [i79]Barakat J. Akinsanya, Luiz Jonata Pires de Araujo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan, Manuel Mazzara, Ozioma Okonicha N, Daniil Shilintsev:
Machine Learning and value generation in Software Development: a survey. CoRR abs/2001.08980 (2020) - [i78]Nikolay Buldakov, Timur Khalilev, Salvatore Distefano, Manuel Mazzara:
An Open Source Solution for Smart Contract-based Parking. CoRR abs/2002.05663 (2020) - [i77]Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara:
Code Review in the Classroom. CoRR abs/2004.08774 (2020)
2010 – 2019
- 2019
- [j16]Muhammad Awais, Tanzila Samin, Muhammad Awais Gulzar, Hanan Aljuaid, Muhammad Ahmad, Manuel Mazzara:
User Acceptance of HUMP-Model: The Role of E-Mavenism and Polychronicity. IEEE Access 7: 174972-174985 (2019) - [j15]Michele De Donno, Alberto Giaretta, Nicola Dragoni, Antonio Bucchiarone, Manuel Mazzara:
Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era. Future Internet 11(6): 127 (2019) - [j14]Muhammad Ahmad, Asad Khan, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Sohaib Ahmed, Omar Nibouche:
Spatial Prior Fuzziness Pool-Based Interactive Classification of Hyperspectral Images. Remote. Sens. 11(9): 1136 (2019) - [j13]Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51: 131-142 (2019) - [c74]Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Ilya Afanasyev, Jooyoung Lee:
An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles. AINA Workshops 2019: 116-128 - [c73]Ekaterina Yashkina, Arseny Pinigin, Jooyoung Lee, Manuel Mazzara, Akinlolu Solomon Adekotujo, Adam Zubair, Luca Longo:
Expressing Trust with Temporal Frequency of User Interaction in Online Communities. AINA 2019: 1133-1146 - [c72]Ilya Afanasyev, Manuel Mazzara, Subham Chakraborty, Nikita Zhuchkov, Aizhan Maksatbek, Aydin Yesildirek, Mohamad Kassab, Salvatore Distefano:
Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges. DeSE 2019: 3-8 - [c71]Alisa Gazizullina, Manuel Mazzara:
Prediction of Twitter Message Deletion. DeSE 2019: 117-122 - [c70]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin:
Teaching DevOps in Academia and Industry: Reflections and Vision. DEVOPS 2019: 1-14 - [c69]Antonio Capizzi, Salvatore Distefano, Luiz Jonata Pires de Araujo, Manuel Mazzara, Muhammad Ahmad, Evgeny Bobrov:
Anomaly Detection in DevOps Toolchain. DEVOPS 2019: 37-51 - [c68]Antonio Capizzi, Salvatore Distefano, Manuel Mazzara:
From DevOps to DevDataOps: Data Management in DevOps Processes. DEVOPS 2019: 52-62 - [c67]Mohamad Kassab, Manuel Mazzara:
Towards Designing Smart Learning Environments with IoT. DEVOPS 2019: 152-166 - [c66]Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown:
Reflections on Teaching Formal Methods for Software Development in Higher Education. FISEE 2019: 28-41 - [c65]Manuel Mazzara:
Teaching Theoretical Computer Science at Innopolis University. FISEE 2019: 60-70 - [c64]Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara:
Towards Code Review Guideline in a Classroom. FISEE 2019: 88-105 - [c63]Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara:
Internationalization Strategy of Innopolis University. FISEE 2019: 327-340 - [c62]Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara:
Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization. FISEE 2019: 341-353 - [c61]Daniel Atonge, Ananga Thapaliya, Manuel Mazzara, Subham Chakraborty, Ilya Afanasyev:
Digital image forgery. ITTCS 2019 - [c60]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
FormReq@RE2019 Preface. RE Workshops 2019: 108 - [c59]Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano, Amjad Ali, Ali Tufail:
Extended sammon projection and wavelet kernel extreme learning machine for gait-based legitimate user identification. SAC 2019: 1216-1219 - [c58]Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi, Salvatore Distefano, Vivek Kumar, Muhammad Ahmad:
A Reference Architecture for Smart and Software-Defined Buildings. SMARTCOMP 2019: 167-172 - [c57]Alisa Gazizullina, Manuel Mazzara:
Spontaneous Emotion Recognition in Response to Videos. TOOLS 2019: 203-209 - [c56]Muhammad Ahmad, Adil Mehmood Khan, Manuel Mazzara, Salvatore Distefano:
Multi-layer Extreme Learning Machine-based Autoencoder for Hyperspectral Image Classification. VISIGRAPP (4: VISAPP) 2019: 75-82 - [e6]Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
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. Lecture Notes in Computer Science 11350, Springer 2019, ISBN 978-3-030-06018-3 [contents] - [e5]Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7 [contents] - [i76]Vivek Kumar, Manuel Mazzara, Angelo Messina, JooYoung Lee:
A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism. CoRR abs/1901.06483 (2019) - [i75]Vivek Kumar, Brojo Kishore Mishra, Manuel Mazzara, Dang N. H. Thanh, Abhishek Verma:
Prediction of Malignant & Benign Breast Cancer: A Data Mining Approach in Healthcare Applications. CoRR abs/1902.03825 (2019) - [i74]Manuel Mazzara, Ilya Afanasyev, Smruti R. Sarangi, Salvatore Distefano, Vivek Kumar:
A Reference Architecture for Smart and Software-defined Buildings. CoRR abs/1902.09464 (2019) - [i73]Ekaterina Yashkina, Arseny Pinigin, Jooyoung Lee, Manuel Mazzara, Akinlolu Solomon Adekotujo, Adam Zubair, Luca Longo:
Expressing Trust with Temporal Frequency of User Interaction in Online Communities. CoRR abs/1903.05981 (2019) - [i72]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin:
Teaching DevOps in academia and industry: reflections and vision. CoRR abs/1903.07468 (2019) - [i71]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina:
DevOps and its Philosophy : Education Matters! CoRR abs/1904.02469 (2019) - [i70]Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera:
Size Matters: Microservices Research and Applications. CoRR abs/1904.03027 (2019) - [i69]Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam:
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. CoRR abs/1906.01430 (2019) - [i68]Ilya Afanasyev, Manuel Mazzara, Subham Chakraborty, Nikita Zhuchkov, Aizhan Maksatbek, Mohamad Kassab, Salvatore Distefano:
Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges. CoRR abs/1907.03817 (2019) - [i67]Ilya Afanasyev, Alexander Kolotov, Ruslan Rezin, Konstantin Danilov, Manuel Mazzara, Subham Chakraborty, Alexey M. Kashevnik, Andrey Chechulin, Aleksandr A. Kapitonov, Vladimir Jotsov, Andon V. Topalov, Nikola Georgiev Shakev, Sevil Ahmed:
Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications. CoRR abs/1907.07433 (2019) - [i66]Antonio Capizzi, Salvatore Distefano, Manuel Mazzara, Luiz Jonata Pires de Araujo, Muhammad Ahmad, Evgeny Bobrov:
Anomaly Detection in DevOps Toolchain. CoRR abs/1909.12682 (2019) - [i65]Antonio Capizzi, Salvatore Distefano, Manuel Mazzara:
From DevOps to DevDataOps: Data Management in DevOps processes. CoRR abs/1910.03066 (2019) - [i64]Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer:
Formality in Software Requirements. CoRR abs/1911.02564 (2019) - [i63]Ziyad Elbanna, Ilya Afanasyev, Luiz Jonata Pires de Araujo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar:
A Machine to Machine framework for the charging of Electric Autonomous Vehicles. CoRR abs/1911.03746 (2019) - [i62]Swati Megha, Joseph Lamptey, Hamza Salem, Manuel Mazzara:
A survey of of blockchain-based solutions for Energy Industry. CoRR abs/1911.10509 (2019) - 2018
- [j12]Mohamad Kassab, Manuel Mazzara, JooYoung Lee, Giancarlo Succi:
Software architectural patterns in practice: an empirical study. Innov. Syst. Softw. Eng. 14(4): 263-271 (2018) - [j11]Muhammad Ahmad, Mohammed A. Alqarni, Asad Khan, Adil Khan, Sajjad Hussain Chauhdary, Manuel Mazzara, Tariq Umer, Salvatore Distefano:
Smartwatch-Based Legitimate User Identification for Cloud-Based Secure Services. Mob. Inf. Syst. 2018: 5107024:1-5107024:14 (2018) - [j10]Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Stephan Thordal Larsen, Manuel Mazzara:
From Monolithic to Microservices: An Experience Report from the Banking Domain. IEEE Softw. 35(3): 50-55 (2018) - [c55]Alexandr Basov, Daniel de Carvalho, Manuel Mazzara:
Implementing Distributed Lamda-Calculus Interpreter. AINA Workshops 2018: 34-39 - [c54]Azat Khusnutdinov, Denis Usachev, Manuel Mazzara, Adil Khan, Ivan Panchenko:
Open Source Platform Digital Personal Assistant. AINA Workshops 2018: 45-50 - [c53]Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara, Ruslan Mustafin, Victor Rivera:
Gene Expression for Simulation of Biological Tissue. AINA Workshops 2018: 232-239 - [c52]Almaz Melnikov, Jooyoung Lee, Victor Rivera, Manuel Mazzara, Luca Longo:
Towards Dynamic Interaction-Based Reputation Models. AINA 2018: 422-428 - [c51]Rinat Khatipov, Aydar Negimatzhanov, Ilgiz Zamaleev, Anvar Zakirov, Manuel Mazzara, Victor Rivera:
Hikester - The Event Management Application. AINA Workshops 2018: 462-468 - [c50]Vladimir Marochko, Leonard Johard, Manuel Mazzara, Luca Longo:
Pseudorehearsal in Actor-Critic Agents with Neural Network Function Approximation. AINA 2018: 644-650 - [c49]Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera:
Model Checking in Multiplayer Games Development. AINA 2018: 826-833 - [c48]Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera:
Teaching Programming and Design-by-Contract. ICL (1) 2018: 68-76 - [c47]Vladislav Tkachuk, Maria Koreneva, Ilya Afanasyev, Victor Rivera, Manuel Mazzara:
GA-based Fractal and Neuroevolution Compressions. IEEE Conf. on Intelligent Systems 2018: 260-266 - [c46]Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin:
On M2M Micropayments: A Case Study of Electric Autonomous Vehicles. iThings/GreenCom/CPSCom/SmartData 2018: 1697-1700 - [c45]Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov:
Teaching DevOps in Corporate Environments - An Experience Report. DEVOPS 2018: 100-111 - [c44]Akinlolu Solomon Adekotujo, Jooyoung Lee, Ayokunle Oluwatoyin Enikuomehin, Manuel Mazzara, Segun Benjamin Aribisala:
Bi-lingual Intent Classification of Twitter Posts: A Roadmap. SEDA 2018: 1-9 - [c43]Evgeniy Gryaznov, Manuel Mazzara:
Semantic Query Language for Temporal Genealogical Trees. SEDA 2018: 94-109 - [c42]Sergey Karapetyan, Alexander Dolgoborodov, Sergey Masyagin, Manuel Mazzara, Angelo Messina, Ekaterina Protsko:
Innopolis Going Global - Internationalization of a Young IT University. SEDA 2018: 138-145 - [c41]Vivek Kumar, Manuel Mazzara, Angelo Messina, JooYoung Lee:
A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism. SEDA 2018: 146-158 - [c40]Nikita Lozhnikov, Leon Derczynski, Manuel Mazzara:
Stance Prediction for Russian: Data and Analysis. SEDA 2018: 176-186 - [c39]Victor Rivera, Jooyoung Lee, Manuel Mazzara:
Mapping Event-B Machines into Eiffel Programming Language. SEDA 2018: 255-264 - [c38]Adam Folohunsho Zubair, Segun Benjamin Aribisala, Marco Manca, Manuel Mazzara:
On the Parcellation of Functional Magnetic Resonance Images. SEDA 2018: 325-332 - [e4]Manuel Mazzara, Iulian Ober, Gwen Salaün:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11176, Springer 2018, ISBN 978-3-030-04770-2 [contents] - [i61]Denis Usachev, Azat Khusnutdinov, Manuel Mazzara, Adil Khan, Ivan Panchenko:
Open source platform Digital Personal Assistant. CoRR abs/1801.03650 (2018) - [i60]Almaz Melnikov, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Luca Longo:
Towards dynamic interaction-based model. CoRR abs/1801.03904 (2018) - [i59]Rinat Khatipov, Manuel Mazzara, Aydar Negimatzhanov, Victor Rivera, Anvar Zakirov, Ilgiz Zamaleev:
Hikester - the event management application. CoRR abs/1801.06400 (2018) - [i58]Alexandr Basov, Daniel de Carvalho, Manuel Mazzara:
Implementing distributed λ-calculus interpreter. CoRR abs/1802.06571 (2018) - [i57]Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera:
M2M Billing for Electric Autonomous Vehicles. CoRR abs/1804.00658 (2018) - [i56]Dragos Strugar, Rasheed Hussain, Jooyoung Lee, Manuel Mazzara, Victor Rivera:
Reputation in M2M Economy. CoRR abs/1804.04701 (2018) - [i55]Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin:
On M2M Micropayments : A Case Study of Electric Autonomous Vehicles. CoRR abs/1804.08964 (2018) - [i54]Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov:
Teaching DevOps in Corporate Environments: An experience report. CoRR abs/1807.01632 (2018) - [i53]Nikita Lozhnikov, Leon Derczynski, Manuel Mazzara:
Stance Prediction for Russian: Data and Analysis. CoRR abs/1809.01574 (2018) - 2017
- [c37]Ilya Dmitrenok, Viktor Drobnyy, Leonard Johard, Manuel Mazzara:
Evaluation of Spatial Trees for the Simulation of Biological Tissue. AINA Workshops 2017: 276-282 - [c36]Kevin Khanda, Dilshat Salikhov, Kamill Gusmanov, Manuel Mazzara, Nikolaos Mavridis:
Microservice-Based IoT for Smart Buildings. AINA Workshops 2017: 302-308 - [c35]Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara:
Link Prediction Using Top-k Shortest Distances. BICOD 2017: 101-105 - [c34]Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev:
An Architecture for Non-invasive Software Measurement. Ershov Informatics Conference 2017: 1-11 - [c33]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. Ershov Informatics Conference 2017: 95-104 - [c32]Vladimir Marochko, Leonard Johard, Manuel Mazzara:
Pseudorehearsal in Value Function Approximation. KES-AMSTA 2017: 178-189 - [c31]Munir Makhmutov, Joseph Alexander Brown, Manuel Mazzara, Leonard Johard:
MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices. SAC 2017: 543-549 - [p2]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering 2017: 195-216 - [p1]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: A Language-Based Approach. Present and Ulterior Software Engineering 2017: 217-225 - [e3]Manuel Mazzara, Bertrand Meyer:
Present and Ulterior Software Engineering. Springer 2017, ISBN 978-3-319-67424-7 [contents] - [i52]Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev:
An architecture for non-invasive software measurement. CoRR abs/1702.07138 (2017) - [i51]Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin:
Towards Static Type-checking for Jolie. CoRR abs/1702.07146 (2017) - [i50]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. CoRR abs/1702.07149 (2017) - [i49]Manuel Mazzara:
Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view. CoRR abs/1703.05185 (2017) - [i48]Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara:
Verified type checker for Jolie programming language. CoRR abs/1703.05186 (2017) - [i47]Vladimir Marochko, Leonard Johard, Manuel Mazzara:
Pseudorehearsal in value function approximation. CoRR abs/1703.07075 (2017) - [i46]Nicola Dragoni, Schahram Dustdar, Stephan Thordal Larsen, Manuel Mazzara:
Microservices: Migration of a Mission Critical System. CoRR abs/1704.04173 (2017) - [i45]Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold:
A contract-based method to specify stimulus-response requirements. CoRR abs/1704.04905 (2017) - [i44]Vladimir Marochko, Leonard Johard, Manuel Mazzara:
Pseudorehearsal in actor-critic agents. CoRR abs/1704.04912 (2017) - [i43]Mansur Khazeev, Victor Rivera, Manuel Mazzara:
Initial steps towards assessing the usability of a verification tool. CoRR abs/1704.05008 (2017) - [i42]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: a Language-based Approach. CoRR abs/1704.08073 (2017) - [i41]Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara:
Link Prediction using Top-$k$ Shortest Distances. CoRR abs/1705.02936 (2017) - [i40]Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard:
Translating Event-B machines to Eiffel programs. CoRR abs/1706.04578 (2017) - [i39]Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti:
Microservices Science and Engineering. CoRR abs/1706.07350 (2017) - [i38]Nicola Dragoni, Alberto Giaretta, Manuel Mazzara:
The Internet of Hackable Things. CoRR abs/1707.08380 (2017) - [i37]Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee:
Self-adaptive node-based PCA encodings. CoRR abs/1708.04498 (2017) - [i36]Michele De Donno, Nicola Dragoni, Alberto Giaretta, Manuel Mazzara:
AntibIoTic: Protecting IoT Devices Against DDoS Attacks. CoRR abs/1708.05050 (2017) - [i35]Alberto Giaretta, Nicola Dragoni, Manuel Mazzara:
Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer. CoRR abs/1709.05635 (2017) - [i34]Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera:
Domain Objects and Microservices for Systems Development: a roadmap. CoRR abs/1709.10255 (2017) - [i33]Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
Expressing and verifying embedded software requirements. CoRR abs/1710.02801 (2017) - [i32]Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera:
Teaching Programming and Design-by-Contract. CoRR abs/1710.07956 (2017) - [i31]Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera:
Model Checking in multiplayer games development. CoRR abs/1712.01207 (2017) - [i30]Vladimir Marochko, Leonard Johard, Manuel Mazzara, Luca Longo:
Pseudorehearsal in actor-critic agents with neural network function approximation. CoRR abs/1712.07686 (2017) - 2016
- [j9]Josu Etxaniz, Gerardo Aranguren, Manuel Mazzara:
Analysis of the data transportation multi-hop network for an intelligent environment. J. Ambient Intell. Smart Environ. 8(2): 205-218 (2016) - [c30]Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera:
Data-Driven Workflows for Microservices: Genericity in Jolie. AINA 2016: 430-437 - [c29]Vladimir Ivanov, Manuel Mazzara, Witold Pedrycz, Alberto Sillitti, Giancarlo Succi:
Assessing the process of an Eastern European software SME using systemic analysis, GQM, and reliability growth models: a case study. ICSE (Companion Volume) 2016: 251-259 - [c28]Rasul Tumyrkin, Manuel Mazzara, Mohamad Kassab, Giancarlo Succi, JooYoung Lee:
Quality Attributes in Practice: Contemporary Data. KES-AMSTA 2016: 281-290 - [c27]Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara:
Robot Dream. KES-AMSTA 2016: 291-298 - [c26]Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee:
Self-adaptive Node-Based PCA Encodings. SEDA 2016: 1-9 - [c25]Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti:
Microservices Science and Engineering. SEDA 2016: 11-20 - [c24]Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard:
Initial Steps Towards Assessing the Usability of a Verification Tool. SEDA 2016: 31-40 - [c23]Manuel Mazzara, Alberto Sillitti:
The Agile Coordination Processes. SEDA 2016: 41-51 - [c22]Michele De Donno, Nicola Dragoni, Alberto Giaretta, Manuel Mazzara:
AntibIoTic: Protecting IoT Devices Against DDoS Attacks. SEDA 2016: 59-72 - [c21]Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera:
Domain Objects and Microservices for Systems Development: A Roadmap. SEDA 2016: 97-107 - [c20]Nicola Dragoni, Alberto Giaretta, Manuel Mazzara:
The Internet of Hackable Things. SEDA 2016: 129-140 - [c19]Alberto Giaretta, Nicola Dragoni, Manuel Mazzara:
Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer. SEDA 2016: 167-175 - [c18]Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin:
Jolie Community on the Rise. SOCA 2016: 40-43 - [e2]Manuel Mazzara, Andrei Voronkov:
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. Lecture Notes in Computer Science 9609, Springer 2016, ISBN 978-3-319-41578-9 [contents] - [i29]Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera:
Refinement types in Jolie. CoRR abs/1602.06823 (2016) - [i28]Rasul Tumyrkin, Manuel Mazzara, Mohamad Kassab, Giancarlo Succi, JooYoung Lee:
Quality Attributes in Practice: Contemporary Data. CoRR abs/1602.07092 (2016) - [i27]Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara:
Robot Dream. CoRR abs/1603.03007 (2016) - [i26]Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin:
Usability of AutoProof: a case study of software verification. CoRR abs/1605.01663 (2016) - [i25]Jordi Vallverdú, Max Talanov, Salvatore Distefano, Manuel Mazzara, Alexander Tchitchigin, Ildar Nurgaliev:
A Cognitive Architecture for the Implementation of Emotions in Computing Systems. CoRR abs/1606.02899 (2016) - [i24]Michael W. Bridges, Salvatore Distefano, Manuel Mazzara, Marat Minlebaev, Max Talanov, Jordi Vallverdú:
Towards Anthropo-inspired Computational Systems: the $P^3$ Model. CoRR abs/1606.03229 (2016) - [i23]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: yesterday, today, and tomorrow. CoRR abs/1606.04036 (2016) - [i22]Manuel Mazzara, Cliff B. Jones, Alexei Iliasov:
Lessons from DEPLOYment. CoRR abs/1607.00475 (2016) - [i21]Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato:
Model Checking of BPMN Models for Reconfigurable Workflows. CoRR abs/1607.00478 (2016) - [i20]Roman Bauer, Lukas Breitwieser, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Max Talanov:
The BioDynaMo Project. CoRR abs/1607.02717 (2016) - [i19]Manuel Mazzara:
LTL-based Verification of Reconfigurable Workflows. CoRR abs/1607.03649 (2016) - [i18]Alexander Tchitchigin, Max Talanov, Larisa Safina, Manuel Mazzara:
Neuromorphic Robot Dream. CoRR abs/1607.08131 (2016) - [i17]Lukas Breitwieser, Roman Bauer, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Fons Rademakers, Max Talanov:
The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations. CoRR abs/1608.04967 (2016) - [i16]Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin:
Jolie Community on the Rise. CoRR abs/1609.09718 (2016) - [i15]Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese:
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. CoRR abs/1610.01778 (2016) - [i14]Dilshat Salikhov, Kevin Khanda, Kamill Gusmanov, Manuel Mazzara, Nikolaos Mavridis:
Microservice-based IoT for Smart Buildings. CoRR abs/1610.09480 (2016) - [i13]Ilya Dmitrenok, Viktor Drobnyy, Leonard Johard, Manuel Mazzara:
Evaluation of spatial trees for simulation of biological tissue. CoRR abs/1611.03358 (2016) - [i12]Munir Makhmutov, Joseph Alexander Brown, Manuel Mazzara, Leonard Johard:
MOMOS-MT: Mobile Monophonic System for Music Transcription. CoRR abs/1611.07351 (2016) - [i11]Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov, Manuel Mazzara, Nikolaos Mavridis:
Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices. CoRR abs/1611.08995 (2016) - 2015
- [j8]Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi:
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5(1): 1-2 (2015) - [j7]Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97: 181-182 (2015) - [c17]Max Talanov, Jordi Vallverdú, Salvatore Distefano, Manuel Mazzara, Radhakrishnan Delhibabu:
Neuromodulating Cognitive Architecture: Towards Biomimetic Emotional AI. AINA 2015: 587-592 - [c16]Michael W. Bridges, Salvatore Distefano, Manuel Mazzara, Marat Minlebaev, Max Talanov, Jordi Vallverdú:
Towards Anthropo-Inspired Computational Systems: The P3 Model. KES-AMSTA 2015: 311-321 - [i10]Larisa Safina, Manuel Mazzara, Fabrizio Montesi:
Data-driven Workflows for Microservices. CoRR abs/1511.02597 (2015) - 2014
- [j6]Manuel Mazzara, Michele Ciavotta:
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. Int. J. Syst. Serv. Oriented Eng. 4(4): 35-50 (2014) - [c15]Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of BusinessWorkflows with Recovery. ICSOFT PT 2014: 29-40 - [c14]Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara:
A Timed Semantics of Workflows. ICSOFT (Selected Papers) 2014: 365-383 - [e1]Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents] - [i9]Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce, Manuel Mazzara:
On Formalisms for Dynamic Reconfiguration of Dependable Systems. CoRR abs/1405.0319 (2014) - [i8]Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of Business Workflows with Recovery. CoRR abs/1406.1395 (2014) - 2013
- [j5]Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar:
Towards a formal analysis of dynamic reconfiguration in WS-BPEL. Intell. Decis. Technol. 7(3): 213-224 (2013) - [j4]Michele Mazzucco, Manuel Mazzara, Nicola Dragoni:
Dynamic allocation and admission policies for QoS-aware provisioning systems. Int. J. Crit. Comput. Based Syst. 4(1): 27-44 (2013) - [c13]Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara:
Towards a formalism-based toolkit for automotive applications. FormaliSE@ICSE 2013: 36-42 - [i7]Manuel Mazzara, Michele Ciavotta:
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. CoRR abs/1311.2535 (2013) - [i6]Manuel Mazzara, Luca Biselli, Pier Paolo Greco, Nicola Dragoni, Antonio Marraffa, Nafees Qamar, Simona de Nicola:
Social Networks and Collective Intelligence: A Return to the Agora. CoRR abs/1311.2551 (2013) - [i5]Rainer Gmehlich, Katrin Grau, Alexei Iliasov, Michael Jackson, Felix Loesch, Manuel Mazzara:
Towards a Formalism-Based Toolkit for Automotive Applications. CoRR abs/1311.6145 (2013) - 2012
- [j3]Manuel Mazzara, Nicola Dragoni, Mu Zhou:
Implementing Workflow Reconfiguration in WS-BPEL. J. Internet Serv. Inf. Secur. 2(1/2): 73-92 (2012) - [c12]Luca Biselli, Nicola Dragoni, Emanuela Goldoni, Pier Paolo Greco, Antonio Marraffa, Manuel Mazzara, Georgios Papageorgiou:
Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift). AT 2012: 347-348 - [c11]Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni:
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. KES-AMSTA 2012: 534-543 - [i4]Manuel Mazzara:
On Methods for the Formal Specification of Fault Tolerant Systems. CoRR abs/1207.2754 (2012) - 2011
- [j2]Manuel Mazzara, Antonio Marraffa, Luca Biselli, Luca Chiarabini:
The Polidoxa Shift: a New Approach to Social Networks. J. Internet Serv. Inf. Secur. 1(4): 74-88 (2011) - [c10]Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya:
Design, Modelling and Analysis of a Workflow Reconfiguration. PNSE 2011: 10-24 - [c9]Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya:
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. WS-FM 2011: 64-78 - 2010
- [i3]Manuel Mazzara, Anirban Bhattacharyya:
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. CoRR abs/1009.3462 (2010) - [i2]Manuel Mazzara:
Deriving Specifications of Dependable Systems: toward a Method. CoRR abs/1009.3911 (2010) - [i1]Michele Mazzucco, Manuel Mazzara, Nicola Dragoni:
Design of QoS-aware Provisioning Systems. CoRR abs/1012.0522 (2010)
2000 – 2009
- 2009
- [c8]Nicola Dragoni, Manuel Mazzara:
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. WS-FM 2009: 92-109 - 2007
- [j1]Roberto Lucchi, Manuel Mazzara:
A pi-calculus based semantics for WS-BPEL. J. Log. Algebraic Methods Program. 70(1): 96-118 (2007) - [c7]Zhixian Yan, Manuel Mazzara, Emilia Cimpian, Alexander Urbanec:
Business Process Modeling: Classifications and Perspectives. BPSC 2007: 222-227 - [c6]Zhixian Yan, Emilia Cimpian, Michal Zaremba, Manuel Mazzara:
BPMO: Semantic Business Process Modeling and WSMO Extension. ICWS 2007: 1185-1186 - 2006
- [b1]Manuel Mazzara:
Towards abstractations for web services composition. University of Bologna, Italy, 2006 - [c5]Manuel Mazzara, Ivan Lanese:
Towards a Unifying Theory for Web Services Composition. WS-FM 2006: 257-272 - 2005
- [c4]Manuel Mazzara, Sergio Govoni:
A Case Study of Web Services Orchestration. COORDINATION 2005: 1-16 - [c3]Manuel Mazzara:
Timing Issues in Web Services Composition. EPEW/WS-FM 2005: 287-302 - 2004
- [c2]Claudio Guidi, Roberto Lucchi, Manuel Mazzara:
A Formal Framework for Web Services Coordination. FOCLASA 2004: 55-70 - [c1]Manuel Mazzara, Roberto Lucchi:
A Framework for Generic Error Handling in Business Processes. WSFM 2004: 133-145
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-19 22:17 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:
