| 2011 | On Characterization, Definability and ω-Saturated Models. | Facundo Carreiro |
| 2011 | Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand. | Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi |
| 2011 | Symbolic Worst Case Execution Times. | Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks |
| 2011 | Axiomatizing Weak Ready Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2010 | Analyzing a Formal Specification of Mondex Using Model Checking. | Reng Zeng, Xudong He |
| 2010 | Formal Modelling of Separation Kernel Components. | Andrius Velykis, Leo Freitas |
| 2010 | On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. | Paul Tarau |
| 2010 | Preference and Non-deterministic Choice. | Bill Stoddart, Frank Zeyda, Steve Dunne |
| 2010 | A Modality for Safe Resource Sharing and Code Reentrancy. | Rui Shi, Dengping Zhu, Hongwei Xi |
| 2010 | Complete Calculi for Structured Specifications in Fork Algebra. | Carlos Gustavo Lpez Pombo, Marcelo Fabin Frias |
| 2010 | A Class of Greedy Algorithms and Its Relation to Greedoids. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2010 | Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. | Mariano M. Moscato, Carlos Lpez Pombo, Marcelo F. Frias |
| 2010 | Mechanized Verification with Sharing. | J. Gregory Malecha, Greg Morrisett |
| 2010 | A Denotational Semantical Model for Orc Language. | Qin Li, Huibiao Zhu, Jifeng He |
| 2010 | Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. | Yunho Kim, Moonzoo Kim, Nam Dang |
| 2010 | Testing of Abstract Components. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Assia Touil |
| 2010 | Invariants and Well-Foundedness in Program Algebra. | Ian J. Hayes |
| 2010 | Prioritized slotted-Circus. | Pawel Gancarski, Andrew Butterfield |
| 2010 | Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. | Ashish Darbari, Bernd Fischer, Joo Marques-Silva |
| 2010 | Specification and Verification of a MPI Implementation for a MP-SoC. | Umberto Souza da Costa, Ivan Soares de Medeiros Jnior, Marcel Vincius Medeiros Oliveira |
| 2010 | An Extended cCSP with Stable Failures Semantics. | Zhenbang Chen, Zhiming Liu |
| 2010 | Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. | Lei Chen, Haiming Chen |
| 2010 | The TLA | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2010 | Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. | Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Rty |
| 2010 | Characterizing Locality (Encapsulation) with Bisimulation. | Pablo F. Castro, T. S. E. Maibaum |