default search action
FSEN 2009: Kish Island, Iran
- Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5961, Springer 2010, ISBN 978-3-642-11622-3
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
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
Typing Asymmetric Client-Server Interaction. 97-112 - Fatemeh Ghassemi, Wan J. Fokkink
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
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
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
Automata Based Model Checking for Reo Connectors. 260-275 - Harald Fecher, David de Frutos-Escrig
On the Expressiveness of Refinement Settings. 276-291 - Razieh Behjati
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. 292-307 - Wan J. Fokkink
Automated Translation and Analysis of a ToolBus Script for Auctions. 308-323 - Immo Grabe, Marcel Kyas
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 W. N. van der Torre
The Interplay between Relationships, Roles and Objects. 402-415 - Marco Antonio Barbosa
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
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: