Pao-Ann Hsiung

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 IEEE Transactions on Computers	2018-07-09	Paper
Model Checking Safety-Critical Systems Using Safecharts IEEE Transactions on Computers	2018-06-12	Paper
Counterexample-Guided Assume-Guarantee Synthesis through Learning IEEE Transactions on Computers	2017-07-27	Paper
Model Checking Prioritized Timed Systems IEEE Transactions on Computers	2017-07-12	Paper
Accelerating Coverage Estimation Through Partial Model Checking IEEE Transactions on Computers	2017-06-20	Paper
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Model Checking Timed Systems with Urgencies Automated Technology for Verification and Analysis	2008-09-04	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 1418461 (Why is no real title available?)	2000-03-19	Paper

Research outcomes over time

This page was built for person: Pao-Ann Hsiung