default search action
FSFMA 2013: Singapore
- Christine Choppy, Jun Sun:
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. OASIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-56-9 - Frontmatter, Table of Contents, Preface, Workshop Organization.
- Laurent Fribourg:
Control of Switching Systems by Invariance Analysis (Invited Talk). 1 - Wei-Ngan Chin:
Specification, Verification and Inference (Invited Talk). 2 - Somsak Vanit-Anunchai
:
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. 3-17 - Étienne André
Dynamic Clock Elimination in Parametric Timed Automata. 18-31 - Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton:
On the Determinism of Multi-core Processors. 32-46 - César Rodríguez, Stefan Schwoon:
An Improved Construction of Petri Net Unfoldings. 47-52 - Laurent Fribourg, Ulrich Kühne, Romain Soulat:
Constructing Attractors of Nonlinear Dynamical Systems. 53-60 - Yan Liu:
Formal Modelling and Verification of Pervasive Computing Systems. 61-67 - Jonathan Protzenko:
Illustrating the Mezzo programming language. 68-73 - Martin Elshuber, Susanne Kandl, Peter P. Puschner
Improving System-Level Verification of SystemC Models with SPIN. 74-79 - Yanti Rusmawati, David E. Rydeheard:
Modelling and Reasoning about Dynamic Networks as Concurrent Systems. 80-85 - Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel:
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. 86-91
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 2024-11-15 19:45 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: