Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Reliability Analysis of Architectural Safeguards for AI-enabled Systems
Scheerer, Max, Reussner, Ralf
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Concolic execution for RPA testing
Paduraru, Ciprian, Cernat, Marina, Staicu, Adelina-Nicoleta
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models
Wang, Qian, Liu, Jing, Zhang, John, Dou, Hui, Sun, Haiying, Chen, HongTao, Chen, Xiaohong, He, Jifeng
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks
Hou, Zhe, Li, Qinyi, Foo, Ernest, Dong, Jin Song, de Souza, Paulo
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Get full text
Conference Proceeding
Loading…
An Experience Report on the Optimization of the Product Configuration System of Renault
Xu, Hao, Baarir, Souheib, Ziadi, Tewfik, Essodaigui, Siham, Bossu, Yves, Hillah, Lom Messan
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Supervised Robustness-preserving Data-free Neural Network Pruning
Meng, Mark Huasong, Bai, Guangdong, Teo, Sin G., Dong, Jin Song
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Polyglot AST: Towards Enabling Polyglot Code Analysis
Houdaille, Philemon, Khelladi, Djamel Eddine, Briend, Romain, Jongeling, Robbert, Combemale, Benoit
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Model Checking of Intersection Traffic Control Protocols
Noguchi, Yuya, Tsuchiya, Tatsuhiro
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Quantitative Explainable AI For Face Recognition
Peng, Shu, Dong, Naipeng, Bai, Guangdong
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Loading…
EB4EB: A Framework for Reflexive Event-B
Riviere, Peter, Singh, Neeraj Kumar, Ait-Ameur, Yamine
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Get full text
Conference Proceeding
Loading…
Self-adaptation in Microservice Architectures: A Case Study
Boyapati, Sree Ram, Szabo, Claudia
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Get full text
Conference Proceeding
Loading…
Industry-Oriented Project-Based Learning of Software Engineering
Spichkova, Maria
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Get full text
Conference Proceeding
Loading…
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation
Laurent, Thomas, Arcaini, Paolo, Ishikawa, Fuyuki, Ventresque, Anthony
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Get full text
Conference Proceeding
Loading…
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery
Victorica, Mauricio Byrd, Arcaini, Paolo, Ishikawa, Fuyuki, Kawamoto, Hirokazu, Sawai, Kaoru, Muramoto, Eiichi
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (2023)
Get full text
Conference Proceeding
Loading…
Loading…
The Burn-to-Claim cross-blockchain asset transfer protocol
Pillai, Babu, Biswas, Kamanashis, Hou, Zhe, Muthukkumarasamy, Vallipuram
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Published in 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.10.2020)
Get full text
Conference Proceeding
Loading…
Denotational and Algebraic Semantics for Cyber-physical Systems
Lil, Ran, Zhu, Huibiao, Banach, Richard
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Published in 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.03.2022)
Get full text
Conference Proceeding