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
2007	On-the-fly model checking for C programs with extended CADP in FMICS-jETI.	Mara-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sann
2007	Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.	Leo Freitas, Konstantinos Mokos, Jim Woodcock
2007	POSIX file store in Z/Eves: an experiment in the verified software repository.	Leo Freitas, Zheng Fu, Jim Woodcock
2007	The AADL behaviour annex - experiments and roadmap.	Ricardo Bedin Frana, Jean-Paul Bodeveix, Mamoun Filali, Jean-Franois Rolland, David Chemouil, Dave Thomas
2007	Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.	Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang
2007	From PIMs to PSMs.	Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis
2007	MARTE: Also an UML Profile for Modeling AADL Applications.	Madeleine Faugre, Thimothe Bourbeau, Robert de Simone, Sbastien Grard
2007	A first approach to the closed-form specification and analysis of an autonomic control system.	Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley
2007	A Formal Contract Language for Plugin-based Software Engineering.	Jens Dietrich, John G. Hosking, Jonathan Giles
2007	Managing Complexity of Automotive Electronics Using the EAST-ADL.	Philippe Cuenot, De-Jiu Chen, Sbastien Grard, Henrik Lnn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjstedt, Ramin Tavakoli Kolagari, Martin Trngren, Matthias Weber
2007	An agent based approach to examining shared situation awareness.	Simon Connelly, Peter A. Lindsay, Marcus Gallagher
2007	Automated Verification of Shape, Size and Bag Properties.	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2007	A Refinement Driven Component-Based Design.	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
2007	Formalising Flash Memory: First Steps.	Andrew Butterfield, Jim Woodcock
2007	Parallel Model Checking and the FMICS-jETI Platform.	Jiri Barnat, Lubos Brim, Martin Leucker
2006	From Algebraic Semantics to Denotational Semantics for Verilog.	Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2006	A Type System for the Relational Calculus of Object Systems.	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
2006	Communicating Complex Systems.	Peter H. Welch, Fred R. M. Barnes, Fiona Polack
2006	Modelling Bacterial Growth Patterns in the presence of Antibiotic.	Ray Walshe
2006	Biologically-Inspired Concepts for Self-Management of Complexity.	Roy Sterritt, Michael G. Hinchey
2006	Engineering Emergence.	Susan Stepney, Fiona Polack, Heather R. Turner
2006	Reliability - Security Model.	Norman F. Schneidewind
2006	A Layered Behavioural Model of Platelets.	Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
2006	Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.	Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
2006	Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure.	Gregory M. Provan

576–600 of 1,022← Previous Next →

Comparable venues

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