( en | de | ru )

 

Disambiguation of "Meyer, Philipp J."

Author of the publication

copydeleteadd this publication to your clipboard
An SMT-based Approach to Fair Termination Analysis.

, and . FMCAD, page 49-56. IEEE, (2015)

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.

Philipp Meyer

Philipp Meyer

Philipp J Roth

Philipp J Torka

Philipp Meyer

 

Other publications of authors with the same name

Towards efficient verification of population protocols., , , and . Formal Methods Syst. Des., 57 (3): 305-342 (2021)Computing the Expected Execution Time of Probabilistic Workflow Nets., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 154-171. Springer, (2019)#conference.Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)Solving Mean-Payoff Games on the GPU., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 262-267. (2016)Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games., , and . CoRR, (2019)An SMT-Based Approach to Coverability Analysis., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 603-619. Springer, (2014)An SMT-based Approach to Fair Termination Analysis., and . FMCAD, page 49-56. IEEE, (2015)Computing the Expected Execution Time of Probabilistic Workflow Nets., , and . CoRR, (2018)Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.03555">Link</a><br>#conference.Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , and . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.