ICECCS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1040

2023

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

Challenges in testing of cyclic systemsAna Cavalcanti 0001, Robert M. Hierons. ICECCS 2023: 1-6 [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]

2019

24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019Jun Pang 0001, Jing Sun 0002, editors, IEEE, 2019. [doi]

Measuring Opacity for Non-Probabilistic DES: a SOG-Based ApproachAmina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane. ICECCS 2019: 242-247 [doi]

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer. ICECCS 2019: 97-106 [doi]

Bi-Abductive Inference for Shape and Ordering PropertiesChristopher Curry, Quang Loc Le, Shengchao Qin. ICECCS 2019: 220-225 [doi]

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile PlatformRuitao Feng, Sen Chen, Xiaofei Xie, Lei Ma 0003, Guozhu Meng, Yang Liu 0003, Shang-Wei Lin. ICECCS 2019: 61-70 [doi]

On the Evolution of Mobile App ComplexityJun Gao, Li Li 0029, Tegawendé F. Bissyandé, Jacques Klein. ICECCS 2019: 200-209 [doi]

Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task LearningXi Gong, Zhenchang Xing, Xiaohong Li, Zhiyong Feng, Zhuobing Han. ICECCS 2019: 31-40 [doi]

Formal Verification of Dynamic and Stochastic Behaviors for Automotive SystemsLi Huang, Tian Liang, Eun-Young Kang 0001. ICECCS 2019: 11-20 [doi]

EFLightPM: An Efficient and Lightweight Persistent Memory SystemKaixin Huang, Yan Yan, Linpeng Huang. ICECCS 2019: 154-163 [doi]

Toward New Unit-Testing Techniques for Shared-Memory Concurrent ProgramsSung-Shik Jongmans. ICECCS 2019: 164-169 [doi]

Recovering Software Architecture Product LinesMohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou. ICECCS 2019: 226-235 [doi]

Automatic Difficulty Management and Testing in Games using a Framework Based on Behavior Trees and Genetic AlgorithmsCiprian Paduraru, Miruna Paduraru. ICECCS 2019: 170-179 [doi]

Squeezing State Spaces of (Attack-Defence) TreesLaure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk. ICECCS 2019: 71-80 [doi]

Industry-Oriented Project-Based Learning of Software EngineeringMaria Spichkova. ICECCS 2019: 51-60 [doi]

Modelling Hybrid Train Speed Controller using Proof and RefinementPaulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky. ICECCS 2019: 107-113 [doi]

LTL Model Checking of Self Modifying CodeTayssir Touili, Xin Ye. ICECCS 2019: 1-10 [doi]

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank MemoryHai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard. ICECCS 2019: 114-123 [doi]

QuickAdapt: Scalable Adaptation for Big Data Cyber Security AnalyticsFaheem Ullah, Muhammad Ali Babar. ICECCS 2019: 81-86 [doi]

Adaptive Randomized Scheduling for Concurrency Bug DetectionZan Wang, Dongdi Zhang, Shuang Liu, Jun Sun 0001, Yingquan Zhao. ICECCS 2019: 124-133 [doi]

Assessing the Relation Between Hazards and Variability in Automotive SystemsXiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa. ICECCS 2019: 190-199 [doi]

Efficient Retiming of Unfolded Synchronous Dataflow GraphsXue-Yang Zhu. ICECCS 2019: 134-143 [doi]

Apla Generic Constraint Matching Detection and VerificationZhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu. ICECCS 2019: 210-219 [doi]

On the Expressive Power of Invariants in Parametric Timed AutomataÉtienne André, Didier Lime, Mathias Ramparison. ICECCS 2019: 87-96 [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 1040

2023

2022

2020

2019

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 1040

2023

2022

2020

2019

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