Daniela Castelluccia

Daniela Castelluccia

Università degli Studi di Bari Aldo Moro - Bari / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5038071
University of Bari Aldo Moro
person_outline Daniela Castelluccia's MOST POPULAR ARTICLES
1-) Modelling and verification of BPEL business processes M Mongiello, D Castelluccia Fourth Workshop on Model-Based Development of Computer-Based Systems and …, 2006 552006
2-) Modern enterprises in the bubble: Why big data mattersEG Caldarola, A Picariello, D CastellucciaACM SIGSOFT Software Engineering Notes 40 (1), 1-4, 2015402015
3-) Design verification of web applications using symbolic model checkingE Di Sciascio, FM Donini, M Mongiello, R Totaro, D CastellucciaWeb Engineering: 5th International Conference, ICWE 2005, Sydney, Australia …, 2005402005
4-) Waver: A model checking-based tool to verify web application designD Castelluccia, M Mongiello, M Ruta, R TotaroElectronic notes in theoretical Computer Science 157 (1), 61-76, 2006292006
5-) Business process lines and decision tables driving flexibility by selectionN Boffoli, D Caivano, D Castelluccia, G VisaggioSoftware Composition: 11th International Conference, SC 2012, Prague, Czech …, 2012232012