-- 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 _______________________________________________ clean-list mailing list clean-list@science.ru.nl https://mailman.science.ru.nl/mailman/listinfo/clean-list