Design Verification of Web Applications Using Symbolic Model Checking. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello; Rodolfo Totaro; Daniela Castelluccia (ICWE, 2005)

WAVer: A Model Checking-based Tool to Verify Web Application Design. - Daniela Castelluccia; Marina Mongiello; Michele Ruta; Rodolfo Totaro (SVV@ICFEM, 2005)

Modelling and verification of BPEL business processes. - Marina Mongiello; Daniela Castelluccia (MDB/MOMPES, 2006)

Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach. - Nicola Boffoli; Daniela Castelluccia; Fabrizio Maria Maggi; Roberto Rutilo (ENASE, 2008)

Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm. - Nicola Boffoli; Danilo Caivano; Daniela Castelluccia; Fabrizio Maria Maggi; Giuseppe Visaggio (SPLC (2), 2008)

Driving flexibility and consistency of business processes by means of product-line engineering and decision tables. - Nicola Boffoli; Danilo Caivano; Daniela Castelluccia; Giuseppe Visaggio (PLEASE@ICSE, 2012)

Business Process Lines and Decision Tables Driving Flexibility by Selection. - Nicola Boffoli; Danilo Caivano; Daniela Castelluccia; Giuseppe Visaggio (SC@TOOLS, 2012)

Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software. - Daniela Castelluccia; Giuseppe Visaggio (ACM SIGSOFT Softw. Eng. Notes, 2013)

Service-oriented product lines: a systematic mapping study. - Daniela Castelluccia; Nicola Boffoli (ACM SIGSOFT Softw. Eng. Notes, 2014)

Modern Enterprises in the Bubble: Why Big Data Matters. - Enrico Giacinto Caldarola; Antonio Picariello; Daniela Castelluccia (ACM SIGSOFT Softw. Eng. Notes, 2015)

Environmental Big Data: a systematic mapping study. - Daniela Castelluccia; Enrico Giacinto Caldarola; Nicola Boffoli (ACM SIGSOFT Softw. Eng. Notes, 2016)

PhytoNumb3rs: An easy-to-use computer toolkit for counting microalgae by the Utermöhl method. - Maria Rosaria Vadrucci; Leonilde Roselli; Daniela Castelluccia; Tiziana Di Festa; Daniela Donadei; Marisa Florio; Emanuela Longo; Stefania D'Arpa; Flavia Maci; Sergio Ranieri; Mariangela Spinelli; Annamaria Pastorelli; et al. (Ecol. Informatics, 2018)