Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software.
Peter Csaba Ölveczky
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems.
, Sanguthevar Rajasekaran
: A memory-efficient data structure representing exact-match overlap graphs with application for next generation DNA assembly.
: Malicious cryptography techniques for unreversable (malicious or not) binaries.
: A family of statistical symmetric divergences based on Jensen's inequality.
: An Analysis of Transaction and Joint-patent Application Networks.
, José Meseguer
: Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control.
: Distributed Interference Cancellation in Multiple Access Channel with Transmitter Cooperation.