| 2018 | Formal Analysis and Verification of DDS in ROS2. | Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang |
| 2018 | Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. | Tripti Jain, Klaus Schneider |
| 2018 | Towards Dependability Metrics for Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
| 2018 | Desynchronization: From Macro-step to Micro-step. | Yu Bai |
| 2017 | Liam: an actor based programming model for HDLs. | Haven Blake Skinner, Rafael Trapani Possignolo, Jose Renau |
| 2017 | Automatic evaluation of complex design decisions in component-based software architectures. | Max Scheerer, Axel Busch, Anne Koziolek |
| 2017 | Using the coq theorem prover to verify complex data structure invariants. | Kenneth Roe, Scott F. Smith |
| 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 | Efficient realization of logical execution times in legacy embedded software. | Stefan Resmerita, Andreas Naderlinger, Stefan Lukesch |
| 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 | Extraction of missing formal assumptions in under-constrained designs. | Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
| 2017 | Simulation of cyber-physical systems using IEC61499. | Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
| 2017 | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2017 | Model-based availability analysis for automated production systems: a case study. | Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha, Birgit Vogel-Heuser |
| 2017 | A reactive specification formalism for enhancing system development, analysis and adaptivity. | Assaf Marron |
| 2017 | Releasing VDM proof obligations with SMT solvers. | Hsin-Hung Lin, Bow-Yaw Wang |
| 2017 | Stochastic contracts for cyber-physical system design under probabilistic requirements. | Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li |
| 2017 | Property templates for checking source code security. | Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer |
| 2017 | Concurrent execution system for action languages. | Antti Jskelinen, Hannu-Matti Jrvinen, Mikko Tiusanen |
| 2017 | The quest for average response time. | Thomas A. Henzinger |
| 2017 | Elevate embedded real-time programming with a synchronous language. | Franz-Josef Grosch |
| 2017 | On improving rare event simulation for probabilistic safety analysis. | Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg |
| 2017 | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2017 | Compositional dataflow circuits. | Stephen A. Edwards, Richard Townsend, Martha A. Kim |
| 2017 | Quantifying the information leak in cache attacks via symbolic execution. | Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller |