| 2016 | 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 |
| 2016 | A computer-algebraic approach to formal verification of data-centric low-level software. Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz |
| 2016 | A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. Emilien Kofman, Robert de Simone |
| 2016 | Accelerating schedule space exploration of multi-threaded programs with GPUs. Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri |
| 2016 | An efficient algorithm for monitoring practical TPTL specifications. Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2016 | Asynchrony-aware static analysis of Android applications. Ashish Mishra, Aditya Kanade, Y. N. Srikant |
| 2016 | Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2016 | Combining type-checking with model-checking for system verification. Zhiqiang Ren, Hongwei Xi |
| 2016 | Control-flow guided property directed reachability for imperative synchronous programs. Xian Li, Klaus Schneider |
| 2016 | Formal engineering frameworks in maritime domain awareness. Amir Yaghoubi Shahir, Uwe Glässer, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn |
| 2016 | Formal feature analysis of hybrid automata. Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
| 2016 | Frame conditions in symbolic representations of UML/OCL models. Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2016 | Keynote talk I: How to prove hybrid systems. André Platzer |
| 2016 | Keynote talk II: Multiform logical time for Me/Mo-codesign. Robert de Simone |
| 2016 | Keynote talk III: Trusted cloud: How to make the cloud more secure. Sriram K. Rajamani |
| 2016 | MEMOCODE 2016 design contest: K-means clustering. Peter A. Milder |
| 2016 | Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. Anoop Bhagyanath, Klaus Schneider |
| 2016 | Parallel reachability analysis for hybrid systems. Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray |
| 2016 | Performance-aware scheduling of multicore time-critical systems. Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |
| 2016 | SmashClean: A hardware level mitigation to stack smashing attacks in OpenRISC. Manaar Alam, Debapriya Basu Roy, Sarani Bhattacharya, Vidya Govindan, Rajat Subhra Chakraborty, Debdeep Mukhopadhyay |
| 2016 | Specification of precise timing in synchronous dataflow models. Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
| 2016 | Specification, verification, and synthesis using extended state machines with callbacks. Farhaan Fowze, Tuba Yavuz |
| 2016 | Step revision in hybrid Co-simulation with FMI. Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2016 | Towards integrating statistical model checking into property-based testing. Bernhard K. Aichernig, Richard Schumi |
| 2016 | Verification of component architectures using mode-based contracts. Stefan Kugele, Diego Marmsoler, Núria Mata, Kai Werther |
| 2016 | Verifying the concentration property of permutation networks by BDDs. Tripti Jain, Klaus Schneider |