Manuel Mazzara

According to our database1, Manuel Mazzara authored at least 172 papers between 2004 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Hyperspectral Image Classification - Traditional to Deep Models: A Survey for Future Prospects.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022

Attention Autoencoder for Generative Latent Representational Learning in Anomaly Detection.
Sensors, 2022

A Fast and Compact 3-D CNN for Hyperspectral Image Classification.
IEEE Geosci. Remote. Sens. Lett., 2022

Attention Mechanism Meets with Hybrid Dense Network for Hyperspectral Image Classification.
CoRR, 2022

2021
Microservices: Migration of a Mission Critical System.
IEEE Trans. Serv. Comput., 2021

Trustworthiness for Transportation Ecosystems: The Blockchain Vehicle Information System.
IEEE Trans. Intell. Transp. Syst., 2021

Hyperspectral Imaging for Bloodstain Identification.
Sensors, 2021

Regularized CNN Feature Hierarchy for Hyperspectral Image Classification.
Remote. Sens., 2021

Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants.
Neural Comput. Appl., 2021

Benchmarks and performance metrics for assessing the migration to microservice-based architectures.
J. Object Technol., 2021

Smart Cities in Russia: Current Situation and Insights for Future Development.
Future Internet, 2021

The Role of Formalism in System Requirements.
ACM Comput. Surv., 2021

3D/2D regularized CNN feature hierarchy for Hyperspectral image classification.
CoRR, 2021

Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid CNN.
CoRR, 2021

Game Theory-Based Parameter-Tuning for Path Planning of UAVs.
Proceedings of the 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, 2021

Welcome from the Organizers FormReq 2021.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Automatically Injecting Semantic Annotations into Online Articles.
Proceedings of the Advanced Information Networking and Applications, 2021

Survey on Blockchain Applications for Healthcare: Reflections and Challenges.
Proceedings of the Advanced Information Networking and Applications, 2021

TeleML: Deploying Trained Machine Learning Models in Cross-Platform Applications.
Proceedings of the Advanced Information Networking and Applications, 2021

Towards a Secure Smart Parking Solution for Business Entities.
Proceedings of the Advanced Information Networking and Applications, 2021

A Survey on Data Science Techniques for Predicting Software Defects.
Proceedings of the Advanced Information Networking and Applications, 2021

Building an Educational Product: Constructive Alignment and Requirements Engineering.
Proceedings of the Advances in Artificial Intelligence, Software and Systems Engineering, 2021

2020
Micro-frontends: application of microservices to web front-ends.
J. Internet Serv. Inf. Secur., 2020

Code Review in the Classroom.
CoRR, 2020

An Open Source Solution for Smart Contract-based Parking.
CoRR, 2020

Machine Learning and value generation in Software Development: a survey.
CoRR, 2020

A PLS-SEM Neural Network Approach for Understanding Cryptocurrency Adoption.
IEEE Access, 2020

Prediction of Microbial Spoilage and Shelf-Life of Bakery Products Through Hyperspectral Imaging.
IEEE Access, 2020

C-POS: A Context-Aware Adaptive Part-of-Speech Language Learning Framework.
IEEE Access, 2020

An Open Source Solution for Smart Contract-Based Parking Management.
Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project.
Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

A Survey of Blockchain-Based Solutions for Energy Industry.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Proximity-Based Context Information Retrieval for Bluetooth Enabled Devices.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Size Matters: Microservices Research and Applications.
Proceedings of the Microservices, Science and Engineering., 2020

DevOps and Its Philosophy: Education Matters!
Proceedings of the Microservices, Science and Engineering., 2020

2019
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang., 2019

Spatial Prior Fuzziness Pool-Based Interactive Classification of Hyperspectral Images.
Remote. Sens., 2019

Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era.
Future Internet, 2019

Formality in Software Requirements.
CoRR, 2019

Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications.
CoRR, 2019

Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges.
CoRR, 2019

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.
CoRR, 2019

Size Matters: Microservices Research and Applications.
CoRR, 2019

DevOps and its Philosophy : Education Matters!
CoRR, 2019

A Reference Architecture for Smart and Software-defined Buildings.
CoRR, 2019

Prediction of Malignant & Benign Breast Cancer: A Data Mining Approach in Healthcare Applications.
CoRR, 2019

User Acceptance of HUMP-Model: The Role of E-Mavenism and Polychronicity.
IEEE Access, 2019

Multi-layer Extreme Learning Machine-based Autoencoder for Hyperspectral Image Classification.
Proceedings of the 14th International Joint Conference on Computer Vision, 2019

