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

• 2021
• 
  Jean-Paul Bodeveix, Mamoun Filali:
  Event-B Formalization of Event-B Contexts. ABZ 2021: 66-80
• 
  Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
  Extending ASMETA with Time Features. ABZ 2021: 105-111
• 
  Chiara Braghin, Mario Lilli, Elvinia Riccobene:
  Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ 2021: 17-33
• 
  Sophie Coudert:
  Proving the Safety of a Sliding Window Protocol with Event-B. ABZ 2021: 50-65
• 
  Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone:
  Verifying System-Level Security of a Smart Ballot Box. ABZ 2021: 34-49
• 
  Tristan Dyer, John W. Baugh Jr.:
  Sterling: A Web-Based Visualizer for Relational Modeling Languages. ABZ 2021: 99-104
• 
  Robert Eschbach:
  Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. ABZ 2021: 137-142
• 
  Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
  Extensible Record Structures in Event-B. ABZ 2021: 130-136
• 
  Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
  The CamilleX Framework for the Rodin Platform. ABZ 2021: 124-129
• 
  Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe:
  Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. ABZ 2021: 118-123
• 
  Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe:
  Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. ABZ 2021: 3-16
• 
  Mario Lilli:
  A Modeling and Verification Framework for Security Protocols. ABZ 2021: 158-161
• 
  Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun:
  About the Concolic Execution and Symbolic ASM Function Promotion in CASM. ABZ 2021: 112-117
• 
  Conor Reynolds:
  Formalizing the Institution for Event-B in the Coq Proof Assistant. ABZ 2021: 162-166
• 
  Peter Riviere:
  Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. ABZ 2021: 153-157
• 
  Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq:
  Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. ABZ 2021: 143-149
• 
  Fabian Vu, Michael Leuschel, Atif Mashkoor:
  Validation of Formal Models by Timed Probabilistic Simulation. ABZ 2021: 81-96
• 
  Alexander Raschke, Dominique Méry:
  Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings. Lecture Notes in Computer Science 12709, Springer 2021, ISBN 978-3-030-77542-1 [contents]