[ecoop-info] MEMOCODE-2017 (Call for Participation)

[Michail PAPADAKIS]

I am away from work until 28th August.
I will reply to your e-mail as soon as I can when I return.

Thanks for your understanding,

Mike

On 23 Aug 2017, at 09:05, Klaus.Schneider--- via ecoop-info <ecoop-info at ecoop.org> wrote:


                          -- CALL FOR PARTICIPATION --

                                15th ACM/IEEE
                           International Conference
                                      on
                 Formal Methods and Models for System Design
                                  (MEMOCODE)

               September 29 - October 2, 2017, Vienna, Austria
                        http://memocode.irisa.fr/2017

                               co-located with

                           International Conference
                                      on
                    Formal Methods in Computer-Aided Design
                                    (FMCAD)
                           http://www.fmcad.org/FMCAD17

REGISTRATION:
   http://memocode.irisa.fr/2017/registration.html

KEYNOTES
   * Alessandro Abate, University of Oxford:
     Formal Verification and Control Synthesys of Complex Dynamic Systems: Model-Based and Data-Driven Methods
   * Franz-Josef Grosch, Robert Bosch GmbH:
     Elevate embedded real-time programming with a synchronous language.
   * Thomas Henzinger, IST Austria:
     The Quest for Average Response Time

TUTORIALS (shared with FMCAD)
 * Jade Alglave, University College London / Microsoft Research:
   Consistency properties of parallel/distributed programs in cat
 * Cas Cremers, Oxford University:
   Symbolic Security Analysis using the Tamarin Prover
 * Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network):
   How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems


ACCEPTED PAPERS
 * Antti Jääskeläinen, Hannu-Matti Järvinen and Mikko Tiusanen.
   Concurrent Execution System for Action Languages
 * Kenneth Roe and Scott Smith.
   Using the Coq theorem prover to verify complex data structure invariants
 * Assaf Marron.
   A Reactive Specification Formalism for Enhancing System Development,
   Analysis and Adaptivity
 * Guillaume Plassan, Katell Morin-Allory and Dominique Borrione.
   Extraction of Missing Formal Assumptions in Under-Constrained Designs
 * Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi and
   Dewei Li.
   Stochastic Contracts for Cyber-Physical System Design Under Probabilistic
   Requirements
 * Thomas Reynolds, Adam Procter, William Harrison and Gerard Allwein.
   A Core Calculus for Secure Hardware: Its Formal Semantics and Proof System
 * Hammond Pearce, Matthew Kuo, Nathan Allen, Partha Roop and Avinash Malik.
   Simulation of Cyber-physical systems using IEC61499
 * Stephen A. Edwards, Richard Townsend and Martha A. Kim.
   Compositional Dataflow Circuits
 * Arun Chandrasekharan, Daniel Grosse and Rolf Drechsler.
   Yise - A novel Framework for Boolean Networks using Y-Inverter Graphs
 * Ezio Bartocci, Luca Bortolussi, Michele Loreti and Laura Nenzi.
   Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
 * Haven Skinner, Rafael Possignolo and Jose Renau. Liam:
   An Elastic Programming Model
 * Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine and Andreas Zeller.
   Quantifying the Information Leak in Cache Attacks via Symbolic Execution
 * Hsin-Hung Lin and Bow-Yaw Wang.
   Releasing VDM Proof Obligations with SMT Solvers
 * Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha
   and Birgit Vogel-Heuser.
   Model-Based Availability Analysis for Automated Production Systems:
   A Case Study
 * Jean-Paul Bodeveix, Mamoun Filali-Amine and Kan Shuanglong.
   A Refinement-based compiler development for synchronous languages
 * Andreas Fellner, Willibald Krenn, Thorsten Tarrach, Georg Weissenbacher and
   Rupert Schlick.
   Model-based, mutation-driven test case generation via heuristic-guided
   branching search
 * Stefan Resmerita, Andreas Naderlinger and Stefan Lukesch.
   Efficient Realization of Logical Execution Times in Legacy Embedded Software
 * Max Scheerer, Axel Busch and Anne Koziolek.
   Automatic Evaluation of Complex Design Decisions in Component-based Software
   Architectures
 * Elizabeth Leonard, Myla Archer and Constance Heitmeyer.
   Property Templates for Checking Source Code Security
 * Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille
   and Rolf Drechsler.
   More than true or false: Native Support of Irregular Values in the Automatic
   Validation & Verification of UML/OCL Models
 * Tim Gonschorek, Frank Ortmeier, Ben Lukas Rabeler and Dirk Schomburg.
   On Improving Rare Event Simulation for Probabilistic Safety Analysis
 * Luan Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh
   and Taylor T Johnson.
   Hyperproperties of Real-Valued Signals

_______________________________________________
ecoop-info mailing list
ecoop-info at ecoop.org
http://web.satd.uma.es/mailman/listinfo/ecoop-info