5. ICTAC 2008:
Istanbul,
Turkey
John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (Eds.):
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings.
Lecture Notes in Computer Science 5160 Springer 2008, ISBN 978-3-540-85761-7 BibTeX
- 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
Copyright © Sat May 16 23:21:49 2009
by Michael Ley (ley@uni-trier.de)