| 2010 | A Class of Greedy Algorithms and Its Relation to Greedoids. Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2010 | A Denotational Semantical Model for Orc Language. Qin Li, Huibiao Zhu, Jifeng He |
| 2010 | A Modality for Safe Resource Sharing and Code Reentrancy. Rui Shi, Dengping Zhu, Hongwei Xi |
| 2010 | A Theory of Software Product Line Refinement. Paulo Borba, Leopoldo Teixeira, Rohit Gheyi |
| 2010 | An Extended cCSP with Stable Failures Semantics. Zhenbang Chen, Zhiming Liu |
| 2010 | Analyzing a Formal Specification of Mondex Using Model Checking. Reng Zeng, Xudong He |
| 2010 | Characterizing Locality (Encapsulation) with Bisimulation. Pablo F. Castro, T. S. E. Maibaum |
| 2010 | Complete Calculi for Structured Specifications in Fork Algebra. Carlos Gustavo López Pombo, Marcelo Fabiùn Frias |
| 2010 | Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias |
| 2010 | Formal Modelling of Separation Kernel Components. Andrius Velykis, Leo Freitas |
| 2010 | Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. Ashish Darbari, Bernd Fischer, João Marques-Silva |
| 2010 | Invariants and Well-Foundedness in Program Algebra. Ian J. Hayes |
| 2010 | Justification Logic and History Based Computation. Francisco Bavera, Eduardo Bonelli |
| 2010 | Material Flow Abstraction of Manufacturing Systems. Jewgenij Botaschanjan, Benjamin Hummel |
| 2010 | Mechanized Verification with Sharing. J. Gregory Malecha, Greg Morrisett |
| 2010 | Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty |
| 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 | Prioritized slotted-Circus. Pawel Gancarski, Andrew Butterfield |
| 2010 | Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. Yunho Kim, Moonzoo Kim, Nam Dang |
| 2010 | Specification and Verification of a MPI Implementation for a MP-SoC. Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira |
| 2010 | Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. Lei Chen, Haiming Chen |
| 2010 | Testing of Abstract Components. Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil |
| 2010 | The TLA Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2010 | Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock |
| 2010 | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum |
| 2010 | Tracking Down the Origins of Ambiguity in Context-Free Grammars. Hendrikus J. S. Basten |