Giuseppe De Ruvo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2013–2019
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | WETICE | Mining Developer's Behavior from Web-Based IDE Logs. | Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo |
| 2018 | ACE | Understanding semantic style by analysing student code. | Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Gerard B. Rowe, Nasser Giacaman |
| 2018 | SIGCSE | Unencapsulated Collection: A Teachable Design Smell. | Giuseppe De Ruvo, Ewan D. Tempero, Andrew Luxton-Reilly, Nasser Giacaman |
| 2015 | CaiSE | Improving Design Patterns Finder Precision Using a Model Checking Approach. | Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone |
| 2015 | ICSE | Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. | Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone |
| 2015 | ICSoft | 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 |
| 2015 | ICSoft | Integrating Model Driven and Model Checking to Mine Design Patterns. | Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone |
| 2015 | WETICE | Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. | Giuseppe De Ruvo, Antonella Santone |
| 2015 | WETICE | Analysing Wiki Quality Using Probabilistic Model Checking. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | WETICE | An Eclipse-Based Editor to Support LOTOS Newcomers. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | WETICE | A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | SERVICES | Powerful Equivalence Checking in the Bank Supply Process. | Giuseppe De Ruvo, Antonella Santone, Domenico Raucci |
| 2013 | ICSE | An approach for restructuring text content. | Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, Maria Tortorella |