Enrico Tronci Home Page
Contacts
- Address
-
Enrico Tronci
Dipartimento di Informatica
Università di Roma "La Sapienza"
Via Salaria 113,
00198 Roma
Italy
- Telephone
-
+39-06-49918361
- Fax
-
+39-06-8541842
- Email
-
tronci@di.uniroma1.it
Research Web Page
Model Checking Lab
Teaching Web Page
Sapienza Catalogo dei Corsi di Studio
Available Theses
Sapienza Catalogo dei Corsi di Studio
Recent Teaching & Research Projects
Our research group is regularly involved with many research projects sponsored by the European Community (EC),
ESA (European Space Agency),
Italian Ministry of University and Research (MUR),
National Council of Research (CNR),
National Body for Alternative Energies (ENEA), ICT Companies.
Here is a selected list of recent projects.
- Financial market analysis with
Alpha Vantage
API
- Satellite Driven Fire Simulator (POR FESR 2014-2020, Progetti strategici: Aerospazio)
- Computation of Admissible Parameters in Biological Systems (Sviluppo Lazio)
- Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto (POR FESR 2014-2020, Aerospazio e sicurezza)
- Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases (PAEON) (FP7-ICT-2011-9, ICT-2011.5.2)
- Energy Demand Aware Open Services for Smart Grid Intelligent Automation (SmartHG) (FP7-ICT-2011-8, ICT-2011.6.1)
- USOCs KnowLedge Integration and Dissemination for Space Science Experimentation (ULISSE) (FP7-SPACE-2007-1, SPA.2007.2.1.01)
- ESA ITI AO6067 - Verifying Satellite Operational Procedures
- ESA ITT AO5459 - System and Software Functional Requirements Technique
- TRAMP - Sistema Integrato di Gestione e Controllo per il TRAsporto in Sicurezza di Merci Pericolose
- INTERCEPTOR - Motion Planning with moving obstacles (INTECS)
- SAPP - Optimal Positioning Relay Nodes
- SINTESI - Advanced Sense and Respond System
- IRRIIS - Integrated Risk Reduction of Information-based Infrastructure Systems
- SETRAM - Optimisation of Multimodal Freight Transportation
- SAFEGUARD - Dependability and Survivability of Critical Infrastructures
- SAFETUNNEL - Safe Tunnel
- ICARO - Safety Analysis of ICARO Cogenerative Plant