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

• 2017
• 
  Cyrille Artho, Peter Csaba Ölveczky:
  Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. 133: 89-90 (2017)
• 
  Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini:
  Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133: 116-153 (2017)
• 
  Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
  Checking global usage of resources handled with local policies. Sci. Comput. Program. 133: 20-50 (2017)
• 
  Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel:
  FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. Sci. Comput. Program. 133: 154-174 (2017)
• 
  Stefan Bygde, Björn Lisper, Niklas Holsti:
  Improved precision in polyhedral analysis with wrapping. Sci. Comput. Program. 133: 74-87 (2017)
• 
  Georgiana Caltais, Bertrand Meyer:
  On the verification of SCOOP programs. Sci. Comput. Program. 133: 194-215 (2017)
• 
  Miguel Campusano, Johan Fabry:
  Live Robot Programming: The language, its implementation, and robot API independence. Sci. Comput. Program. 133: 1-19 (2017)
• 
  Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco:
  Message safety in Dart. Sci. Comput. Program. 133: 51-73 (2017)
• 
  Linh Vu Hong, Anne E. Haxthausen, Jan Peleska:
  Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133: 91-115 (2017)
• 
  Timon Kelter, Peter Marwedel:
  Parallelism analysis: Precise WCET values for complex multi-core systems. Sci. Comput. Program. 133: 175-193 (2017)
• 
  Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
  Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133: 216-242 (2017)