Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.. In Gilles Barthe and Frank S. de Boer, editor(s), FMOODS, (5051):39-58, Springer,2008. [BibSonomy: dblp] URL
On the Expressiveness and Complexity of Randomization in Finite State Monitors.. LICS, 18-29, IEEE Computer Society,2008. [BibSonomy: dblp] URL
Incremental state-space exploration for programs with dynamically allocated data.. In Robby, editor(s), ICSE, 291-300, ACM,2008. [BibSonomy: dblp] URL
Asset Localization in Data Centers Using WUSB Radios.. In Amitabha Das and Hung Keng Pung and Francis Bu-Sung Lee and Lawrence Wai-Choong Wong, editor(s), Networking, (4982):756-767, Springer,2008. [BibSonomy: dblp] URL
STORMED Hybrid Systems.. In Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz, editor(s), ICALP (2), (5126):136-147, Springer,2008. [BibSonomy: dblp] URL
INFORM: integrated flow orchestration and meta-scheduling for managed grid systems.. Middleware (Demos and Posters), 21, ACM,2007. [BibSonomy: dblp] URL
Novel critical-path based low-energy scheduling algorithms for heterogeneous multiprocessor real-time embedded systems.. ICPADS, 1-8, IEEE Computer Society,2007. [BibSonomy: dblp] URL
Joint power and bandwidth allocation in downlink transmission.. IEEE Transactions on Wireless Communications, (4)3:1008-1016, 2005. [BibSonomy: dblp] URL
Performance of cellular networks with relays and centralized scheduling.. IEEE Transactions on Wireless Communications, (4)5:2318-2328, 2005. [BibSonomy: dblp] URL
Optimizing the ARQ performance in downlink packet data systems with scheduling.. IEEE Transactions on Wireless Communications, (4)2:495-506, 2005. [BibSonomy: dblp] URL