Understanding semantic style by analysing student code G De Ruvo, E Tempero, A Luxton-Reilly, GB Rowe, N Giacaman Proceedings of the 20th Australasian Computing Education Conference, 73-82, 2018 | 47 | 2018 |
Infer gene regulatory networks from time series data with probabilistic model checking M Ceccarelli, L Cerulo, G De Ruvo, V Nardone, A Santone 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 26-32, 2015 | 32 | 2015 |
Learning analytics to improve coding abilities: a fuzzy-based process mining approach P Ardimento, ML Bernardi, M Cimitile, G De Ruvo 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-7, 2019 | 25 | 2019 |
Mining developer's behavior from web-based IDE logs P Ardimento, ML Bernardi, M Cimitile, G De Ruvo 2019 IEEE 28th International Conference on Enabling Technologies …, 2019 | 22 | 2019 |
Bridging theory and practice in programming lectures with active classroom programmer N Giacaman, G De Ruvo IEEE Transactions on Education 61 (3), 177-186, 2018 | 21 | 2018 |
Reusing Bugged Source Code to Support Novice Programmers in Debugging Tasks P Ardimento, ML Bernardi, M Cimitile, G De Ruvo ACM Transactions on Computing Education (TOCE) 20 (1), 1-24, 2019 | 19 | 2019 |
User generated (web) content: trash or treasure GM Alluvatti, A Capiluppi, G De Ruvo, M Molfetta Proceedings of the 12th International Workshop on Principles of Software …, 2011 | 17 | 2011 |
ParallelAR: An augmented reality app and instructional approach for learning parallel programming scheduling concepts M Abernethy, O Sinnen, J Adams, G De Ruvo, N Giacaman 2018 IEEE International Parallel and Distributed Processing Symposium …, 2018 | 15 | 2018 |
Model checking to improve precision of design pattern instances identification in OO systems ML Bernardi, M Cimitile, G De Ruvo, GA Di Lucca, A Santone 2015 10th International Joint Conference on Software Technologies (ICSOFT) 2 …, 2015 | 13 | 2015 |
Analysing wiki quality using probabilistic model checking G De Ruvo, A Santone 2015 IEEE 24th International Conference on Enabling Technologies …, 2015 | 11 | 2015 |
Improving Design Patterns Finder Precision Using a Model Checking Approach. ML Bernardi, M Cimitile, G De Ruvo, GA Di Lucca, A Santone CAiSE forum, 113-120, 2015 | 10 | 2015 |
An eclipse-based editor to support lotos newcomers G De Ruvo, A Santone 2014 IEEE 23rd International WETICE Conference, 372-377, 2014 | 10 | 2014 |
An approach for restructuring text content L Aversano, G Canfora, G De Ruvo, M Tortorella 2013 35th International Conference on Software Engineering (ICSE), 1225-1228, 2013 | 8 | 2013 |
A novel methodology based on formal methods for analysis and verification of wikis G De Ruvo, A Santone 2014 IEEE 23rd International WETICE Conference, 411-416, 2014 | 6 | 2014 |
Integrating model driven and model checking to mine design patterns ML Bernardi, M Cimitile, G De Ruvo, GA Di Lucca, A Santone Software Technologies: 10th International Joint Conference, ICSOFT 2015 …, 2016 | 4 | 2016 |
Multidrug resistant Enterococcus faecium isolate from cholangitis/cholecystitis in a dog A Sposato, M Cordisco, G de Ruvo, S Ferro, RA Raineri, A Trotta, ... Veterinary Medicine and Science 8 (4), 1366-1372, 2022 | 3 | 2022 |
Unencapsulated collection: A teachable design smell G De Ruvo, E Tempero, A Luxton-Reilly, N Giacaman Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018 | 3 | 2018 |
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes G De Ruvo, G Lettieri, D Martino, A Santone, G Vaglini Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 3 | 2016 |
Interactive learning of abstract programming concepts with interactiveoop A Ahmad, H Chokshi, G De Ruvo, N Giacaman 2018 International Conference on Learning and Teaching in Computing and …, 2018 | 2 | 2018 |
Equivalence-based selection of best-fit models to support wiki design G De Ruvo, A Santone 2015 IEEE 24th International Conference on Enabling Technologies …, 2015 | 2 | 2015 |