• 
  Pascal Andre. Modélisation rigoureuse au service du logiciel et des systèmes : Rester modeste et avancer ensemble. Génie logiciel [cs.SE]. Université de Nantes, 2024. ⟨tel-04631290⟩
• 
  Ali Benjilany, Hugo Bruneliere, Pascal Andre, Dalila Tamzalit. An Approach to Assess Operational Business-IT Alignment. 32nd International Conference on Information Systems Development (ISD 2024), Aug 2024, Gdańsk, Poland. ⟨hal-04626942⟩
• 
  Pascal André, Mohammed El Amin Tebib. Assistance in Model Driven Development: Toward an Automated Transformation Design Process. Complex Systems Informatics and Modeling Quarterly, 2024, Complex Systems Informatics and Modeling Quarterly, 38, pp.54-99. ⟨10.7250/csimq.2024-38.03⟩. ⟨hal-04606582⟩
• 
  Pascal André, Olivier Cardin. A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. Borangiu, T., Trentesaux, D., Leitão, P., Berrah, L., Jimenez, JF. (eds). Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 1136, Springer Nature Switzerland, pp.507-519, 2024, Studies in Computational Intelligence, ⟨10.1007/978-3-031-53445-4_42⟩. ⟨hal-04440581v2⟩
• 
  Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩. ⟨hal-00722489⟩

24

27