More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

19th FMICS 2014: Florence, Italy

> 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2014
Frédéric Lang, Francesco Flammini:
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Lecture Notes in Computer Science 8718, Springer 2014, ISBN 978-3-319-10701-1
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AhmadH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AhmadH14
Muhammad Ahmad, Osman Hasan:
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/NguyenN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/NguyenN14
Thang Nguyen, Dejan Nickovic:
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. 16-32
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BostromAHHWL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BostromAHHWL14
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama:
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. 33-47
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ZhangSWY0M14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ZhangSWY0M14
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers:
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. 48-62
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LockefeerWF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LockefeerWF14
Lars Lockefeer, David M. Williams, Wan J. Fokkink:
Formal Specification and Verification of TCP Extended with the Window Scale Option. 63-77
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Fiterau-BrosteanJV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Fiterau-BrosteanJV14
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Learning Fragments of the TCP Network Protocol. 78-93
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BonacchiF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BonacchiF14
Andrea Bonacchi, Alessandro Fantechi:
On the Validation of an Interlocking System by Model-Checking. 94-108
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MazzantiSLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MazzantiSLF14
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari:
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. 109-123
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasoldGHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasoldGHM14
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius:
An Open Alternative for SMT-Based Verification of Scade Models. 124-139
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BlazyBY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BlazyBY14
Sandrine Blazy, David Bühler, Boris Yakobowski:
Improving Static Analyses of C Programs with Conditional Predicates. 140-154
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/EllenSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/EllenSH14
Christian Ellen, Sven Sieverding, Hardi Hungar:
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. 155-169
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GentileMMNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GentileMMNP14
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron:
Test Specification Patterns for Automatic Generation of Test Sequences. 170-184
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CampbellS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CampbellS14
Brian Campbell, Ian Stark:
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. 185-199

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.