Spontaneous Emotion Recognition in Response to Videos.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

A Reference Architecture for Smart and Software-Defined Buildings.
Proceedings of the IEEE International Conference on Smart Computing, 2019

Extended sammon projection and wavelet kernel extreme learning machine for gait-based legitimate user identification.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

FormReq@RE2019 Preface.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Digital image forgery.
Proceedings of the 6th International Young Scientists Conference on Information Technologies, 2019

Towards Code Review Guideline in a Classroom.
Proceedings of the Frontiers in Software Engineering Education, 2019

Teaching Theoretical Computer Science at Innopolis University.
Proceedings of the Frontiers in Software Engineering Education, 2019

Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization.
Proceedings of the Frontiers in Software Engineering Education, 2019

Internationalization Strategy of Innopolis University.
Proceedings of the Frontiers in Software Engineering Education, 2019

Reflections on Teaching Formal Methods for Software Development in Higher Education.
Proceedings of the Frontiers in Software Engineering Education, 2019

Towards Designing Smart Learning Environments with IoT.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

From DevOps to DevDataOps: Data Management in DevOps Processes.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Anomaly Detection in DevOps Toolchain.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Prediction of Twitter Message Deletion.
Proceedings of the 12th International Conference on Developments in eSystems Engineering, 2019

Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges.
Proceedings of the 12th International Conference on Developments in eSystems Engineering, 2019

Expressing Trust with Temporal Frequency of User Interaction in Online Communities.
Proceedings of the Advanced Information Networking and Applications, 2019

An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018
From Monolithic to Microservices: An Experience Report from the Banking Domain.
IEEE Softw., 2018

Smartwatch-Based Legitimate User Identification for Cloud-Based Secure Services.
Mob. Inf. Syst., 2018

Software architectural patterns in practice: an empirical study.
Innov. Syst. Softw. Eng., 2018

Reputation in M2M Economy.
CoRR, 2018

M2M Billing for Electric Autonomous Vehicles.
CoRR, 2018

Implementing distributed λ-calculus interpreter.
CoRR, 2018

Towards dynamic interaction-based model.
CoRR, 2018

On the Parcellation of Functional Magnetic Resonance Images.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Mapping Event-B Machines into Eiffel Programming Language.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Stance Prediction for Russian: Data and Analysis.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Innopolis Going Global - Internationalization of a Young IT University.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Semantic Query Language for Temporal Genealogical Trees.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Bi-lingual Intent Classification of Twitter Posts: A Roadmap.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Teaching DevOps in Corporate Environments - An Experience Report.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

On M2M Micropayments: A Case Study of Electric Autonomous Vehicles.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

GA-based Fractal and Neuroevolution Compressions.
Proceedings of the 9th IEEE International Conference on Intelligent Systems, 2018

Gene Expression for Simulation of Biological Tissue.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Model Checking in Multiplayer Games Development.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Towards Dynamic Interaction-Based Reputation Models.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Pseudorehearsal in Actor-Critic Agents with Neural Network Function Approximation.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Open Source Platform Digital Personal Assistant.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Hikester - The Event Management Application.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Implementing Distributed Lamda-Calculus Interpreter.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017
Teaching Programming and Design-by-Contract.
CoRR, 2017

Expressing and verifying embedded software requirements.
CoRR, 2017

Translating Event-B machines to Eiffel programs.
CoRR, 2017

A contract-based method to specify stimulus-response requirements.
CoRR, 2017

Towards Static Type-checking for Jolie.
CoRR, 2017

Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view.
CoRR, 2017

Pseudorehearsal in actor-critic agents.
CoRR, 2017

Initial steps towards assessing the usability of a verification tool.
CoRR, 2017

Microservices: a Language-based Approach.
CoRR, 2017

Microservices: Migration of a Mission Critical System.
CoRR, 2017

Verified type checker for Jolie programming language.
CoRR, 2017

MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices.
Proceedings of the Symposium on Applied Computing, 2017

Pseudorehearsal in Value Function Approximation.
Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2017

Microservices: How To Make Your Application Scale.
Proceedings of the Perspectives of System Informatics, 2017

An Architecture for Non-invasive Software Measurement.
Proceedings of the Perspectives of System Informatics, 2017

Link Prediction Using Top-k Shortest Distances.
Proceedings of the Data Analytics - 31st British International Conference on Databases, 2017

