Author:
Altisen Karine,Moy Matthieu
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference39 articles.
1. Altisen K, Moy M (2010) ac2lus: Bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre. In: ECRTS, Brussels, Belgium. http://www-verimag.imag.fr/~moy/publications/ac2lus-conf
2. Moy M, Altisen K (2010) Arrival curves for real-time calculus: the causality problem and its solutions. In: Esparza J, Majumdar R (eds) Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 358–372
3. Altisen K, Moy M (2011) Causality closure for a new class of curves in real-time calculus. In: Proceedings of the 1st international workshop on worst-case traversal time, ACM, Vienna, pp 3–10. doi: 10.1145/2071589.2071590 . http://www-verimag.imag.fr/~moy/publications/wctt2011
4. Altisen K, Liu Y, Moy M (2010) Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata. In: QAPL, Paphos. http://www-verimag.imag.fr/~moy/publications/gran-paper
5. Banerjee K, Dasgupta P (2014) Acceptance and random generation of event sequences under real time calculus constraints. In: Proceedings of the conference on design, automation & test in Europe. European Design and Automation Association, p 254