Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Daniela
Last name:	Castelluccia
DBLP:	98/3787
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	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.	Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops) 2008	(0)	2008
	Marina Mongiello, Daniela Castelluccia. 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, MBD/MOMPES 2006, Potsdam, Germany, March 3 2006	(0)	2006
	Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro. WAVer: A Model Checking-based Tool to Verify Web Application Design.	Electr. Notes Theor. Comput. Sci. 2006, Volume 157	(0)	2006
	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia. Design Verification of Web Applications Using Symbolic Model Checking.	Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings 2005	(0)	2005

Your query returned 4 matches in the database.