Research activities

Research Topics
My main fields of interest are software engineering of distributed systems, graphs grammars, self-adaptive and pervasive systems, and autonomic middleware. My interests include also formal design, implementation, testing and provisioning of distributed communicating systems and cooperative networked services, model-based analysis and design of correctness properties including testability, robustness, adaptability and reconfiguration.

Guest editor of:
- IET: IET Software
- FGCS:Future Generation Computer Systems
- JSS:Journal of Systems and Software
- IJCENT: International Journal of Collaborative Enterprises
- IJAACS: International Journal of Autonomous and Adaptive Communications Systems

Organization Committee Member of:
- METHODICA-II 2012, WETICE 2012, METHODICA-I 2013, METHODICA-I 2014, METHODICA-I 2015, METHODICA-I 2017, ESBM 2017, CRiSIS 2019
- Co-Chair of: AROSA 2013, AROSA 2014, , AROSA 2015, ASOCA 2016, AROSA 2017, ASOCA 2017, AROSA 2018, ASOCA 2018, AROSA 2019, ASOCA 2019, CAL2019

Program Committee Member of:
- CAL 2010, Web2Touch 2012, Crisis 2012, AROSA 2013, PMDE'2013, iCEER 2013
- CAL 2013, ECSA 2013, Web2Touch 2014, MOLCA 2014, CAL 2014
- CAL 2015 (TPCC), MESM'2015, AICCSA 2015
- CSP'2016, Web2Touch 2016, AICCSA 2016, SWC 2016, FNC 2016, IPAC'2016
- CSP'2017, Web2Touch 2017, FNC 2017, CloudTech'17, ICICS2017, ECSA 2017, AICCSA 2017, ACM SAC 2017 SiSoS track
- CloudTech'18, FNC-2018, Web2Touch 2018, SDD'2018, ACM SAC 2018 SiSoS track, SESOS-ICSE2018, AICCSA 2018
- ACM SAC 2019 SiSoS track, EDI40-19, FNC 2019, AICCSA 2019, ICCCI 2019, REMEDY2019, SCA19, CRiSIS 2019
- CloudTech'20, EDI40-2020, FNC2020, ICAPAI 2020

Reviewer of the following journals :
- ACM's Transactions on Internet Technology
- Int. Journal On Advances in Systems and Measurements
- Int. Journal of Cooperative Information Systems
- Journal of Sensor and Actuator Networks
- Int. Journal of Multimedia and Ubiquitous Engineering
- Int. Journal of Applied Decision Sciences
- Interactive Technology and Smart Education
- Journal of Universal Computer Science
- Int. Journal of Communication Networks and Distributed Systems
- Int. Journal of Computer Aided Engineering and Technology
- Revue Ingénierie des Systèmes d'Information
- Future Generation Computer Systems Journal
- Journal of Systems and Software
- Handbook of Research on Mobility and Computing
- Future Generation Computer Systems
- Service Oriented Computing and Applications
- Wiley Concurrency and Computation: Practice and Experience
- Int. Journal of Business and Systems Research
- IEEE Transactions on NanoBioscience
- IEEE Access
- IET Software

Tools

GMTE, the graph matching and transformation engine is an efficient tool we have been implementing in C++. It is an efficient implementation of an extension of Messmer's algorithm. Our experiments show that the tool is capable of searching small and medium graph patterns in huge graphs in a short time. When only constant labels are considered, its complexity is similar to the complexity of Ullmann's algorithm. The tool can be used non-interactively as a C++ library providing a function that can be invoked from either a C++ or a Java main program. The tool can be used as a C++ executable that reads rule graph and host graph description from input GraphXML files.

GMTE is available here

BiGMTE, BiGMTE is a tool for bigraph matching and transformation. It allows to execute the application of a reaction rule on a given bigraph to be rewritten (i.e., determines for a given bigraph B and a reaction rule R whether and how the reaction rule can be applied to rewrite the bigraph B). This execution under BiGMTE is based on graph rewirinting.