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
Scope
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.
Programme
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
Registration proceeds via the SEFM conference
http://madrid.nethotels.com/mice/english/sefm_2013
Submitted by Anonymous
on
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 2013Invited 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 SystemsScope
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.Programme
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 QuinteroRegistration
Registration proceeds via the SEFM conference http://madrid.nethotels.com/mice/english/sefm_2013
Submitted by Anonymous
on