Author of the publication

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

, , , , , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 219-234. Springer, (2012)

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

Formal semantics, modular specification, and symbolic verification of product-line behaviour., , , , and . Sci. Comput. Program., (2014)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)A framework for the rigorous design of highly adaptive timed systems., , , and . FormaliSE@ICSE, page 64-70. IEEE Computer Society, (2013)Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems., and . QEST, page 3. IEEE Computer Society, (2009)An Introduction to the Tool Ticc., , and . Trustworthy Software, volume 3 of OASICS, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)On the Expressiveness of Joining and Splitting., and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 326-355. Springer, (2018)Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation., , , , , and . ICST, page 424-429. IEEE Computer Society, (2017)Formal verification of probabilistic SystemC models with statistical model checking., and . Journal of Software: Evolution and Process, (2018)History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps, and . CoRR, (2012)Lightweight Monte Carlo Algorithm for Markov Decision Processes., and . CoRR, (2013)