Welcome

Thank you for stopping by...

Giuseppe De Ruvo, Ph.D., is a Software Engineer,
member of IEEE and
IEEE Computer Society.

He is a Post-doc Research Fellow (appt as Lecturer Step 1) in the Dept. of Electrical and Computer Engineering at The University of Auckland, Auckland, New Zealand.

---

About

Giuseppe (Pino, as he prefers to be called since his birth) De Ruvo comes from the center-south of Italy. He always loved computers and ICT since he was 8. He holds a Master's Degree in Computer Science Engineering (focused on Software Engineering) - cum laude - from the University of Sannio (Benevento, Italy) with a thesis on User Generated Content and Reuse.

He received the PhD in Information Engineering from the Department of Engineering of the University of Sannio (Benevento, Italy) under the supervision of Prof. Antonella Santone. He successfully defended a thesis on "Refactoring and Evolution of Wikis through Formal Verification" in July 2015.

He currently is a Postdoctoral Research Fellow at the first university in New Zealand, The University of Auckland -- the 81st by QS World Ranking


Feel free to contact him dropping an e-mail or choose another way to communicate with him

Next

Research Interests

Overview

Pino has always been leveraging the state of art of techniques, methods, tools, and technologies to accomplish his industry and research goals.

Pino currently works on Software Engineering Education, that is driving the development of tools and apps (e.g. mobile, VR) to help students learn difficult programming concepts and instructors to focus on what students struggle to understand.

Pino's main research interests have been in the area of Formal Methods and Software Engineering. In particular, during his PhD studies, he applied formal verification (model checking and equivalence checking) to different contexts like Wiki Mining, Bioinformatics, Business Process Management and Design Patterns Mining. Furthermore, since he is not a “pure formalist” he has been trying to create new solutions to improve the user experience of formal verification tools, in order to facilitate the development and application of formal methods in various disciplines.

He started working with Free Libre Open Source Software projects (FLOSS) and wikis in 2011 when he was Research Assistant at University of East London in the Centre of Research on Open Source Software (CROSS) lead by Cornelia Boldyreff.

Wiki Mining

Data Mining on Wikis. Pino analyses wiki-data offline.

Design Pattern Mining

The use of Design Patterns has constantly grown in the development of Object Oriented systems, due to the well-known advantage they offer to improve the quality of software design. However, lack of documentation about which Design Patterns are actually adopted and implemented in the code and about the code components involved in the implementation of each Design Pattern instance can make harder any operation of maintenance, reuse, or evolution impacting those components. Thus, several Design Pattern Mining approaches and tools have been proposed to identify the instances of Design Pattern implemented in an Object oriented system.

Next

Papers

[C12] M. L. Bernardi, M. Cimitile, G. De Ruvo, G. A. Di Lucca, A. Santone. Integrating Model Driven and Model Checking to Mine Design Patterns. Software Technologies, 2016. In press. [Springer link]
[C11] G. De Ruvo, G. Lettieri, D. Martino, A. Santone, and G. Vaglini, k-bisimulation: a bisimulation for measuring the dissimilarity between processes. Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers [ Springer link]
[C10] M. L. Bernardi, M. Cimitile, G. De Ruvo, G. A. Di Lucca, A. Santone. Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. In Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT-PT), Colmar, Alsace, France, 20-22 July, 2015. pp 53-63 [pdf]
[C9] G. De Ruvo, A. Santone. Equivalence-based Selection of Best-fit Models to Support Wiki Design. In Proceedings of the 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015), Larnaca, Cyprus, 2015. pp 204-209 [pdf]
[C8] G. De Ruvo, A. Santone. Analysing Wiki Quality using Probabilistic Model Checking. In Proceedings of the 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015), Larnaca, Cyprus, 2015. pp 224-229 [pdf]
[C7] M. Ceccarelli, L. Cerulo, G. De Ruvo, V. Nardone, A. Santone. Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2015, Florence, Italy, May 2015. pp 26-32 [pdf]
[C6] M. L. Bernardi, M. Cimitile, G. De Ruvo, G. A. Di Lucca, A. Santone. Improving Design Patterns Finder Precision Using a Model Checking Approach. In Proceedings of CEUR-WS, CAiSE Forum, Stockolm, Sweden, 2015. pp 113-120 [pdf]
[C5] G. De Ruvo, A. Santone, D. Raucci. Powerful Equivalence Checking in the Bank Supply Process. In Proceedings of the 10th World Congress on Services (SERVICES 2014), Anchorage, Alaska, USA, 2014. pp 87-94. [pdf]
[C4] G. De Ruvo, A. Santone. An Eclipse-based Editor to Support LOTOS Newcomers. In Proceedings of the 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Parma, Italy, 2014. pp 372-377 [pdf]
[C3] G. De Ruvo, A. Santone. A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. In Proceedings of the 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Parma, Italy, 2014. pp 411-416 [pdf]
[C2] L. Aversano, G. Canfora, G. De Ruvo, M. Tortorella. An approach for restructuring text content. In Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, USA, 2013. IEEE Press. NIER Track. pp. 1125-1228. [pdf]
[C1] G. Alluvatti, A. Capiluppi, G. De Ruvo, M. Molfetta. User Generated (Web) Content: Trash or Treasure. In Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th Annual ERCIM Workshop on Software Evolution (IWPSE-EVOL'11), Szeged, Hungary, 2011. ACM Press. ISBN: 9978-1-4503-0848-9, pp. 81-90. [pdf]


Next

Organising Committee Member of International Conferences

Program Committee member of Semantic Technologies in Smart Information Sharing and Web Collaboration Conference Track (Web2Touch 2017) @ the 26th IEEE WETICE Conference (WETICE 2017), Poznan, Poland.

Program Committee member of Modelling the Collaborative Web Knowledge Conference Track (Web2Touch 2016) @ the 25th IEEE WETICE Conference (WETICE 2016), Paris.

Invited Talks

"An Unusual Context for Formal Verification: Wiki Evolution", Department of Computer Science and Engineering, University of Bologna, Italy, 9th September 2015

"Two (Unusual) Applications of Model Checking: Wiki Evolution and Design Pattern(s) Mining", Technische Universität München, Institut für Informatik, Munich, Germany, 22nd October 2015

Panelist for the PEPPER project (interview) "Interdisciplinary Research by means of Model Checking", Oxford Brookes University, Wheatley Campus, Oxford, United Kingdom, 7th January 2016

Next

E-mail: gderuvo [at] ieee [dot] org