Papers

This page includes an exhaustive list of all iBench publications since 2002.
Showing 57 items
Paper TypeAuthorsTitleDateDetailsDownload
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Sort 
 
Paper TypeAuthorsTitleDateDetailsDownload
Technical Report Saber Mirzaei, Assaf Kfoury Linear Arrangement of Halin Graphs September 1, 2015  PDF 
Technical Report Assaf Kfoury, Saber Mirzaei Efficient Reassembling of Graphs, Part 1: The Linear Case August 10, 2015  PDF 
Technical Report Saber Mirzaei, Flavio Esposito  An Alloy Verification Model for Consensus-Based Auction Protocols July 10, 2014  PDF 
Technical Report Assaf Kfoury A Compositional Approach to Network Algorithms November 23, 2013  PDF 
Technical Report Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf Kfoury and Azer Bestavros Using Alloy to Formally Model and Reason About an OpenFlow Network Switch July 10, 2013  PDF 
Journal/Conference Richard Skowyra, Sanaz Bahargam and Azer Bestavros Software-Defined IDS for Securing Embedded Mobile Devices May 1, 2013 In Proceedings of HPEC'13: The IEEE High Performance Extreme Computing Conference, Waltham, MA, September 2013 PDF 
Technical Report Assaf Kfoury and Saber Mirzaei A Different Approach to the Design and Analysis of Network Algorithms March 4, 2013  PDF 
Technical Report Richard Skowyra, Andrei Lapets, Azer Bestavros and Assaf Kfoury Reusable Requirements in Automated Verification of Distributed Systems February 8, 2013  PDF 
Journal/Conference Rick Skowyra, Andrei Lapets, Azer Bestavros and Assaf Kfoury Verifiably-Safe Software-Defined Networks for CPS December 10, 2012 In Proceedings of HiCoNS'13: The ACM International Conference on High Confidence Networked Systems, Philadelphia, Pennsylvania, CPS Week, May 2013. PDF 
Technical Report Andrei Lapets and Saber Mirzaei Towards Lightweight Integration of SMT Solvers December 1, 2012  PDF 
Conference Andrei Lapets, Richard Skowyra, Christine Bassem, Sanaz Bahargam, Assaf Kfoury, Azer Bestavros Towards Accessible Integrated Formal Reasoning Environments for Protocol Design July 1, 2012 The 10th International Workshop On User Interfaces for Theorem Provers, Bremen, Germany. PDF 
Technical Report Assaf Kfoury The Syntax and Semantics of a Domain-Specific Language for Flow-Network Design February 17, 2012  PDF 
Technical Report Assaf Kfoury Algebraic Characterizations of Flow-Network Typings February 17, 2012  PDF 
Technical Report Christine Bassem and Azer Bestavros Mechanism Design for Spatio-Temporal Request Satisfaction in Mobile Networks February 10, 2012  PDF 
Journal/Conference Azer Bestavros, Assaf Kfoury, and Andrei Lapets Seamless Composition and Integration: A Perspective on Formal Methods Research February 7, 2012  PDF 
Journal/Conference Mark C. Reynolds Modeling the Java Bytecode Verifier August 31, 2011 Science of Computer Programming, Aug 2011. URL 
Journal/Conference Nate Soule, Azer Bestavros, Assaf Kfoury, Andrei Lapets Safe Compositional Equation-based Modeling of Constrained Flow Networks August 25, 2011 In proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Additionally available in an extended form as Boston Univeristy Tech Report BU TR 14. PDF 
Journal/Conference Assaf Kfoury Kfoury, Assaf. The Denotational and Static Semantics of a Domain-Specific Language for Flow-Network Design July 11, 2011 Proceedings of SBLP 2011: Brazilian Symposium on Programming Languages PDF 
Journal/Conference Azer Bestavros, Assaf Kfoury A Domain Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report) July 11, 2011 Proceedings of DSL 2011: IFIP Working Conference on Domain-Specific Languages PDF 
Journal/Conference Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf Kfoury Formal Verification of SLA Transformations July 4, 2011 In CloudPerf'2011: The IEEE International Workshop on Performance Aspects of Cloud and Service Virtualization, Washington DC, USA, 2011.  PDF 
Technical Report Assaf Kfoury A Domain-Specific Language for the Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks May 11, 2011 Technical Report BUCS-TR-2011-11, Boston University, Computer Science Department, May 11, 2011 PDF 
Technical Report Nate Soule, Azer Bestavros, Assaf Kfoury, Andrei Lapets Safe Compositional Network Sketches: NetSketch Tool Implementation February 8, 2011 Technical Report BUCS-TR-2011-004, Boston University, Computer Science Department, February 8, 2011 PDF 
Journal/Conference Mark C. Reynolds Lightweight Modeling of Java Virtual Machine Security Constraints December 31, 2010 Abstract State Machine, Alloy, B and Z: Second International Conference. Springer LNCS 5977 (2010). URL 
Technical Report Mark C. Reynolds  Using Lightweight Formal Methods for JavaScript Security July 23, 2010 Technical Report BUCS-TR-2010-021, Boston University, Computer Science Department, July 2010 PDF 
Journal/Conference Azer Bestavros, Assaf Kfoury, Andrei Lapets, Michael Ocean Safe Compositional Network Sketches: The Formal Framework April 12, 2010 In Proceedings of HSCC'10: The 13th ACM International Conference on Hybrid Systems: Computation and Control PDF 
Journal/Conference Azer Bestavros, Assaf Kfoury, Andrei Lapets, Michael Ocean Safe Compositional Network Sketches: Tool and Use Cases December 1, 2009 Proceedings of CRTS'09: The IEEE/RTSS Workshop on Compositional Theory and Technology for Real-Time Embedded Systems PDF 
Technical Report Andrei Lapets, Assaf Kfoury Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches October 1, 2009 Technical Report BUCS-TR-2009-030, Boston University, Computer Science Department, October 1, 2009 PDF 
Technical Report Likai Liu and Assaf Kfoury Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types October 25, 2006 Technical Report BUCS-TR-2006-029, CS Department, Boston University, October 25 2006 PDF 
Technical Report Jorge Londono, Sowmya Manjanatha, and Zhinan Han Extending snBench to Provide Concurrency Support in the Sensorium Execution Environment (SXE) July 14, 2006 Technical Report BUCS-TR-2006-013, CS Department, Boston University, July 14 2006 PDF 
Technical Report Dustin Burke, Dave Cecere, and Ben Freiberg Extending snBench to Support a Video-Based Intrusion Detection and Alerting System with a Centralized Hash Table July 14, 2006 Technical Report BUCS-TR-2006-015, CS Department, Boston University, July 14 2006 PDF 
Technical Report Michael Ocean, Assaf Kfoury, and Azer Bestavros Integrating Sensor-Network Research and Development into a Software Engineering Curriculum July 14, 2006 Technical Report BUCS-TR-2006-016, CS Department, Boston University, July 14 2006 PDF 
Technical Report Gabriel Parmer, Georgios Zervas, and Angshuman Bagchi Extending snBench to Support Hierarchical and Configurable Scheduling July 14, 2006 Technical Report BUCS-TR-2006-012, CS Department, Boston University, July 14 2006 PDF 
Technical Report Ching Chang, Raymond Sweha, and Panagiotis Papapetrou Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP) July 14, 2006 Technical Report BUCS-TR-2006-014, CS Department, Boston University, July 14 2006 PDF 
Journal/Conference Michael Ocean, Azer Bestavros, and Assaf Kfoury snBench: Programming and virtualization framework for distributed multitasking sensor networks June 1, 2006 In Proceedings of the 2nd international conference on Virtual execution environments (VEE 2006), pages 89 -- 99, New York, NY, USA, June 2006. ACM Press. PDF 
Technical Report Yarom Gabay, Michael Ocean, Assaf Kfoury, and Likai Liu Computational Properties of SNAFU February 6, 2006 Technical Report BUCS-TR-2006-001, CS Department, Boston University, February 6 2006 PDF 
Technical Report Yarom Gabay, Assaf Kfoury, Likai Liu, Azer Bestavros, Adam Bradley, and Ibrahim Matta Type Systems for a Network Specification Language With Multiple-Choice Let December 28, 2005 Technical Report BUCS-TR-2005-034, CS Department, Boston University, December 28 2005 PDF 
Technical Report Likai Liu, Assaf Kfoury, Azer Bestavros, Yarom Gabay, Adam Bradley, and Ibrahim Matta Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach December 28, 2005 Technical Report BUCS-TR-2005-033, CS Department, Boston University, December 28 2005 PDF 
Journal/Conference Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta Typed Abstraction of Complex Network Compositions November 1, 2005 In Proceedings of ICNP'05: The 13th IEEE International Conference on Network Protocols, Boston, MA, November 2005 PDF 
Journal/Conference Azer Bestavros, Adam Bradley, Assaf Kfoury, and Michael Ocean. SNBENCH: A Development and Run-Time Platform for Rapid Deployment of Sensor Network Applications October 1, 2005 In Proceedings of the IEEE International Workshop on Broadband Advanced Sensor Networks (Basenets 2005), Boston, MA, October 2005 PDF 
Journal/Conference Yuting Zhang, Azer Bestavros, Mina Guirguis, Ibrahim Matta, and Richard West Friendly Virtual Machines: Leveraging a Feedback-Control Model for Application Adaptation June 1, 2005 In Proceedings of the 2005 ACM/USENIX Conference on Virtual Execution Environments, Chicago, Illinois, June 2005 PDF 
Technical Report Likai Liu, Assaf Kfoury, Azer Bestavros, Adam Bradley, Yarom Gabay, and Ibrahim Matta Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking May 12, 2005 Technical Report BUCS-TR-2005-015, CS Department, Boston University, May 12 2005 PDF 
Technical Report Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta Typed Abstraction of Complex Network Compositions May 1, 2005 Technical Report BUCS-TR-2005-014, CS Department, Boston University, May 1 2005 PDF 
Technical Report Adam Bradley, Assaf Kfoury, and Azer Bestavros StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages February 13, 2005 Technical Report BUCS-TR-2004-007, CS Department, Boston University, February 13 2005 PDF 
Journal/Conference Gali Diamant, Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo, Yuting Zhang, and Sean Chen itmBench: Generalized API for Internet Traffic Managers November 1, 2004 In Proceedings of the 10th IEEE Globecom Workshop on Computer-Aided Modeling, Analysis and Design of Communication Links and Networks (CAMAD'04), Austin, Texas, November 2004 PDF 
Journal/Conference Adam Bradley, Azer Bestavros, and Assaf Kfoury A Typed Model for Encoding-Based Protocol Interoperability October 1, 2004 In Proceedings of ICNP'04: The 12th IEEE International Conference on Network Protocols, Berlin, Germany, October 2004 PDF 
Journal/Conference Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta Safe Compositional Specification of Networking Systems July 1, 2004 ACM SIGCOMM Computer Communication Review (CCR), 34(3), July 2004 PDF 
Journal/Conference Mina Guirguis, Azer Bestavros, Ibrahim Matta, Niky Riga, Gali Diamant, and Yuting Zhang Providing Soft Bandwidth Guarantees Using Elastic TCP-based Tunnels June 30, 2004 In Proceedings of ISCC'04: IEEE Symposium on Computer and Communications, Alexandria, Egypt, 2004 PDF 
Technical Report Azer Bestavros, Adam Bradley, Assaf Kfoury, and Ibrahim Matta Safe Compositional Specification of Networking Systems May 14, 2004 Technical Report BUCS-TR-2004-021, CS Department, Boston University, May 14 2004 PDF 
Technical Report Gali Diamant, Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo, Yuting Zhang, and Sean Chen itmBench: Generalized API for Internet Traffic Managers December 16, 2003 Technical Report BUCS-TR-2003-032, CS Department, Boston University, December 16 2003 PDF 
Journal/Conference Adam Bradley, Azer Bestavros, and Assaf Kfoury Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN November 1, 2003 In Proceedings of ICNP'03: The 11th IEEE International Conference on Network Protocols, Atlanta, GA, November 2003 PDF 
Technical Report Adam Bradley, Azer Bestavros, and Assaf Kfoury Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN May 16, 2003 Technical Report BUCS-TR-2003-012, CS Department, Boston University, May 16 2003 PDF 
Journal/Conference Adam Bradley and Azer Bestavros Basis Token Consistency: Supporting Strong Web Cache Consistency November 1, 2002 In Proceedings of the 2002 Globecom Global Internet Symposium, Taipei, Taiwan, November 2002 PDF 
Technical Report Adam Bradley, Azer Bestavros, and Assaf Kfoury Validating Arbitrarily Large Network Protocol Compositions with Finite Computation November 1, 2002 Technical Report BUCS-TR-2002-030, Boston University, Computer Science Department, November 2002 PDF 
Journal/Conference Adam Bradley, Azer Bestavros, and Assaf Kfoury Safe Composition of Web Communication Protocols for Extensible Edge Services August 1, 2002 In Proceedings of the 7th International Web Caching and Content Delivery Workshop, Boulder, CO, August 2002 PDF 
Journal/Conference Adam Bradley and Azer Bestavros Basis Token Consistency: Extending and Evaluating a Novel Web Consistency Algorithm June 1, 2002 In Proceedings of WC3: The International Workshop on Caching, Coherence, and Consistency, New York, June 2002 PDF 
Technical Report Adam Bradley, Azer Bestavros, and Assaf Kfoury Safe Composition of Web Communication Protocols for Extensible Edge Services May 1, 2002 Technical Report BUCS-TR-2002-017, Boston University, Computer Science Department, May 2002 PDF 
Technical Report Adam Bradley and Azer Bestavros Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency October 1, 2001 Technical Report BUCS-TR-2001-024, Boston University, Computer Science Department, October 2001 PDF 
Showing 57 items
Comments