Enrico Tronci
Enrico Tronci
Bestätigte E-Mail-Adresse bei di.uniroma1.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
482004
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
472013
Validation and verification issues in a timeline-based planning system
A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci
Knowledge Engineering Review 25 (3), 299, 2010
472010
A comparison study of cluster validity indices using a nonhierarchical clustering algorithm
Y Shim, J Chung, IC Choi
International Conference on Computational Intelligence for Modelling …, 2005
442005
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
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-5), 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-5), 397-409, 2006
412006
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
402004
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
332003
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
332001
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
321998
Automatic verification of a turbogas control system with the murφ verifier
G Della Penna, B Intrigila, I Melatti, M Minichino, E Ciancamerla, ...
International Workshop on Hybrid Systems: Computation and Control, 141-155, 2003
282003
Exploiting transition locality in the disk based murϕ verifier
G Della Penna, B Intrigila, E Tronci, MV Zilli
International Conference on Formal Methods in Computer-Aided Design, 202-219, 2002
272002
Synthesis of quantized feedback control software for discrete time linear hybrid systems
F Mari, I Melatti, I Salvo, E Tronci
International Conference on Computer Aided Verification, 180-195, 2010
262010
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
242017
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
242016
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
232014
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
232014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20