Abstract is missing.
- Efficient Parameter Synthesis Using Optimized State Exploration StrategiesÉtienne André, Hoang Gia Nguyen, Laure Petrucci. 1-10 [doi]
- Integrating Tools: Co-simulation in UPPAAL Using FMI-FMUPeter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman. 11-19 [doi]
- Extending ERS for Modelling Dynamic Workflows in Event-BDana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi. 20-29 [doi]
- TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFisWei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao. 30-39 [doi]
- Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle PlatoonsSebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif. 40-49 [doi]
- BigrTiMo-A Process Algebra for Structure-Aware Mobile SystemsWanling Xie, Huibiao Zhu, Qiwen Xu. 50-59 [doi]
- Study of Software-Related Causes in the FDA Medical Device RecallsZhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha. 60-69 [doi]
- Learning Likely Invariants to Explain Why a Program FailsLong H. Pham, Jun Sun 0001, Lyly Tran Thi, Jingyi Wang, Xin Peng. 70-79 [doi]
- Search-Based Uncertainty-Wise Requirements PrioritizationYan Li, Man Zhang, Tao Yue, Shaukat Ali 0001, Li Zhang. 80-89 [doi]
- Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources LinkingSa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin. 90-99 [doi]
- A Composition Mechanism for Refinement-Based MethodsThai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler. 100-109 [doi]
- Class Modularization Using Indirect RelationshipsJunha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park. 110-119 [doi]
- Reachability Analysis of Self Modifying CodeTayssir Touili, Xin Ye. 120-127 [doi]
- A Unified Framework for Throughput Analysis of Streaming Applications under Memory ConstraintsXue-Yang Zhu. 128-137 [doi]
- Speeding Up Type-Specific Instrumentation for the Analysis of Complex SystemsAndrea Rosà, Walter Binder. 138-141 [doi]
- Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems DesignLorenzo Pagliari, Raffaela Mirandola, Catia Trubiani. 142-145 [doi]
- Formal Modeling and Automatic Code Synthesis for Robot SystemXinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song. 146-149 [doi]
- Towards Solving Decision Making Problems Using Probabilistic Model CheckingLing Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong. 150-153 [doi]
- Software Reliability Modeling and Analysis via Kernel-Based ApproachKei Okumura, Hiroyuki Okamura, Tadashi Dohi. 154-157 [doi]
- Evaluating Suitability of Applying BlockchainSin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu. 158-161 [doi]
- Decomposition and Collaboration of Industrial Control System with Resource ConstraintsJu Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang. 162-165 [doi]
- A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-SystemsJamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Ali Babar, Philippe Aniorté. 166-169 [doi]
- Functional Requirements-Based Automated Testing for AvionicsYoucheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster. 170-173 [doi]