Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari,
"Updating the Schema of an Object Oriented Database",
IEEE Data Engineering Buletin, vol.14, n.2, June 1991, pp. 33 - 37

Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli,
"Software Specialization via Symbolic Execution", 
IEEE Transactions on Software Engineering, vol.17, n.9, September 1991, pp. 884 - 899

Alberto Coen Porisini,
"Un esame critico di un linguaggio Object Oriented: Eiffel",
 Rivista di Informatica - AICA -, vol. 22, n.2, April 1992, pp.119 - 138

Alberto Coen-Porisini, Flavio De Paoli,
"Array Representation in Symbolic Execution",
Computer Languages, vol.18, n.3, March 1993, pp. 197 - 216

Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari,
"Assuring Type Safety of Object Oriented Languages",
Journal of Object Oriented Programming, vol.5, n.9, February 1994, pp. 25 - 30

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli,
"A Formal Framework for ASTRAL Intra-Level Proof Obligations",
IEEE Transactions on Software Engineering, vol. 20, n. 8, August 1994, pp. 548 - 561

Alberto Coen Porisini, Carlo Ghezzi, Richard A. Kemmerer,
"Specification of Realtime Systems Using ASTRAL",
IEEE Transactions on Software Engineering, vol.23, n 9, September 1997, pp. 572 - 598

Emanuele Ciapessoni, Alberto Coen-Porisini, Ernani Crivelli, Dino Mandrioli,
Piergiorgio Mirandola, Angelo Morzenti,
"From Formal models to formal based methods: an industrial experience",
ACM Transactions on Software Engineering and Methodologies, January 1999

Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti,
"A Framework architecture for Supervision and Control Systems",
ACM Computing Surveys Symposium on Frameworks, March 2000

Alberto Coen-Porisini, Dino Mandrioli,
"Using TRIO for designing a CORBA based application",
Concurrency: Practice and Experience, August 2000

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli,
"A Formal Approach for Designing CORBA-based Applications",
ACM Transactions on Software Engineering and Methodologies, vol.12, n. 2, April 2003, pp. 107-151

Alberto Coen-Porisini et al.,
"Ingegneria del Software - Esercizi Risolti",
CittàStudi, 1994

Alberto Coen-Porisini, André van der Hoek (eds),
 "Software Engineering and Middleware (SEM 2002)",
Lecture Notes in Computer Science - LNCS Vol. 2596
Springer-Verlag, 2003

Alberto Coen-Porisini, Alfio Lombardo, Sergio Palazzo,
"The EVA tool: An approach to verifying structuring in Estelle specification", in
The Formal Description Technique ESTELLE,
North-Holland Publishing Company, December 1988, pp. 303 - 321

Riccardo Capobianchi, Denis Carcagno, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti,
"A framework architecture for the development of new generation supervision and control systems", in
Object Oriented Applications Frameworks: Applications and Experiences,
Eds. M. Fayad, D. Schmidt, J. Wiley, 1999

Alberto Coen-Porisini, Flavio De Paoli,
"Uno strumento di supporto al riuso del software",
Atti del Congresso annuale AICA 1988,
Cagliari (I), 28 - 30 September 1988, pp 223 - 237

Alberto Coen, Alfio Lombardo, Sergio Palazzo,
"A tool for the automatic analysis of sequential and parallel communication among protocol entities",
Proceedings of the Singapore International Conference On Networks 1989,
Singapore, 17 - 20 July 1989, pp. 355 - 360

Alberto Coen-Porisini, Angelo Morzenti, Donatella Sciuto,
"Hardware Specification with the Temporal Logic TRIO",
Proceedings of the 1990 ACM International Workshop on
Timing Issues in the Specification and Synthesis of Digital Systems - TAU '90 ,
Vancouver (Canada), 15 - 17 August 1990

Alberto Coen-Porisini, Flavio De Paoli,
"Symbad: a Symbolic Executor of Sequential Ada Programs",
Proceedings of the International Conference on Safety, Security and
Reliability Related Computer for the 1990's - SafeComp '90,
London (UK), 30 October - 2 November 1990, pp. 105 - 111

