Abstract is missing.
- Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving LogicHarald Fecher, Immo Grabe. 1-16 [doi]
- Slicing AbstractionsIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim. 17-32 [doi]
- Nuovo DRM Paradiso: Towards a Verified Fair DRM SchemeMuhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker. 33-48 [doi]
- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint AutomataMahdi Niamanesh, Rasool Jalili. 49-64 [doi]
- Is Your Security Protocol on Time ?Gizela Jakubowska, Wojciech Penczek. 65-80 [doi]
- Adapting the UPPAAL Model of a Distributed Lift SystemWan Fokkink, Allard Kakebeen, Jun Pang. 81-97 [doi]
- Zone-Based Universality Analysis for Single-Clock Timed AutomataParosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell. 98-112 [doi]
- Compositional Semantics of System-Level Designs Written in SystemCNiloofar Razavi, Marjan Sirjani. 113-128 [doi]
- Reusing Requirements: The Need for Extended Variability ModelsRamin Tavakoli Kolagari, Mark-Oliver Reiser. 129-143 [doi]
- Test Selection Criteria for Quantifier-Free First-Order SpecificationsMarc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. 144-159 [doi]
- Formal Testing of Systems Presenting Soft and Hard DeadlinesMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. 160-174 [doi]
- Automatic Composition of Stateless Components: A Logical Reasoning ApproachSeyyed Vahid Hashemian, Farhad Mavaddat. 175-190 [doi]
- A Model of Component-Based ProgrammingXin Chen, Jifeng He, Zhiming Liu, Naijun Zhan. 191-206 [doi]
- Contract Based Multi-party Service CompositionMario Bravetti, Gianluigi Zavattaro. 207-222 [doi]
- Regulating Data Exchange in Service Oriented ApplicationsAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. 223-239 [doi]
- A Behavioural Congruence for Web ServicesFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. 240-256 [doi]
- Logic-Based Detection of Conflicts in AppelPoliciesCarlo Montangero, Stephan Reiff-Marganiec, Laura Semini. 257-271 [doi]
- Hoare Logic for ARM Machine CodeMagnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon. 272-286 [doi]
- Action Abstraction in Timed Process AlgebraMichel A. Reniers, Muck van Weerdenburg. 287-301 [doi]
- Type Abstractions of Name-Passing ProcessesLucia Acciai, Michele Boreale. 302-317 [doi]
- Formal Specification of Multi-agent Systems by Using EUSMsMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. 318-333 [doi]
- Strong Safe Realizability of Message Sequence Chart SpecificationsAbdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari. 334-349 [doi]
- Implication-Based Approximating Bounded Model CheckingZhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang. 350-363 [doi]
- Logical Bisimulations and Functional LanguagesDavide Sangiorgi, Naoki Kobayashi, Eijiro Sumii. 364-379 [doi]
- Efficient State Space Reduction for Automata by Fair SimulationJin Yi, Wenhui Zhang. 380-387 [doi]
- Model Checking Temporal Metric Specifications with Trio2PromelaDomenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro. 388-395 [doi]
- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol StackMahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefzadeh Rahaghi, Rasool Jalili. 396-403 [doi]
- Vulnerability Analysis in VGBPS Using PrologMohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili. 404-411 [doi]
- An Alternative Algorithm for Constraint Automata ProductBahman Pourvatan, Nima Rouhy. 412-422 [doi]
- A Review on Specifying Software Architectures Using Extended Automata-Based ModelsSayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar. 423-431 [doi]
- ArchC#: A New Architecture Description Language for Distributed SystemsSaeed Parsa, Gholamreza Safi. 432-439 [doi]
- Relationships Meet Their Roles in Object Oriented ProgrammingMatteo Baldoni, Guido Boella, Leendert van der Torre. 440-448 [doi]