Skip to Main content Skip to Navigation

hal-01966844v1  Conference papers
Yrvann EmzivatJavier Ibañez-GuzmánHervé IllyPhilippe MartinetOlivier Roux. A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles
ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, United States. pp.1-8, ⟨10.1109/ITSC.2018.8569903⟩
hal-01131602v1  Conference papers
Nicolas BeldiceanuBárbara Dumas FerisPhilippe GraveyMd Sabbir HasanClaude Jard et al.  The EPOC project: Energy Proportional and Opportunistic Computing system
International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
hal-00714481v1  Journal articles
Loïc PaulevéMagnin MorganOlivier Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp 651-685. ⟨10.1017/S0960129511000739⟩
hal-00704569v2  Conference papers
Maxime FolschetteLoïc PaulevéKatsumi InoueMagnin MorganOlivier Roux. Concretizing the Process Hitting into Biological Regulatory Networks
Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩
hal-01060490v1  Book sections
Loïc PaulevéCourtney ChancellorMaxime FolschetteMagnin MorganOlivier Roux. Analyzing Large Network Dynamics with Process Hitting
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
hal-01826564v1  Conference papers
Tony RibeiroMaxime FolschetteMagnin MorganOlivier RouxKatsumi Inoue. Learning Dynamics with Synchronous, Asynchronous and General Semantics
28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩
hal-01655644v3  Book sections
Tony RibeiroSophie TourretMaxime FolschetteMagnin MorganDomenico Borzacchiello et al.  Inductive Learning from State Transitions over Continuous Domains
27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