Alberto Coen-Porisini, Angelo Morzenti, Donatella Sciuto,
"Specification and Verification of Hardware Systems using the Temporal Logic Language TRIO",
Proceedings of the 10th International Symposium on
Computer Hardware Description Languages and their Applications - IFIP CHDL 91,
Marseille (F), 22 - 24 April 1991, pp. 43 - 61

Giacomo Buonanno, Alberto Coen-Porisini, William Fornaciari,
"Hardware Specification using the assertion language ASTRAL",
Proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies,
Torino (I), 11 - 13 June 1991, pp. 335-358

Alberto Coen-Porisini, Flavio De Paoli,
"SESADA: An Environment Supporting Software Specialization",
Proceedings of the Third European Software Engineering Conference - ESEC '91,
Milano (I), 20 - 24 October 1991, Lecture Notes on Computer Sciences, n. 550, pp. 266 - 289

Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari,
"The ESSE Project: An overview",
Proceedings of the Second Far East Workshop on Future Database Systems,
Kyoto (JP), 27 - 28 April 1992, Vol. 3 , pp. 28 - 37

Fabiano Cattaneo, Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari,
"The ESSE project: supporting object-oriented database schema analysis and evolution. Overview and Progress Report",
Proceedings of the TOOLS EUROPE '93, Versailles (F), 8 - 11 March 1993

Alberto Coen-Porisini, Richard A. Kemmerer,
"The composability of ASTRAL Realtime Specifications",
Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '93,
Cambridge, Massachusetts (US), 28 - 30 June 1993

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli,
"A Formal Framework for ASTRAL Intra-Level Proof Obligations",
Proceedings of the Fourth European Software Engineering Conference - ESEC '93,
Garmisch-Partenkirchen (D), September 1993, Lecture Notes in Computer Science n.717, pp. 483 - 500

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli,
"A Formal Framework for ASTRAL Inter-Level Proof Obligations",
Proceedings of the Fifth European Software Engineering Conference - ESEC '95,
Sitges (E), September 1995, Lecture Notes in Computer Science n.989, pp. 90 - 108

Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro,
"A finite domain semantics for executing temporal logic specifications",
Proceedings of the 5th International Synposium on
Formal Techniques in Real-Time and Fault-Tolerant Systems,
Lyngby (DK), September 16-18, 1998

Alberto Coen-Porisini, Daniela Gatti, Daniele Mariani,
"High Level Design of Supervision and Control Systems using CORBA: An Example",
Proceedings of the 15th IFAC Workshop on Distributed Computer Control Systems 98,
Como(I), September 9-11,1998

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi,
"An Evolutionary Approach to the Design of Supervision and Control Systems",
Proceeding of the International Workshop on the Principles of Software Evolution, IWPSE99,
Fukuoka (JP), July 16-17, 1999

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
"A Stepwise Approach for design CORBA-based Applications",
Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000,
Limerick (IR), June 4-11, 2000

Luciano Baresi, Alberto Coen-Porisini
"An Approach for Designing and Enacting Distributed Simulation Environments"
Proceedings of the International Conference on Software: Theory and Practice, ICS 2000,
Beijing (China), August 25-28, 2000

Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Dino Mandrioli
"Using Symbolic Execution for Verifying Safety-Critical Systems"
Proceedings of the Joint 8th European Software Engineering Conference (ESEC 2001)
and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2001)
Vienna (A), September 10-14, 2001

Alberto Coen-Porisini
"Using CORBA for Integrating Heterogeneous Simulators"
14th International Conference on Software & Systems Engineering & their Applications (ICSSA 2001)
Paris (F), December 4-6, 2001

Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi
"Designing and Enacting Simulations Using Distributed Components"
19th International Symposium on Computer and Information Sciences (ISCIS 2004)
Antalya (TR), October 27-29, 2004

Moreno Carullo, Antonella Zanzi, Ignazio Gallo, Alberto Coen-Porisini
"An Events Synchronization Approach for Integration of Simulators in a Distributed Environment",
Proceedings of the Industrial Simulation Conference (ISC 2006)
Palermo (I), June 5-7, 2006

Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini
"An Experience in Modeling Rea-Time Systems with SysML"
International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES)
Genova (I), October 2, 2006

Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi
"Integration of Web Based Simulators in the SINPL Platform",
20th European Simulation and Modeling Conference (ESM 2006)
Toulouse (F), October 23-25, 2006