1. Maximal Good Step Graph Methods for Reducing the Generation of the State Space;IEEE Access;2019
2. Formal Methods;Handbook of Software Engineering;2019
3. Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12
4. An application of temporal projection to interleaving concurrency;Formal Aspects of Computing;2017-07
5. Compositional verification of asynchronous concurrent systems using CADP;Acta Informatica;2015-04-22