default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st ICFEM 2019: Shenzhen, China
- Yamine Aït Ameur, Shengchao Qin:
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Lecture Notes in Computer Science 11852, Springer 2019, ISBN 978-3-030-32408-7
Invited Talk
- Yang Liu
, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. 3-15
Regular Papers
- Marko Kleine Büning, Tomás Balyo, Carsten Sinz:
Using DimSpec for Bounded and Unbounded Software Model Checking. 19-35 - Yueling Zhang, Geguang Pu, Min Zhang:
SMTBCF: Efficient Backbone Computing for SMT Formulas. 36-51 - Isamu Hasegawa, Tomoyuki Yokogawa:
Automatic Verification for Node-Based Visual Script Notation Using Model Checking. 52-68 - Hui Feng, Farhad Arbab, Marcello M. Bonsangue:
A Reo Model of Software Defined Networks. 69-85 - Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun:
Design of Point-and-Click User Interfaces for Proof Assistants. 86-103 - Lin Cheng:
SqlSol: An accurate SQL Query Synthesizer. 104-120 - Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. 121-137 - Patrick Gardy, Yuxin Deng:
Simulations for Multi-Agent Systems with Imperfect Information. 138-153 - Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. 154-169 - Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin:
A Security Calculus for Wireless Networks of Named Data Networking. 170-185 - Marko Kleine Büning, Carsten Sinz:
Automatic Modularization of Large Programs for Bounded Model Checking. 186-202 - Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu:
PDNet: A Programming Language for Software-Defined Networks with VLAN. 203-218 - Klaus-Dieter Schewe:
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. 219-235 - Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran:
Probably Approximate Safety Verification of Hybrid Dynamical Systems. 236-252 - Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. 253-269 - Sylvain Conchon, Mattias Roux:
Reasoning About Universal Cubes in MCMT. 270-285 - Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. 286-304 - Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux:
A Mechanized Theory of Program Refinement. 305-321 - Xilong Zhuo, Chenyi Zhang:
A Relational Static Semantics for Call Graph Construction. 322-335 - Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. 336-352 - Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek:
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. 353-369 - Denis Poitrenaud, Etienne Renault:
Combining Parallel Emptiness Checks with Partial Order Reductions. 370-386 - Ai Liu, Meng Sun:
A Coalgebraic Semantics Framework for Quantum Systems. 387-402 - Yongjian Li, Bow-Yaw Wang:
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. 403-419 - Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang:
An Axiomatisation of the Probabilistic \mu -Calculus. 420-437 - Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang:
Synthesizing Nested Ranking Functions for Loop Programs via SVM. 438-454 - Salwa Souaf, Frédéric Loulergue:
A First Step in the Translation of Alloy to Coq. 455-469 - Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili:
Assessment of a Formal Requirements Modeling Approach on a Transportation System. 470-486
Doctoral Symposium Papers
- Chenghao Cai, Jing Sun, Gillian Dobbie:
Design Model Repair with Formal Verification. 489-492 - Ruitao Feng, Yang Liu, Shangwei Lin:
A Performance-Sensitive Malware Detection System on Mobile Platform. 493-497 - Zhengqi Yu, Armin Biere, Keijo Heljanko:
Certifying Hardware Model Checking Results. 498-502 - Hamid Jahanian:
A Note on Failure Mode Reasoning. 503-506 - Jay Hoon Jung, YoungMin Kwon:
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. 507-511 - Jiao Jiao:
Formal Specification and Verification of Smart Contracts. 512-516 - Tengfei Li:
Spatio-Temporal Specification Language for Cyber-Physical Systems. 517-521 - Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin:
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. 522-525
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 2024-10-23 20:19 CEST 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:
