| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. |
SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation |
2014 |
Proceedings of the Work in Progress Session of SEAA/DSD 2014 |
|
|
978-3-902457-40-0 |
|
|
|
| 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, 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 |
|
|
| Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E. |
Reconciling interoperability with efficient Verification and Validation within open source simulation environments |
2021 |
Simulation Modelling Practice and Theory |
|
1569-190x |
|
10.1016/j.simpat.2021.102277 |
|
102277 |
| Mancini, T.; Melatti, I.; Tronci, E. |
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification |
2021 |
IEEE Transactions on Software Engineering |
|
1939-3520 |
|
10.1109/TSE.2021.3109842 |
|
1-1 |
| Melatti, I.; Mari, F.; Mancini, T.; Prodanovic, M.; Tronci, E. |
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries |
2021 |
IEEE Transactions on Industrial Electronics |
|
|
|
10.1109/TIE.2021.3102431 |
|
1-1 |
| 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 |
| Leeners, B.; Krueger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Egli, M.; Roeblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Ille, F. |
Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception |
2019 |
Frontiers in Psychology |
|
1664-1078 |
|
10.3389/fpsyg.2019.01296 |
10 |
1296 |
| Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. |
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation |
2021 |
Frontiers in Endocrinology |
|
1664-2392 |
|
10.3389/fendo.2021.613048 |
12 |
117 |
| Maggioli, F.; Mancini, T.; Tronci, E. |
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems |
2019 |
Bioinformatics |
|
1367-4803 |
|
10.1093/bioinformatics/btz860 |
36 |
2165–2172 |
