Recent Submissions

  • Incremental symbolic execution of evolving state machines 

    Dingel, Juergen; Khalil, Amal (Institute of Electrical and Electronics Engineers, 2015-11-30)
    This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two ...
  • State machine antipatterns for UML-RT 

    Dingel, Juergen; Das, Tuhin Kanti (Institute of Electrical and Electronics Engineers, 2015-11-30)
    Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. Software ...
  • Automated service composition via supervisory control theory 

    Dingel, Juergen; Atampore, Francis; Rudie, Karen (Institute of Electrical and Electronics Engineers, 2016-06-23)
    Web services play a major role in electronic businesses and allow organizations to perform certain business activities in a distributed fashion. In some circumstances, a single service is not able to perform certain tasks ...
  • An executable formal semantics for UML-RT 

    Dingel, Juergen; Posse, Ernesto (Software and Systems Modeling, 2014-02-20)
    Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. Software ...
  • A model-based architecture for interactive run-time monitoring 

    Hili, Nicolas; Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen (2020)
    We present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not ...
  • Site-directed insertion: Language equations and decision problems 

    Cho, Da-Jung; Han, Yo-Sub; Salomaa, Kai; Smith, Taylor J. (Elsevier, 2019-05-23)
    Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a suffix and a prefix of the argument strings. ...
  • Further closure properties of input-driven pushdown automata 

    Okhotin, Alexander; Salomaa, Kai (Elsevier, 2019-05-20)
    The paper investigates the closure of the language family defined by input-driven pushdown automata (IDPDA) under the following operations: insertion ins(L,K)={xyz|xz∈L,y∈K}, deletion del(L,K)={xz|xyz∈L,y∈K}, square root ...
  • Vehicle as a Resource (VaaR) 

    Abdelhamid, Sherin; Hassanein, Hossam S.; Takahara, Glen (2015)
    Intelligent vehicles are considered key enablers for intelligent transportation systems. They are equipped with resources/components to enable services for vehicle occupants, other vehicles on the road, and third party ...
  • Energy-Efficient Adaptive Video Transmission: Exploiting Rate Predictions in Wireless Networks 

    Abou-Zeid, Hatem; Hassanein, Hossam S.; Valentin, Stefan (2014)
    The unprecedented growth of mobile video traffic is adding significant pressure to the energy drain at both the network and the end user. Energy efficient video transmission techniques are thus imperative to cope with the ...
  • Toward Green Media Delivery: Location-aware Opportunities and Approaches 

    Abou-Zeid, Hatem; Hassanein, Hossam S. (2014)
    Mobile media has undoubtedly become the predominant source of traffic in wireless networks. The result is not only congestion and poor Quality-of-Experience, but also an unprecedented energy drain at both the network and ...
  • Predictive Green Wireless Access: Exploiting Mobility and Application Information 

    Abou-Zeid, Hatem; Hassanein, Hossam S. (2013)
    The ever increasing mobile data traffic and dense deployment of wireless networks have made energy efficient radio access imperative. As networks are designed to satisfy peak user demands, radio access energy can be reduced ...
  • A Priced Public Sensing Framework for Heterogeneous IoT Architectures 

    Al-Fagih, Ashraf E.; Al-Turjman, Fadi M.; Alsalih, Waleed M.; Hassanein, Hossam S. (2013)
    The proliferation of wireless sensors has given rise to public sensing (PS) as a vibrant data-sharing model. This vision can be extended under the umbrella of the Internet of Things (IoT) to include versatile data sources ...
  • Managing Connection Costs in Heterogeneous Wireless Networks 

    Taha, Abd-Elhamid M.; Hassanein, Hossam S.; Mouftah, Hussein T. (2014)
    Common Radio Resource Management techniques have shown great promise in both enhancing network operation and user satisfication. Such gains are achieved through the joint management of the individual access technologies ...
  • A Lookback Scheduling Framework for Long‐term Quality of Service Over Multiple Cells 

    Abou-zeid, Hatem; Hassanein, Hossam S.; Valentin, Stefan; Feteiha, Mohamed F. (2014)
    In current cellular networks, schedulers allocate wireless channel resources to users based on instantaneous channel gains and short‐term moving averages of user rates and queue lengths. By using only such short‐term ...
  • Understanding the Impact of Neighboring Strategy in Peer-to-Peer Multimedia Streaming Applications 

    Zhang, Xiangyang; Hassanein, Hossam (2012)
    Peer-to-peer (P2P) multimedia streaming applications need to reduce network traffic to address ISPs’ concerns without sacrificing the quality of users’ viewing experience. Several studies on P2P file sharing applications ...
  • A Survey of Peer-to-Peer Live Video Streaming Schemes – an Algorithmic Perspective 

    Zhang, Xiangyang; Hassanein, Hossam (2012)
    Live video streaming applications have gained great popularity among users but exert great pressure on video servers and the Internet. Peer-to-Peer (P2P) networks provide an attractive solution due to their low cost and ...
  • A Power Control Technique for Anti-collision Schemes in RFID Systems 

    Alsalih, Waleed; Ali, Kashif; Hassanein, Hossam (2013)
    The emerging technology of Radio Frequency IDentification (RFID) has enabled a wide range of automated tracking and monitoring applications. However, the process of interrogating a set of RFID tags usually involves sharing ...
  • Distributed Data Storage Systems for Data Survivability in Wireless Sensor Networks using Decentralized Erasure Codes 

    Al-Awami, Louai; Hassanein, Hossam S. (2016)
    Achieving reliability in Wireless Sensor Networks (WSNs) is challenging due to the limited resources available. In this study, we investigate the design of data survivability schemes using decentralized storage systems in ...
  • Characterizing Multi-hop Localization for Internet of Things 

    Ibrahim, Walid M.; Ali, Najah Abu; Hassanein, Hossam S.; Taha, Abd-Elhamid M. (2016-12-16)
    Deployments over large geographical areas in the Internet of Things (IoT) pose a major challenge for single‐hop localization techniques, giving rise to applications of multi‐hop localizations. And while many proposals have ...
  • A delay-tolerant framework for integrated RSNs in IoT 

    Al-Turjman, Fadi M.; Al-Fagih, Ashraf E.; Alsalih, Waleed M.; Hassanein, Hossam S. (2013)
    The Internet of Things (IoT) represents an evolutionary vision that promises to identify and connect physical objects and devices. This vision faces many challenges in terms of integrating technologies, especially RFID-sensor ...

View more