| 2015 | Passive testing of production systems based on model inference. | William Durand, Sbastien Salva |
| 2015 | Metric interval temporal logic specification elicitation and debugging. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2015 | Keynote Talk III: A formal methods perspective on product line engineering. | Paul Clements |
| 2015 | Keynote talk II: Accelerating data centers using reconfigurable logic. | Derek Chiou |
| 2015 | Automatic and configurable instrumentation of C programs with temporal assertion checkers. | Martial Chabot, Kvin Mazet, Laurence Pierre |
| 2015 | Implementing latency-insensitive dataflow blocks. | Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards |
| 2015 | Local and global fairness in concurrent systems. | Alon Brook, Doron A. Peled, Sven Schewe |
| 2015 | Compositional design of asynchronous circuits from behavioural concepts. | Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
| 2015 | Modeling resource sharing using FSM-SADF. | Joo Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal |
| 2015 | Model and program repair via SAT solving. | Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi |
| 2015 | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2015 | Keynote talk I: Syntax-guided synthesis. | Rajeev Alur |
| 2014 | A high performance systolic architecture for k-NN classification. | Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
| 2014 | Symbolic inner loop parallelisation for massively parallel processor arrays. | Alexandru Tanase, Michael Witterauf, Jrgen Teich, Frank Hannig |
| 2014 | Optimized distribution of synchronous programs via a polychronous model. | Ke Sun, Loc Besnard, Thierry Gautier |
| 2014 | Keynote talk III: A framework for modeling architectures and their properties. | Joseph Sifakis |
| 2014 | Three-valued asynchronous distributed runtime verification. | Torben Scheffel, Malte Schmitz |
| 2014 | Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. | David A. Richie, James A. Ross |
| 2014 | Structure-aware CNF obfuscation for privacy-preserving SAT solving. | Ying Qin, ShengYu Shen, Yan Jia |
| 2014 | An architecturally-integrated, systems-based hazard analysis for medical applications. | Sam Procter, John Hatcliff |
| 2014 | Are interface theories equivalent to contract theories? | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | Building faithful high-level models and performance evaluation of manycore embedded systems. | Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
| 2014 | MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. | Peter A. Milder |
| 2014 | Keynote talk IIP: Proving (and revisiting) what programs do not. | Bertrand Meyer |
| 2014 | Profiling and optimizations for embedded systems. | Pablo Gonzlez de Aledo Marugn, Luis Daz Surez, lvaro Daz Surez, Pablo Snchez Espeso |