Giuseppe De Ruvo
Giuseppe De Ruvo
Independent
Verified email at acm.org - Homepage
TitleCited byYear
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
302015
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
122011
An eclipse-based editor to support lotos newcomers
G De Ruvo, A Santone
2014 IEEE 23rd International WETICE Conference, 372-377, 2014
112014
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
82015
Analysing wiki quality using probabilistic model checking
G De Ruvo, A Santone
2015 IEEE 24th International Conference on Enabling Technologies …, 2015
72015
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
52015
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
42014
Integrating model driven and model checking to mine design patterns
ML Bernardi, M Cimitile, G De Ruvo, GA Di Lucca, A Santone
ICSOFT, 99-117, 2015
32015
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
22018
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
22018
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, 181-198, 2015
22015
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
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
22013
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
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
2019
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
2018
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
2018
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
2018
Powerful Equivalence Checking in the Bank Supply Process
G De Ruvo, A Santone, D Raucci
2014 IEEE World Congress on Services, 87-94, 2014
2014
WETICE 2019
H Abbas, M Abid, H Afzal, YA Ameur, AA Wakrime, A Alonso-Betanzos, ...
The system can't perform the operation now. Try again later.
Articles 1–20