Volumes and issues

Special Issue:14th and 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020/21)

Special Issue: Selected extended papers of NFM 2021

Special Issue: Intelligence for systems and software engineering

Modeling, verification and Testing of dependable Critical systems (DETECT)

Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Special Issue: Applications of Computational Intelligence Techniques to Software Engineering Problems (ACITSEP)

Special issue: Software and Systems Reuse

Special Issue: Verifiability in Systems and Data Engineering(VSDE)

Special Issue: Artificial Reasoning Inspired Intelligent Systems (ARIIS)

Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems(VECoS 2018)

Special Issue: Software Solutions for Contemporary Applications

Special Issue: Selected Extended Papers of NFM 2018

Special Issue: Contemporary Intelligent Systems (CSI 2017)

Special Issue: Verification and Evaluation of Computer and Communication Systems (VECoS 2017)

Special Issue: Intelligent Computing and Adaptive Systems

Special Issue: Recent Computing Paradigms,Network Protocols, and Applications

Special Issue: International Conference on Advanced Computing, Networking and Informatics

Special Issue: Formal Methods for Interactive Systems

Special Issue: Quality in Information and Communications Technology

Special Issue:Software health management

Special Issue : Engineering of Computer-Based Systems

Special issue : software verification and testing

Special Issue: Harnessing theories for tool support in software

Special issue: Model-Based Methodologies for Pervasive and Embedded Software 2010

Special issue: Unified Modeling Language and Formal Methods 2011

Special Issue on NASA Formal Methods Symposium 2010

Special Issue on NFM 2009;Ewen Denney, Dimitra Giannakopoulou,Corina S. Pasareanu

Special Issue ICFEM’09

Real-Time Safety-Critical Systems

Special Issue on Model-Based Development Methodologies

Special Issue on papers from UML&FM

Special Issue on selected papers from SEW-31