stack photo

Marina

Mongiello

Assistant Professors


It’s magical how something so simple represents so much

(Albus Dumbledore - Harry Potter)

Publications in 2017


A pre-process clustering methods for the Waste Collection Problem.

Angelo Parchitelli, Francesco Nocera, Giorgio Iacobellis, Marina Mongiello, Tommaso Di Noia, Eugenio Di Sciascio
IEEE International Conference on Service Operations, Logistics, and Informatics (SOLI 2017) - Sep 2017


An adaptive Complex Event Processing-driven SIoT network formal metamodel. i_cities2017.pdf

Francesco Nocera, Tommaso Di Noia, Marina Mongiello, Angelo Parchitelli, Eugenio Di Sciascio, Stefano Bistarelli
3rd Italian Conference on ICT for Smart Cities & Communities (I-CiTies 2017) - sep 2017


Preface of Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software.

Niko Makitalo, Marina Mongiello, Francesco Nocera, Tommaso Di Noia, Eugenio Di Sciascio, Tommi Mikkonen, Cesare Pautasso, Kari Systä , Antero Taivalsaari
Current trends in Web Engineering (ICWE 2017 International Workshops) - 2017


PrOnto: an Ontology Driven Business Process Mining Tool. KES2017.pdf

Stefano Bistarelli, Tommaso Di Noia, Marina Mongiello, Francesco Nocera
21st International Conference on Knowledge Based and Intelligent Information and Engineering Systems ( KES 2017) - sep 2017



Publications in 2016


Context-aware design of reflective middleware in the Internet of Everything. Verycomp_STAF_2016.pdf

Marina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli
1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) - Co-located with Software Technologies: Applications and Foundations (STAF 2016) - july 2016


Linking data in digital libraries: the case of Puglia Digital Library. Linking data in digital libraries the case of Puglia Digital Library.pdf

Tommaso Di Noia, Azzurra Ragone, Andrea Maurino, Marina Mongiello, Maria Paola Marzocca, Giuseppe Cultrera, Mauro Paolo Bruno
1st Workshop on Humanities in the Semantic Web - WHiSe -- Co-located with the 13th Extended Semantic Web Conference (ESWC 2016) - 2016


Ontology-based reflective Iot middleware-enabled agriculture Decision Support System.

Tommaso Di Noia, Marina Mongiello, Francesco Nocera, Eugenio Di Sciascio
9th International Semantic Web Applications and tools for life sciences Conference (SWAT4LS 2016) - 2016



Pushing the Role of Information in ICN. Pages from ict2016.pdf

Simona Colucci, Marina Mongiello
Proccedings of the 23th International Conference on Telecommunications - 2016


ReIOS: Reflective Architecting in the Internet of Objects.

Marina Mongiello, Gennaro Boggia, Eugenio Di Sciascio
4th International Conference on Model-driven Engineering and Software Development (Modelsward 2016) - 2016


Runtime Architectural Modeling for Future Internet Applications. main_springer.pdf

Marina Mongiello, Simona Colucci, Elvis Vogli, L. Alfredo Grieco, Massimo Sciancalepore
Complex and Intelligent Systems, Volume 2, Number 2, page 111-124 - June 2016


Towards a goal-oriented approach to adaptable re-deployment of cloud-based applications. main.pdf

Patrizia Scandurra, Marina Mongiello, Simona Colucci, L. Alfredo Grieco
5th International Conference on Cloud Computing and Services Science (Closer 2016) - 2016


Publications in 2015


AC-contract: Run-time verification of context-aware applications.

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 - 2015


Adaptive architectural model for Future internet applications.

Marina Mongiello, L. Alfredo Grieco, Massimo Sciancalepore, Elvis Vogli
5th International Workshop on Adaptive services for future internet - 2015


Fuzzy Description Logics for component selection in software design.

Tommaso Di Noia, Marina Mongiello, Umberto Straccia
SCART2015 1st Int. Workshop on the “ART” of Software Composition (SCART 2015) - 13th SEFM - 2015



Publications in 2014



