IEEE International Conference on Engineering of Complex Computer Systems

ICECCS

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Distributed Computing and Systems Software

Papers indexed

1,022

1995–2025

Best Systems and Networking conferences Best Software Engineering conferences

Papers per year

199581 peak2025

Most published authors

ICECCS papers

1,022 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2019	Checking Multi-Agent Systems Against Temporal-Epistemic Specifications.	Ran Chen, Wenhui Zhang
2019	Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding.	Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, Yulei Sui
2019	Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.	Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
2019	Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach.	Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane
2019	On the Expressive Power of Invariants in Parametric Timed Automata.	tienne Andr, Didier Lime, Mathias Ramparison
2018	Software Product Line Extraction from Bytecode Based Applications.	Tewfik Ziadi, Lom-Messan Hillah
2018	Formal Modeling and Security Analysis for OpenFlow-Based Networks.	Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
2018	Design Concerns for Industrial Big Data System in the Smart Factory Domain: From Product Lifecycle View.	Hui Zhao, Jianrong Hou
2018	Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems.	Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang
2018	Section-Blockchain: A Storage Reduced Blockchain Protocol, the Foundation of an Autotrophic Decentralized Storage Architecture.	Yibin Xu
2018	Extended Algebraic State-Transition Diagrams.	Lionel N. Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar
2018	Formal Analysis of a Proof-of-Stake Blockchain.	Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong
2018	SMI: Stack Management Interface.	Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang
2018	Formal Ontology Driven Model Refactoring.	Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry
2018	Modelling and Verification of Large-Scale Sensor Network Infrastructures.	Michele Sevegnani, Milan Kabc, Muffy Calder, Julie A. McCann
2018	Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.	Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
2018	HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.	Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang
2018	EH-Recommender: Recommending Exception Handling Strategies Based on Program Context.	Yuhang Li, Shi Ying, Xiangyang Jia, Yisen Xu, Lily Zhao, Guoli Cheng, Bingming Wang, Jifeng Xuan
2018	Kinship Determination in Mobile Social Networks.	Tianxin Liang, Xiaoping Yang, Liang Wang, Zhenyuan Han
2018	Towards Mining Comprehensive Android Sandboxes.	Tien-Duy B. Le, Lingfeng Bao, David Lo, Debin Gao, Li Li
2018	Back Propagating B System Updates on SysML/KAOS Domain Models.	Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
2018	Reusing Formal Models via Lifting.	Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler
2018	Variant Region Types.	Florin Craciun, Wei-Ngan Chin, Shengchao Qin
2018	State Compression Based on One-Sided Communications for Distributed Model Checking.	Camille Coti, Sami Evangelista, Laure Petrucci
2018	AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems.	Mohan Baruwal Chhetri, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Michael Docking, Hien P. Luong, Isuru Rajapakse, Surya Nepal

151–175 of 1,022← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.