The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SLAP@ETAPS"( http://dblp.L3S.de/Venues/SLAP@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/etaps

Publication years (Num. hits)
2002 (15) 2004 (8) 2006 (1) 2008 (5)
Publication types (Num. hits)
inproceedings(27) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Louis Mandel, Florence Plateau Interactive Programming of Reactive Systems. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin Generating Multi-Threaded code from Polychronous Specifications. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alain Girault, Éric Rutten Preface. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic STARPro - A new multithreaded direct execution platform for Esterel. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gwenaël Delaval Modular Distribution and Application to Discrete Controller Synthesis. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Marc Pouzet (eds.) Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004 Search on Bibsonomy SLAP@ETAPS The full citation details ... 2006 DBLP  BibTeX  RDF
1Stephen A. Edwards, Vimal Kapadia, Michael Halasz Compiling Esterel into Static Discrete-Event Code. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle A Verified Compiler for Synchronous Programs with Local Declarations. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Grégoire Hamon Synchronous Dataflow Pattern Matching. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Laure Gonnord, Nicolas Halbwachs, Pascal Raymond From Discrete Duration Calculus to Symbolic Automata. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Reinhard Budde, Axel Poigné, Karl-Heinz Sylla synERJY An Object-oriented Synchronous Language. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olivier Tardieu Goto and Concurrency Introducing Safe Jumps in Esterel. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Marc Pouzet Preface. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Eric Vecchié, Robert de Simone Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Stephen Edwards ESUIF: An Open Esterel Compiler. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ramesh Bharadwaj SOL: A Verifiable Synchronous Language for Reactive Systems. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Baldamus, Thomas Stauner Modifying Esterel Concepts to Model Hybrid Systems. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Garriou Symbolic Simulation of Synchronous Programs. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael Mendler Towards a Model-Theory for Esterel. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Éric Rutten Preface. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jean-Louis Colaço, Marc Pouzet Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paritosh K. Pandya The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mirabelle Nebut, Sophie Pinchinat A Decidable Clock Language for Synchronous Specifications. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lionel Morel Efficient Compilation of Array Iterators for Lustre. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pascal Raymond, Yvan Roux Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang Design of a Mobile Robot Controller Using Esterel Tools. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vinod Ganapathy, S. Ramesh 0001 Slicing Synchronous Reactive Programs. Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Florence Maraninchi, Alain Girault, Éric Rutten (eds.) Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 Search on Bibsonomy SLAP@ETAPS The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license