| Modelling and verification of BPEL business processes M Mongiello, D Castelluccia Fourth Workshop on Model-Based Development of Computer-Based Systems and …, 2006 | 56 | 2006 |
| Modern enterprises in the bubble: Why big data matters EG Caldarola, A Picariello, D Castelluccia ACM SIGSOFT Software Engineering Notes 40 (1), 1-4, 2015 | 41 | 2015 |
| Design verification of web applications using symbolic model checking E Di Sciascio, FM Donini, M Mongiello, R Totaro, D Castelluccia Web Engineering: 5th International Conference, ICWE 2005, Sydney, Australia …, 2005 | 40 | 2005 |
| Waver: A model checking-based tool to verify web application design D Castelluccia, M Mongiello, M Ruta, R Totaro Electronic notes in theoretical Computer Science 157 (1), 61-76, 2006 | 29 | 2006 |
| Business process lines and decision tables driving flexibility by selection N Boffoli, D Caivano, D Castelluccia, G Visaggio Software Composition: 11th International Conference, SC 2012, Prague, Czech …, 2012 | 22 | 2012 |
| Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm. N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio SPLC (2), 143-147, 2008 | 14 | 2008 |
| Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software D Castelluccia, G Visaggio ACM SIGSOFT Software Engineering Notes 38 (6), 1-4, 2013 | 12 | 2013 |
| Driving flexibility and consistency of business processes by means of product-line engineering and decision tables N Boffoli, D Caivano, D Castelluccia, G Visaggio 2012 Third International Workshop on Product LinE Approaches in Software …, 2012 | 12 | 2012 |
| Service-oriented product lines: a systematic mapping study D Castelluccia, N Boffoli ACM SIGSOFT Software Engineering Notes 39 (2), 1-6, 2014 | 8 | 2014 |
| Design Verification of Web Applications Using Symbolic Model Checking. 5th Int E Di Sciascio, FM Donini, M Mongiello, R Totaro, D Castelluccia Conference on Web Engineering, 2005 | 5 | 2005 |
| Environmental big data: a systematic mapping study D Castelluccia, EG Caldarola, N Boffoli ACM SIGSOFT Software Engineering Notes 41 (6), 1-4, 2017 | 3 | 2017 |
| Tabularizing the Business Knowledge: automated detection and fixing of anomalies N Boffoli, D Caivano, D Castelluccia, G Visaggio | 2 | 2013 |
| Tabularizing the Business Knowledge: modeling, maintenance and validation N Boffoli, D Castelluccia, G Visaggio Organization change and Information Systems - Lecture Notes in Information …, 2013 | 2 | 2013 |
| Innovation in Business Processes: Pattern-driven Process Modelling P ARDIMENTO, N BOFFOLI, D CAIVANO, D CASTELLUCCIA, ... Information Systems: Crossroads for Organization, Management, Accounting and …, 2011 | 2 | 2011 |
| Flexible process modeling through decision tables N Boffoli, D Castelluccia, FM Maggi, R Rutilo IASTED Software Engineering, 2008 | 2 | 2008 |
| A model checking based approach for web applications design verification M MONGIELLO, R TOTARO, FM DONINI, G PISCITELLI, ... Atti del XLIII Congresso Associazione Italiana Calcolo Automatico, 2005 | 2 | 2005 |
| How to Face Anomalies in your Flexible Business Process? The Decision Table Rules! P ARDIMENTO, N BOFFOLI, D CASTELLUCCIA, M SCALERA Re-shaping Organizations through Digital and Social Innovation, 193-204, 2016 | 1 | 2016 |
| Business Process Lines for SOA Development through SPL Paradigm N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio Service-Oriented Architectures and Software Product Lines, 2008, 2008 | | 2008 |
| Business Process Lines to develop Service Service-Oriented Architectures through Product Lines Paradigm N Boffoli, D Caivano, D Castelluccia, FM Maggi, G Visaggio Proceedings of the international Software Product Lines Conference, 2008 | | 2008 |
| Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach N Boffoli, D Castelluccia, F Maggi, R Rutilo ENASE, 147-156, 2008 | | 2008 |
nicola boffoliAssistant Professor, Department of Informatics, University of BariVerified email at di.uniba.it
