Preuves et Programmes Synchrones: a Survey† Synchronous Programming Languages for Faust Olivier Hermant MINES ParisTech, PSL Research University 19 D´ecembre 2014

Source URL: feever.fr

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computer science
• Hardware description languages
• Synchronous programming languages
• Formal methods
• Denotational semantics
• Esterel
• Robin Milner
• Milner
• Logic for Computable Functions

Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time

Source URL: www-verimag.imag.fr

• Software engineering
• Computing
• Hardware description languages
• Synchronous programming languages
• SIGNAL
• Esterel
• Real-time computing
• Actor model
• Model checking
• Component-based software engineering
• Modeling and Analysis of Real Time and Embedded systems
• Reo Coordination Language

Synchronous Multiparty Session Types Andi Bejleri Nobuko Yoshida Imperial College London Aim of this work

Source URL: places08.di.fc.ul.pt

• Subroutines
• C++
• Data types
• Procedural programming languages
• C++ classes
• Const
• ALGOL 68
• Recursion
• Channel
• Parameter

✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Model checkers
• Formal methods
• Timed automaton
• Esterel
• Model checking
• Uppaal Model Checker
• SIGNAL

Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen

Source URL: users.ece.utexas.edu

• Models of computation
• Computer architecture
• Synchronous programming languages
• Parallel computing
• Computer data
• Dataflow
• Kahn process networks
• Concurrent computing
• Concurrency
• LabVIEW
• SIGNAL
• Dataflow architecture

Imperative Synchronous Languages The Quartz Language Semantics Imperative Synchronous Languages The Quartz Language

Source URL: www.averest.org

• Hardware description languages
• Source code
• Procedural programming languages
• Compilers
• Data dependency
• Esterel
• Computer program
• Programming language
• Imperative programming
• Software engineering
• Computing
• Computer programming

Aoste ost EPI presentation Sophia-Antipolis & Rocquencourt common with UNS/CNRS UMR I3S Robert de Simone

Source URL: leat.unice.fr

• Synchronous programming languages
• Electronic engineering
• Models of computation
• Electronics
• Formal methods
• Dataflow
• Synchronous Data Flow
• SIGNAL
• Kahn process networks
• Computing
• Computer architecture
• Hardware description languages

Specific Source Code Licensing Terms for SCADE Products Specific Source Code Licensing terms for Esterel Technologies SCADE Products In addition to the Software License Agreement referenced on the License Form incorpora

Source URL: www.esterel-technologies.com

• Free software licenses
• Hardware description languages
• Synchronous programming languages
• Esterel Technologies
• Eclipse Public License
• Esterel
• ARINC 661
• Eclipse
• License
• Software
• Computing
• Free software