HID Researchers Pages

Short Biographical Note
   Giovanni DIPOPPA
                                        giovanni.dipoppa@casaccia.enea.it

  Giovanni Dipoppa, the degree in Computer Science from the University of Bari, Italy. For several years developer of  software  applications running in main-frame environment. Since 1991 with ENEA,  works as researcher with special focus on Formal Methods and the specification of  executable models by graphic animation. His experience served in the following European or National projects: 
- IPTES (ESPRIT-II ), Incremental Prototyping Techniques for Embedded Real-Time Systems, 
- IDERS (ESPRIT-III ), Integrated Development Environment for Embedded Real-Time Systems with Complete  and 
  Product Visibility. 
- UseGat (ESPRIT-IV ), Use of Integrated Graphical and Textual Formal Specification.
- ISA-EUNET (ESPRIT), Intensive Software Systems for Safety Applications; a high-tech software.
- EUropean lean NETwork of experts in Safety Applications to support directly SMEs at regional level. 
- SOPHOCLES (EUREKA- ITEA) System level develOpment Platform based on HeterOgeneous models and Concurrent - LanguagEs for System applications implementation, 2001-20'03. 
- ICIV-PIU Virtual Reality applied to a simulator of urban context, encompassing mobility and environment  (city of 
   Brindisi) . 
- SAFEGUARD (6FP-IST Project ) Intelligent Agents Organization for protecting Large-Scale Complex Critical 
  Infrastructures, 2001-2004. 
- SETRAM. Italian project developing an expert system applied to freight and logistics domain (as the ENEA's technical leader) - in progress.

The  projects results were amomg others presented at  the conferences and workshops: BIAS-95 in Milan,  FME'96  in Oxford, SAFECOMP'98 and FMERail'98 Conferences and IEEE Symposium, 2002, IPK Acquisition Workshop, France, 2002. 
In frame of the long strategy of the HID Research Group,  Dipoppa's  specific interest is focused on Expert Systems, Knowledge Acquisition from the end-users, Domain Modelling Task Analysis, Requirement Enginieering  and Formal methods.

Some previous information
 

Last publications 

G. Dipoppa, A.M.Gadomski, G.Vicoli , Intelligent Advisor: Cognitive User Friendly Interaction.  The ITEA-SOPHOCLES Project Meeting , WP1 Technical Report. Rome Feb.2002. 

A.M.Gadomski,G. Dipoppa,   G. Vicoli. Refinement of Methodology, Concepts and Techniques: Cognitive and Web Based Technologies for Intelligent Cognitive Advisor, The ITEA-SOPHOCLES Project Meeting, Rome  Sophocles, WP2. Tech. Report, 06, 2002.

 A.M.Gadomski G. Dipoppa,  G. Vicoli. ICA - Intelligent Cognitive Advisor Test Cases for Demo Version 01  A. Di Giulio.   The Second  European  IPK  Workshop. Gennevilliers, France, November  22, 2002. 

S. Bologna, C. Balducelli, G. Dipoppa. G.Vicoli . Dependability and Survivability of Large Complex Critical Infrastructures. The Proc. of  22nd International Conference  on  Computer Safety, Reliability and Security. Edinburgh, UK, 23-26 September 2003.

S. Bologna, C. Balducelli, G. Dipoppa, A. M. Gadomski, G. Vicoli. Estendere le capacità di sopravvivenza delle infrastrutture critiche. Proc. of  Convegno Scientifico Nazionale - S I C U R E Z Z A  N E I  S I S T E M I  C O M P L E S S I - Bari, 16 17 Ottobre 2003.

 

META-KNOWLEDGE ENGINEERING SERVER'S  WEB PAGES

11/29/02 18:04:25, Apache/2.0.36 (Win32)