( en | de | ru )

 

Disambiguation of "Colange, Maximilien"

Author of the publication

copydeleteadd this publication to your clipboard
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

, , , , , , and . J. Object Technol., 18 (2): 1:1-22 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maximilien Naveau

Maximilien Guislain

Maximilien Ringelmann

Maximilien Levesque

Maximilien Servajean

 

Other publications of authors with the same name

StrataGEM: A Generic Petri Net Verification Framework., , and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 364-373. Springer, (2014)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). SYNT@CAV, volume 260 of EPTCS, page 116-143. (2017)pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods., , , , , , and . BMC Bioinform., 24 (1): 459 (December 2023)From Spot 2.0 to Spot 2.10: What's New?, , , , , , , , , and 1 other author(s). CAV (2), volume 13372 of Lecture Notes in Computer Science, page 174-187. Springer, (2022)CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 99-114. Springer, (2018)Symbolic Optimal Reachability in Weighted Timed Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 338-347. Springer, (2011)Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report., , , , , , and . J. Object Technol., 18 (2): 1:1-22 (2019)A CEGAR-like Approach for Cost LTL Bounds., , and . CoRR, (2015)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 330-352. Springer, (2012)