Folgen
Enrico Tronci
Titel
Zitiert von
Zitiert von
Jahr
Residential demand management using individualized demand aware price policies
B Hayes, I Melatti, T Mancini, M Prodanovic, E Tronci
IEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016
812016
Bounded Probabilistic Model Checking with the Murφ Verifier
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004
752004
Neuroprediction and ai in forensic psychiatry and criminal justice: A neurolaw perspective
L Tortora, G Meynen, J Bijlsma, E Tronci, S Ferracuti
Frontiers in psychology 11, 493506, 2020
712020
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
692013
Electric power system anomaly detection using neural networks
M Martinelli, E Tronci, G Dipoppa, C Balducelli
International conference on knowledge-based and intelligent information and …, 2004
642004
Exploiting transition locality in automatic verification of finite-state concurrent systems
G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli
International Journal on Software Tools for Technology Transfer 6, 320-341, 2004
612004
SyLVaaS: System level formal verification as a service
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Fundamenta Informaticae 149 (1-2), 101-132, 2016
572016
Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles
B Leeners, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, M Egli, ...
Frontiers in behavioral neuroscience 11, 120, 2017
562017
Validation and verification issues in a timeline-based planning system
A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci
The Knowledge Engineering Review 25 (3), 299-318, 2010
542010
Computing biological model parameters by parallel statistical model checking
T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti
International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015
462015
Finite horizon analysis of Markov Chains with the Murϕ verifier
GD Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Journal on Software Tools for Technology Transfer 8, 397-409, 2006
45*2006
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles
MP Hengartner, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, ...
Journal of psychosomatic research 99, 21-27, 2017
432017
Demand-aware price policy synthesis and verification services for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2014 IEEE International Conference on Smart Grid Communications …, 2014
402014
Analyzing Flexible Timeline-based Plans.
A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci
ECAI 215, 471-476, 2010
402010
System level formal verification via distributed multi-core hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
392014
Complete populations of virtual patients for in silico clinical trials
S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners
Bioinformatics 36 (22-23), 5465-5472, 2020
382020
Fluid petri nets and hybrid model-checking: A comparative case study
M Gribaudo, A Horváth, A Bobbio, E Tronci, E Ciancamerla, M Minichino
Reliability Engineering & System Safety 81 (3), 239-257, 2003
372003
Automatic synthesis of controllers from formal specifications
E Tronci
Proceedings Second International Conference on Formal Engineering Methods …, 1998
371998
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
362018
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
362014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20