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

A closed-form solution for the horizontally aligned thermal-porous spheroidal inclusion in a half-space and its applications in geothermal reservoirs., , , , , and . Computers & Geosciences, (2019)Ten Years of Saturation: A Petri Net Perspective., , and . Trans. Petri Nets and Other Models of Concurrency, (2012)Symbolic verification of ECA rules., , and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 41-59. CEUR-WS.org, (2013)Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software., , , and . HSCC, page 135-144. ACM, (2016)Powertrain control verification benchmark., , , , and . HSCC, page 253-262. ACM, (2014)Measuring the Local and Global Variabilities in Body Sway by Nonlinear Poincaré Technology., , , , , , and . IEEE Trans. Instrumentation and Measurement, 68 (12): 4817-4824 (2019)Simulation-guided approaches for verification of automotive powertrain control systems., , , , and . ACC, page 4086-4095. IEEE, (2015)Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark., , , , , , , , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 98-112. EasyChair, (2015)Falsification of safety properties for closed loop control systems., , , , and . HSCC, page 299-300. ACM, (2015)Symbolic Verification and Test Generation for a Network of Communicating FSMs., , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 432-442. Springer, (2011)