Optimal Synchronizing Sequences for Machines with Timing Constraints. - Ariel Stulman; Simon Bloch; H. G. Mendelbaum (ESA, 2005)

Remote Agent for Conformance Testing of Timed-Automata. - Ariel Stulman; Simon Bloch; H. G. Mendelbaum (Parallel and Distributed Computing and Networks, 2005)

AMDA: Matching the Model-Driven-Architecture's Goals Using Extended Automata as a Common Model for Design and Execution. - David Dayan; Rivka Kaplinsky; Aryeh Wiesen; Simon Bloch (SwSTE, 2007)

User-centric joint power and thermal management for smartphones. - Pietro Mercati; Tajana Simunic Rosing; Vinay Hanumaiah; Jitendra Kulkarni; Simon Bloch (MobiCASE, 2014)

SEPIA: A framework for optimizing energy consumption in Android devices. - Kaushik Barde; Jitendra Kulkarni; Simon Bloch; Chenjie Luo; Vinay Hanumaiah; Ealgoo Kim; Hardikprasad Patel (CCNC, 2015)

BLAST: Battery Lifetime-constrained Adaptation with Selected Target in Mobile Devices. - Pietro Mercati; Vinay Hanumaiah; Jitendra Kulkarni; Simon Bloch; Tajana Rosing (EAI Endorsed Trans. Energy Web, 2015)

MDA Models and PIM/PSM Transformations Using Extended Automata. - David Dayan; Rivka Kaplinsky; Aryeh Wiesen; Simon Bloch (CoRR, 2020)