• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2020
• 
  Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga:
  Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM 2020: 3-19
• 
  Yunjun Bai, Kaushik Mallik:
  Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. ICFEM 2020: 297-307
• 
  Hao Bu, Meng Sun:
  Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. ICFEM 2020: 287-296
• 
  Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan:
  Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM 2020: 233-250
• 
  Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
  Four-Valued Monitorability of ømega-Regular Languages. ICFEM 2020: 198-214
• 
  Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel:
  Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM 2020: 251-267
• 
  Maribel Fernández, Ian Mackie:
  A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106
• 
  Kosei Fujishiro, Koji Hasebe:
  Robustness and Failure Detection in Epistemic Gossip Protocols. ICFEM 2020: 20-35
• 
  Hamid Jahanian, Annabelle McIver:
  Reasoning with Failures. ICFEM 2020: 36-52
• 
  Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich:
  Verification of Programs with Pointers in SPARK. ICFEM 2020: 55-72
• 
  Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
  Learning Fault Models of Cyber Physical Systems. ICFEM 2020: 147-162
• 
  Minh Ngo, David A. Naumann, Tamara Rezk:
  Type-Based Declassification for Free. ICFEM 2020: 181-197
• 
  Chaoqun Nie, Jianqi Shi, Yanhong Huang:
  VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM 2020: 163-178
• 
  Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer:
  Formal Foundations for Intel SGX Data Center Attestation Primitives. ICFEM 2020: 268-283
• 
  Suneel Sarswat, Abhishek Kr Singh:
  Formally Verified Trades in Financial Markets. ICFEM 2020: 217-232
• 
  Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan:
  PAC Learning of Deterministic One-Clock Timed Automata. ICFEM 2020: 129-146
• 
  Shikhar Singh, Sarfraz Khurshid:
  Parallel Chopped Symbolic Execution. ICFEM 2020: 107-125
• 
  Yahui Song, Wei-Ngan Chin:
  Automated Temporal Verification of Integrated Dependent Effects. ICFEM 2020: 73-90
• 
  Inna Vistbakka, Elena Troubitsyna:
  Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM 2020: 308-317
• 
  Yoriyuki Yamagata, Yutaka Matsuno:
  Algebraic Approach for Confidence Evaluation of Assurance Cases. ICFEM 2020: 318-327
• 
  Shang-Wei Lin, Zhe Hou, Brendan P. Mahony:
  Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6 [contents]