2008 |
22 | EE | Stefano Braghin,
Alberto Coen-Porisini,
Pietro Colombo,
Sabrina Sicari,
Alberto Trombetta:
Introducing privacy in a hospital information system.
SESS 2008: 9-16 |
2007 |
21 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli,
Alberto Coen-Porisini:
A formal approach for designing CORBA based applications.
ICSE 2000: 188-197 |
15 | EE | 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 | EE | 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 | EE | Alberto Coen-Porisini,
Matteo Pradella,
Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT 1998: 41-54 |
1997 |
11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alberto Coen-Porisini,
Flavio De Paoli,
Carlo Ghezzi,
Dino Mandrioli:
Software Specialization Via Symbolic Execution.
IEEE Trans. Software Eng. 17(9): 884-899 (1991) |