Urko Rueda Molina, Fitsum Kifetew, Annibale Panichella (2018), Java unit testing tool competition: Sixth round, Alessandra Gorla , Juan Pablo Galeotti (Eds.), In SBST'18 p.22-29, Association for Computing Machinery (ACM).

Yihuan Zhang, Qin Lin, Jun Wang, Sicco Verwer, John M. Dolan (2018), Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving, In IEEE Transactions on Intelligent Vehicles Volume 3 p.276-286.

Jason. S. Rhuggenaath, Yingqian Zhang, Alp Akcay, Uzay Kaymak, Sicco Verwer (2018), Learning fuzzy decision trees using integer programming, In 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) p.1-8.

Ashrujit Ghoshal, Rajat Sadhukhan, Sikhar Patranabis, Nilanjan Datta, Stjepan Picek, D Mukhopadhyay (2018), Lightweight and Side-channel Secure 4 × 4 S-Boxes from Cellular Automata Rules, In IACR Transactions on Symmetric Cryptology Volume 2018 p.311-334.

Daco C. Harkes, Elmer van Chastelet, Eelco Visser (2018), Migrating Business Logic to an Incremental Computing DSL: A Case Study, D. Pearce , S. Friedrich , T. Mayerhofer (Eds.), In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.83-96, Association for Computing Machinery (ACM).

Jasper Denkers, Louis van Gool, Eelco Visser (2018), Migrating Custom DSL Implementations To a Language Workbench (Tool Demo), In Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.205-209, Association for Computing Machinery (ACM).

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer (2018), MoSeL: A general, extensible modal framework for interactive proofs in separation logic, In Proceedings of the ACM on Programming Languages Volume 2 p.77:1-77:30.

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer (2018), Mtac2: Typed tactics for backward reasoning in Coq, In Proceedings of the ACM on Programming Languages Volume 2 p.78:1-78:31.

Zakaria Najm, Dirmanto Jap, Bernhard Jungk, Stjepan Picek, Shivam Bhasin (2018), On Comparing Side-channel Properties of AES and ChaCha20 on Microcontrollers, In 2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) p.552-555.

Sohon Roy, Arie van Deursen, Felienne Hermans (2018), On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets, In Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security p.199-206.