Travelled to:1 × Germany
1 × Russia
1 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:∅ F.Mari I.Melatti R.Pugliese T.Mancini A.Massini C.Böhm I.Salvo A.Fantechi S.Gnesi F.Mazzanti F.Merli
Talks about:system (5) verif (5) control (3) formal (3) level (3) synthesi (2) calculus (2) softwar (2) program (2) hardwar (2)
Person: Enrico Tronci
DBLP: Tronci:Enrico
Contributed to:
20152014
20132010
1999
19981996
199519911987Wrote 10 papers:
- PDP-2015-ManciniMMMT #as a service #named #verification
- SyLVaaS: System Level Formal Verification as a Service (TM, FM, AM, IM, ET), pp. 476–483.
- PDP-2014-ManciniMMMT #distributed #hardware #manycore #simulation #verification
- System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation (TM, FM, AM, IM, ET), pp. 734–742.
- CAV-2013-ManciniMMMMT #model checking #simulation #verification
- System Level Formal Verification via Model Checking Driven Simulation (TM, FM, AM, IM, FM, ET), pp. 296–312.
- CAV-2010-MariMST #feedback #hybrid #linear #synthesis
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
- ASE-1999-Tronci #automation #industrial #synthesis
- Automatic Synthesis of Control Software for an Industrial Automation Control System (ET), pp. 247–250.
- FM-1998-FantechiGMPT #model checking
- A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.
- FME-1996-PuglieseT #automation #verification
- Automatic Verification of a Hydroelectric Power Plant (RP, ET), pp. 425–444.
- LICS-1995-Tronci #functional #hardware #logic programming #verification
- Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (ET), pp. 408–418.
- LICS-1991-Tronci #equation #λ-calculus
- Equational Prgoramming in λ-calculus (ET), pp. 191–202.
- LICS-1987-BohmT #λ-calculus
- X-Separability and Left-Invertibility in λ-calculus (CB, ET), pp. 320–328.