by Renault, Etienne, Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis
Published in Logic for Programming, Artificial Intelligence, and Reasoning

by Couvreur, Jean-Michel, Duret-Lutz, Alexandre, Poitrenaud, Denis
Published in Lecture notes in computer science (2005)

by Thierry-Mieg, Yann, Renault, Etienne, Paviot-Adet, Emmanuel, Poitrenaud, Denis
Published in Science of computer programming (01.07.2024)

by HADDAD, Serge, POITRENAUD, Denis
Published in Acta informatica (01.12.2007)

by Poitrenaud, Denis, Renault, Etienne
Published in Formal Methods and Software Engineering

by Renault, E., Duret-Lutz, A., Kordon, F., Poitrenaud, D.
Published in International journal on software tools for technology transfer (01.11.2017)

by Couvreur, Jean-Michel, Poitrenaud, Denis, Weil, Pascal
Published in Fundamenta informaticae (2013)

by Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis, Renault, Etienne
Published in Automated Technology for Verification and Analysis

by Renault, Etienne, Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Klai, Kais, Poitrenaud, Denis
Published in Applications and Theory of Petri Nets

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Published in arXiv.org (06.01.2023)

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Year of Publication 08.12.2022

by Duret-Lutz, Alexandre, Klai, Kais, Poitrenaud, Denis, Thierry-Mieg, Yann
Published in Automated Technology for Verification and Analysis

by Couvreur, Jean-Michel, Poitrenaud, Denis, Weil, Pascal
Published in Applications and Theory of Petri Nets

by Baarir, Souheib, Braunstein, Cécile, Encrenaz, Emmanuelle, Ilié, Jean-Michel, Mounier, Isabelle, Poitrenaud, Denis, Younes, Sana
Published in Formal methods in system design (01.10.2011)

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Published in arXiv.org (26.02.2024)

by DURET-LUTZ, Alexandre, POITRENAUD, Denis
Published in Proceedings - International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (2004)

by Baarir, S., Braunstein, C., Clavel, R., Encrenaz, E., Ilie, J.-M., Leveugle, R., Mounier, I., Pierre, L., Poitrenaud, D.
Published in 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (01.10.2009)

by Duret-Lutz, Alexandre, Klai, Kais, Poitrenaud, Denis, Thierry-Mieg, Yann
Year of Publication 28.06.2011

by Haddad, S., Poitrenaud, D.
Published in Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 (2001)