| 2016 | Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. | Anoop Bhagyanath, Klaus Schneider |
| 2016 | Accelerating schedule space exploration of multi-threaded programs with GPUs. | Prakhar Banga, Atul Pai, Subhajit Roy, Mainak Chaudhuri |
| 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 | Towards integrating statistical model checking into property-based testing. | Bernhard K. Aichernig, Richard Schumi |
| 2015 | Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. | Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz |
| 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 | Optimized distributed implementation of timed component-based systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem |
| 2015 | Symbolic loop parallelization for balancing I/O and memory accesses on processor arrays. | Alexandru Tanase, Michael Witterauf, Jrgen 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 | SCEst: Sequentially constructive esterel. | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
| 2015 | Modeling and verifying context-aware non-monotonic reasoning agents. | Abdur Rakib, Hafiz Mahfooz Ul Haque |
| 2015 | A generic synthesisable test bench. | Matthew Naylor, Simon W. Moore |
| 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 | MEMOCODE 2015 design contest: Continuous skyline computation. | Peter A. Milder |
| 2015 | Design and verification of multi-rate distributed systems. | Wenchao Li, Lonard Grard, Natarajan Shankar |
| 2015 | Verification condition generation for hybrid systems. | Xian Li, Klaus Schneider |
| 2015 | C-to-Verilog translation validation. | Alan Leung, Dimitar Bounov, Sorin Lerner |
| 2015 | Reducing power with activity trigger analysis. | Jan Lnk, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim |
| 2015 | On the deployment problem of embedded systems. | Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonn, Horst Eckardt |
| 2015 | Efficient implementation of continuous skyline computation on a multi-core processor. | Kenichi Koizumi, Mary Inaba, Kei Hiraki |
| 2015 | From signal temporal logic to FPGA monitors. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic |
| 2015 | Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. | David J. Greaves |
| 2015 | From non-zenoness verification to termination. | Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |
| 2015 | Logic analysis and optimization with quick identification of invariants through one time frame analysis. | Masahiro Fujita |