Daniela Castelluccia

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 2

Top Topics

Variable Precision

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Ecol. Informatics

Publications

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, Nicola Ungaro
PhytoNumb3rs: An easy-to-use computer toolkit for counting microalgae by the Utermöhl method. Ecol. Informatics 46 (2018)
Daniela Castelluccia, Enrico Giacinto Caldarola, Nicola Boffoli
Environmental Big Data: a systematic mapping study. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Enrico Giacinto Caldarola, Antonio Picariello, Daniela Castelluccia
Modern Enterprises in the Bubble: Why Big Data Matters. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Daniela Castelluccia, Nicola Boffoli
Service-oriented product lines: a systematic mapping study. ACM SIGSOFT Softw. Eng. Notes 39 (2) (2014)
Daniela Castelluccia, Giuseppe Visaggio
Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software. ACM SIGSOFT Softw. Eng. Notes 38 (6) (2013)
Nicola Boffoli, Danilo Caivano, Daniela Castelluccia, Giuseppe Visaggio
Driving flexibility and consistency of business processes by means of product-line engineering and decision tables. PLEASE@ICSE (2012)
Nicola Boffoli, Danilo Caivano, Daniela Castelluccia, Giuseppe Visaggio
Business Process Lines and Decision Tables Driving Flexibility by Selection. SC@TOOLS (2012)
Nicola Boffoli, Danilo Caivano, Daniela Castelluccia, Fabrizio Maria Maggi, Giuseppe Visaggio
Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm. SPLC (2) (2008)
Nicola Boffoli, Daniela Castelluccia, Fabrizio Maria Maggi, Roberto Rutilo
Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach. ENASE (2008)
Marina Mongiello, Daniela Castelluccia
Modelling and verification of BPEL business processes. MDB/MOMPES (2006)
Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
WAVer: A Model Checking-based Tool to Verify Web Application Design. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Design Verification of Web Applications Using Symbolic Model Checking. ICWE (2005)