Result 1 to 20 of 41 total
Deterministic execution model on COTS hardware. (English)
Herkersdorf, Andreas (ed.) et al., Architecture of computing systems ‒ ARCS 2012. 25th international conference, Munich, Germany, February 28‒March 2, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28292-8/pbk). Lecture Notes in Computer Science 7179, 98-110 (2012).
1
Multi-task implementation of multi-periodic synchronous programs. (English)
Discrete Event Dyn. Syst. 21, No. 3, 307-338 (2011).
2
Multi-task implementation of multi-periodic synchronous programs (English)
Discrete Event Dynamic Systems 21, No. 3, 307-338 (2011).
3
Application of partial-order methods for the verification of closed-loop SDL systems (English)
SAC, 1666-1673 (2011).
4
Multiprocessor schedulability analyser (English)
SAC, 735-741 (2011).
5
Analyzing end-to-end functional delays on an IMA platform. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 243-257 (2010).
6
Thematic track: Formal languages and methods for designing and verifying complex embedded systems. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 58-59 (2010).
7
Toward a wider use of formal methods for aerospace systems design and verification. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 1, 1-7 (2010).
8
Implementing multi-periodic critical systems: from design to code generation. (English)
Comput. Res. Repos. 2010, Article No. 1003.2871 (2010).
9
A real-time architecture design language for multi-rate embedded control systems (English)
SAC, 527-534 (2010).
10
Context modelling and partial-order reduction: application to SDL industrial embedded systems (English)
SIES, 197-200 (2010).
11
Thematic track: formal languages and methods for designing and verifying complex embedded systems (English)
ISoLA (1), 58-59 (2010).
12
Analyzing end-to-end functional delays on an IMA platform (English)
ISoLA (1), 243-257 (2010).
13
Scheduling dependent periodic tasks without synchronization mechanisms (English)
IEEE Real-Time and Embedded Technology and Applications Symposium, 301-310 (2010).
14
Verification of real-time systems with preemption: negative and positive results. (English)
Innov. Syst. Softw. Eng. 5, No. 3, 163-179 (2009).
15
A framework for distributing real-time functions. (English)
Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15‒17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 155-169 (2008).
16
A multi-periodic synchronous data-flow language (English)
HASE, 251-260 (2008).
17
Vérification d’architectures embarquées : un enjeu aux multiples facettes (English)
CAL, 1 (2008).
18
Un langage de contexte de preuve pour la validation formelle de modèles logiciels (English)
CAL, 173-189 (2008).
19
A framework for distributing real-time functions (English)
FORMATS, 155-169 (2008).
20
Result 1 to 20 of 41 total
Start
Contact
Print
General Help
