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: Coen-Porisini:Alberto
Contributed to:
2010
2001
2000
19951993
1993
19931991Wrote 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.