Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Ivano Salvo
Researcher
PaperFrom Boolean Functional Equations to Control SoftwareAuthorship / preprint / 2012PaperQuantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC ConvertersAuthorship / preprint / 2012PaperModel Based Synthesis of Control Software from System Level Formal SpecificationsAuthorship / preprint / 2013PaperA Map-Reduce Parallel Approach to Automatic Synthesis of Control SoftwareAuthorship / preprint / 2013PaperOn Model Based Synthesis of Embedded Control SoftwareAuthorship / preprint / 2013PaperAutomatic Control Software Synthesis for Quantized Discrete Time Hybrid SystemsAuthorship / preprint / 2012