skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 3 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Mario Luca Bernardi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
I
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Improving Design Patterns Finder Precision Using a Model Checking Approach", Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, pp. 113–120, 2015.
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Integrating model driven and model checking to mine design patterns", Communications in Computer and Information Science, vol. 586, pp. 99-117, 2016.
M
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems", {ICSOFT-PT} 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, pp. 53–63, 2015.