Alban Linard

According to our database, Alban Linard authored at least 19 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

CREST - A DSL for Reactive Cyber-Physical Systems.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Petri Sport: A Sport for Petri Netters.

Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs

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.

Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

CREST - A Continuous, REactive SysTems DSL.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Ardoises: Collaborative & Interactive Editing Using Layered Data.

Alban Linard, Didier Buchs

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Layered Data: A Modular Formal Definition without Formalisms.

Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.

Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2013

CosyVerif: An Open Source Extensible Verification Environment.

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

Trans. Petri Nets Other Model. Concurr., 2012

Report on the Model Checking Contest at Petri Nets 2011.

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel

Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2012

2011

High-Level Petri Net Model Checking with AlPiNA.

Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

CoRR, 2011

2010

polyDD: Towards a Framework Generalizing Decision Diagrams.

Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.

Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi

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

Specification of Decision Diagram Operations.

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi

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

Optimized Colored Nets Unfolding.

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.

Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006