Alban Linard

19 papers B 2C 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2018 B conf
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
Petri Nets
Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
2018 — conf
CREST - A DSL for Reactive Cyber-Physical Systems.
SAM
Stefan Klikovits, Alban Linard, Didier Buchs
2018 — conf
Petri Sport: A Sport for Petri Netters.
PNSE@Petri Nets/ACSD
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
2017 — conf
Ardoises: Collaborative & Interactive Editing Using Layered Data.
ACSD
Alban Linard, Didier Buchs
2017 — conf
CREST - A Continuous, REactive SysTems DSL.
MoDELS (Satellite Events)
Stefan Klikovits, Alban Linard, Didier Buchs
2016 — conf
Layered Data: A Modular Formal Definition without Formalisms.
PNSE @ Petri Nets
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
2013 C conf
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
ICFEM
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013 B conf
CosyVerif: An Open Source Extensible Verification Environment.
ICECCS
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
2013 J jnl
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR
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
2012 J jnl
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr.
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2012 J jnl
Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR
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
2012 J jnl
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr.
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2011 J jnl
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
2011 J jnl
Modelling of Genetic Regulatory Mechanisms with GReg
CoRR
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2010 — conf
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
ACSD/Petri Nets Workshops
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
2010 — conf
Specification of Decision Diagram Operations.
ACSD/Petri Nets Workshops
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
2010 — conf
polyDD: Towards a Framework Generalizing Decision Diagrams.
ACSD
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
2006 — conf
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
ACSD
Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg
2006 C conf
Optimized Colored Nets Unfolding.
FORTE
Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet