FMICS 2013

Date: Sep 23, 2013 12:00 am – Sep 24, 2013 10:00 pm
Location: Madrid, Spain

Call for Participation 

FMICS 2013 

18th International Workshop on Formal Methods for Industrial Critical Systems    September 23-24, 2013  Madrid (Spain)  Co-located with SEFM 2013 

Invited Talks 

* Alessandro Fantechi (Università degli Studi di Firenze): Twenty-Five Years of Formal Methods and Railways: What Next?  * Benjamin Monate (TrustInSoft): TrustInSoft: Industrial Formal Methods to Protect Security-Sensitive Systems 


The  aim of  the  FMICS workshop  series  is to  provide  a forum  for researchers who  are interested in the development  and application of formal  methods  in industry.  In  particular,  FMICS brings  together scientists and engineers who are  active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these  methods. The FMICS  workshop series also strives  to promote research  and development for  the improvement  of formal  methods and tools for industrial applications. 


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  -- Hallstein Asheim Hansen    Formal Reliability Analysis of Protective Relays in Power Distribution Systems  -- Adil Khurram, Haider Ali, Arham Tariq and Osman Hasan    Formal  Methods for the Analysis of   Critical Control Systems Models: Combining Non-Linear and Linear Analyses  -- Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loic Garoche, Romain Jobredeaux and Pierre Roux    Complex Digital System Design: a  methodology  and its application  to medical implants  -- Helene Leroux, Karen Godary-Dejean and David Andreu    On the Effectiveness of  Assertion-Based Verification in an Industrial Context  -- Laurence Pierre,    Fabrice Pancher, Rodolphe  Suescun  and  Jérôme Quévremont    Predicate Abstraction for Programmable Logic Controllers  -- Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski    Boolean Quantifier Elimination  for Automotive Configuration  - A Case Study  -- Christoph Zengler and Wolfgang    Auditing User-Provided Axioms in Software Verification Conditions  -- Paul Jackson, Florian Schanda and Angela Wallenburg    Study on the Barriers to the Industrial Adoption of Formal Methods  -- Jennifer Davis,  Matthew Clark,  Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan  Hoffman,  Brian Hulbert, Steven  Miller  and Lucas Wagner    Manager Guidelines for the Industrial Deployment of Formal Methods  -- Christophe Ponsard, Jean-Christophe Deprez and Renaud De Landtsheer    An  outline workflow  for practical formal  verification from software requirements to object code  -- Darren Sexton    Formal  Analysis of the ACE Specification for Cache  Coherent Systems-on-Chip  -- Abderahman Kriouile and Wendelin Serwe    Specification   and Verification using Alloy  of Optimistic  Access Control for Distributed Collaborative Editors  -- Aurel Randolph, Abdessamad Imine,  Hanifa Boucheneb and  Alejandro Quintero   


  Registration proceeds via the SEFM conference
  • Workshop
  • 2013
Submitted by Anonymous on