FSEN 2009: Kish Island, Iran

Invited Papers

• Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg:
  A Process-Theoretic Look at Automata. 1-33
  
• Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
  Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. 34-61
  
• Zhiming Liu, Charles Morisset, Volker Stolz:
  rCOS: Theory and Tool for Component-Based Model Driven Development. 62-80
  

Regular Papers

• Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
  Termination in Higher-Order Concurrent Calculi. 81-96
  
• Franco Barbanera, Sara Capecchi, Ugo de'Liguoro:
  Typing Asymmetric Client-Server Interaction. 97-112
  
• Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar:
  Equational Reasoning on Ad Hoc Networks. 113-128
  
• Viktor Schuppan:
  Towards a Notion of Unsatisfiable Cores for LTL. 129-145
  
• Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
  Rule Formats for Determinism and Idempotence. 146-161
  
• Dominik Klein, Frank G. Radmacher, Wolfgang Thomas:
  The Complexity of Reachability in Randomized Sabotage Games. 162-177
  
• Jetty Kleijn, Maciej Koutny:
  Applying Step Coverability Trees to Communicating Component-Based Systems. 178-193
  
• Martin Berger:
  Program Logics for Sequential Higher-Order Control. 194-211
  
• Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori:
  Modular Schedulability Analysis of Concurrent Objects in Creol. 212-227
  
• Massimo Merro, Eleonora Sibilio:
  A Timed Calculus for Wireless Systems. 228-243
  
• Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
  Model Checking Linear Duration Invariants of Networks of Automata. 244-259
  
• Marcello M. Bonsangue, Mohammad Izadi:
  Automata Based Model Checking for Reo Connectors. 260-275
  
• Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt:
  On the Expressiveness of Refinement Settings. 276-291
  
• Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi:
  Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. 292-307
  
• Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko:
  Automated Translation and Analysis of a ToolBus Script for Auctions. 308-323
  
• Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen:
  Executable Interface Specifications for Testing Asynchronous Creol Components. 324-339
  
• Gregor Gößler:
  Compositional Strategy Mapping. 340-354
  
• Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot:
  A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. 355-370
  
• Jens Schönborn, Marcel Kyas:
  Refinement Patterns for Hierarchical UML State Machines. 371-386
  
• Zhenbang Chen, Charles Morisset, Volker Stolz:
  Specification and Validation of Behavioural Protocols in the rCOS Modeler. 387-401
  
• Matteo Baldoni, Guido Boella, Leendert van der Torre:
  The Interplay between Relationships, Roles and Objects. 402-415
  
• Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
  A Coordination Model for Interactive Components. 416-430
  

Short Papers

• Jacky Estublier, Thomas Leveque, Germán Vega:
  Evolution Control in MDE Projects: Controlling Model and Code Co-evolution. 431-438
  
• Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira:
  An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. 439-446
  
• Sun Meng:
  A First Step towards Security Policy Compliance of Connectors. 447-454
  
• Lorenzo Bettini, Sara Capecchi, Betti Venneri:
  A Safe Implementation of Dynamic Overloading in Java-Like Languages. 455-462
  
• Alexander Gruler, Michael Meisinger:
  Fundamental Concepts for the Structuring of Functionality into Modular Parts. 463-470
  

Last update Mon Feb 13 04:26:05 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page