17 papers:
DAC-2010-JuHRC #analysis #multi #source code- Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.
- DAC-2009-JuHCR #analysis #source code
- Context-sensitive timing analysis of Esterel programs (LJ, BKH, SC, AR), pp. 870–873.
DATE-2009-MendlerHT #algebra #interface- WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
LCTES-2009-AndreM #requirements #specification #verification- Specification and verification of time requirements with CCSL and Esterel (CA, FM), pp. 167–176.
SAC-2006-LiH #concurrent #multi #thread- A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
ASPLOS-2006-LiBH #concurrent #embedded #multi #thread- Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
- LCTES-2006-ProchnowTH #state machine
- Synthesizing safe state machines from Esterel (SP, CT, RvH), pp. 113–124.
FASE-2005-Berry #design #industrial #performance #specification- Esterel v7: From Verified Formal Specification to Efficient Industrial Designs (GB), p. 1.
SAS-2003-TardieuS #termination- Instantaneous Termination in Pure Esterel (OT, RdS), pp. 91–108.
- DAC-2000-Edwards #compilation
- Compiling Esterel into sequential code (SAE), pp. 322–327.
FM-v2-1999-HainquePBN #compilation #composition #named #tool support- Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
- FM-v2-1999-SeshiaSBD
- A Translation of Statecharts to Esterel (SAS, RKS, AKB, SDD), pp. 983–1007.
CAV-1999-RameshB #case study #design #pipes and filters #tool support #using #validation- Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.
- CAV-1998-Bouali #verification
- XEVE, an ESTEREL Verification Environment (AB), pp. 500–504.
TACAS-1997-Berry #hardware #optimisation #source code #synthesis #verification- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs (GB), pp. 1–3.
- CAV-1995-JagadeesanPO #safety #source code #verification
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.
- CAV-1994-SimoneR #composition #reduction #semantics #verification
- Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
