Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Isamu Hasegawa, Tomoyuki Yokogawa |
Automatic Verification for Node-Based Visual Script Notation Using Model Checking. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Lei Ma 0003, Jianjun Zhao 0001 |
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chenghao Cai, Jing Sun 0002, Gillian Dobbie |
Design Model Repair with Formal Verification. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun |
Design of Point-and-Click User Interfaces for Proof Assistants. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Mattias Roux |
Reasoning About Universal Cubes in MCMT. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Jahanian |
A Note on Failure Mode Reasoning. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang 0001 |
An Axiomatisation of the Probabilistic \mu -Calculus. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xilong Zhuo, Chenyi Zhang |
A Relational Static Semantics for Call Graph Construction. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Yi Lu 0003, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke |
Type Capabilities for Object-Oriented Programming Languages. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Teck Ping Khoo |
Model Based Testing of Cyber-Physical Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Amin Majd, Elena Troubitsyna |
Deriving Mode Logic for Autonomous Resilient Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
PAR: A Practicable Formal Method and Its Supporting Platform. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Mahony |
Formalising Performance Guarantees in Meta-Reinforcement Learning. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cunjing Ge, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001 |
Checking Activity Transition Systems with Back Transitions Against Assertions. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuekang Li |
Principled Greybox Fuzzing. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Foster 0001, Ramsay G. Taylor, Achim D. Brucker, John Derrick |
Formalising Extended Finite State Machine Transition Merging. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu |
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Milad K. Ghale |
Engineering Software for Modular Formalisation and Verification of STV Algorithms. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
Capabilities: Effects for Free. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guohui Wang, Yong Guan, Zhiping Shi 0002, Qianying Zhang, Xiaojuan Li, Yongdong Li |
Formalization of Symplectic Geometry in HOL-Light. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel |
Strongly Typed Numerical Computations. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Jiri Barnat |
Model Checking of C++ Programs Under the x86-TSO Memory Model. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong |
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwu Xu 0001, Kerong Ren, Shengchao Qin, Florin Craciun |
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Naipeng Dong, Tim Muller |
The Foul Adversary: Formal Models. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham |
Towards Trustworthy AI for Autonomous Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Fei, Huibiao Zhu |
Modeling and Verifying NDN Access Control Using CSP. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 |
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
Behaviour-Driven Formal Model Development. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kulani Mahadewa |
Security Analysis of Smart Home Implementations. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Fuyuki Ishikawa |
Analysis on Strategies of Superposition Refinement of Event-B Specifications. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Teck Ping Khoo, Jun Sun 0001 |
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jing Sun 0002, Meng Sun 0002 (eds.) |
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Du 0001 |
Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner |
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiyue Zhang |
Modeling and Verification of Component Connectors. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes |
Engineering a Theory of Concurrent Programming. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timm Liebrenz, Paula Herber, Sabine Glesner |
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timm Liebrenz |
Service-Oriented Design and Verification of Hybrid Control Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0010 |
Developing Reliable Component-Based Software in Mediator. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kailong Wang |
Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning |
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kan Jiang |
Combining Deep Learning and Probabilistic Model Checking in Sports Analytics. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wanling Xie, Huibiao Zhu, Shengchao Qin |
UTP Semantics for BigrTiMo. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dileepa Fernando |
Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jingyi Wang 0004, Xiaohong Chen 0002, Jun Sun 0001, Shengchao Qin |
Improving Probability Estimation Through Active Probabilistic Model Learning. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dongjing Miao, Zhipeng Cai 0001 |
Parameterized Complexity of Resilience Decision for Database Debugging. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wang Yi 0001 |
Towards Customizable CPS: Composability, Efficiency and Predictability. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao |
A Framework for Multi-view Reconciliation and for Medical Devices Personalization. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Töws, Heike Wehrheim |
Policy Dependent and Independent Information Flow Analyses. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Min Zhang 0002, Guoqing Lei |
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhao Duan, Cong Tian, Zhenhua Duan |
Verifying Temporal Properties of C Programs via Lazy Abstraction. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doolan, Graeme Smith 0001, Chenyi Zhang, Padmanabhan Krishnan |
Improving the Scalability of Automatic Linearizability Checking in SPIN. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake |
Modularization of Refinement Steps for Agile Formal Methods. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwu Xu 0001, Cheng Wen, Shengchao Qin |
Learning Types for Binaries. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhua Duan, Luke Ong (eds.) |
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Göthel, Nils Jähnig, Simon Seif |
Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Rashid, Osman Hasan |
Formal Analysis of Linear Control Systems Using Theorem Proving. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0044, Naipeng Dong, Jun Pang 0001, Jun Sun 0001, Guangdong Bai, Yang Liu 0003, Jin Song Dong |
A Verification Framework for Stateful Security Protocols. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Rosemary Monahan, James F. Power |
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuwei Wang, Yunqing Wen, Guoqiang Li 0001, Shoji Yuen |
Nested Timed Automata with Diagonal Constraints. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Si Liu 0003, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer 0001 |
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor |
A Certified Decision Procedure for Tree Shares. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su 0001, Jian Zhang 0001, Jun Yan 0009 |
Detecting Energy Bugs in Android Apps Using Static Analysis. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng |
Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Long H. Pham, Lyly Tran Thi, Jun Sun 0001 |
Assertion Generation Through Active Learning. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Marco B. Caminati |
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohong Chen 0001, Ling Yin, Yijun Yu, Zhi Jin |
Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi |
Inconsistency Analysis of Time-Based Security Policy and Firewall Policy. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Fu Song, Zhilin Wu |
Model Checking Pushdown Epistemic Game Structures. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xin Li 0010, Mizuhito Ogawa |
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jiaying Li 0001, Jun Sun 0001, Bo Gao, Étienne André |
Classification-Based Parameter Synthesis for Parametric Timed Automata. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yunhao Liu 0001, Xiaohong Li 0001, Zhiyong Feng 0002, Jianye Hao |
An Improved Android Collusion Attack Detection Method Based on Program Slicing. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Amálio, Richard John Payne, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Checking SysML Models for Co-simulation. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Marc Pantel |
A System Substitution Mechanism for Hybrid Systems in Event-B. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peizun Liu, Thomas Wahl |
Concolic Unbounded-Thread Reachability via Loop Summaries. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhang 0002, Frédéric Mallet, Huibiao Zhu |
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Scheurer, Reiner Hähnle, Richard Bubel |
A General Lattice Model for Merging Symbolic Execution Branches. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael J. Butler |
Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Keijiro Araki, Taro Kurita |
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Rocchetto, Nils Ole Tippenhauer |
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Didier Lime, Olivier H. Roux |
Decision Problems for Parametric Timed Automata. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet |
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Töws, Heike Wehrheim |
A CEGAR Scheme for Information Flow Analysis. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Minh Hai Nguyen, Quan Thanh Tho, Le Duc Anh |
Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky |
Proving Event-B Models with Reusable Generic Lemmas. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akira Tanaka, Reynald Affeldt, Jacques Garrigue |
Formal Verification of the rank Algorithm for Succinct Data Structures. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manman Chen, Tian Huat Tan, Jun Sun 0001, Jingyi Wang 0004, Yang Liu 0003, Jing Sun 0002, Jin Song Dong |
Service Adaptation with Probabilistic Partial Models. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden |
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su 0001, Danzhu Bao, Yang Liu 0003, Shuohao Chen, Kunpeng Xiong |
Automated Requirements Validation for ATP Software via Specification Review and Testing. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Waqar Ahmad, Osman Hasan |
Formal Availability Analysis Using Theorem Proving. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova |
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Gadia, Cyrille Artho, Gedare Bloom |
Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
An Event-B Development Process for the Distributed BIP Framework. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi 0001 |
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Lindsay Groves |
Contextual Trace Refinement for Concurrent Objects: Safety and Progress. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|