Paula Herber
Has grant
Professor
NetherlandsResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Paula Herber is a Professor at the University of Twente in the Netherlands. Her research focuses on the verification of real-time operating systems and hybrid system models, as demonstrated in her recent articles on deductive verification and service-oriented decomposition. She is dedicated to advancing the field of system modeling and verification through innovative methodologies.
Recent Grants
Grant: Close
RESCUE: Reliable Embedded System design based on Co-verification in a Unified Environment
Open Date: 2013-01-01
Close Date: 2015-12-31
Articles (2)
Year:
2025
Year:
2021
Collaborators (2)
Marieke Huisman
University of Twente
Philip Tasche
University of Twente
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.