The Cédric Laboratory

The Center for Studies and Research in Computer Science and Communication (CEDRIC) brings together research activities in digital sciences carried out at the National Conservatory of Arts and Crafts (Cnam). The permanent researchers of CEDRIC are also all teachers of computer science, applied mathematics or electronics. The laboratory conducts basic and applied research. Cédric maintains…

Read more…

View All…Important Note

Two Europeans projects accepted: AI@EDGE and Polifonia

We are happy to announce two new H2020 European projects have been accepted: AI@EDGE and Polifonia. AI@EDGE ( ROC teams) will work toward the design and experimentation of a novel Connect-Compute Fabric for edge computing services leveraging on artificial intelligence. Coordinated by the University of Bologna, Polifonia ( Vertigo team) implements a digital ecosystem for European Musical […]


View All…New Publications

  1. Li, J.; Wang, Z.; Raissi, T. and Shen, Yi Unknown Input Observer Design for Linear Parameter-Varying Systems in a Bounded Error Context. In IEEE Transactions on Automatic Control: 1-1, 2021. doi  www 
  2. Balabonski, T.; Courtieu, P.; Pelle, R.; Rieg, L.; Tixeuil, S. and Urbain, X. Computer Aided Formal Design of Swarm Robotics Algorithms. , working paper or preprint. www 
  3. Bouquet, V.; Delbot, F. c. and Picouleau, C. On the vertices belonging to all, some, none minimum dominating set. In Discrete Applied Mathematics, 288: 9-19, 2021. doi  www 
  4. Ben Mesmia, W.; Escheikh, M. and Barkaoui, K. DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. In Journal of Software: Evolution and Process, 2021. doi  www 
  5. Wang, S.; Duo, W.; Guo, X.; Jiang, X.; You, D.; Barkaoui, K. and Zhou, M. Computation of an emptiable minimal siphon in a subclass of petri nets using mixed-integer programming. In IEEE/CAA Journal of Automatica Sinica: 1-8, 2021. doi  www