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 Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink., , , , , , and . MODELSWARD, page 50-61. SciTePress, (2015)Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles., , , , , , , , and . IV, page 1000-1007. IEEE, (2024)Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking., , , and . Software Engineering Research and Practice, page 629-635. CSREA Press, (2006)A Framework for Supervisory Control of Probabilistic Discrete Event Systems., , and . WODES, page 477-484. International Federation of Automatic Control, (2014)A Methodology for the Simplification of Tabular Designs in Model-Based Development., , , and . FormaliSE@ICSE, page 47-53. IEEE Computer Society, (2015)Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities., , , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 5-14. Springer, (2023)SL2SF: Refactoring Simulink to Stateflow., , , , , , , and . FASE, volume 11424 of Lecture Notes in Computer Science, page 264-281. Springer, (2019)Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator., , , , , and . ESEC/SIGSOFT FSE, page 1949-1960. ACM, (2023)Use of a metric in supervisory control of probabilistic discrete event systems., and . WODES, page 217-222. International Federation of Automatic Control, (2010)Something is Rotten in the State of Documenting Simulink Models., , , , and . MODELSWARD, page 503-510. SciTePress, (2019)