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
http://lvl.info.ucl.ac.be/Fmics2013
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
------------------------------------
Michael Dierkes, PhD
Senior Software Engineer
Rockwell Collins France
+33 5 34 61 86 88
------------------------------------
“The information in this e-mail and any attached document may be of a
confidential or proprietary nature. If you are not the intended recipient,
please notify Rockwell Collins immediately and delete this e-mail and any
attached document. Any unauthorised disclosure, distribution or copying
hereof is prohibited.”
« Les informations contenues dans ce courriel et tout document attaché
peuvent être de nature confidentielle ou propriétaire. Si vous n’êtes
pas le destinataire escompté, merci d’en informer Rockwell Collins immédiatement
et de détruire ce courriel ainsi que tout document attaché. Toute divulgation,
distribution ou copie de ces informations sans autorisation préalable est
interdite. »