Author of the publication

Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution).

, , and . FASE, volume 12649 of Lecture Notes in Computer Science, page 368-372. Springer, (2021)

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

Modelling And Model Predictive Control Of Magnetic Levitation Laboratory Plant., , and . ECMS, page 367-373. European Council for Modeling and Simulation, (2017)Nonlinear Simulink Model Of Magnetic Levitation Laboratory Plant., , and . ECMS, page 293-299. European Council for Modeling and Simulation, (2016)Using Of Self-Tuning Controllers Simulink Library For Real-Time Control Of Nonlinear Servo System., , , and . ECMS, page 518-524. European Council for Modeling and Simulation, (2009)Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution)., , , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 453-457. Springer, (2021)Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution)., , , , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 406-411. Springer, (2024)Modeling and model predictive control of a nonlinear hydraulic system., and . Comput. Math. Appl., 66 (2): 155-164 (2013)Nonlinear State Estimation and Predictive Control of pH Neutralization Process., and . NOSTRADAMUS, volume 210 of Advances in Intelligent Systems and Computing, page 285-294. Springer, (2013)Modeling and Model Predictive Control of Nonlinear Hydraulic System., and . NOSTRADAMUS, volume 192 of Advances in Intelligent Systems and Computing, page 93-102. Springer, (2012)Multiple Model Predictive Control of a Styrene Polymerization Process., and . NOSTRADAMUS, volume 192 of Advances in Intelligent Systems and Computing, page 143-152. Springer, (2012)Identification of local model networks parameters using fuzzy clustering., , and . ALCOSP, page 265-270. International Federation of Automatic Control, (2010)