Marina Mongiello

According to our database1, Marina Mongiello authored at least 65 papers between 1999 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





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

Challenges to be addressed to realize Internet of Things solutions for smart environments.
Future Gener. Comput. Syst., 2020

A fuzzy ontology-based approach for tool-supported decision making in architectural design.
Knowl. Inf. Syst., 2019

Navigation-aware and personalized prefetching of network requests in Android apps.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

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

Architecting the Web of Things for the fog computing era.
IET Softw., 2018

LiquiDADE: a liquid-based distributed agile and adaptive development environment (DADE) multi-device tool.
Proceedings of the 1st ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering, 2018

Reflective Internet of Things Middleware-Enabled a Predictive Real-Time Waste Monitoring System.
Proceedings of the Web Engineering - 18th International Conference, 2018

MoSAIC: a middleware-induced software archIteCture design decision support system.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

Formal model for user-centred adaptive mobile devices.
IET Softw., 2017

A pre-process clustering methods for the waste collection problem.
Proceedings of the 2017 IEEE International Conference on Service Operations and Logistics, 2017

PrOnto: an Ontology Driven Business Process Mining Tool.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

A Complex Event Processing based smart aid system for fire and danger management.
Proceedings of the 7th IEEE International Workshop on Advances in Sensors and Interfaces, 2017

Semantic IoT Middleware-enabled Mobile Complex Event Processing for Integrated Pest Management.
Proceedings of the CLOSER 2017, 2017

Ontology-based Reflective Iot Middleware-Enabled Agriculture Decision Support System.
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

Context-Aware Design of Reflective Middleware in the Internet of Everything.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Persistence on different databases via reflective IoT Middleware.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

Case-based reasoning and knowledge-graph based metamodel for runtime adaptive architectural modeling.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

ReIOS: Reflective Architecting in the Internet of Objects.
Proceedings of the MODELSWARD 2016, 2016

Pushing the role of information in ICN.
Proceedings of the 23rd International Conference on Telecommunications, 2016

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

Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications.
Proceedings of the CLOSER 2016, 2016

Fuzzy Description Logics for Component Selection in Software Design.
Proceedings of the Software Engineering and Formal Methods, 2015

A Temporal Logic-based approach to query Open Street Map.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Model Checking Based Query and Retrieval in OpenStreetMap.
Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

AC-Contract: Run-Time Verification of Context-Aware Applications.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Adaptive Architectural Model for Future Internet Applications.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

A semantic-based framework for non-functional requirements and design patterns classification.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Ontology-Driven Pattern Selection and Matching in Software Design.
Proceedings of the Software Architecture - 8th European Conference, 2014

A Computational Model for Mapreduce Job Flow.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Mining the User Profile from a Smartphone: a Multimodal Agent Framework.
Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Description Logic-Based Resource Retrieval.
Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

A Model Checking-based Method for Verifying Web Application Design.
Electron. Notes Theor. Comput. Sci., 2006

WAVer: A Model Checking-based Tool to Verify Web Application Design.
Electron. Notes Theor. Comput. Sci., 2006

Finite-state verification of the ebXML protocol.
Electron. Commer. Res. Appl., 2006

Modelling and verification of BPEL business processes.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

Performance of batching schemes for multimedia-on-demand services.
IEEE Trans. Multimedia, 2005

Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.
Electron. Commer. Res. Appl., 2005

Design Verification of Web Applications Using Symbolic Model Checking.
Proceedings of the Web Engineering, 5th International Conference, 2005

Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment.
Proceedings of the E-Commerce and Web Technologies: 6th International Conference, 2005

Retrieval by spatial similarity: an algorithm and a comparative evaluation .
Pattern Recognit. Lett., 2004

A Logic for SVG Documents Query and Retrieval.
Multim. Tools Appl., 2004

Semantic-based Approach to Task Assignment of Individual Profiles.
J. UCS, 2004

A System for Principled Matchmaking in an Electronic Marketplace.
Int. J. Electron. Commer., 2004

A knowledge based system for content-based retrieval of Scalable Vector Graphics documents.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

An Agency for Semantic-Based Automatic Discovery of Web Services.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.
J. UCS, 2003

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Semantic Matchmaking in a P-2-P Electronic Marketplace.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Abductive Matchmaking using Description Logics.
Proceedings of the IJCAI-03, 2003

Concept Abduction and Contraction in Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Web Applications Design and Maintenance Using Symbolic Model Checking.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

Spatial layout representation for query-by-sketch content-based image retrieval.
Pattern Recognit. Lett., 2002

Structured Knowledge Representation for Image Retrieval.
J. Artif. Intell. Res., 2002

Using Computation Tree Logic for Intelligent Information Search on the Web.
International Journal of Computational Intelligence and Applications, 2002

AnWeb: a system for automatic support to web application verification.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

I-Search: A System for Intelligent Information Search on the Web.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Semantic Indexing for Image Retrieval Using Description Logics.
Proceedings of the Advances in Visual Information Systems, 4th International Conference, 2000

Color fragmentation-weighted histogram for sketch based image queries.
Proceedings of the 10th European Signal Processing Conference, 2000

Query by Sketch and Relevance Feedback for Content-Based Image Retrieval over the Web.
J. Vis. Lang. Comput., 1999

Content-Based Image Retrieval over the Web Using Query by Sketch and Relevance Feedback.
Proceedings of the Visual Information and Information Systems, 1999

DrawSearch: a tool for interactive content-based image retrieval over the Internet.
Proceedings of the Storage and Retrieval for Image and Video Databases VII, 1999

A Description Logic for Image Retrieval.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999