Scope and Topics

Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to:

    Requirement specification and analysis
    Verification and validation
    Security and privacy of complex systems
    Model-driven development
    Reverse engineering and refactoring
    Achitecture software
    Big data management
    Ambient intelligence, pervasive computing
    Ubiquitous computing, context awareness, sensor networks
    Applications to SAT/SMT techniques to analysis of complex systems

    Design by contract
    Agile methods
    Safety-critical and fault-tolerant architectures
    Adaptive, self-managing and multi-agent systems
    Real-time, hybrid and embedded systems
    Systems of systems
    Cyber-physical systems and Internet of Things (IoT)
    Tools and tool integration
    Industrial case studies

Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research.