| 2013 | A Clock-Based Framework for Construction of Hybrid Systems. Jifeng He |
| 2013 | A High-Level Semantics for Program Execution under Total Store Order Memory. Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim |
| 2013 | A Probabilistic Logic for pTiMo. Gabriel Ciobanu, Armand Stefan Rotaru |
| 2013 | A Proof System in PADS. Xinghua Yao, Min Zhang, Yixiang Chen |
| 2013 | A Transformation from p-π to MSVL. Ling Luo, Zhenhua Duan |
| 2013 | Advances in Quantitative Verification for Ubiquitous Computing. Marta Z. Kwiatkowska |
| 2013 | An Interface Model of Software Components. Ruzhen Dong, Naijun Zhan, Liang Zhao |
| 2013 | Counterexample-Preserving Reduction for Symbolic Model Checking. Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao |
| 2013 | Cruise Control in Hybrid Event-B. Richard Banach, Michael J. Butler |
| 2013 | Deterministic Logics for UL. Paritosh K. Pandya, Simoni S. Shah |
| 2013 | Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. Steffen Ziegert, Christian Heinzemann |
| 2013 | Embedding Functions into Disjunctive Logic Programs. Yisong Wang, Jia-Huai You, Mingyi Zhang |
| 2013 | Finitary Fairness in Action Systems. Emil Sekerinski, Tian Zhang |
| 2013 | From Distributions to Probabilistic Reactive Programs. Riccardo Bresciani, Andrew Butterfield |
| 2013 | Mobile Membranes: Computability and Complexity. Bogdan Aman, Gabriel Ciobanu |
| 2013 | On Refinements of Boolean and Parametric Modal Transition Systems. Jan Kretínský, Salomon Sickert |
| 2013 | On Slicing of Programs with Input Statements. Härmel Nestra |
| 2013 | Preemptive Type Checking in Dynamically Typed Languages. Neville Grech, Julian Rathke, Bernd Fischer |
| 2013 | Proof Theory of a Multi-Lane Spatial Logic. Sven Linker, Martin Hilscher |
| 2013 | Random Walks on Some Basic Classes of Digraphs. Wen-Ju Cheng, Jim Cox, Stathis Zachos |
| 2013 | Reactive Designs of Interrupts in Circus Time. Kun Wei |
| 2013 | Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. Jianhua Zhao, Xuandong Li |
| 2013 | Spatio-temporal Hybrid Automata for Cyber-Physical Systems. Zhucheng Shao, Jing Liu |
| 2013 | Stochastic Pi-calculus Revisited. Luca Cardelli, Radu Mardare |
| 2013 | Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| 2013 | hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. Achim D. Brucker, Lukas Brügger, Burkhart Wolff |