The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Coen-Porisini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari
    The ESSE Project: An Overview. [Citation Graph (2, 0)][DBLP]
    Future Databases, 1992, pp:28-37 [Conf]
  2. Alberto Coen-Porisini, Luigi Lavazza, Roberto Zicari
    Updating the Schema of an Object-Oriented Database (Extended Abstract). [Citation Graph (2, 0)][DBLP]
    IEEE Data Eng. Bull., 1991, v:14, n:2, pp:33-37 [Journal]
  3. Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
    A Formal Framework for ASTRAL Inter-level Proof Obligations. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:90-108 [Conf]
  4. Alberto Coen-Porisini, Dino Mandrioli
    A Formal Framework for ASTRAL Intra-Level Proof Obligations. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:483-500 [Conf]
  5. Alberto Coen-Porisini, Flavio De Paoli
    SESADA: An Environment Supporting Software Specialization. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:266-289 [Conf]
  6. Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
    A Finite-Domain Semantics for Testing Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:41-54 [Conf]
  7. Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
    A formal approach for designing CORBA based applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:188-197 [Conf]
  8. Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi
    Designing and Enacting Simulations Using Distributed Components. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:706-717 [Conf]
  9. Alberto Coen-Porisini, Richard A. Kemmerer
    The Composability of ASTRAL Realtime Specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:128-138 [Conf]
  10. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
    Using symbolic execution for verifying safety-critical systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:142-151 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    TOOLS (10), 1993, pp:63-74 [Conf]
  12. Alberto Coen-Porisini, Flavio De Paoli
    Array Representation in Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:3, pp:197-216 [Journal]
  13. Alberto Coen-Porisini, Dino Mandrioli
    Using TRIO for designing a CORBA-based application. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:10, pp:981-1015 [Journal]
  14. Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
    A framework architecture for supervision and control systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2000, v:32, n:1es, pp:26- [Journal]
  15. Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
    From Formal Models to Formally Based Methods: An Industrial Experience. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:79-113 [Journal]
  16. Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
    A formal approach for designing CORBA-based applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:107-151 [Journal]
  17. Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
    A Formal Framework for ASTRAL Intralevel Proof Obligations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:548-561 [Journal]
  18. Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli
    Software Specialization Via Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:9, pp:884-899 [Journal]
  19. Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
    Specification of Realtime Systems Using ASTRAL. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:9, pp:572-598 [Journal]

  20. A Methodological Framework for SysML: a Problem Frames-based Approach. [Citation Graph (, )][DBLP]


  21. Introducing privacy in a hospital information system. [Citation Graph (, )][DBLP]


  22. Dealing with anonymity in wireless sensor networks. [Citation Graph (, )][DBLP]


  23. Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002