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

• 2013
• 
  Bogdan Aman, Gabriel Ciobanu:
  Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM 2013: 31-45
• 
  Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson:
  Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM 2013: 274-288
• 
  Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong:
  Run-Time Verification of Coboxes. SEFM 2013: 259-273
• 
  Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
  Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM 2013: 76-90
• 
  Yunja Choi:
  Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. SEFM 2013: 305-319
• 
  Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
  {log} as a Test Case Generator for the Test Template Framework. SEFM 2013: 229-243
• 
  Ornela Dardha, Elena Giachino, Michael Lienhardt:
  A Type System for Components. SEFM 2013: 167-181
• 
  Manuel Gesell, Andreas Morgenstern, Klaus Schneider:
  Lifting Verification Results for Preemption Statements. SEFM 2013: 91-105
• 
  Ran Ji, Reiner Hähnle, Richard Bubel:
  Program Transformation Based on Symbolic Execution and Deduction. SEFM 2013: 289-304
• 
  Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi:
  Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM 2013: 182-196
• 
  Radoslaw Klimek:
  From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. SEFM 2013: 61-75
• 
  Sebastian Krings, Michael Leuschel:
  Inferring Physical Units in B Models. SEFM 2013: 137-151
• 
  Nadia Menad, Philippe Dhaussy:
  A Transformation Approach for Multiform Time Requirements. SEFM 2013: 16-30
• 
  Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock:
  A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM 2013: 46-60
• 
  Christian Percebois, Martin Strecker, Hanh Nhi Tran:
  Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM 2013: 106-121
• 
  Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei:
  Static Detection of Implementation Errors Using Formal Code Specification. SEFM 2013: 197-211
• 
  Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh:
  A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. SEFM 2013: 152-166
• 
  Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson:
  Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15
• 
  Thi Mai Thuong Tran, Martin Steffen, Hoang Truong:
  Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM 2013: 212-228
• 
  Gijs Vanspauwen, Bart Jacobs:
  Sound Symbolic Linking in the Presence of Preprocessing. SEFM 2013: 122-136
• 
  Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
  Zero Overhead Runtime Monitoring. SEFM 2013: 244-258
• 
  Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
  Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents]