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

• 2016
• 
  Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege:
  Efficient Energy Distribution in a Smart Grid using Multi-Player Games. Cassting/SynCoP 2016: 1-12
• 
  Benedikt Brütsch, Wolfgang Thomas:
  Playing Games in the Baire Space. Cassting/SynCoP 2016: 13-25
• 
  Camille Coti:
  Parametric, Probabilistic, Timed Resource Discovery System. Cassting/SynCoP 2016: 53-62
• 
  Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard:
  Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Cassting/SynCoP 2016: 63-75
• 
  Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
  Two-Buffer Simulation Games. Cassting/SynCoP 2016: 27-38
• 
  Sotiris Moschoyiannis, Nicholas Elia, Alexandra S. Penn, David J. B. Lloyd, Christopher J. K. Knight:
  A Web-based Tool for Identifying Strategic Intervention Points in Complex Systems. Cassting/SynCoP 2016: 39-52
• 
  Bharath Siva Kumar Tati, Markus Siegle:
  Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP 2016: 77-89
• 
  Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
  Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
• 2015
• 
  Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
  View Abstraction - A Tutorial (Invited Paper). SynCoP 2015: 1-15
• 
  Étienne André, Camille Coti, Hoang Gia Nguyen:
  Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP 2015: 104-105
• 
  Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare:
  Parametric Verification of Weighted Systems. SynCoP 2015: 77-90
• 
  Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
  Parameter Synthesis with IC3 (Informal Presentation). SynCoP 2015: 106-107
• 
  Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg:
  Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP 2015: 33-47
• 
  Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
  Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103
• 
  Benoît Delahaye:
  Consistency for Parametric Interval Markov Chains. SynCoP 2015: 17-32
• 
  Laurent Fribourg, Ulrich Kühne, Nicolas Markey:
  Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP 2015: 48-62
• 
  Marta Kwiatkowska:
  Parameter synthesis for probabilistic real-time systems (Invited Paper). SynCoP 2015: 16-16
• 
  Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier:
  Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP 2015: 91-102
• 
  Bharath Siva Kumar Tati, Markus Siegle:
  Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP 2015: 63-76
• 
  Frontmatter, Table of Contents, Preface, Workshop Organization. SynCoP 2015: i-xii
• 
  Étienne André, Goran Frehse:
  2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom. OASIcs 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-82-8 [contents]
• 2014
• 
  Vahid Hashemi, Hassan Hatefi, Jan Krcál:
  Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). SynCoP 2014: 19-33
• 
  Karin Quaas:
  MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. SynCoP 2014: 5-17
• 
  Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
  Setting Parameters for Biological Models With ANIMO. SynCoP 2014: 35-47
• 
  Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
  Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. SynCoP 2014: 65-79
• 
  Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg:
  Toward Parametric Timed Interfaces for Real-Time Components. SynCoP 2014: 49-64
• 
  Étienne André, Goran Frehse:
  Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents]