BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Republic of China
1 × Singapore
1 × Switzerland
1 × Taiwan
1 × The Netherlands
2 × China
2 × Germany
Collaborated with:
S.Chen S.Lin Y.Lin J.Shen C.Huang F.Wang Y.Kuo T.Lee N.Hsueh W.C.Chu H.Chao Y.Chen S.Tong P.Chu C.Lee M.Chuang C.Chang C.Lu C.Shih C.Yang C.Koong
Talks about:
system (7) base (6) synthesi (3) environ (3) orient (3) object (3) applic (3) verif (3) model (3) reconfigur (2)

Person: Pao-Ann Hsiung

DBLP DBLP: Hsiung:Pao=Ann

Contributed to:

FM 20142014
DATE 20122012
SAC 20112011
DATE 20102010
SAC 20102010
SEKE 20052005
TACAS 19991999
TOOLS Asia 19981998
TOOLS Asia 19971997

Wrote 10 papers:

FM-2014-LinH #composition #concurrent #learning #model checking #synthesis
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.
DATE-2012-ChaoCTHC #configuration management #scheduling
Congestion-aware scheduling for NoC-based reconfigurable systems (HLC, YRC, SYT, PAH, SJC), pp. 1561–1566.
SAC-2011-ChuHLCHC #approach #development #manycore #verification
A pattern-based verification approach for a multi-core system development (PHC, NLH, CCL, MJC, PAH, WCC), pp. 49–53.
DATE-2010-ShenHH #adaptation #configuration management
Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip (JSS, CHH, PAH), pp. 381–386.
SAC-2010-ChangLHCSYHK #embedded #manycore #modelling
SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.
SEKE-2005-HsiungL #modelling #safety #verification
Model-based Verification of Safety-Critical Systems (PAH, YHL), pp. 596–601.
TACAS-1999-HsiungWK #scheduling #verification
Scheduling System Verification (PAH, FW, YSK), pp. 19–33.
TOOLS-ASIA-1998-Hsiung #framework #named #object-oriented #realtime
RTFrame: An Object-Oriented Application Framework for Real-Time Applications (PAH), pp. 138–147.
TOOLS-ASIA-1998-Hsiung98a #message passing #object-oriented #parallel #synthesis
Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.
TOOLS-ASIA-1997-HsiungLC #multi #object-oriented #synthesis
Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis (PAH, TYL, SJC), pp. 284–293.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.