Contact Information

Phone: +39 080 5963524



Ingegneria del Software

Informatica per l

Advanced Software Engineering

Marina Mongiello

Associate Professor


Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems
From Software Engineering to Formal Methods and Tools, and Back 2019: 19-39

Key-pair generation using Fingerprint-based seed in Blockchain Systems
In Proceedings of 2022 Blockchain and Cryptocurrency Conference (B2C 2022)


A Reward-based Blockchain Platform for Exchanging Goods and Services
In Proceedings of 2022 Blockchain and Cryptocurrency Conference (B2C 2022)


Cyber-Attack Mitigation in Cloud-Fog Environment Using an Ensemble Machine Learning Model
In Proceedings of 2022 7th International Conference on Smart and Sustainable Technologies (SpliTech)

A User Behavior Analytics (UBA)-based solution using LSTM Neural Network to mitigate DDoS Attack in Fog and Cloud Environment
in Proceedings of 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH)

IOT data-driven experimental process optimisation for kevlar fiberglass components for aeronautic
2021 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4. 0&IoT)

Ensemble-Based Software Engineering for Modern Computing Platforms
ACM SIGSOFT Software Engineering Notes

Digital Age of Consent and Age Verification: Can They Protect Children?
IEEE Software

Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms

Guest Editorial: Industry 4.0: the DIGITAl Transformation in the Engineering findings (DIGITATE)
IET JoE Special Issue Industry 4.0: the DIGITAl Transformation in the Engineering findings (DIGITATE)

A model for Reflective Middleware based on fuzzy rule for context-awareness injection in ubiquitous computing environments
Proceedings of IEEE International Conference on Smart and Sustainable Technologies 2019:(SpliTech 2019)

An Innovative Smart System based on IoT Technologies for Fire and Danger Situations
Proceedings of IEEE International Conference on Smart and Sustainable Technologies 2019:(SpliTech 2019)

Navigation-aware and Personalized Prefetching of Network Requests in Android Apps
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

LiquiDADE: a Liquid-based Distributed Agile and Adaptive Development Environment (DADE) Multi-Device tool
Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)

Preface of the 2nd International Workshop on Engineering the Web of Things (EnWoT)
Current trends in Web Engineering (ICWE 2018 International Workshops)

A Microservices-based IoT Monitoring System to improve the Safety in Public Buildings
3rd International Conference on Smart and Sustainable Technologies ( SpliTech 2018)

A Smart IoT-aware System for Crisis Scenarios Management
Journal of Communications Software and Systems

Preface of Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software
Current trends in Web Engineering (ICWE 2017 International Workshops)

A pre-process clustering methods for the Waste Collection Problem
IEEE International Conference on Service Operations, Logistics, and Informatics (SOLI 2017)

An adaptive Complex Event Processing-driven SIoT network formal metamodel
3rd Italian Conference on ICT for Smart Cities & Communities (I-CiTies 2017)

A Complex Event Processing (CEP)-based aid system for fire and danger management
The 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI 2017)

PrOnto: an Ontology Driven Business Process Mining Tool
21st International Conference on Knowledge Based and Intelligent Information and Engineering Systems ( KES 2017)

Ontology-based reflective Iot middleware-enabled agriculture Decision Support System
9th International Semantic Web Applications and tools for life sciences Conference (SWAT4LS 2016)

Runtime Architectural Modeling for Future Internet Applications
Complex and Intelligent Systems

Context-aware design of reflective middleware in the Internet of Everything
1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) - Co-located with Software Technologies: Applications and Foundations (STAF 2016)

Linking data in digital libraries: the case of Puglia Digital Library
1st Workshop on Humanities in the Semantic Web - WHiSe -- Co-located with the 13th Extended Semantic Web Conference (ESWC 2016)

Pushing the Role of Information in ICN
Proccedings of the 23th International Conference on Telecommunications

Towards a goal-oriented approach to adaptable re-deployment of cloud-based applications
5th International Conference on Cloud Computing and Services Science (Closer 2016)

ReIOS: Reflective Architecting in the Internet of Objects
4th International Conference on Model-driven Engineering and Software Development (Modelsward 2016)

Adaptive architectural model for Future internet applications
5th International Workshop on Adaptive services for future internet

Fuzzy Description Logics for component selection in software design
SCART2015 1st Int. Workshop on the “ART” of Software Composition (SCART 2015) - 13th SEFM

AC-contract: Run-time verification of context-aware applications
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015

Ontology-driven pattern selection and matching in software design
Software Architecture - 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings.

Finite-state verification of the ebXML protocol
Electronic Commerce Research and Applications

WAVer: A Model Checking-based Tool to Verify Web Application Design
Electronic Notes on Theoretical Computer Science

Performance of batching schemes for multimedia-on-demand services
IEEE Transactions on Multimedia

Design verification of web applications using symbolic model checking
Intl. Conf. on Web Engineering 2005 ICWE 05

AnWeb: a System for Automatic Support to Web Application Verification
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference

Knowledge Representation for Matchmaking in P2P
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale

Web Applications Design and Maintenance using Symbolic Model Checking
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering

Semantic Matchmaking in a P2P Electronic Marketplace
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03

Abductive Matchmaking using Description Logics
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03

EbXML verification using Model Checking
Proceedings of 26th International Conference on Information Technology Interfaces

Content-Based Retrieval of Landmark Images using Structured Knowledge Representation
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001)

A Knowledge-Based System for Person-to-Person E-Commerce
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001)

Verifying integrity constraints on web-based systems using model checking
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico