ICECCS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1063

2025

Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, ProceedingsGuangdong Bai, Fuyuki Ishikawa, Yamine Aït Ameur, George A. Papadopoulos, editors, Volume 14784 of Lecture Notes in Computer Science, Springer, 2025. [doi]

2024

Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program RepairOmar I. Al-Bataineh. ICECCS 2025: 409-419 [doi]

Modeling and Verification of Solidity Smart Contracts with the B MethodFayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau. ICECCS 2025: 159-178 [doi]

SC-WGAN: GAN-Based Oversampling Method for Network Intrusion DetectionWuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, Ning Zhang. ICECCS 2025: 23-42 [doi]

Confidentiality Management in Complex Systems DesignMichel Bourdellès, Jamal El Hachem, Salah Sadou. ICECCS 2025: 303-322 [doi]

SafePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64LiLie Chen, Junyu Wu, Yuan Liu 0021. ICECCS 2025: 390-408 [doi]

Validation of RailML Using ProBJan Gruteser, Michael Leuschel. ICECCS 2025: 245-256 [doi]

DashChef: A Metric Recommendation Service for Online Systems Using Graph LearningZilong He, Tao Huang 0021, Pengfei Chen 0002, Ruipeng Li, Rui Wang, Zibin Zheng. ICECCS 2025: 3-22 [doi]

Less is More: An Empirical Study of Undersampling Techniques for Technical Debt PredictionGichan Lee, Scott Uk-Jin Lee. ICECCS 2025: 146-156 [doi]

Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build FailuresShitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, Junfeng Zeng. ICECCS 2025: 111-124 [doi]

AutoWeb: Automatically Inferring Web Framework Semantics via Configuration MutationHaining Meng, Haofeng Li, Jie Lu 0009, Chenghang Shi, Liqing Cao, Lian Li 0002, Lin Gao 0002. ICECCS 2025: 369-389 [doi]

Reachability Analysis of Concurrent Self-modifying CodeWalid Messahel, Tayssir Touili. ICECCS 2025: 257-271 [doi]

An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic ControlFang Qi, Rui Wang 0024, Yong Guan, Xiaoyu Song. ICECCS 2025: 290-300 [doi]

A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock DetectionJiale Quan, Qin Li 0002. ICECCS 2025: 223-244 [doi]

Analyzing Excessive Permission Requests in Google Workspace Add-OnsLiuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang 0001. ICECCS 2025: 323-345 [doi]

Test Architecture Generation by Leveraging BERT and Control and Data FlowsGuangyu Wang, Ji Wu 0003, Haiyan Yang, Qing Sun 0004, Tao Yue 0002. ICECCS 2025: 125-145 [doi]

Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience ReportHao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu. ICECCS 2025: 43-63 [doi]

Formal Verification Techniques for Post-quantum Cryptography: A Systematic ReviewYuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu. ICECCS 2025: 346-366 [doi]

Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound VerificationXiaoyong Xue, Meng Sun 0002. ICECCS 2025: 67-87 [doi]

An Iterative Formal Model-Driven Approach to Railway Systems ValidationAsfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega. ICECCS 2025: 272-289 [doi]

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation DomainXufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang. ICECCS 2025: 179-198 [doi]

AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron ImportanceFei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao. ICECCS 2025: 88-107 [doi]

QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL ModelsYiwei Zhu, Jing Liu 0012, Haiying Sun, Wei Yin, Jiexiang Kang. ICECCS 2025: 201-222 [doi]

2023

Challenges in testing of cyclic systemsAna Cavalcanti 0001, Robert M. Hierons. ICECCS 2023: 1-6 [doi]

Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOLSimon Foster 0001, Burkhart Wolff. ICECCS 2023: 136-141 [doi]

27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023IEEE, 2023. [doi]

Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of EntitiesPierfrancesco Bellini, Daniele Bologna, Marco Fanfani, Luciano Alessandro Ipsaro Palesi, Paolo Nesi, Gianni Pantaleo. ICECCS 2023: 142-151 [doi]

Formal alignment of requirements models with high-level architecture modelsRacem Bougacha, Régine Laleau, Simon Collart Dutilleul. ICECCS 2023: 216-225 [doi]

Certifying Semantic Robustness of Deep Neural NetworksHao Bu, Meng Sun 0002. ICECCS 2023: 51-60 [doi]

Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair InspectionYujun Dai, Shaoying Liu, Guangquan Xu, ai Liu. ICECCS 2023: 108-115 [doi]

Sports Analytics Using Probabilistic Model Checking and Deep LearningJin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin 0001. ICECCS 2023: 7-11 [doi]

AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language ContractsNing Ge, Jinwen Yang, Tianyu Yu, Wei Liu. ICECCS 2023: 71-80 [doi]

Polyglot AST: Towards Enabling Polyglot Code AnalysisPhilémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoît Combemale. ICECCS 2023: 116-125 [doi]

