Sven Christian Müller , Hanno Georg, James J. Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad U. Awais, Moustafa Chenine, Markus Küch, Matthias Stifter, Hua Lin, More Authors (2018), Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies, In IEEE Transactions on Smart Grid Volume 9 p.14-24.

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser (2018), Intrinsically-Typed Definitional Interpreters for Imperative Languages, In Proceedings of the ACM on Programming Languages Volume 2 p.1-34.

Constanze Dietrich, Katharina Krombholz, Kevin Borgolte, Tobias Fiebig (2018), Investigating System Operators’ Perspective on Security Misconfigurations, In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS ’18), ACM.

Moritz Fieback, Mottaqiallah Taouil, Said Hamdioui, Marco Rovatti (2018), Ionizing radiation modeling in DRAM transistors, In 2018 IEEE 19th Latin-American Test Symposium, LATS 2018 Volume 2018-January p.1-6, IEEE.

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer (2018), Iris from the ground up: A modular foundation for higher-order concurrent separation logic, In Journal of Functional Programming Volume 28 p.1-73.

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, ACM.

T. Tanaka, P. Mohajerin Esfahani, S.K. Mitter (2018), LQG control with minimum directed information: Semidefinite programming approach, In IEEE Transactions on Automatic Control Volume 63 p.37-52.

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.

Tobias Fiebig, Franziska Lichtblau, Florian Streibelt, Thorben Krüger, Pieter Lexis, Randy Bush, Anja Feldmann (2018), Learning from the Past: Designing Secure Network Protocols, In Cybersecurity Best Practices p.585-613, Springer.

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, IEEE.