BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tronci:Enrico

Contributed to:

PDP 20152015
PDP 20142014
CAV 20132013
CAV 20102010
ASE 19991999
FM-Trends 19981998
FME 19961996
LICS 19951995
LICS 19911991
LICS 19871987

Wrote 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.

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.