| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Tronci, Enrico |
Automatic Synthesis of Control Software for an Industrial Automation Control System |
1999 |
Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) |
|
|
|
10.1109/ASE.1999.802292 |
|
247-250 |
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
A Probabilistic Approach to Automatic Verification of Concurrent Systems |
2001 |
8th Asia-Pacific Software Engineering Conference (APSEC) |
IEEE Computer Society |
0-7695-1408-1 |
|
10.1109/APSEC.2001.991495 |
|
317-324 |
| Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized regular expressions |
2003 |
Acta Inf. |
|
|
|
|
39 |
31-70 |
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1210.2276 |
|
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4474 |
|
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4098 |
|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2013 |
|
CoRR, Technical Report |
|
|
|
abs/1107.5638 |
|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Functional Equations to Control Software |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1106.0468 |
|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1105.5640 |
|
| Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico |
System Level Formal Verification via Model Checking Driven Simulation |
2013 |
Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia |
Springer - Verlag |
0302-9743 |
978-3-642-39798-1 |
10.1007/978-3-642-39799-8_21 |
|
296-312 |
