FSEN 2007: Tehran, Iran

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