BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × Ireland
1 × Italy
1 × Spain
1 × Switzerland
1 × USA
Collaborated with:
D.Mandrioli R.A.Kemmerer F.D.Paoli P.Colombo S.Sicari G.Denaro C.Ghezzi M.Pezzè M.Pradella M.Rossi F.Cattaneo L.Lavazza R.Zicari
Talks about:
formal (3) astral (3) framework (2) support (2) proof (2) oblig (2) level (2) wireless (1) progress (1) overview (1)

Person: Alberto Coen-Porisini

DBLP DBLP: Coen-Porisini:Alberto

Contributed to:

SAC 20102010
ESEC/FSE 20012001
ICSE 20002000
ESEC 19951995
ESEC 19931993
ISSTA 19931993
TOOLS Europe 19931993
ESEC 19911991

Wrote 8 papers:

SAC-2010-Coen-PorisiniCS #network
Dealing with anonymity in wireless sensor networks (ACP, PC, SS), pp. 2216–2223.
ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification
Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.
ICSE-2000-PradellaRMC #approach #corba #design #formal method
A formal approach for designing CORBA based applications (MP, MR, DM, ACP), pp. 188–197.
ESEC-1995-Coen-PorisiniKM #framework #proving
A Formal Framework for ASTRAL Inter-level Proof Obligations (ACP, RAK, DM), pp. 90–108.
ESEC-1993-Coen-PorisiniM #framework #proving
A Formal Framework for ASTRAL Intra-Level Proof Obligations (ACP, DM), pp. 483–500.
ISSTA-1993-Coen-PorisiniK #realtime #specification
The Composability of ASTRAL Realtime Specifications (ACP, RAK), pp. 128–138.
TOOLS-EUROPE-1993-CattaneoCLZ #analysis #database #evolution #object-oriented #overview
Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution (FC, ACP, LL, RZ), pp. 63–74.
ESEC-1991-Coen-PorisiniP #named
SESADA: An Environment Supporting Software Specialization (ACP, FDP), pp. 266–289.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.