Alban Linard

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
CREST - A DSL for Reactive Cyber-Physical Systems.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Petri Sport: A Sport for Petri Netters.
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
CREST - A Continuous, REactive SysTems DSL.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Ardoises: Collaborative & Interactive Editing Using Layered Data.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Layered Data: A Modular Formal Definition without Formalisms.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

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

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2013

CosyVerif: An Open Source Extensible Verification Environment.
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.
Trans. Petri Nets Other Model. Concurr., 2012

Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

2011
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg
CoRR, 2011

2010
polyDD: Towards a Framework Generalizing Decision Diagrams.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.
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.
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.
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.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006


  Loading...