Publications :: Search

Show author

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

Author information
First name:	Alberto
Last name:	Coen-Porisini
DBLP:	90/5778
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 10 of 22  

Select a publication
Show	Title	Venue	Rating	Date
	Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, Vieri Del Bianco. Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support.	The Fourth International Conference on Software Engineering Advances, ICSEA 2009, 20-25 September 2009, Porto, Portugal 2009	(0)	2009
	Stefano Braghin, Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari, Alberto Trombetta. Introducing privacy in a hospital information system.	Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008 2008	(0)	2008
	Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini. A Methodological Framework for SysML: a Problem Frames-based Approach.	14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan 2007	(0)	2007
	Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi. Designing and Enacting Simulations Using Distributed Components.	Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings 2004	(0)	2004
	Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli. A formal approach for designing CORBA-based applications.	ACM Trans. Softw. Eng. Methodol. 2003, Volume 12	(0)	2003
	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè. Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE 2001	(0)	2001
	Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini. A formal approach for designing CORBA based applications.	ICSE 2000	(0)	2000
	Alberto Coen-Porisini, Dino Mandrioli. Using TRIO for designing a CORBA-based application.	Concurrency - Practice and Experience 2000, Volume 12	(0)	2000
	Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti. A framework architecture for supervision and control systems.	ACM Comput. Surv. 2000, Volume 32	(0)	2000
	Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti. From Formal Models to Formally Based Methods: An Industrial Experience.	ACM Trans. Softw. Eng. Methodol. 1999, Volume 8	(0)	1999

Your query returned 22 matches in the database.