Follow
Giuseppe De Ruvo
Giuseppe De Ruvo
Staff Engineer in Finance, x-KCL [London], x-UoA [Auckland, NZ]
Verified email at acm.org
Title
Cited by
Cited by
Year
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
382018
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
322015
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
232019
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
202019
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
192018
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
172011
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
152018
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
122015
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
112019
An eclipse-based editor to support lotos newcomers
G De Ruvo, A Santone
2014 IEEE 23rd International WETICE Conference, 372-377, 2014
112014
Analysing wiki quality using probabilistic model checking
G De Ruvo, A Santone
2015 IEEE 24th International Conference on Enabling Technologies …, 2015
102015
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
102015
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
82013
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
62014
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
42016
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
32018
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
32016
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
22018
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
22015
Parassiti degli ovini trasmessi da zecche: osservazioni epidemiologiche in Puglia
E Pieragostini, G De Ruvo, A Alongi, S Scimeca, A Torina
Atti XIX Congresso Nazionale SIPAOC Supplemento al N° 5 di Large Animal …, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20