Alban Linard
According to our database1,
Alban Linard
authored at least 19 papers
between 2006 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
1
3
2
3
2
1
2
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016
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
2012
Trans. Petri Nets Other Model. Concurr., 2012
Trans. Petri Nets Other Model. Concurr., 2012
2011
2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006