PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Herber, Paula"

Author of the publication

copydeleteadd this publication to your clipboard
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.

, , , and . ICST, page 170-179. IEEE Computer Society, (2011)

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.

Paula Sternberg

Paula Fischer University of Stuttgart

Paula Strohbeck University of Stuttgart

Paula Laßmann

Paula Laßmann

 

Other publications of authors with the same name

STATE - A SystemC to Timed Automata Transformation Engine., , and . HPCC/CSS/ICESS, page 1074-1077. IEEE, (2015)A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project., and . WESE, page 2:1-2:8. ACM, (2015)A multi-robot search using LEGO mindstorms: an embedded software design project., and . SIGBED Review, 14 (1): 61-70 (2016)Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow., , , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 71-86. Springer, (2016)A Qualitative Evaluation of IPv6 for the Industrial Internet of Things., and . FNC/MobiSPC, volume 134 of Procedia Computer Science, page 377-384. Elsevier, (2018)Information Flow Analysis of Combined Simulink/Stateflow Models., , , and . WETICE, page 223-228. IEEE Computer Society, (2018)A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.. Berlin Institute of Technology, (2010)Verification of Embedded Real-time Systems., and . SyDe Summer School, page 1-25. Springer, (2015)Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.. it - Information Technology, 54 (6): 296- (2012)Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X., , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 89-105. Springer, (2018)