Alberto Coen-Porisini

	2012
27		Sabrina Sicari, Luigi Alfredo Grieco, Gennaro Boggia, Alberto Coen-Porisini: DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks. Journal of Systems and Software 85(1): 152-166 (2012)
	2010
26		Luigi Lavazza, Alberto Coen-Porisini, Pietro Colombo, Vieri Del Bianco: A Meta-model Supporting the Decomposition of Problem Descriptions. ICSEA 2010: 50-57
25		Alberto Coen-Porisini, Sabrina Sicari: SeDAP: Secure Data Aggregation Protocol in Privacy Aware Wireless Sensor Networks. S-CUBE 2010: 135-150
24		Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari: Dealing with anonymity in wireless sensor networks. SAC 2010: 2216-2223
	2009
23		Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, Vieri Del Bianco: Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. ICSEA 2009: 339-345
	2008
22		Stefano Braghin, Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari, Alberto Trombetta: Introducing privacy in a hospital information system. SESS 2008: 9-16
	2007
21		Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini: A Methodological Framework for SysML: a Problem Frames-based Approach. APSEC 2007: 25-32
	2004
20		Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi: Designing and Enacting Simulations Using Distributed Components. ISCIS 2004: 706-717
	2003
19		Alberto Coen-Porisini, André van der Hoek: Software Engineering and Middleware, Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers Springer 2003
18		Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli: A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003)
	2001
17		Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
	2000
16		Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197
15		Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti: A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000)
14		Alberto Coen-Porisini, Dino Mandrioli: Using TRIO for designing a CORBA-based application. Concurrency - Practice and Experience 12(10): 981-1015 (2000)
	1999
13		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. 8(1): 79-113 (1999)
	1998
12		Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro: A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54
	1997
11		Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer: Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997)
	1995
10		Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli: A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC 1995: 90-108
	1994
9		Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli: A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20(8): 548-561 (1994)
	1993
8		Alberto Coen-Porisini, Dino Mandrioli: A Formal Framework for ASTRAL Intra-Level Proof Obligations. ESEC 1993: 483-500
7		Alberto Coen-Porisini, Richard A. Kemmerer: The Composability of ASTRAL Realtime Specifications. ISSTA 1993: 128-138
6		Fabiano Cattaneo, Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari: Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution. TOOLS (10) 1993: 63-74
5		Alberto Coen-Porisini, Flavio De Paoli: Array Representation in Symbolic Execution. Comput. Lang. 18(3): 197-216 (1993)
	1992
4		Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari: The ESSE Project: An Overview. Future Databases 1992: 28-37
	1991
3		Alberto Coen-Porisini, Flavio De Paoli: SESADA: An Environment Supporting Software Specialization. ESEC 1991: 266-289
2		Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari: Updating the Schema of an Object-Oriented Database (Extended Abstract). IEEE Data Eng. Bull. 14(2): 33-37 (1991)
1		Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli: Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)

Coauthor Index

1	Vieri Del Bianco	[21] [23] [26]
2	Gennaro Boggia	[27]
3	Stefano Braghin	[22]
4	Riccardo Capobianchi	[15]
5	Fabiano Cattaneo	[6]
6	Emanuele Ciapessoni	[13]
7	Pietro Colombo	[21] [22] [23] [24] [26]
8	Giovanni Denaro	[17]
9	Ignazio Gallo	[20]
10	Carlo Ghezzi	[1] [11] [17]
11	Luigi Alfredo Grieco	[27]
12	André van der Hoek	[19]
13	Richard A. Kemmerer	[7] [9] [10] [11]
14	Luigi Lavazza	[2] [4] [6] [21] [23] [26]
15	Dino Mandrioli	[1] [8] [9] [10] [13] [14] [15] [16] [18]
16	Piergiorgio Mirandola	[13]
17	Angelo Morzenti	[13] [15]
18	Flavio De Paoli	[1] [3] [5]
19	Mauro Pezzè	[17]
20	Pierluigi San Pietro	[12]
21	Matteo Pradella	[12] [16] [18]
22	Matteo Rossi	[16] [18]
23	Sabrina Sicari	[22] [24] [25] [27]
24	Alberto Trombetta	[22]
25	Antonella Zanzi	[20]
26	Roberto Zicari	[2] [4] [6]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page