A Mathematical Model for Analyzing Honeynets and Their Cyber Deception TechniquesAmir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzaïd. ICECCS 2023: 81-88 [doi]

Disproving XAI Myths with Formal Methods - Initial ResultsJoao Marques-Silva. ICECCS 2023: 12-21 [doi]

Supervised Robustness-preserving Data-free Neural Network PruningMark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong. ICECCS 2023: 22-31 [doi]

Model Checking of Intersection Traffic Control ProtocolsYuya Noguchi, Tatsuhiro Tsuchiya. ICECCS 2023: 99-107 [doi]

Concolic execution for RPA testingCiprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu. ICECCS 2023: 187-196 [doi]

Quantitative Explainable AI For Face RecognitionShu Peng, Naipeng Dong, Guangdong Bai. ICECCS 2023: 32-41 [doi]

How to select samples for active learning? Document clustering with active learning methodologyNorbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak. ICECCS 2023: 42-50 [doi]

Reliability Analysis of Architectural Safeguards for AI-enabled SystemsMax Scheerer, Ralf H. Reussner. ICECCS 2023: 61-70 [doi]

Specification and Verification of Communication Paradigms for CBSE in Event BLoïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix. ICECCS 2023: 157-166 [doi]

Validating communication of a dynamic traffic management systemJ. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda. ICECCS 2023: 207-215 [doi]

Stability-aware Exploration of Design Space of Autonomous Robots for Goods DeliveryMauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto. ICECCS 2023: 177-186 [doi]

Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer AnalysisPingyan Wang, Shaoying Liu. ICECCS 2023: 152-156 [doi]

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability ModelsQian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He 0001. ICECCS 2023: 126-135 [doi]

*Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah. ICECCS 2023: 197-206 [doi]

Automated Compositional Verification for Robotic State Machines using Isabelle/HOLFang Yan, Simon Foster 0001, Ibrahim Habli. ICECCS 2023: 167-176 [doi]

Expiring opacity problems in parametric timed automataÉtienne André, Engel Lefaucheux, Dylan Marinho. ICECCS 2023: 89-98 [doi]

2022

Characterizing Java Streams in the WildEduardo Rosales 0001, Andrea Rosà, Matteo Basso, Alex Villazón, Adriana Orellana, Ángel Zenteno, Jhon Rivero, Walter Binder. ICECCS 2022: 143-152 [doi]

26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022IEEE, 2022. [doi]

Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case StudyMeryem Afendi, Amel Mammar, Régine Laleau. ICECCS 2022: 91-96 [doi]

Minimal Schedule with Minimal Number of Agents in Attack-Defence TreesJaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk. ICECCS 2022: 1-10 [doi]

Parameter Sensitive Pointer Analysis for JavaYulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang. ICECCS 2022: 162-167 [doi]

Optimizing Parallel Java StreamsMatteo Basso, Filippo Schiavio, Andrea Rosà, Walter Binder. ICECCS 2022: 23-32 [doi]

Self-adaptation in Microservice Architectures: A Case StudySree Ram Boyapati, Claudia Szabo. ICECCS 2022: 42-51 [doi]

Generating Adversarial Source Programs Using Important Tokens-based Structural TransformationsPenglong Chen, Zhen Li 0027, Yu Wen, Lili Liu. ICECCS 2022: 173-182 [doi]

Reducing Malware labeling Efforts Through Efficient Prototype SelectionGuanhong Cher, Shuang Liu 0007. ICECCS 2022: 17-22 [doi]

A Formal Model for Fault Tolerant Parallel Matrix FactorizationCamille Coti, Laure Petrucci, Daniel Alberto Torres González. ICECCS 2022: 62-70 [doi]

Formalism- Driven Development of Decentralized SystemsYepeng Ding, Hiroyuki Sato. ICECCS 2022: 81-90 [doi]

Distributed Explicit State Space Exploration with State Reconstruction for RDMA NetworksSami Evangelista, Laure Petrucci, Lars Michael Kristensen. ICECCS 2022: 107-116 [doi]

Extension-Compression Learning: A deep learning code search method that simulates reading habitsLian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong 0006. ICECCS 2022: 195-200 [doi]

A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber AttacksZhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza. ICECCS 2022: 117-122 [doi]

Multi-layer Event Analytic Method of Adaptive Software Orienting at Uncertain EnvironmentsXinyue Li, Wu Chen. ICECCS 2022: 52-61 [doi]

Denotational and Algebraic Semantics for Cyber-physical SystemsRan Li, Huibiao Zhu, Richard Banach. ICECCS 2022: 123-132 [doi]

DLGR: A Rule-Based Approach to Graph Replacement for Deep LearningEnze Ma. ICECCS 2022: 183-188 [doi]

HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability IdentificationPaul Perrotin, Nicolas Belloir, Salah Sadou, David Hairion, Antoine Beugnard. ICECCS 2022: 1-6 [doi]

