Daniela Castelluccia

Orcid: 0000-0001-9760-0405

According to our database1, Daniela Castelluccia authored at least 12 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
PhytoNumb3rs: An easy-to-use computer toolkit for counting microalgae by the Utermöhl method.
Ecol. Informatics, 2018

2016
Environmental Big Data: a systematic mapping study.
ACM SIGSOFT Softw. Eng. Notes, 2016

2015
Modern Enterprises in the Bubble: Why Big Data Matters.
ACM SIGSOFT Softw. Eng. Notes, 2015

2014
Service-oriented product lines: a systematic mapping study.
ACM SIGSOFT Softw. Eng. Notes, 2014

2013
Teaching evidence-based software engineering: learning by a collaborative mapping study of open source software.
ACM SIGSOFT Softw. Eng. Notes, 2013

2012
Business Process Lines and Decision Tables Driving Flexibility by Selection.
Proceedings of the Software Composition - 11th International Conference, 2012

Driving flexibility and consistency of business processes by means of product-line engineering and decision tables.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2008
Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach.
Proceedings of the ENASE 2008, 2008

2006
Modelling and verification of BPEL business processes.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

2005
WAVer: A Model Checking-based Tool to Verify Web Application Design.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Design Verification of Web Applications Using Symbolic Model Checking.
Proceedings of the Web Engineering, 5th International Conference, 2005


  Loading...