| 2005 | Revisiting Failure Detection and Consensus in Omission Failure Environments. | Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling |
| 2005 | Covarieties of Coalgebras: Comonads and Coequations. | Ranald Clouston, Robert Goldblatt |
| 2005 | Quantitative Temporal Logic Mechanized in HOL. | Orieta Celiku |
| 2005 | The Timer Cascade: Functional Modelling and Real Time Calculi. | Raymond T. Boute, Andreas Schfer |
| 2005 | On Typing Information Flow. | Grard Boudol |
| 2005 | Toward an Abstract Computer Virology. | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
| 2005 | Externalized and Internalized Notions of Behavioral Refinement. | Michel Bidoit, Rolf Hennicker |
| 2004 | Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. | Junfeng Zhao, Lu Zhang, Yasha Wang, Ying Jiang, Bing Xie |
| 2004 | A Predicative Semantic Model for Integrating UML Models. | Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li |
| 2004 | Reverse Observation Equivalence Between Labelled State Transition Systems. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | Revision Programs with Explicit Negation. | Yisong Wang, Mingyi Zhang |
| 2004 | Real Time Reactive Programming in Lucid Enriched with Contexts. | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
| 2004 | Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. | Mahesh Viswanathan, Moonzoo Kim |
| 2004 | An Automatic Mapping from Statecharts to Verilog. | Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin |
| 2004 | Reasoning About Co-Bchi Tree Automata. | Salvatore La Torre, Aniello Murano |
| 2004 | Verifying Linear Duration Constraints of Timed Automata. | Pham Hong Thai, Dang Van Hung |
| 2004 | A Framework for Specification and Validation of Real-Time Systems Using | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2004 | A Calculus for Shapes in Time and Space. | Andreas Schfer |
| 2004 | Program Verification Using Automatic Generation of Invariants. | Enric Rodrguez-Carbonell, Deepak Kapur |
| 2004 | Atomic Components. | Steve Reeves, David Streader |
| 2004 | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2004 | An Algebra of Petri Nets with Arc-Based Time Restrictions. | Apostolos Niaouris |
| 2004 | Inherent Causal Orderings of Partial Order Scenarios. | Bill Mitchell |
| 2004 | A Formal Framework for Ontology Integration Based on a Default Extension to DDL. | Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu |
| 2004 | A Summary of the Tutorials at ICTAC 2004. | Zhiming Liu |