1. Home
  2. Proceedings
  3. SEEFM
  4. SEEFM 2009
Default Cover Image

Formal Methods, South-East European Workshop on

Dec. 4 2009 to Dec. 5 2009

Thessaloniki, Greece

ISBN: 978-0-7695-3943-0

Table of Contents

Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Table of contentsFreely available from IEEE.pp. v-vi
Papers
PrefaceFreely available from IEEE.pp. vii
Papers
CommitteesFreely available from IEEE.pp. viii
Papers
Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration MissionsFreely available from IEEE.pp. ix
by Mike Hinchey
Papers
Invited Speaker: Deciding Properties of ServicesFreely available from IEEE.pp. x
by Wolfgang Reisig
Papers
Secure Service Composition with Symbolic EffectsFull-text access may be available. Sign in or learn about subscription options.pp. 3-9
by Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Papers
Local Enforceability and Inconsumable Messages in Choreography ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 10-16
by Vitaly Kozyura, Andreas Roth, Wei Wei
Papers
A Framework for Testing Semantic Web Services Using Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 17-24
by Muhammad Shaban, Gill Dobbie, Jing Sun
Papers
Formal Visual Modelling of Human Agents in Service Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 25-32
by Adwoa Donyina, Reiko Heckel
Papers
Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 33-39
by Mouhamed Redha Bahri, Abdelkamel Hettab, Allaoua Chaoui, Elhillali Kerkouche
Papers
Applying Weighted Finite State Machines to Protocol Performance AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 40-45
by Catalin Ionescu, Eleni Berki, Jyrki Nummenmaa
Papers
An Algebraic Specification for the MPEG-2 Encoding AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 46-52
by Katerina Ksystra, Petros Stefaneas, Nikolaos Triantafyllou, Iakovos Ouranos
Papers
Protocol-Based Testing of FirewallsFull-text access may be available. Sign in or learn about subscription options.pp. 53-59
by Tugkan Tuglular, Fevzi Belli
Papers
Exploring Games as Formal ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 60-65
by Timo Nummenmaa, Eleni Berki, Tommi Mikkonen
Papers
From ASN.1 into CafeOBJ: Some First StepsFull-text access may be available. Sign in or learn about subscription options.pp. 66-72
by Konstantinos Barlas, George Koletsos, Petros Stefaneas, Iakovos Ouranos
Papers
From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual EnterprisesFull-text access may be available. Sign in or learn about subscription options.pp. 73-78
by Raida ElMansouri, Allaoua Chaoui, Elhillali Kerkouche, Khaled Khalfaoui
Papers
Author IndexFreely available from IEEE.pp. 79
Papers
[Publisher's information]Freely available from IEEE.pp. 80
Showing 21 out of 21