Francis Hulin-Hubard
According to our database1,
Francis Hulin-Hubard
authored at least 9 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2021
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.
Int. J. Softw. Tools Technol. Transf., 2021
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
2016
Trans. Petri Nets Other Model. Concurr., 2016
2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013