Paviot-adet Emmanuel
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
PAVIOT-ADET Emmanuel is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
M. Kermani, M. Boufaïda, E. Paviot‑Adet : “Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Compositionâ€, 7th International Conference of Interoperability for Enterprises Systems and applications -- I-ESA, vol. 7, Proceedings of the I-ESA Conferences, Albi, France, pp. 381-392, (Springer) (2014)
-
M. Kermani, M. Boufaïda, E. Paviot‑Adet : “A Model to Specify Inter-company Cooperationâ€, 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), Barcelona, Spain, pp. 318-323 (2014)
-
F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, C. RodrÃguez, F. Hulin‑Hubard : “MCC’2015 – The Fifth Model Checking Contestâ€, Transactions on Petri Nets and Other Models of Concurrency, vol. 9930, Lecture Notes in Computer Science, pp. 262-273, (Springer) (2016)
