| 2017 | A core calculus for secure hardware: its formal semantics and proof system. Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein |
| 2017 | A reactive specification formalism for enhancing system development, analysis and adaptivity. Assaf Marron |
| 2017 | A refinement-based compiler development for synchronous languages. Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
| 2017 | Automatic evaluation of complex design decisions in component-based software architectures. Max Scheerer, Axel Busch, Anne Koziolek |
| 2017 | Compositional dataflow circuits. Stephen A. Edwards, Richard Townsend, Martha A. Kim |
| 2017 | Concurrent execution system for action languages. Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen |
| 2017 | Efficient realization of logical execution times in legacy embedded software. Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch |
| 2017 | Elevate embedded real-time programming with a synchronous language. Franz-Josef Grosch |
| 2017 | Extraction of missing formal assumptions in under-constrained designs. Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
| 2017 | Formal verification of complex systems: model-based and data-driven methods. Alessandro Abate |
| 2017 | Hyperproperties of real-valued signals. Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2017 | Liam: an actor based programming model for HDLs. Haven Blake Skinner, Rafael Trapani Possignolo, Jose Renau |
| 2017 | Model-based availability analysis for automated production systems: a case study. Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser |
| 2017 | Model-based, mutation-driven test case generation via heuristic-guided branching search. Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2017 | Monitoring mobile and spatially distributed cyber-physical systems. Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2017 | More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| 2017 | On improving rare event simulation for probabilistic safety analysis. Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg |
| 2017 | Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017 Jean-Pierre Talpin, Patricia Derler, Klaus Schneider |
| 2017 | Property templates for checking source code security. Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer |
| 2017 | Quantifying the information leak in cache attacks via symbolic execution. Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller |
| 2017 | Releasing VDM proof obligations with SMT solvers. Hsin-hung Lin, Bow-Yaw Wang |
| 2017 | Simulation of cyber-physical systems using IEC61499. Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
| 2017 | Stochastic contracts for cyber-physical system design under probabilistic requirements. Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li |
| 2017 | The quest for average response time. Thomas A. Henzinger |
| 2017 | Using the coq theorem prover to verify complex data structure invariants. Kenneth Roe, Scott F. Smith |
| 2017 | Yise - a novel framework for boolean networks using y-inverter graphs. Arun Chandrasekharan, Daniel Große, Rolf Drechsler |