| 2014 | Data Automata in Scala. | Klaus Havelund |
| 2014 | A Three-Dimensional Model for Software Security Evaluation. | Zhuobing Han, Xiaohong Li, Ruitao Feng, Jing Hu, Guangquan Xu, Zhiyong Feng |
| 2014 | Verifying Preemptive Kernel Code with Preemption Control Support. | Yu Guo, Haozhong Zhang |
| 2014 | Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. | Yongqi Ge, Yunwei Dong, Hong-bing Zhao |
| 2014 | Modeling Social Networking Privacy. | Carolina Dania, Manuel Clavel |
| 2014 | Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. | Bei Cheng, Dehui Du |
| 2014 | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2014 | Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. | Richard Banach |
| 2013 | A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
| 2013 | An Operational Approach to Happens-Before Memory Model. | Yang Zhang, Xinyu Feng |
| 2013 | A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism. | Mustafa Zengin, Viktor Vafeiadis |
| 2013 | Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. | Liangze Yin, Fei He, Ming Gu |
| 2013 | Towards Conformance Testing of Choreography Based on Scenario. | Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang |
| 2013 | Formal Analysis of AODV Using Rely-Guarantee. | Xiaofeng Wu, Qiwen Xu, Huibiao Zhu |
| 2013 | Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. | Hao Wu, Rosemary Monahan, James F. Power |
| 2013 | On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. | Hengyang Wu, Yixiang Chen, Min Zhang |
| 2013 | How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. | Neil White, Janet Barnes |
| 2013 | Process Rewrite Systems for Software Model Checking. | Tayssir Touili |
| 2013 | Surfing with Fun. | Laurent Thiry, Michel Hassenforder |
| 2013 | Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. | Daniel Sthr, Sabine Glesner |
| 2013 | Unified Modeling of Active and Reactive Components for Real-Time Systems. | Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan |
| 2013 | Verifying Bigraphical Models of Architectural Reconfigurations. | Alejandro Sanchez, Lus Soares Barbosa, Daniel Riesco |
| 2013 | Designs with Angelic Nondeterminism. | Pedro Ribeiro, Ana Cavalcanti |
| 2013 | Modeling and Verification of AUTOSAR OS and EMS Application. | Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo |
| 2013 | Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. | Masaki Murakami |