| 2014 | Expressiveness via Intensionality and Concurrency. | Thomas Given-Wilson |
| 2014 | Precise Interprocedural Side-Effect Analysis. | Manuel Geffken, Hannes Saffrich, Peter Thiemann |
| 2014 | Structural Refinement for the Modal nu-Calculus. | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
| 2014 | Reasoning Algebraically About Refinement on TSO Architectures. | Brijesh Dongol, John Derrick, Graeme Smith |
| 2014 | Event Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li |
| 2014 | Refinement of Structured Interactive Systems. | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2014 | From Universal Logic to Computer Science, and Back. | Razvan Diaconescu |
| 2014 | Heterogeneous Timed Machines. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2014 | Context-Free Sequences. | Didier Caucal, Marion Le Gonidec |
| 2014 | Partial Models and Weak Equivalence. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | Linguistic Mechanisms for Context-Aware Security. | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
| 2014 | On Clock-Aware LTL Properties of Timed Automata. | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cern |
| 2014 | A Logical Descriptor for Regular Languages via Stone Duality. | Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio |
| 2013 | Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. | Steffen Ziegert, Christian Heinzemann |
| 2013 | Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. | Jianhua Zhao, Xuandong Li |
| 2013 | Formal Modelling, Analysis and Verification of Hybrid Systems. | Naijun Zhan, Shuling Wang, Hengjun Zhao |
| 2013 | A Proof System in PADS. | Xinghua Yao, Min Zhang, Yixiang Chen |
| 2013 | Reactive Designs of Interrupts in Circus Time. | Kun Wei |
| 2013 | Embedding Functions into Disjunctive Logic Programs. | Yisong Wang, Jia-Huai You, Mingyi Zhang |
| 2013 | Spatio-temporal Hybrid Automata for Cyber-Physical Systems. | Zhucheng Shao, Jing Liu |
| 2013 | Finitary Fairness in Action Systems. | Emil Sekerinski, Tian Zhang |
| 2013 | Deterministic Logics for UL. | Paritosh K. Pandya, Simoni S. Shah |
| 2013 | On Slicing of Programs with Input Statements. | Hrmel Nestra |
| 2013 | A Transformation from p-π to MSVL. | Ling Luo, Zhenhua Duan |
| 2013 | Counterexample-Preserving Reduction for Symbolic Model Checking. | Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao |