| 2013 | On Information Flow Control in Event-B and Refinement. | Chunyan Mu |
| 2013 | Aspect-Oriented Semantic Framework for Executable Models. | Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi |
| 2013 | Integration of Linear Constraints with a Temporal Logic Programming Language. | Qian Ma, Zhenhua Duan, Mengfei Yang |
| 2013 | GSOS Formalized in Coq. | Ken Madlener, Sjaak Smetsers |
| 2013 | When Even the Interface Evolves... | Alexandre Madeira, Renato Neves, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. | Gongzheng Lu, Huaikou Miao |
| 2013 | Engineering Multi-view Models for Model-Driven Engineering. | Axel van Lamsweerde |
| 2013 | Growing a Language in Pattern Calculus. | Barry Jay, Jose Vergara |
| 2013 | Algebraic Framework for Synchronous Language Semantics. | Daniel Gaff, Annie Ressouche |
| 2013 | Class Diagrams with Equated Association Chains. | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
| 2013 | Aspect Orientation Based Test Case Selection Strategy for Service Composition. | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
| 2013 | Requirements-Driven Self-Repairing against Environmental Failures. | Rui-Zhi Dong, Xin Peng, Yijun Yu, Wenyun Zhao |
| 2013 | Computing Repairs from Active Integrity Constraints. | Lus Cruz-Filipe, Graa Gaspar, Patrcia Engrcia, Isabel Nunes |
| 2013 | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2013 | Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. | Nicols Cardozo, Sebastin Gonzlez, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt |
| 2013 | Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. | Zining Cao |
| 2013 | Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. | Zining Cao |
| 2013 | Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. | Radu Calinescu, Yasmin Rafiq |
| 2013 | Incremental Construction of Greibach Normal Form. | Markus Bals, Christina Jansen, Thomas Noll |
| 2012 | Incorporating Constraints to Software System Survivability Specification and Proof. | Yanjun Zuo |
| 2012 | Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. | Ender Yksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson |
| 2012 | Regression Test Cases Generation Based on Automatic Model Revision. | Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li |
| 2012 | An Approach for Process Variability Control in Business Process Management. | Qing Yao, Yuqing Sun |
| 2012 | An Improved Full Abstraction Approach to Analyzing Locality Semantics. | Jianxin Xue, Huan Long, Guoqiang Li |
| 2012 | A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. | Tianyong Wu, Jun Yan, Jian Zhang |