Giuseppe De Ruvo

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