• 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 30 matches

• 2013
• 
  Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci:
  A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM 2013: 199-214
• 
  Stephan Arlt, Zhiming Liu, Martin Schäf:
  Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446
• 
  Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell:
  Formally Verified System Initialisation. ICFEM 2013: 70-85
• 
  Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
  A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM 2013: 148-164
• 
  Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
  Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM 2013: 313-328
• 
  Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
  The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM 2013: 447-463
• 
  José Dihego, Pedro R. G. Antonino, Augusto Sampaio:
  Algebraic Laws for Process Subtyping. ICFEM 2013: 4-19
• 
  Binyameen Farooq, Osman Hasan, Sohail Iqbal:
  Formal Kinematic Analysis of the Two-Link Planar Manipulator. ICFEM 2013: 347-362
• 
  Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
  The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM 2013: 131-147
• 
  Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun:
  vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM 2013: 329-346
• 
  Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
  Automated Specification Discovery via User-Defined Predicates. ICFEM 2013: 397-414
• 
  Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
  Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM 2013: 165-181
• 
  Jaco Jacobs, Andrew Simpson:
  Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML. ICFEM 2013: 265-280
• 
  Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
  Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. ICFEM 2013: 231-248
• 
  Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin:
  A Proof Slicing Framework for Program Verification. ICFEM 2013: 53-69
• 
  Mengjun Li:
  Assisting Specification Refinement by Random Testing. ICFEM 2013: 102-114
• 
  Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot:
  Verifying an Aircraft Proximity Characterization Method in Coq. ICFEM 2013: 86-101
• 
  Frédéric Mallet, Jean-Vivien Millo:
  Boundness Issues in CCSL Specifications. ICFEM 2013: 20-35
• 
  Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti:
  Formal Models of SysML Blocks. ICFEM 2013: 249-264
• 
  Carroll C. Morgan:
  Lattices of Information for Security: Deterministic, Demonic, Probabilistic. ICFEM 2013: 1-3
• 
  Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
  Formal Modelling of Resilient Data Storage in Cloud. ICFEM 2013: 363-379
• 
  Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão:
  Generation of Checking Sequences Using Identification Sets. ICFEM 2013: 115-130
• 
  Ya Shi, Zhenhua Duan, Cong Tian:
  Translation from Workflow Nets to MSVL. ICFEM 2013: 281-296
• 
  Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
  A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230
• 
  Yuanjie Si, Jun Sun, Yang Liu, Ting Wang:
  Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM 2013: 182-198
• 
  Guoxin Su, David S. Rosenblum:
  Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. ICFEM 2013: 297-312
• 
  Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li:
  Path-Sensitive Data Flow Analysis Simplified. ICFEM 2013: 415-430
• 
  Xiaofeng Wu, Huibiao Zhu:
  Linking Operational Semantics and Algebraic Semantics for Wireless Networks. ICFEM 2013: 380-396
• 
  Zhiqiang Zuo, Siau-Cheng Khoo:
  Mining Dataflow Sensitive Specifications. ICFEM 2013: 36-52
• 
  Lindsay Groves, Jing Sun:
  Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1 [contents]