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

• 2010
• 
  Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay:
  Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
• 
  Laura Bocchi, Emilio Tuosto:
  Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010: 87-94
• 
  Péter Bokor, Marco Serafini, Neeraj Suri:
  On Efficient Models for Model Checking Message-Passing Distributed Protocols. FMOODS/FORTE 2010: 216-223
• 
  Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo:
  Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16
• 
  Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta:
  Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169
• 
  F. Javier Crespo, Alberto de la Encina, Luis Llana:
  Fuzzy-Timed Automata. FMOODS/FORTE 2010: 140-154
• 
  Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
  Logics for Contravariant Simulations. FMOODS/FORTE 2010: 224-231
• 
  Pietro Ferrara:
  Static Type Analysis of Pattern Matching by Abstract Interpretation. FMOODS/FORTE 2010: 186-200
• 
  Robert M. Hierons, Manuel Núñez:
  Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77
• 
  Gerard J. Holzmann:
  Formal Software Verification: How Close Are We? FMOODS/FORTE 2010: 1
• 
  Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
  Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109
• 
  Frank Alexander Kraemer, Peter Herrmann:
  Reactive Semantics for Distributed UML Activities. FMOODS/FORTE 2010: 17-31
• 
  Peter Csaba Ölveczky, Artur Boronat, José Meseguer:
  Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62
• 
  Juan José Pardo, Manuel Núñez, M. Carmen Ruiz:
  Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE 2010: 78-86
• 
  Yongyuth Permpoontanalarp:
  On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. FMOODS/FORTE 2010: 201-215
• 
  Ernesto Posse, Jürgen Dingel:
  Theory and Implementation of a Real-Time Extension to the pi-Calculus. FMOODS/FORTE 2010: 125-139
• 
  Jan Smans, Bart Jacobs, Frank Piessens:
  Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE 2010: 170-185
• 
  Anton Wijs:
  Forgetting the Time in Timed Process Algebra. FMOODS/FORTE 2010: 110-124
• 
  John Hatcliff, Elena Zucca:
  Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0 [contents]