Author of the publication

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

, , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 555-576. Springer, (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.

 

Other publications of authors with the same name

Concurrency in Boolean networks., , , , and . CoRR, (2019)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems., , and . AAAI, page 8146-8153. AAAI Press, (2024)Tuning Temporal Features within the Stochastic π-Calculus., , and . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks., , and . CoRR, (2024)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , and 61 other author(s). CoRR, (2022)BioSimulators: a central registry of simulation engines and services for recommending specific tools., , , , , , , , , and 65 other author(s). Nucleic Acids Res., 50 (W1): 108-114 (2022)Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics., , and . CoRR, (2018)Drawing the Line: Basin Boundaries in Safe Petri Nets., , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 321-336. Springer, (2020)Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction., and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 202-219. Springer, (2023)