default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ICECCS 2017: Fukuoka, Japan
- 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2431-9
Formal Methods
- Étienne André, Hoang Gia Nguyen, Laure Petrucci:
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 1-10 - Peter Gjøl Jensen
, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. 11-19 - Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
Extending ERS for Modelling Dynamic Workflows in Event-B. 20-29 - Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao:
TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. 30-39
IoT/CPS
- Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif:
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. 40-49 - Wanling Xie, Huibiao Zhu, Qiwen Xu:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. 50-59 - Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. 60-69
Knowledge and Software Engineering
- Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. 70-79 - Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. 80-89 - Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin:
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. 90-99
Design and Analysis
- Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler:
A Composition Mechanism for Refinement-Based Methods. 100-109 - Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park:
Class Modularization Using Indirect Relationships. 110-119 - Tayssir Touili, Xin Ye:
Reachability Analysis of Self Modifying Code. 120-127 - Xue-Yang Zhu:
A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. 128-137
Short Paper I
- Andrea Rosà, Walter Binder:
Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. 138-141 - Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani:
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. 142-145 - Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. 146-149 - Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong:
Towards Solving Decision Making Problems Using Probabilistic Model Checking. 150-153 - Kei Okumura, Hiroyuki Okamura, Tadashi Dohi:
Software Reliability Modeling and Analysis via Kernel-Based Approach. 154-157
Short Paper II
- Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu:
Evaluating Suitability of Applying Blockchain. 158-161 - Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. 162-165 - Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Muhammad Ali Babar, Philippe Aniorté:
A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. 166-169 - Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster:
Functional Requirements-Based Automated Testing for Avionics. 170-173
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
