Pao-Ann Hsiung

zbMath Openhsiung.pao-annMaRDI QIDQ2842579

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient and user-friendly verification	2018-07-09	Paper
Model Checking Safety-Critical Systems Using Safecharts	2018-06-12	Paper
Counterexample-Guided Assume-Guarantee Synthesis through Learning	2017-07-27	Paper
Model Checking Prioritized Timed Systems	2017-07-12	Paper
Accelerating Coverage Estimation Through Partial Model Checking	2017-06-20	Paper
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets	2013-08-15	Paper
Model Checking Timed Systems with Urgencies	2008-09-04	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4942018	2000-03-19	Paper

Research outcomes over time

This page was built for person: Pao-Ann Hsiung