default search action

combined dblp search
author search
venue search
publication search

ask others

1st SLAP@ETAPS 2002: Grenoble, France

> Home > Conferences and Workshops > SLAP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/etaps/2002slap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/2002slap
Florence Maraninchi, Alain Girault, Éric Rutten:
Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(5), Elsevier 2002
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MaraninchiGR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MaraninchiGR02
Florence Maraninchi, Alain Girault, Éric Rutten:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SowmyaST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SowmyaST02
Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang:
Design of a Mobile Robot Controller Using Esterel Tools. 3-10
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Garriou02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Garriou02
David Garriou:
Symbolic Simulation of Synchronous Programs. 11-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Morel02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Morel02
Lionel Morel:
Efficient Compilation of Array Iterators for Lustre. 19-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RaymondR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RaymondR02
Pascal Raymond, Yvan Roux:
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. 27-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldamusS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldamusS02
Michael Baldamus, Thomas Stauner:
Modifying Esterel Concepts to Model Hybrid Systems. 35-49
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GanapathyR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GanapathyR02
Vinod Ganapathy, S. Ramesh:
Slicing Synchronous Reactive Programs. 50-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ColacoP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ColacoP02
Jean-Louis Colaço, Marc Pouzet:
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. 65-78
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Edwards02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Edwards02
Stephen Edwards:
ESUIF: An Open Esterel Compiler. 79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ClossePPVW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ClossePPVW02
Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil:
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. 80-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LuttgenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuttgenM02
Gerald Lüttgen, Michael Mendler:
Towards a Model-Theory for Esterel. 95-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pandya02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pandya02
Paritosh K. Pandya:
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. 110-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bharadwaj02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bharadwaj02
Ramesh Bharadwaj:
SOL: A Verifiable Synchronous Language for Reactive Systems. 140-154
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NebutP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NebutP02
Mirabelle Nebut, Sophie Pinchinat:
A Decidable Clock Language for Synchronous Specifications. 125-139

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.