Towards accessible integration and deployment of formal tools and techniques
Lapets, Andrei, Skowyra, Rick, Bestavros, Azer, Kfoury, Assaf
Published in 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) (01.05.2013)
Published in 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) (01.05.2013)
Get full text
Conference Proceeding
MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud
Ishakian, V., Bestavros, A.
Published in 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) (01.05.2012)
Published in 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) (01.05.2012)
Get full text
Conference Proceeding
Typed abstraction of complex network compositions
Bestavros, A., Bradley, A.D., Kfoury, A.J., Matta, I.
Published in 13TH IEEE International Conference on Network Protocols (ICNP'05) (2005)
Published in 13TH IEEE International Conference on Network Protocols (ICNP'05) (2005)
Get full text
Conference Proceeding
Angels in the Cloud: A Peer-Assisted Bulk-Synchronous Content Distribution Service
Sweha, R., Ishakian, V., Bestavros, A.
Published in 2011 IEEE 4th International Conference on Cloud Computing (01.07.2011)
Published in 2011 IEEE 4th International Conference on Cloud Computing (01.07.2011)
Get full text
Conference Proceeding
Preferential field coverage through detour-based mobility coordination
Morcos, Hany, Bestavros, Azer, Matta, Ibrahim
Published in 2010 The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net) (01.06.2010)
Published in 2010 The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net) (01.06.2010)
Get full text
Conference Proceeding
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
Mirzaei, Saber, Bahargam, Sanaz, Skowyra, Richard, Kfoury, Assaf, Bestavros, Azer
Published in arXiv.org (31.03.2016)
Get full text
Published in arXiv.org (31.03.2016)
Paper
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity
Erdös, Dóra, Ishakian, Vatche, Lapets, Andrei, Terzi, Evimaria, Bestavros, Azer
Year of Publication 31.01.2012
Year of Publication 31.01.2012
Get full text
Journal Article
A Framework for the Evaluation and Management of Network Centrality
Ishakian, Vatche, Erdos, Dóra, Terzi, Evimaria, Bestavros, Azer
Published in Society for Industrial and Applied Mathematics. Proceedings of the SIAM International Conference on Data Mining (01.01.2012)
Get full text
Published in Society for Industrial and Applied Mathematics. Proceedings of the SIAM International Conference on Data Mining (01.01.2012)
Conference Proceeding