| Author |
Title |
Year |
Publication |
Publisher  |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| 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 |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
|
CoRR, Technical Report |
|
|
|
abs/1207.4098 |
|
| Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
Intersection types and λ-definability |
2003 |
Mathematical Structures in Computer Science |
Cambridge University Press |
0960-1295 |
|
10.1017/S0960129502003833 |
13 |
15-53 |
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
On Model Based Synthesis of Embedded Control Software |
2012 |
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 |
ACM |
|
978-1-4503-1425-1 |
10.1145/2380356.2380398 |
|
227-236 |
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2014 |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
ACM |
1049-331X |
|
10.1145/2559934 |
23 |
Article 6 |
| Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano |
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser |
2001 |
Information and Computation |
Academic Press, Inc. |
0890-5401 |
|
10.1006/inco.2001.2945 |
171 |
137-155 |
| Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico |
Model checking driven simulation of sat procedures |
2012 |
Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) |
|
|
|
10.2514/6.2012-1275611 |
|
|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, S.; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, B. |
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/g864 |
|
|
| Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
Parallel Statistical Model Checking for Safety Verification in Smart Grids |
2018 |
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) |
|
|
|
10.1109/SmartGridComm.2018.8587416 |
|
1-6 |
| Ehrig, R.; Dierkes, T.; Schaefer, S.; Roeblitz, S.; Tronci, E.; Mancini, T.; Salvo, I.; Alimguzhin, V.; Mari, F.; Melatti, I.; Massini, A.; Leeners, B.; Krueger, T.H.C.; Egli, M.; Ille, F. |
An integrative approach for model driven computation of treatments in reproductive medicine |
2015 |
Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India |
|
|
|
10.1142/9789813141919_0005 |
|
|
