| 2019 | 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019 Jun Pang, Jing Sun |
| 2019 | A Formal Methods Approach to Security Requirements Specification and Verification. Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2019 | A Formally Verified Buddy Memory Allocation Model. Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu |
| 2019 | Adaptive Randomized Scheduling for Concurrency Bug Detection. Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao |
| 2019 | Apla Generic Constraint Matching Detection and Verification. Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
| 2019 | Assessing the Relation Between Hazards and Variability in Automotive Systems. Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2019 | Automatic Difficulty Management and Testing in Games using a Framework Based on Behavior Trees and Genetic Algorithms. Ciprian Paduraru, Miruna Paduraru |
| 2019 | Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer |
| 2019 | Bi-Abductive Inference for Shape and Ordering Properties. Christopher Curry, Quang Loc Le, Shengchao Qin |
| 2019 | Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. Ran Chen, Wenhui Zhang |
| 2019 | EFLightPM: An Efficient and Lightweight Persistent Memory System. Kaixin Huang, Yan Yan, Linpeng Huang |
| 2019 | Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard |
| 2019 | Efficient Retiming of Unfolded Synchronous Dataflow Graphs. Xue-Yang Zhu |
| 2019 | Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. Li Huang, Tian Liang, Eun-Young Kang |
| 2019 | Industry-Oriented Project-Based Learning of Software Engineering. Maria Spichkova |
| 2019 | Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning. Xi Gong, Zhenchang Xing, Xiaohong Li, Zhiyong Feng, Zhuobing Han |
| 2019 | LTL Model Checking of Self Modifying Code. Tayssir Touili, Xin Ye |
| 2019 | Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
| 2019 | MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin |
| 2019 | Modelling Hybrid Train Speed Controller using Proof and Refinement. Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | On the Evolution of Mobile App Complexity. Jun Gao, Li Li, Tegawendé F. Bissyandé, Jacques Klein |
| 2019 | On the Expressive Power of Invariants in Parametric Timed Automata. Étienne André, Didier Lime, Mathias Ramparison |
| 2019 | QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics. Faheem Ullah, Muhammad Ali Babar |
| 2019 | Recovering Software Architecture Product Lines. Mohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou |
| 2019 | Safe Inputs Approximation for Black-Box Systems. Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie |
| 2019 | Squeezing State Spaces of (Attack-Defence) Trees. Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
| 2019 | Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding. Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, Yulei Sui |
| 2019 | Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. Sung-Shik Jongmans |