Publications

This paper describes the floorplanning expert, Fork, being developed for the Cadre custom chip-layout system.

When block copolymer melts are subjected to an external flow field, such as simple shear flow, composition fluctuations are distorted by the velocity field and take on an anisotropic character.

Consumer Internet of Things (IoT) applications are largely built through end-user programming in the form of event-action rules.

The ISO standard for MSC provides a useful tool fro visualizing communication protocols.

Existing models for analyzing the integrity and confidentiality of protocols need to be extended to enable the analysis of availability.

We present a formal specification of the selective acknowledgment (SACK) mechanism that is being proposed as a new standard option for TCP.

Mechanical theorem proving and model checking are the two main methods of formal verification, each with its own strengths and weaknesses.

Formal methods are starting to become more widely used in industry for digital circuit design verification.

REST (REpresentational State Transfer) is a software architectural style used in the design of highly scalable web services.

We address the problem of workflow requirements specifications considering realistic assumptions that it involves experts from different domains (representatives of different business policies) whe