EB4EB: A Framework for Reflexive Event-BPeter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur. ICECCS 2022: 71-80 [doi]

Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution CoresYanzhao Wang, Fei Xie. ICECCS 2022: 189-194 [doi]

A Novel Intelligent-Building-Fire-Risk Classification MethodWeilin Wu, Na Wang 0007, Yixiang Chen. ICECCS 2022: 168-172 [doi]

Parameterized Design and Formal Verification of Multi-ported MemoryMufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi. ICECCS 2022: 33-41 [doi]

The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge ComputingJiaqi Yin, Huibiao Zhu. ICECCS 2022: 133-142 [doi]

A Bounded Semantics for Improving the Efficiency of Bounded Model CheckingWenhui Zhang, Ya Gao. ICECCS 2022: 97-106 [doi]

Combining Global and Local Representations of Source Code for Method NamingCong Zhou, Li Kuang. ICECCS 2022: 153-161 [doi]

2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine VehiclesSimon Foster 0001, Mario Gleirscher, Radu Calinescu. ICECCS 2020: 113-118 [doi]

25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020Yi Li 0002, Alan Wee-Chung Liew, editors, IEEE, 2020. [doi]

Achieving Weight Coverage for an Autonomous Driving System with Search-based Test GenerationThomas Laurent 0003, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. ICECCS 2020: 93-102 [doi]

RL: a Language for Formal EngineeringHadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy. ICECCS 2020: 31-36 [doi]

Automated Planning for Software Architectural MigrationNacha Chondamrongkul, Jing Sun 0002, Ian Warren. ICECCS 2020: 216-224 [doi]

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural NetworksYizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang 0001, Li Wang, Jin Song Dong, Ting Dai. ICECCS 2020: 73-82 [doi]

The Semantic SpreadsheetBehzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth. ICECCS 2020: 171-176 [doi]

SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile DevicesRuitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu. ICECCS 2020: 63-72 [doi]

Safety Controller Synthesis for Collaborative RobotsMario Gleirscher, Radu Calinescu. ICECCS 2020: 83-92 [doi]

Gathering GitHub OSS Requirements from Q&A Community: an Empirical StudyHao Huang, Yao Lu 0003, XinJun Mao. ICECCS 2020: 145-155 [doi]

DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart ContractsRu Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo 0001. ICECCS 2020: 125-134 [doi]

Deep Learning Application in Broadcast Tennis Video AnnotationKan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong. ICECCS 2020: 53-62 [doi]

Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee SpecificationsXuan Bach Le, David Sanán, Sun Jun 0001, Shang-Wei Lin 0001. ICECCS 2020: 43-52 [doi]

An Anytime Algorithm for Large-scale Heterogeneous Task AllocationQinyuan Li, Minyi Li 0001, Bao Quoc Vo, Ryszard Kowalczyk. ICECCS 2020: 206-215 [doi]

Visual counterexample explanation for model checking with OERITTEPolina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. ICECCS 2020: 1-10 [doi]

The Burn-to-Claim cross-blockchain asset transfer protocolBabu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy. ICECCS 2020: 119-124 [doi]

Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission LinesMohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager. ICECCS 2020: 103-112 [doi]

Formal Verification of Access Control Model for My Health Record SystemVictor Rivera. ICECCS 2020: 21-30 [doi]

ROS-FM: Fast Monitoring for the Robotic Operating System(ROS)Sean Rivera, Antonio Ken Iannillo, Sofiane Lagraa, Clément Joly, Radu State. ICECCS 2020: 187-196 [doi]

Optimizing Communication Strategies in Contested and Dynamic EnvironmentsClaudia Szabo, Vanja Radenovic, Gregory Judd, Dustin Craggs, Kin Leong Lee, Xiaoshan Chen, Kevin Chan. ICECCS 2020: 197-205 [doi]

CTL Model Checking of Self Modifying CodeTayssir Touili, Xin Ye 0007. ICECCS 2020: 11-20 [doi]

A Fault Localization Approach Derived From Testing-based Formal VerificationRong Wang, Shaoying Liu, Yuji Sato. ICECCS 2020: 165-170 [doi]

IFIX: Fixing Concurrency Bugs While They Are IntroducedZan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen. ICECCS 2020: 155-164 [doi]

Foggy: A New Anonymous Communication Architecture Based on MicroservicesHanlin Wei, Guangdong Bai, Zongwei Luo. ICECCS 2020: 135-144 [doi]

ReoFS: A Read-Efficient and Write-Optimized File System for Persistent MemoryYan Yan, Kaixin Huang, Shengan Zheng, Dongliang Xue, Linpeng Huang. ICECCS 2020: 177-186 [doi]

Parametric non-interference in timed automataÉtienne André, Aleksander Kryukov. ICECCS 2020: 37-42 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ICECCS (ICECCS)

Viewing Publication 1 - 100 from 1063

2025

2024

2023

2022

2020

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ICECCS (ICECCS)

Viewing Publication 1 - 100 from 1063

2025

2024

2023

2022

2020

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1