Ontology-driven pattern selection and matching in software design.

Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio
Software Architecture - 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings., page 82-89 - 2014


Publications in 2013


Publications in 2006

A Model Checking-based Method for Verifying Web Application Design. donini_et_al_ENTCS2006.pdf

Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 151, Number 2, page 19--32 - 2006


Finite-state verification of the ebXML protocol.

Marina Mongiello
Electronic Commerce Research and Applications, Volume 5, Number 2, page 147--169 - 2006


Modelling and verification of BPEL business processes.

Daniela Castelluccia, Marina Mongiello
MDB/MOMPES 2006, page 144-148 - 2006


WAVer: A Model Checking-based Tool to Verify Web Application Design. castelluccia_et_al_ENTCS2006.pdf

Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 157, Number 1, page 61--76 - 2006


Publications in 2005




Design verification of web applications using symbolic model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Intl. Conf. on Web Engineering 2005 ICWE 05, Springer-Verlag, Volume 3579, page 69--74 - 2005


Performance of batching schemes for multimedia-on-demand services.

Gennaro Boggia, Pietro Camarda, P. Mazzeo, Marina Mongiello
IEEE Transactions on Multimedia, Volume 7, Number 5, page 920--931 - 2005


Publications in 2004


A Logic for SVG Documents Query and Retrieval. 04070821061724384.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Multimedia Tools and Applications, Volume 24, Number 2, page 125--153 - 2004


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Electronic Commerce, Volume 8, Number 4, page 9--37 - 2004






EbXML verification using Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 26th International Conference on Information Technology Interfaces, page 455--460 - 2004




Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Luciano Allegretti
Pattern Recognition Letters, Volume 25, Number 14, page 1633--1645 - 2004


Semantic-based Approach to Task Assignment of Individual Profiles. IKnow04.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 4th International Conference on Knowledge Management (I-Know '04), page 285--292 - 2004




Publications in 2003

A formal approach to ontology-based semantic match of skills descriptions. jucs03.ps

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola
Journal of Universal Computer Science (J.UCS), Volume 9, Number 12, page 1437--1454 - Dec. 2003


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Twelfth International World Wide Web Conference WWW 2003 ACM press, page 321--330 - May 2003


Abductive Matchmaking using Description Logics. 651ijcai-03.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, page 337--342 - Aug. 2003


Concept Abduction and Contraction in Description Logics. DL03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 16th International Workshop on Description Logics (DL'03), Volume 81 - Sept. 2003


Description Logics Approach to Semantic Matching of Web Services. iti03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 25th Int. Conf. on Information Technology Interfaces, page 545--550 - Jun. 2003


Description Logics Approach to Semantic Matching of Web Services. CIT03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Computing and Information Technology, Volume 11, Number 3, page 217--224 - 2003



Logic Based Approach to Web Services Discovery and Matchmaking. icec03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03 - Sept. 2003



Semantic Matchmaking in a P2P Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03, page 582--586 - Mar. 2003


Web Applications Design and Maintenance using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering, page 63--72 - Mar. 2003


Publications in 2002

A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A logical framework and an application for matchmaking in e-commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico - 25--27 September 2002


AnWeb: a System for Automatic Support to Web Application Verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference, page 609--616 - July 2002


I-Search: a System for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Foundations of Intelligent Systems, Springer-Verlag, Number 2366, page 149--157 - 2002


Knowledge Representation for Matchmaking in P2P.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale - 11--13 September 2002




Structured Knowledge Representation for Image Retrieval. disciascio02a.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Artificial Intelligence Research(JAIR), Volume 16, page 209--257 - 2002


Using Computation Tree Logic for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Computational Intelligence and Applications, Volume 2, Number 3, page 245--253 - 2002


Publications in 2001

A Knowledge-Based System for Person-to-Person E-Commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), Volume 44, page 609--616 - 2001





Content-Based Retrieval of Landmark Images using Structured Knowledge Representation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001) - 2001


Verifying integrity constraints on web-based systems using model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - September 2001


SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy