Giuseppe De Ruvo

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 8

Top Topics

Temporal Properties

Probabilistic Model

Top Venues

Publications

Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo
Reusing Bugged Source Code to Support Novice Programmers in Debugging Tasks. ACM Trans. Comput. Educ. 20 (1) (2020)
Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo
Learning analytics to improve coding abilities: a fuzzy-based process mining approach. FUZZ-IEEE (2019)
Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo
Mining Developer's Behavior from Web-Based IDE Logs. WETICE (2019)
Marin Abernethy, Oliver Sinnen, Joel C. Adams, Giuseppe De Ruvo, Nasser Giacaman
ParallelAR: An Augmented Reality App and Instructional Approach for Learning Parallel Programming Scheduling Concepts. IPDPS Workshops (2018)
Asheer Ahmad, Harsh Chokshi, Giuseppe De Ruvo, Nasser Giacaman
Interactive Learning of Abstract Programming Concepts with InteractiveOOP. LaTiCE (2018)
Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Nasser Giacaman
Unencapsulated Collection: A Teachable Design Smell. SIGCSE (2018)
Nasser Giacaman, Giuseppe De Ruvo
Bridging Theory and Practice in Programming Lectures With Active Classroom Programmer. IEEE Trans. Educ. 61 (3) (2018)
Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Gerard B. Rowe, Nasser Giacaman
Understanding semantic style by analysing student code. ACE (2018)
Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
Improving Design Patterns Finder Precision Using a Model Checking Approach. CAiSE Forum (2015)
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS (2015)
Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. ICSOFT-PT (2015)
Giuseppe De Ruvo, Antonella Santone
Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. WETICE (2015)
Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE (2015)
Giuseppe De Ruvo, Antonella Santone
Analysing Wiki Quality Using Probabilistic Model Checking. WETICE (2015)
Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
Integrating Model Driven and Model Checking to Mine Design Patterns. ICSOFT (Selected Papers) (2015)
Giuseppe De Ruvo, Antonella Santone
An Eclipse-Based Editor to Support LOTOS Newcomers. WETICE (2014)
Giuseppe De Ruvo, Antonella Santone, Domenico Raucci
Powerful Equivalence Checking in the Bank Supply Process. SERVICES (2014)
Giuseppe De Ruvo, Antonella Santone
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. WETICE (2014)
Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, Maria Tortorella
An approach for restructuring text content. ICSE (2013)
Giovanni M. Alluvatti, Andrea Capiluppi, Giuseppe De Ruvo, Marco Molfetta
User generated (web) content: trash or treasure. EVOL/IWPSE (2011)