FSFMA 2013 July 15-16, 2013, Singapore

1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)



Christine Choppy and Jun Sun (Eds.)
ISBN 978-3-939897-56-9, OASICS Vol. 31 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 8 MB)
Search Publication Server


Authors
  • André, Étienne
  • Baufreton, Philippe
  • Carle, Patrice
  • Chin, Wei-Ngan
  • Choppy, Christine
  • Elshuber, Martin
  • Fribourg, Laurent
  • Kühne, Ulrich
  • Kandl, Susanne
  • Kervarc, Romain
  • Liu, Yan
  • Monsuez, Bruno
  • Paun, Vladimir-Alexandru
  • Piel, Ariane
  • Protzenko, Jonathan
  • Puschner, Peter
  • Rodríguez, César
  • Rusmawati, Yanti
  • Rydeheard, David
  • Schwoon, Stefan
  • Soulat, Romain
  • Sun, Jun
  • Vanit-Anunchai, Somsak

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Choppy, Christine ; Sun, Jun

    Abstract | Document (297 KB) | BibTeX

    Control of Switching Systems by Invariance Analysis (Invited Talk)
    Authors: Fribourg, Laurent

    Abstract | Document (205 KB) | BibTeX

    Specification, Verification and Inference (Invited Talk)
    Authors: Chin, Wei-Ngan

    Abstract | Document (202 KB) | BibTeX

    Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures
    Authors: Vanit-Anunchai, Somsak

    Abstract | Document (802 KB) | BibTeX

    Dynamic Clock Elimination in Parametric Timed Automata
    Authors: André, Étienne

    Abstract | Document (575 KB) | BibTeX

    On the Determinism of Multi-core Processors
    Authors: Paun, Vladimir-Alexandru ; Monsuez, Bruno ; Baufreton, Philippe

    Abstract | Document (411 KB) | BibTeX

    An Improved Construction of Petri Net Unfoldings
    Authors: Rodríguez, César ; Schwoon, Stefan

    Abstract | Document (408 KB) | BibTeX

    Constructing Attractors of Nonlinear Dynamical Systems
    Authors: Fribourg, Laurent ; Kühne, Ulrich ; Soulat, Romain

    Abstract | Document (461 KB) | BibTeX

    Formal Modelling and Verification of Pervasive Computing Systems
    Authors: Liu, Yan

    Abstract | Document (766 KB) | BibTeX

    Illustrating the Mezzo programming language
    Authors: Protzenko, Jonathan

    Abstract | Document (409 KB) | BibTeX

    Improving System-Level Verification of SystemC Models with SPIN
    Authors: Elshuber, Martin ; Kandl, Susanne ; Puschner, Peter

    Abstract | Document (336 KB) | BibTeX

    Modelling and Reasoning about Dynamic Networks as Concurrent Systems
    Authors: Rusmawati, Yanti ; Rydeheard, David

    Abstract | Document (548 KB) | BibTeX

    Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns
    Authors: Carle, Patrice ; Choppy, Christine ; Kervarc, Romain ; Piel, Ariane

    Abstract | Document (3,062 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI