BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Igor Melatti
SearchCollections
Map detail
Igor Melatti8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIgor MelattiAIgor MelattiResearcherFrom Boolean Functional Equations to Control SoftwareWFrom Boolean Functional...preprint / 2012Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC ConvertersWQuantized Feedback Cont...preprint / 2012Model Based Synthesis of Control Software from System Level Formal SpecificationsWModel Based Synthesis o...preprint / 2013A Map-Reduce Parallel Approach to Automatic Synthesis of Control SoftwareWA Map-Reduce Parallel A...preprint / 2013On Model Based Synthesis of Embedded Control SoftwareWOn Model Based Synthesi...preprint / 2013Automatic Control Software Synthesis for Quantized Discrete Time Hybrid SystemsWAutomatic Control Softw...preprint / 2012Simulator Semantics for System Level Formal VerificationWSimulator Semantics for...preprint / 2015
Person7 links

Igor Melatti

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 / 2012PaperSimulator Semantics for System Level Formal VerificationAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)