default search action

combined dblp search
author search
venue search
publication search

ask others

17th FMICS 2012: Paris, France

> Home > Conferences and Workshops > FMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2012
Mariëlle Stoelinga, Ralf Pinger:
Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7437, Springer 2012, ISBN 978-3-642-32468-0
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AbidDB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AbidDB12
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
Real-Time Specification Patterns and Tools. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AlbertOR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AlbertOR12
Elvira Albert, Bjarte M. Østvold, José Miguel Rojas:
Automated Extraction of Abstract Behavioural Models from JMS Applications. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AyacheAR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AyacheAR12
Nicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas:
Certifying and Reasoning on Cost Annotations in C Programs. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BaierDEHKKMTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BaierDEHKKMTV12
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp:
Waiting for Locks: How Long Does It Usually Take? 47-62
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BandurKW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BandurKW12
Victor Bandur, Wolfram Kahl, Alan Wassyng:
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. 63-77
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarnatBBKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarnatBBKR12
Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai:
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. 78-92
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarrettK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarrettK12
Edd Barrett, Andy King:
Range Analysis of Binaries with Minimal Effort. 93-107
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CorrensonS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CorrensonS12
Loïc Correnson, Julien Signoles:
Combining Analyses for C Program Verification. 108-130
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Cranen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Cranen12
Sjoerd Cranen:
Model Checking the FlexRay Startup Phase. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DrosteLSBH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DrosteLSBH12
Rainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde, Axel Hahn:
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrucciMMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrucciMMR12
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. 162-176
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PopaS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PopaS12
Vlad Popa, Wolfgang Schwitzer:
Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems. 177-191
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SiekW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SiekW12
Konrad Siek, Pawel T. Wojciechowski:
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java. 192-206
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SlabyST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SlabyST12
Jiri Slaby, Jan Strejcek, Marek Trtík:
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. 207-221

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.