S. Nocco

From MaRDI portal
Person:453482

Available identifiers

zbMath Open nocco.sergioMaRDI QIDQ453482

List of research outcomes





PublicationDate of PublicationType
Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking2013-09-20Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems2013-08-30Paper
Benchmarking a model checker for algorithmic improvements and tuning for performance2012-09-27Paper
https://portal.mardi4nfdi.de/entity/Q36204332009-04-14Paper
https://portal.mardi4nfdi.de/entity/Q36204342009-04-14Paper
https://portal.mardi4nfdi.de/entity/Q48049172003-05-01Paper

Research outcomes over time

This page was built for person: S. Nocco

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:453482&oldid=6954191"
Powered by MediaWiki