Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Tronci, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. |
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records |
2014 |
Formal Methods in Computer-Aided Design (FMCAD) |
|
|
|
10.1109/FMCAD.2014.6987615 |
|
|
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation |
2014 |
Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing |
IEEE Computer Society |
|
|
10.1109/PDP.2014.32 |
|
|
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 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
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 |
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
|
0141-9331 |
|
10.1016/j.micpro.2015.10.010 |
41 |
12-28 |
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks |
2018 |
Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
|
|
|
10.1007/978-3-030-01851-1_29 |
|
302-312 |
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
User Flexibility Aware Price Policy Synthesis for Smart Grids |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
|
|
10.1109/DSD.2015.35 |
|
478-485 |
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. |
On minimising the maximum expected verification time |
2017 |
Information Processing Letters |
|
|
|
10.1016/j.ipl.2017.02.001 |
|
|
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 |
|
|