- Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto. A change-aware per-file analysis to compile configurable systems with #ifdefs. Computer Languages, Systems \& Structures, 54:427-450, 2018.
- Christian Dernehl, Jan Kühn, Stefan Kowalewski. Case studies on automated verification with slope boundaries for block diagrams. Computer Languages, Systems \& Structures, 54:528-543, 2018.
- Pedro Almir Oliveira, Pedro de Alcântara dos Santos Neto, Ricardo Britto, Ricardo Rabêlo, Ronyérison Braga, Matheus Souza. CIaaS - computational intelligence as a service with Athena. Computer Languages, Systems \& Structures, 54:95-118, 2018.
- Ángel Mora Segura, Juan de Lara, Patrick Neubauer, Manuel Wimmer. Automated modelling assistance by integrating heterogeneous information sources. Computer Languages, Systems \& Structures, 53:90-120, 2018.
- Davorka Radakovic, Dorde Herceg. Towards a completely extensible dynamic geometry software with metadata. Computer Languages, Systems \& Structures, 52:1-20, 2018.
- Walter Cazzola, Ruzanna Chitchyan, Awais Rashid, Albert Shaqiri. μ-DSU: A Micro-Language Based Approach to Dynamic Software Updating. Computer Languages, Systems \& Structures, 51:71-89, 2018.
- Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler. modifies only statements. Computer Languages, Systems \& Structures, 54:512-527, 2018.
- Mert Ozkaya, Mehmet Alp Kose. SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN. Computer Languages, Systems \& Structures, 54:71-94, 2018.
- Samir Ribic, Razija Turcinhodzic, Amela Muratovic-Ribic, Tomaz Kosar. REDOSPLAT: A readable domain-specific language for timetabling requirements definition. Computer Languages, Systems \& Structures, 54:252-272, 2018.
- Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche. QoSMOS: QoS metrics management tool suite. Computer Languages, Systems \& Structures, 54:236-251, 2018.