toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. Anytime system level verification via parallel random exhaustive hardware in the loop simulation 2016 Microprocessors and Microsystems 0141-9331 10.1016/j.micpro.2015.10.010 41 12-28 details   pdf doi
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks 2018 Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings 10.1007/978-3-030-01851-1_29 302-312 details   pdf doi
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 details   pdf doi
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. User Flexibility Aware Price Policy Synthesis for Smart Grids 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.35 478-485 details   pdf doi
Mancini, T.; Massini, A.; Tronci, E. Parallelization of Cycle-Based Logic Simulation 2017 Parallel Processing Letters 10.1142/S0129626417500037 27 details   pdf doi
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 details   pdf doi
Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network 2018 25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) 10.29007/grw9 details   pdf doi
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation 2014 Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing IEEE Computer Society 10.1109/PDP.2014.32 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico System Level Formal Verification via Model Checking Driven Simulation 2013 Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia Springer - Verlag 0302-9743 978-3-642-39798-1 10.1007/978-3-642-39799-8_21 296-312 details   pdf doi
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico SyLVaaS: System Level Formal Verification as a Service 2015 Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) 10.1109/PDP.2015.119 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: