title = { Compilation s\'epar\'ee de programmes Lustre },
author = {Raymond, Pascal},
month = {july},
year = {1988},
institution = {Projet SPECTRE, IMAG},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@techreport{Ray88,
title = { Compilation s\'epar\'ee de programmes Lustre },
author = {Raymond, Pascal},
month = {july},
year = {1988},
institution = {Projet SPECTRE, IMAG},
team = {SYNC},
}
title = { Compilation s\'epar\'ee de programmes Lustre },
author = {Raymond, Pascal},
month = {july},
year = {1988},
institution = {Projet SPECTRE, IMAG},
team = {SYNC},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
