default search action

combined dblp search
author search
venue search
publication search

ask others

18th FMICS 2013: Madrid, Spain

> 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/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2013
Charles Pecheur, Michael Dierkes:
Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Lecture Notes in Computer Science 8187, Springer 2013, ISBN 978-3-642-41009-3
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ChampionDDGJR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ChampionDDGJR13
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux:
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Hansen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Hansen13
Hallstein Asheim Hansen:
HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis. 17-31
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Sexton13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Sexton13
Darren Sexton:
An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code. 32-47
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ZenglerK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ZenglerK13
Christoph Zengler, Wolfgang Küchlin:
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. 48-62
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DavisCCFHHHMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DavisCCFHHHMW13
Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner:
Study on the Barriers to the Industrial Adoption of Formal Methods. 63-77
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PierrePSQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PierrePSQ13
Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont:
On the Effectiveness of Assertion-Based Verification in an Industrial Context. 78-93
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LerouxGA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LerouxGA13
Hélène Leroux, Karen Godary-Dejean, David Andreu:
Complex Digital System Design: A Methodology and Its Application to Medical Implants. 94-107
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KriouileS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KriouileS13
Abderahman Kriouile, Wendelin Serwe:
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. 108-122
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BiallasGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BiallasGK13
Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski:
Predicate Abstraction for Programmable Logic Controllers. 123-138
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PonsardDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PonsardDL13
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer:
High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. 139-153
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/JacksonSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/JacksonSW13
Paul B. Jackson, Florian Schanda, Angela Wallenburg:
Auditing User-Provided Axioms in Software Verification Conditions. 154-168
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KhurramATH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KhurramATH13
Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan:
Formal Reliability Analysis of Protective Relays in Power Distribution Systems. 169-183
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RandolphIBQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RandolphIBQ13
Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero:
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. 184-198

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.