Enrico Tronci
Title
Cited by
Cited by
Year
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
602016
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
International Conference on Computer Aided Verification, 296-312, 2013
592013
Exploiting transition locality in automatic verification of finite-state concurrent systems
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Journal on Software Tools for Technology Transfer 6 (4), 320-341, 2004
542004
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
522010
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
472004
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
422016
Finite horizon analysis of Markov Chains with the Murϕ verifier
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Journal on Software Tools for Technology Transfer 8 (4), 397-409, 2006
412006
Finite horizon analysis of Markov Chains with the Murϕ verifier
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Journal on Software Tools for Technology Transfer 8 (4), 397-409, 2006
412006
Automatic synthesis of controllers from formal specifications
E Tronci
Proceedings Second International Conference on Formal Engineering Methodsá…, 1998
371998
Analyzing Flexible Timeline-based Plans.
A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci
ECAI 215, 471-476, 2010
362010
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
362003
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
352015
A probabilistic approach to automatic verification of concurrent systems
E Tronci, G Della Penna, B Intrigila, MV Zilli
Proceedings Eighth Asia-Pacific Software Engineering Conference, 317-324, 2001
352001
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
332017
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
332014
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
312014
Model-based synthesis of control software from system-level formal specifications
F Mari, I Melatti, I Salvo, E Tronci
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014
312014
A symbolic model checker for ACTL
A Fantechi, S Gnesi, F Mazzanti, R Pugliese, E Tronci
International Workshop on Current Trends in Applied Formal Methods, 228-242, 1998
311998
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 Davý, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
292014
Anytime system level verification via random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 17th Euromicro Conference on Digital System Design, 236-245, 2014
292014
The system can't perform the operation now. Try again later.
Articles 1–20