Simulation under Arbitrary Temporal Logic Constraints
Brunel, Julien, Chemouil, David, Cunha, Alcino, Macedo, Nuno
Published in Electronic proceedings in theoretical computer science (23.12.2019)
Published in Electronic proceedings in theoretical computer science (23.12.2019)
Get full text
Journal Article
Towards an Updatable Strategy Logic
Chareton, Christophe, Brunel, Julien, Chemouil, David
Published in Electronic proceedings in theoretical computer science (01.03.2013)
Published in Electronic proceedings in theoretical computer science (01.03.2013)
Get full text
Journal Article
UN INDICATEUR SYNTHÉTIQUE D'ÉVALUATION D'UN PROGRAMME D'INVESTISSEMENTS
Bonnafous, Alain, Brunel, Julien, Marlot, Grégoire
Published in Cahiers Scientifiques du Transport (2017)
Published in Cahiers Scientifiques du Transport (2017)
Get full text
Journal Article
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
Lawall, J.L., Brunel, J., Palix, N., Hansen, R.R., Stuart, H., Muller, G.
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)
Get full text
Conference Proceeding
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic
Peyras, Quentin, Brunel, Julien, Chemouil, David
Published in Information and computation (01.10.2021)
Published in Information and computation (01.10.2021)
Get full text
Journal Article
Pardinus: A Temporal Relational Model Finder
Macedo, Nuno, Brunel, Julien, Chemouil, David, Cunha, Alcino
Published in Journal of automated reasoning (01.11.2022)
Published in Journal of automated reasoning (01.11.2022)
Get full text
Journal Article
A logic with revocable and refinable strategies
Chareton, Christophe, Brunel, Julien, Chemouil, David
Published in Information and computation (01.06.2015)
Published in Information and computation (01.06.2015)
Get full text
Journal Article
Arabidopsis ERG28 Tethers the Sterol C4-Demethylation Complex to Prevent Accumulation of a Biosynthetic Intermediate That Interferes with Polar Auxin Transport
Mialoundama, Alexis Samba, Jadid, Nurul, Brunel, Julien, Di Pascoli, Thomas, Heintz, Dimitri, Erhardt, Mathieu, Mutterer, Jérôme, Bergdoll, Marc, Ayoub, Daniel, Van Dorsselaer, Alain, Rahier, Alain, Nkeng, Paul, Geoffroy, Philippe, Miesch, Michel, Camara, Bilal, Bouvier, Florence
Published in The Plant cell (01.12.2013)
Published in The Plant cell (01.12.2013)
Get full text
Journal Article
A State/Event Temporal Deontic Logic
Brunel, Julien, Bodeveix, Jean-Paul, Filali, Mamoun
Published in Deontic Logic and Artificial Normative Systems (2006)
Published in Deontic Logic and Artificial Normative Systems (2006)
Get full text
Book Chapter
Conference Proceeding