| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications ALSOC | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 |
| Journal articles | 6 | 1 | 7 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 9 | 7 | 16 |
| Habilitations | 0 | 0 | 0 |
| Thesis | 3 | 2 | 5 |
- L. Andrade Porras, T. Maehne, M.‑M. Louërat, F. Pêcheux : “Time Step Control and Threshold Crossing Detection in SystemC AMS 2.0”, Actes du huitième colloque du GDR SOC-SIP du CNRS, Lyon, France, pp. 3 [Andrade Porras 2013]
- M. Benazouz, A. Munier‑Kordon : “Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization”, M-SCOPES '13, St. Goar, Germany, pp. 3-12, (ACM) [Benazouz 2013a]
- M. Benazouz, A. Munier‑Kordon, Th. Hujsa, B. Bodin : “Liveness evaluation of a cyclo-static DataFlow graph”, The 50th Annual Design Automation Conference, DAC 2013, Austin, United States, pp. 3:1-3:7, (ACM) [Benazouz 2013b]
- B. Bodin, A. Munier‑Kordon, B. Dupont De Dinechin : “Periodic Schedules for Cyclo-Static Dataflow”, 11th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia 2013), Montreal, Canada, pp. 105-114 [Bodin 2013]
- J.‑M. Delosme, Th. Hujsa, A. Munier‑Kordon : “Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems”, 13th International Conference of Application of Concurrency to System Design (ACSD 2013), Barcelona, Spain, pp. 90-99, (IEEE) [Delosme 2013]
- D. Genius : “Measuring Memory Latency for Software Objects in a NUMA System-on-Chip Architecture”, 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, ReCoSoC 2013, Darmstadt, Germany, pp. 1-8, (IEEE) [Genius 2013a]
- K. Heydemann, N. Moro, E. Encrenaz, B. Robisson : “Formal verification of a software countermeasure against instruction skip attacks”, PROOFS 2013, Santa-Barbara, United States [Heydemann 2013]
- H. Mokrani, R. Ameur‑Boulifa, E. Encrenaz : “Assisting Refinement in System on Chip Design”, Forum on Specification and Design Languages, Paris, France, pp. 1-6, (IEEE) [Mokrani 2013]
- N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection on microcontrollers”, Chip-to-Cloud Security Forum 2013, Nice, France [Moro 2013a]
- N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller”, Proceedings of the 10th workshop on Fault Diagnosis and Tolerance in Cryptography, Santa-Barbara, United States, pp. 77-88 [Moro 2013b]
- G. Plouviez, E. Encrenaz, F. Wajsbürt : “A formally verified hypervisor with hardware support for a many-core chip”, The 1st Workshop on Runtime and Operating Systems for the Many-core Era, ROME 2013, vol. 8374, Lecture Notes in Computer Science, Aachen, Germany, pp. 801-811, (Springer) [Plouviez 2013]