Pao-Ann Hsiung

Available identifiers

zbMath Open hsiung.pao-annMaRDI QIDQ2842579

List of research outcomes

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 Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pao-Ann Hsiung