Author of the publication

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

The Implementation of Mazurkiewicz Traces in POEM., and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 508-522. Springer, (2006)SMCL - Stochastic Model Checker for Learning in Games., , and . CoRR, (2016)Grey-Box Checking., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 420-435. Springer, (2006)A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic., , , and . IJCAI, page 721-726. (2009)Adding Invariants to Event Zone Automata., and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 290-305. Springer, (2006)Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols., , , , and . Expert Syst. Appl., 41 (16): 7478-7494 (2014)Towards verifying contract regulated service composition., , and . Autonomous Agents and Multi-Agent Systems, 24 (3): 345-373 (2012)On Incremental Quantitative Verification for Probabilistic Systems., , , and . HOWARD-60, page 245-257. EasyChair, (2014)Enforcing Concurrent Temporal Behaviors., and . Int. J. Found. Comput. Sci., 17 (4): 743-762 (2006)On efficient consistency checks by robots., and . ECC, page 336-343. IEEE, (2014)