2021
Power-aware scheduling of data-flow hardware circuits with symbolic control (n.d.). Archives of Control Sciences. doi:10.24425/acs.2021.137426DOI: 10.24425/acs.2021.137426
2020
Özbaltan, M., & Berthier, N. (2020). A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits. In IFAC-PapersOnLine Vol. 53 (pp. 10688-10694). Elsevier BV. doi:10.1016/j.ifacol.2020.12.2842DOI: 10.1016/j.ifacol.2020.12.2842
2018
Özbaltan, M., & Berthier, N. (2018). Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating. In 14th Workshop on Discrete Event Systems. Sorrento Coast, Italy.
Berthier, N., Marchand, H., & Rutten, É. (2018). Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. In 14th Workshop on Discrete Event Systems. Sorrento Coast, Italy. doi:10.1016/j.ifacol.2018.06.288DOI: 10.1016/j.ifacol.2018.06.288
2017
Husien, I., Schewe, S., & Berthier, N. (2017). PranCS: A protocol and discrete controller synthesis tool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 10606 LNCS (pp. 337-349). doi:10.1007/978-3-319-69483-2_20DOI: 10.1007/978-3-319-69483-2_20
Berthier, N., Alvares, F., Marchand, H., Delaval, G., & Rutten, E. (2017). Logico-numerical Control for Software Components Reconfiguration. In 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017) (pp. 1599-1606). Retrieved from https://www.webofscience.com/
Husien, I., Berthier, N., & Schewe, S. (2017). A Hot Method for Synthesising Cool Controllers. In SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE (pp. 122-131). doi:10.1145/3092282.3092299DOI: 10.1145/3092282.3092299
2016
Berthier, N., Rutten, E., De Palma, N., & Gueye, S. M. -K. (2016). Designing Autonomic Management Systems by Using Reactive Control Techniques. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 42(7), 640-657. doi:10.1109/TSE.2015.2510004DOI: 10.1109/TSE.2015.2510004
2015
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures (Conference Paper)
Berthier, N., An, X., & Marchand, H. (2015). Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. In IFAC PAPERSONLINE Vol. 48 (pp. 132-138). doi:10.1016/j.ifacol.2015.06.484DOI: 10.1016/j.ifacol.2015.06.484
Deadlock-free Discrete Controller Synthesis for Infinite State Systems (Conference Paper)
Berthier, N., & Marchand, H. (2015). Deadlock-free Discrete Controller Synthesis for Infinite State Systems. In 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) (pp. 1000-1007). Retrieved from https://www.webofscience.com/
2014
Coordinating self-sizing and self-repair managers for multi-tier systems (Journal article)
Gueye, S. M. -K., De Palma, N., Rutten, E., Tchana, A., & Berthier, N. (2014). Coordinating self-sizing and self-repair managers for multi-tier systems. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 35, 14-26. doi:10.1016/j.future.2013.12.037DOI: 10.1016/j.future.2013.12.037
Discrete Controller Synthesis for Infinite State Systems with ReaX (Conference Paper)
Berthier, N., & Marchand, H. (2014). Discrete Controller Synthesis for Infinite State Systems with ReaX. In IFAC Proceedings Volumes Vol. 47 (pp. 46-53). Elsevier BV. doi:10.3182/20140514-3-fr-4046.00099DOI: 10.3182/20140514-3-fr-4046.00099
Discrete controller synthesis for in-nite state systems with ReaX (Conference Paper)
Berthier, N., & Marchand, H. (2014). Discrete controller synthesis for in-nite state systems with ReaX. In Advances in the Astronautical Sciences Vol. 12 (pp. 46-53).
2013
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems (Journal article)
Berthier, N., Maraninchi, F., & Mounier, L. (2013). Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 12. doi:10.1145/2435227.2435235DOI: 10.1145/2435227.2435235
2011
Synchronous programming of device drivers for global resource control in embedded operating systems (Conference Paper)
Berthier, N., Maraninchi, F., & Mounier, L. (2011). Synchronous programming of device drivers for global resource control in embedded operating systems. In Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems. ACM. doi:10.1145/1967677.1967689DOI: 10.1145/1967677.1967689
