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

Anytime system level verification via parallel random exhaustive hardware in the loop simulation., , , , and . Microprocess. Microsystems, (2016)Evaluating ASP and Commercial Solvers on the CSPLib., , , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 68-72. IOS Press, (2006)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , and . IWBBIO (2), volume 9044 of Lecture Notes in Computer Science, page 542-554. Springer, (2015)MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks., , , , and . CoRR, (2021)Constrained Optimization Over Massive Databases., , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)In Silico Clinical Trials through AI and Statistical Model Checking., , , , and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 17-22. CEUR-WS.org, (2019)SyLVaaS: System Level Formal Verification as a Service., , , , and . PDP, page 476-483. IEEE Computer Society, (2015)Using a Theorem Prover for Reasoning on Constraint Problems., and . AI*IA, volume 3673 of Lecture Notes in Computer Science, page 38-49. Springer, (2005)Combining Relational Algebra, SQL, and Constraint Programming., and . FroCoS, volume 2309 of Lecture Notes in Computer Science, page 147-161. Springer, (2002)Simulator Semantics for System Level Formal Verification., , , , and . GandALF, volume 193 of EPTCS, page 86-99. (2015)