All Stories

  1. Fine-Grained Urban Flow Prediction

    Article • April 2021, ACM (Association for Computing Machinery)

    David Rosenblum

  2. Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

    Article • ACM Transactions on Embedded Computing Systems, October 2019, ACM (Association for Computing Machinery)

    David Rosenblum

  3. UrbanFM

    Article • July 2019, ACM (Association for Computing Machinery)

    David Rosenblum

  4. Probabilistic model checking of perturbed MDPs with applications to cloud computing

    Article • August 2017, ACM (Association for Computing Machinery)

    David Rosenblum

  5. A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart Spaces

    Article • November 2016, ACM (Association for Computing Machinery)

    David Rosenblum

  6. Mining performance specifications

    Article • November 2016, ACM (Association for Computing Machinery)

    David Rosenblum

  7. The power of probabilistic thinking

    Article • August 2016, ACM (Association for Computing Machinery)

    David Rosenblum

  8. Reliability of Run-Time Quality-of-Service evaluation using parametric model checking

    Article • May 2016, ACM (Association for Computing Machinery)

    David Rosenblum

  9. The pros and cons of the 'PACM' proposal

    Article • Communications of the ACM, August 2015, ACM (Association for Computing Machinery)

    David Rosenblum

  10. Perturbation analysis of stochastic systems with empirical distribution parameters

    Article • May 2014, ACM (Association for Computing Machinery)

    David Rosenblum

  11. Known unknowns: testing in the presence of uncertainty

    Article • January 2014, ACM (Association for Computing Machinery)

    David Rosenblum