| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages  |
Links |
|
|
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh |
Parallel and distributed model checking in Eddy |
2009 |
Int. J. Softw. Tools Technol. Transf. |
Springer-Verlag |
1433-2779 |
|
10.1007/s10009-008-0094-x |
11 |
13-25 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems |
2013 |
European Journal of Control |
Elsevier North-Holland, Inc. |
0947-3580 |
|
10.1016/j.ejcon.2013.02.001 |
19 |
14-36 |
|
|
|
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 |
|
|
|
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro |
On Placing Skips Optimally in Expectation |
2008 |
Web Search and Web Data Mining (WSDM 2008) |
Acm |
|
|
10.1145/1341531.1341537 |
|
15-24 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Control Software Visualization |
2012 |
Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation |
ThinkMind |
978-1-61208-226-4 |
|
|
|
15-20 |
|
|
|
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. |
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles |
2017 |
Journal of Psychosomatic Research |
|
|
|
10.1016/j.jpsychores.2017.05.018 |
99 |
21-27 |
|
|
|
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automated Generation of Optimal Controllers through Model Checking Techniques |
2006 |
Icinco-Icso |
INSTICC Press |
972-8865-59-7 |
|
10.1007/978-3-540-79142-3 |
|
26-33 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized regular expressions |
2003 |
Acta Inf. |
|
|
|
|
39 |
31-70 |
|
|
|
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico |
Automatic Timeliness Verification of a Public Mobile Network |
2003 |
22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
978-3-540-20126-7 |
|
10.1007/978-3-540-39878-3_4 |
|
35-48 |
|
|
|
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software |
2013 |
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) |
Springer - Verlag |
0302-9743 |
978-3-642-39175-0 |
10.1007/978-3-642-39176-7_4 |
|
43-60 |
|
