Pao-Ann Hsiung

From MaRDI portal
Person:2842579

Available identifiers

zbMath Open hsiung.pao-annMaRDI QIDQ2842579

List of research outcomes





PublicationDate of PublicationType
Efficient and user-friendly verification2018-07-09Paper
Model Checking Safety-Critical Systems Using Safecharts2018-06-12Paper
Counterexample-Guided Assume-Guarantee Synthesis through Learning2017-07-27Paper
Model Checking Prioritized Timed Systems2017-07-12Paper
Accelerating Coverage Estimation Through Partial Model Checking2017-06-20Paper
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets2013-08-15Paper
Model Checking Timed Systems with Urgencies2008-09-04Paper
Automated Technology for Verification and Analysis2006-10-25Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
Programming Languages and Systems2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q49420182000-03-19Paper

Research outcomes over time

This page was built for person: Pao-Ann Hsiung

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2842579&oldid=6691239"
Powered by MediaWiki