| 2015 | 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 |
| 2015 | A generic synthesisable test bench. Matthew Naylor, Simon W. Moore |
| 2015 | Automatic and configurable instrumentation of C programs with temporal assertion checkers. Martial Chabot, Kévin Mazet, Laurence Pierre |
| 2015 | C-to-Verilog translation validation. Alan Leung, Dimitar Bounov, Sorin Lerner |
| 2015 | Compositional design of asynchronous circuits from behavioural concepts. Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
| 2015 | Design and verification of multi-rate distributed systems. Wenchao Li, Léonard Gérard, Natarajan Shankar |
| 2015 | Efficient continuous skyline computation on multi-core processors based on Manhattan distance. Ehsan Montahaie, Milad Ghafouri, Saied Rahmani, Hanie Ghasemi, Farzad Sharif Bakhtiar, Rashid Zamanshoar, Kianoush Jafari, Mohsen Gavahi, Reza Mirzaei, Armin Ahmadzadeh, Saeid Gorgin |
| 2015 | Efficient implementation of continuous skyline computation on a multi-core processor. Kenichi Koizumi, Mary Inaba, Kei Hiraki |
| 2015 | Formal validation and verification of a medical software critical component. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2015 | From non-zenoness verification to termination. Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |
| 2015 | From signal temporal logic to FPGA monitors. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic |
| 2015 | Hierarchical multi-formalism proofs of cyber-physical systems. Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2015 | Implementing latency-insensitive dataflow blocks. Bingyi Cao, Kenneth A. Ross, Martha A. Kim, Stephen A. Edwards |
| 2015 | Keynote Talk III: A formal methods perspective on product line engineering. Paul Clements |
| 2015 | Keynote talk I: Syntax-guided synthesis. Rajeev Alur |
| 2015 | Keynote talk II: Accelerating data centers using reconfigurable logic. Derek Chiou |
| 2015 | Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. David J. Greaves |
| 2015 | Local and global fairness in concurrent systems. Alon Brook, Doron A. Peled, Sven Schewe |
| 2015 | Logic analysis and optimization with quick identification of invariants through one time frame analysis. Masahiro Fujita |
| 2015 | MEMOCODE 2015 design contest: Continuous skyline computation. Peter A. Milder |
| 2015 | Metric interval temporal logic specification elicitation and debugging. Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2015 | Model and program repair via SAT solving. Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi |
| 2015 | Modeling and verifying context-aware non-monotonic reasoning agents. Abdur Rakib, Hafiz Mahfooz Ul Haque |
| 2015 | Modeling resource sharing using FSM-SADF. João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal |
| 2015 | On the deployment problem of embedded systems. Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonné, Horst Eckardt |
| 2015 | Optimized distributed implementation of timed component-based systems. Ahlem Triki, Jacques Combaz, Saddek Bensalem |
| 2015 | Passive testing of production systems based on model inference. William Durand, Sébastien Salva |
| 2015 | Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2015 | Reducing power with activity trigger analysis. Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim |
| 2015 | SCEst: Sequentially constructive esterel. Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
| 2015 | Symbolic loop parallelization for balancing I/O and memory accesses on processor arrays. Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
| 2015 | Towards refinement types for time-dependent data-flow networks. Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla |
| 2015 | Towards verification of hybrid systems in a foundational proof assistant. Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner |
| 2015 | Verification condition generation for hybrid systems. Xian Li, Klaus Schneider |