| 2017 | Yise - a novel framework for boolean networks using y-inverter graphs. | Arun Chandrasekharan, Daniel Groe, Rolf Drechsler |
| 2017 | A refinement-based compiler development for synchronous languages. | Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
| 2017 | Monitoring mobile and spatially distributed cyber-physical systems. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2017 | Formal verification of complex systems: model-based and data-driven methods. | Alessandro Abate |
| 2016 | Keynote talk II: Multiform logical time for Me/Mo-codesign. | Robert de Simone |
| 2016 | Formal engineering frameworks in maritime domain awareness. | Amir Yaghoubi Shahir, Uwe Glsser, Hamed Yaghoubi Shahir, Mohammad A. Tayebi, Hans Wehn |
| 2016 | Combining type-checking with model-checking for system verification. | Zhiqiang Ren, Hongwei Xi |
| 2016 | Keynote talk III: Trusted cloud: How to make the cloud more secure. | Sriram K. Rajamani |
| 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 | Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. | Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2016 | Asynchrony-aware static analysis of Android applications. | Ashish Mishra, Aditya Kanade, Y. N. Srikant |
| 2016 | MEMOCODE 2016 design contest: K-means clustering. | Peter A. Milder |
| 2016 | A computer-algebraic approach to formal verification of data-centric low-level software. | Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz |
| 2016 | Control-flow guided property directed reachability for imperative synchronous programs. | Xian Li, Klaus Schneider |
| 2016 | Verification of component architectures using mode-based contracts. | Stefan Kugele, Diego Marmsoler, Nria Mata, Kai Werther |
| 2016 | A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. | Emilien Kofman, Robert de Simone |
| 2016 | Verifying the concentration property of permutation networks by BDDs. | Tripti Jain, Klaus Schneider |
| 2016 | Parallel reachability analysis for hybrid systems. | Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray |
| 2016 | Specification, verification, and synthesis using extended state machines with callbacks. | Farhaan Fowze, Tuba Yavuz |
| 2016 | An efficient algorithm for monitoring practical TPTL specifications. | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2016 | Specification of precise timing in synchronous dataflow models. | Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
| 2016 | Step revision in hybrid Co-simulation with FMI. | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2016 | Formal feature analysis of hybrid automata. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
| 2016 | Performance-aware scheduling of multicore time-critical systems. | Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani |