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

• 2009
• 
  Alain Girault, Éric Rutten:
  Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 238(1), Elsevier 2009 [contents]
• 2008
• 
  Gwenaël Delaval:
  Modular Distribution and Application to Discrete Controller Synthesis. SLAP@ETAPS 2008: 3-19
• 
  Alain Girault, Éric Rutten:
  Preface. SLAP@ETAPS 2008: 1-2
• 
  Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin:
  Generating Multi-Threaded code from Polychronous Specifications. SLAP@ETAPS 2008: 57-69
• 
  Louis Mandel, Florence Plateau:
  Interactive Programming of Reactive Systems. SLAP@ETAPS 2008: 21-36
• 
  Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic:
  STARPro - A new multithreaded direct execution platform for Esterel. SLAP@ETAPS 2008: 37-55
• 
  Joaquín Aguado, Michael Mendler:
  Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(4), Elsevier 2008 [contents]
• 2007
• 
  Joaquín Aguado, Michael Mendler:
  Preface. SLA++P@ETAPS 2007: 1-2
• 
  Marian Boldt, Claus Traulsen, Reinhard von Hanxleden:
  Worst Case Reaction Time Analysis of Concurrent Reactive Programs. SLA++P@ETAPS 2007: 65-79
• 
  Lydie du Bousquet, Michel Delaunay:
  Towards Mutation Analysis for Lustre Programs. SLA++P@ETAPS 2007: 35-48
• 
  Jimin Gao, Mike Whalen, Eric Van Wyk:
  Extending Lustre with Timeout Automata. SLA++P@ETAPS 2007: 111-124
• 
  Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur:
  Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. SLA++P@ETAPS 2007: 95-110
• 
  Arnab Ray, Rance Cleaveland:
  Executable Specifications for Real-Time Distributed Systems. SLA++P@ETAPS 2007: 3-17
• 
  Pascal Raymond, Yvan Roux, Erwan Jahier:
  Specifying and Executing Reactive Scenarios With Lutin. SLA++P@ETAPS 2007: 19-34
• 
  Roopak Sinha, Partha S. Roop, Samik Basu:
  A Model Checking Approach to Protocol Conversion. SLA++P@ETAPS 2007: 81-94
• 
  David Stauch:
  Modifying Contracts with Larissa Aspects. SLA++P@ETAPS 2007: 125-140
• 
  Olivier Tardieu, Stephen A. Edwards:
  Instantaneous Transitions in Esterel. SLA++P@ETAPS 2007: 49-64
• 2006
• 
  Florence Maraninchi, Alain Girault, Marc Pouzet:
  Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 [contents]
• 2004
• 
  Reinhard Budde, Axel Poigné, Karl-Heinz Sylla:
  synERJY An Object-oriented Synchronous Language. SLAP@ETAPS 2004: 99-115
• 
  Stephen A. Edwards, Vimal Kapadia, Michael Halasz:
  Compiling Esterel into Static Discrete-Event Code. SLAP@ETAPS 2004: 117-131
• 
  Laure Gonnord, Nicolas Halbwachs, Pascal Raymond:
  From Discrete Duration Calculus to Symbolic Automata. SLAP@ETAPS 2004: 3-18
• 
  Grégoire Hamon:
  Synchronous Dataflow Pattern Matching. SLAP@ETAPS 2004: 37-54
• 
  Florence Maraninchi, Alain Girault, Marc Pouzet:
  Preface. SLAP@ETAPS 2004: 1-2
• 
  Klaus Schneider, Jens Brandt, Tobias Schüle:
  A Verified Compiler for Synchronous Programs with Local Declarations. SLAP@ETAPS 2004: 71-97
• 
  Olivier Tardieu:
  Goto and Concurrency Introducing Safe Jumps in Esterel. SLAP@ETAPS 2004: 55-70
• 
  Eric Vecchié, Robert de Simone:
  Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. SLAP@ETAPS 2004: 19-35
• 
  Florence Maraninchi, Alain Girault, Éric Rutten:
  Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003. Electronic Notes in Theoretical Computer Science 88, Elsevier 2004 [contents]
• 2003
• 
  Joaquín Aguado, Michael Mendler, Gerald Lüttgen:
  A-maze-ing Esterel. SLAP 2003: 21-37
• 
  Charles André:
  Computing SyncCharts Reactions. SLAP 2003: 3-19
• 
  Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon:
  Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. SLAP 2003: 105-121

skipping 20 more matches