Daniela Castelluccia

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