Giuseppe De Ruvo

According to our database, Giuseppe De Ruvo authored at least 20 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Reusing Bugged Source Code to Support Novice Programmers in Debugging Tasks.

Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo

ACM Trans. Comput. Educ., 2020

2019

Mining Developer's Behavior from Web-Based IDE Logs.

Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Learning analytics to improve coding abilities: a fuzzy-based process mining approach.

Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018

Bridging Theory and Practice in Programming Lectures With Active Classroom Programmer.

Nasser Giacaman, Giuseppe De Ruvo

IEEE Trans. Educ., 2018

Unencapsulated Collection: A Teachable Design Smell.

Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Nasser Giacaman

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Interactive Learning of Abstract Programming Concepts with InteractiveOOP.

Asheer Ahmad, Harsh Chokshi, Giuseppe De Ruvo, Nasser Giacaman

Proceedings of the International Conference on Learning and Teaching in Computing and Engineering, 2018

ParallelAR: An Augmented Reality App and Instructional Approach for Learning Parallel Programming Scheduling Concepts.

Marin Abernethy, Oliver Sinnen, Joel C. Adams, Giuseppe De Ruvo, Nasser Giacaman

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Understanding semantic style by analysing student code.

Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Gerard B. Rowe, Nasser Giacaman

Proceedings of the 20th Australasian Computing Education Conference, Brisbane, QLD, Australia, January 30, 2018

2015

Analysing Wiki Quality Using Probabilistic Model Checking.

Giuseppe De Ruvo, Antonella Santone

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Equivalence-Based Selection of Best-Fit Models to Support Wiki Design.

Giuseppe De Ruvo, Antonella Santone

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Integrating Model Driven and Model Checking to Mine Design Patterns.

Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.

Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone

Proceedings of the ICSOFT-PT 2015, 2015

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.

Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.

Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Improving Design Patterns Finder Precision Using a Model Checking Approach.

Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone

Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2014

A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis.

Giuseppe De Ruvo, Antonella Santone

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Eclipse-Based Editor to Support LOTOS Newcomers.

Giuseppe De Ruvo, Antonella Santone

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Powerful Equivalence Checking in the Bank Supply Process.

Giuseppe De Ruvo, Antonella Santone, Domenico Raucci

Proceedings of the 2014 IEEE World Congress on Services, 2014

2013

An approach for restructuring text content.

Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, Maria Tortorella

Proceedings of the 35th International Conference on Software Engineering, 2013

2011

User generated (web) content: trash or treasure.

Giovanni M. Alluvatti, Andrea Capiluppi, Giuseppe De Ruvo, Marco Molfetta

Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011