Abstract is missing.
- Layered and Collecting NDFS with Subsumption for Parametric Timed AutomataHoang Gia Nguyen, Laure Petrucci, Jaco van de Pol. 1-9 [doi]
- Offline Timed Pattern Matching under UncertaintyÉtienne André, Ichiro Hasuo, Masaki Waga. 10-20 [doi]
- HOMESCAN: Scrutinizing Implementations of Smart Home IntegrationsKulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang. 21-30 [doi]
- B-Repair: Repairing B-Models Using Machine LearningChenghao Cai, Jing Sun 0002, Gillian Dobbie. 31-40 [doi]
- State Compression Based on One-Sided Communications for Distributed Model CheckingCamille Coti, Sami Evangelista, Laure Petrucci. 41-50 [doi]
- Towards Mining Comprehensive Android SandboxesTien-Duy B. Le, Lingfeng Bao, David Lo 0001, Debin Gao, Li Li. 51-60 [doi]
- Cultural Influences on the Requirements Engineering Process: Lessons Learned from PracticeTawfeeq Alsanoosy, Maria Spichkova, James Harland. 61-70 [doi]
- Modelling and Verification of Large-Scale Sensor Network InfrastructuresMichele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann. 71-81 [doi]
- Multi-Level Multi-Stage Agent-Based Decision Support System for Simulation of Crowd DynamicsRaghda Alqurashi, Tom Altman. 82-92 [doi]
- A Model-Based Approach for Design Time Elasticity Rules GenerationMahin Abbasipour, Ferhat Khendek, Maria Toeroe. 93-103 [doi]
- EH-Recommender: Recommending Exception Handling Strategies Based on Program ContextYuhang Li, Shi Ying, Xiangyang Jia, Yisen Xu, Lily Zhao, Guoli Cheng, Bingming Wang, Jifeng Xuan. 104-114 [doi]
- Section-Blockchain: A Storage Reduced Blockchain Protocol, the Foundation of an Autotrophic Decentralized Storage ArchitectureYibin Xu. 115-125 [doi]
- Variant Region TypesFlorin Craciun, Wei-Ngan Chin, Shengchao Qin. 126-135 [doi]
- Formal Ontology Driven Model RefactoringNeeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry. 136-145 [doi]
- Extended Algebraic State-Transition DiagramsLionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. 146-155 [doi]
- SMI: Stack Management InterfaceMaria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang. 156-159 [doi]
- Back Propagating B System Updates on SysML/KAOS Domain ModelsSteve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar. 160-169 [doi]
- Design Verification and Validation for Reliable Safety-Critical Autonomous Control SystemsRongjie Yan, Junjie Yang, Di Zhu, Kai Huang. 170-179 [doi]
- Efficient Algorithms and Tools for MITL Model-Checking and SynthesisThomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege. 180-184 [doi]
- AWaRE - Towards Distributed Self-Management for Resilient Cyber SystemsMohan Baruwal Chhetri, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Michael Docking, Hien P. Luong, Isuru Rajapakse, Surya Nepal. 185-188 [doi]
- Reusing Formal Models via LiftingDana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler. 189-192 [doi]
- Semi-Supervised Approach for Recovering Traceability Links in Complex SystemsEmma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri. 193-196 [doi]
- Formal Analysis of a Proof-of-Stake BlockchainWai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong. 197-200 [doi]
- Formal Modeling and Security Analysis for OpenFlow-Based NetworksYongxin Zhao, Xi Wu, Jing Liu, Yilong Yang 0001. 201-204 [doi]
- Kinship Determination in Mobile Social NetworksTianxin Liang, Xiaoping Yang, Liang Wang, Zhenyuan Han. 205-208 [doi]
- Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and BenchmarksSarah Benyagoub. 209-212 [doi]
- Facilitating the Adoption of Standards through Model-Based RepresentationMorayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang. 213-216 [doi]
- Design Concerns for Industrial Big Data System in the Smart Factory Domain: From Product Lifecycle ViewHui Zhao, Jianrong Hou. 217-220 [doi]
- Software Product Line Extraction from Bytecode Based ApplicationsTewfik Ziadi, Lom-Messan Hillah. 221-225 [doi]