5. ICTAC 2008: Istanbul, Turkey

• Jean-Raymond Abrial, Thai Son Hoang:
  Using Design Patterns in Formal Methods: An Event-B Approach. 1-2
  Electronic Edition (link) BibTeX
• Jan Peleska:
  A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. 3-22
  Electronic Edition (link) BibTeX
• A. W. Roscoe:
  The Three Platonic Models of Divergence-Strict CSP. 23-49
  Electronic Edition (link) BibTeX
• Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
  Monotonic Abstraction in Action. 50-65
  Electronic Edition (link) BibTeX
• Oana Agrigoroaiei, Gabriel Ciobanu:
  Non-interleaving Semantics with Causality for Nondeterministic Dataflow. 66-80
  Electronic Edition (link) BibTeX
• Stefan Blom, Jaco van de Pol:
  Symbolic Reachability for Process Algebras with Recursive Data Types. 81-95
  Electronic Edition (link) BibTeX
• Haiming Chen, Lei Chen:
  Inclusion Test Algorithms for One-Unambiguous Regular Expressions. 96-110
  Electronic Edition (link) BibTeX
• Francien Dechesne, Simona Orzan, Yanjing Wang:
  Refinement of Kripke Models for Dynamics. 111-125
  Electronic Edition (link) BibTeX
• Carlo A. Furia, Paola Spoletini:
  Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. 126-140
  Electronic Edition (link) BibTeX
• Will Harwood, Ana Cavalcanti, Jim Woodcock:
  A Theory of Pointers for the UTP. 141-155
  Electronic Edition (link) BibTeX
• Mohammad Izadi, Marcello M. Bonsangue:
  Recasting Constraint Automata into Büchi Automata. 156-170
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells:
  A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. 171-185
  Electronic Edition (link) BibTeX
• Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
  Towards Efficient Verification of Systems with Dynamic Process Creation. 186-200
  Electronic Edition (link) BibTeX
• Jing Li, Huibiao Zhu, Jifeng He:
  An Observational Model for Transactional Calculus of Services Orchestration. 201-215
  Electronic Edition (link) BibTeX
• Mila E. Majster-Cederbaum, Christoph Minnameier:
  Everything Is PSPACE-Complete in Interaction Systems. 216-227
  Electronic Edition (link) BibTeX
• Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song:
  A New Approach for the Construction of Multiway Decision Graphs. 228-242
  Electronic Edition (link) BibTeX
• Masaki Murakami:
  Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. 243-257
  Electronic Edition (link) BibTeX
• Sidney Nogueira, Augusto Sampaio, Alexandre Mota:
  Guided Test Generation from CSP Models. 258-273
  Electronic Edition (link) BibTeX
• Gordon J. Pace, Gerardo Schneider:
  Relaxing Goodness Is Still Good. 274-289
  Electronic Edition (link) BibTeX
• Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
  Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. 290-304
  Electronic Edition (link) BibTeX
• Vahid Rafe, Adel Torkaman Rahmani:
  Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. 305-318
  Electronic Edition (link) BibTeX
• Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen:
  Testing Concurrent Objects with Application-Specific Schedulers. 319-333
  Electronic Edition (link) BibTeX
• Jens Schönborn, Marcel Kyas:
  A Theory of Bounded Fair Scheduling. 334-348
  Electronic Edition (link) BibTeX
• Simona Orzan, Muhammad Torabi Dashti:
  Fair Exchange Is Incomparable to Consensus. 349-363
  Electronic Edition (link) BibTeX
• Edward Turner, Helen Treharne, Steve Schneider, Neil Evans:
  Automatic Generation of CSP || B Skeletons from xUML Models. 364-379
  Electronic Edition (link) BibTeX
• Heike Wehrheim:
  Bounded Model Checking for Partial Kripke Structures. 380-394
  Electronic Edition (link) BibTeX
• Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
  Verification of Linear Duration Invariants by Model Checking CTL Properties. 395-409
  Electronic Edition (link) BibTeX
• Areej Zuhily, Alan Burns:
  Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. 410-424
  Electronic Edition (link) BibTeX
• Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura:
  Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. 425-439
  Electronic Edition (link) BibTeX
• A. van Dam, Bas Ploeger, Tim A. C. Willemse:
  Instantiation for Parameterised Boolean Equation Systems. 440-454
  Electronic Edition (link) BibTeX