Microservice-Based IoT for Smart Buildings.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Evaluation of Spatial Trees for the Simulation of Biological Tissue.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Microservices: A Language-Based Approach.
Proceedings of the Present and Ulterior Software Engineering., 2017

Microservices: Yesterday, Today, and Tomorrow.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Analysis of the data transportation multi-hop network for an intelligent environment.
J. Ambient Intell. Smart Environ., 2016

A Cognitive Architecture for the Implementation of Emotions in Computing Systems.
CoRR, 2016

Neuromorphic Robot Dream.
CoRR, 2016

Refinement types in Jolie.
CoRR, 2016

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing.
CoRR, 2016

Lessons from DEPLOYment.
CoRR, 2016

LTL-based Verification of Reconfigurable Workflows.
CoRR, 2016

MOMOS-MT: Mobile Monophonic System for Music Transcription.
CoRR, 2016

Usability of AutoProof: a case study of software verification.
CoRR, 2016

Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices.
CoRR, 2016

Microservices: yesterday, today, and tomorrow.
CoRR, 2016

Towards Anthropo-inspired Computational Systems: the $P^3$ Model.
CoRR, 2016

The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations.
CoRR, 2016

The BioDynaMo Project.
CoRR, 2016

Model Checking of BPMN Models for Reconfigurable Workflows.
CoRR, 2016

Jolie Community on the Rise.
Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Domain Objects and Microservices for Systems Development: A Roadmap.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

The Agile Coordination Processes.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Microservices Science and Engineering.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Initial Steps Towards Assessing the Usability of a Verification Tool.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Self-adaptive Node-Based PCA Encodings.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

The Internet of Hackable Things.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

AntibIoTic: Protecting IoT Devices Against DDoS Attacks.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Quality Attributes in Practice: Contemporary Data.
Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016

Robot Dream.
Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016

Assessing the process of an Eastern European software SME using systemic analysis, GQM, and reliability growth models: a case study.
Proceedings of the 38th International Conference on Software Engineering, 2016

Data-Driven Workflows for Microservices: Genericity in Jolie.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015
Special issue on Service-Oriented Architecture and Programming (SOAP 2013).
Sci. Comput. Program., 2015

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.
J. Internet Serv. Inf. Secur., 2015

Data-driven Workflows for Microservices.
CoRR, 2015

Towards Anthropo-Inspired Computational Systems: The P<sup>3</sup> Model.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2015

Neuromodulating Cognitive Architecture: Towards Biomimetic Emotional AI.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

2014
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services.
Int. J. Syst. Serv. Oriented Eng., 2014

An LTL Semantics of Business Workflows with Recovery.
CoRR, 2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.
CoRR, 2014

An LTL Semantics of BusinessWorkflows with Recovery.
Proceedings of the ICSOFT-PT 2014, 2014

A Timed Semantics of Workflows.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

2013
Dynamic allocation and admission policies for QoS-aware provisioning systems.
Int. J. Crit. Comput. Based Syst., 2013

Towards a formal analysis of dynamic reconfiguration in WS-BPEL.
Intell. Decis. Technol., 2013

Social Networks and Collective Intelligence: A Return to the Agora.
CoRR, 2013

Towards a formalism-based toolkit for automotive applications.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012
Implementing Workflow Reconfiguration in WS-BPEL.
J. Internet Serv. Inf. Secur., 2012

On Methods for the Formal Specification of Fault Tolerant Systems
CoRR, 2012

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift).
Proceedings of the First International Conference on Agreement Technologies, 2012

2011
The Polidoxa Shift: a New Approach to Social Networks.
J. Internet Serv. Inf. Secur., 2011

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Design, Modelling and Analysis of a Workflow Reconfiguration.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
Design of QoS-aware Provisioning Systems
CoRR, 2010

Deriving Specifications of Dependable Systems: toward a Method
CoRR, 2010

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
CoRR, 2010

2009
A Formal Semantics for the WS-BPEL Recovery Framework - The <i>pi</i>-Calculus Way.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2007
A pi-calculus based semantics for WS-BPEL.
J. Log. Algebraic Methods Program., 2007

A Formal Framework for Web Services Coordination.
Electron. Notes Theor. Comput. Sci., 2007

BPMO: Semantic Business Process Modeling and WSMO Extension.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Business Process Modeling: Classifications and Perspectives.
Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007

2006
Towards a Unifying Theory for Web Services Composition.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2005
Timing Issues in Web Services Composition.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

A Case Study of Web Services Orchestration.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
A Framework for Generic Error Handling in Business Processes.
Electron. Notes Theor. Comput. Sci., 2004


  Loading...