Showing 1 - 5 results of 5 for search 'Étienne André', query time: 0.02s
Refine Results
-
1
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model by Bineet Ghosh, Étienne André
Published 2024-01-01
Article -
2
Language Preservation Problems in Parametric Timed Automata by Étienne André, Didier Lime, Nicolas Markey
Published 2020-01-01
Article -
3
Parametric updates in parametric timed automata by Étienne André, Didier Lime, Mathias Ramparison
Published 2021-05-01
Article -
4
Reachability and liveness in parametric timed automata by Étienne André, Didier Lime, Olivier H. Roux
Published 2022-02-01
Article -
5
Reactor physics project progress report by Driscoll, Michael J., Thompson, Theos Jardin, 1918-1970, Clikeman, Franklyn Miles, Donohew, Jack Norman, Eckard, Joseph D., 1942-, Harper, Thomas Lawrence, Hukai, Yoshiyuti, Kaplan, Irving, 1912-, Kim, Chang Hyo, LeFevre, Yves-Marie Etienne André, Leung, Timothy Chung-tim, Ortiz, Nestor Ruben, Rasmussen, Norman C., Rim, Chang Saeng, Seth, Shivaji Shrilal, Supple, A. T. Massachusetts Institute of Technology, Takahata, Chuzo
Published 2014
Technical Report