Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
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 |
|
|
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 |
Mancini, T.; Massini, A.; Tronci, E. |
Parallelization of Cycle-Based Logic Simulation |
2017 |
Parallel Processing Letters |
|
|
|
10.1142/S0129626417500037 |
27 |
|
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 |
|
|
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. |
Residential Demand Management using Individualised Demand Aware Price Policies |
2017 |
IEEE Transactions On Smart Grid |
|
|
|
10.1109/TSG.2016.2596790 |
8 |
1284-1294 |
Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1443 |
149 |
61-100 |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1444 |
149 |
101-132 |
Driouich, Y.; Parente, M.; Tronci, E. |
Modeling cyber-physical systems for automatic verification |
2017 |
14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) |
|
|
|
10.1109/SMACD.2017.7981621 |
|
1-4 |
Driouich, Y.; Parente, M.; Tronci, E. |
A methodology for a complete simulation of Cyber-Physical Energy Systems |
2018 |
EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings |
|
|
|
10.1109/EESMS.2018.8405826 |
|
1-5 |
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 |