| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shang-Wei Lin, Pao-Ann Hsiung |
Model Checking Prioritized Timed Systems.  |
IEEE Trans. Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chorng-Shiuh Koong, Chihhsiong Shih, Pao-Ann Hsiung, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chao-Tung Yang |
Automatic testing environment for multi-core embedded software - ATEMES. |
Journal of Systems and Software |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen |
Congestion-aware scheduling for NoC-based reconfigurable systems. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Shang-Wei Lin, Pao-Ann Hsiung |
Counterexample-Guided Assume-Guarantee Synthesis through Learning. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung |
Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-Hui Yang, Pao-Ann Hsiung |
Real-Time Services for Special Education. |
IT Professional |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung |
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. |
J. Comput. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hung Chang, Chih-Wei Lu, Pao-Ann Hsiung |
Pattern-based framework for modularized software development and evolution robustness. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu |
A pattern-based verification approach for a multi-core system development. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Pao-Ann Hsiung (eds.) |
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Chao-Tung Yang, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Kuei-Kai Shao |
XML-Based Reusable Component Repository for Embedded Software. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan-Ting Su, Jih-Sheng Shen, Pao-Ann Hsiung |
Network-on-Chip router design with Buffer-Stealing. |
ASP-DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Yi Shih, Ming-Chih Li, Chao-Sheng Lin, Pao-Ann Hsiung, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chihhsiong Shih, Chao-Tung Yang, Chorng-Shiuh Koong |
Adaptive Performance Monitoring for Embedded Multicore Systems. |
ICPP Workshops |
2011 |
DBLP DOI BibTeX RDF |
embedded multicore system, monitor overhead, IO/CPU-bound task, monitor accuracy, monitor immediacy |
| 1 | Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung |
Multi-objective placement of reconfigurable hardware tasks in real-time system. |
IJES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen |
Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption. |
Journal of Systems Architecture - Embedded Systems Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen |
UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. |
Journal of Systems Architecture - Embedded Systems Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin |
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. |
Signal Processing Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chun-Hsian Huang, Jih-Sheng Shen, Cheng-Chi Chiang |
Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems. |
TRETS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sao-Jie Chen, Pao-Ann Hsiung, Chu Yu, Mao-Hsu Yen, Sakir Sezer, Michael J. Schulte, Yu Hen Hu |
ARAL-CR: An adaptive reasoning and learning cognitive radio platform. |
ICSAMOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong |
SysML-based requirement modeling environment for multicore embedded system. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
requirement engineering, requirement modeling, model-driven, SysML |
| 1 | Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih |
Supporting Design Enhancement by Pattern-Based Transformation. |
COMPSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jih-Sheng Shen, Chun-Hsian Huang, Pao-Ann Hsiung |
Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang |
Supporting Tool for Embedded Software Testing. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-Hui Yang, Pao-Ann Hsiung |
Innovative Application of RFID Systems to Special Education Schools. |
NAS |
2010 |
DBLP DOI BibTeX RDF |
IEP, RFID, health monitoring, special education |
| 1 | Chun-Hsian Huang, Jih-Sheng Shen, Pao-Ann Hsiung |
A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications. |
UIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chun-Hsian Huang, Yuan-Hsiu Chen |
Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC. |
J. Embedded Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu |
Modeling and verification of real-time embedded systems with urgency. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung |
Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems. |
Embedded Systems Letters |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jui-Chieh Lin, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu |
Parallel implementation of convolution encoder for software defined radio on DSP architecture. |
ICSAMOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung |
Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time System. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu |
A Model-Driven Multicore Software Development Environment for Embedded System. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu |
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Wei Lin, Da-Tong Yen, Wei-Yi Hu, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen |
A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA. |
ISCAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung |
On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems. |
ISCAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu |
Compositional Automata Reduction with Non-critical Path Slicing. |
FCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kai-Jung Shih, Yi-Hsun Lin, Pao-Ann Hsiung |
Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems. |
ISPAN |
2009 |
DBLP DOI BibTeX RDF |
workload shaping, Quality-of-Service, multimedia, buffering |
| 1 | Chun-Hsian Huang, Pao-Ann Hsiung |
Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao |
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. |
TRETS |
2008 |
DBLP DOI BibTeX RDF |
scheduling, performance evaluation, partitioning, placement, design-space exploration, Reconfigurable systems |
| 1 | Pao-Ann Hsiung, Shang-Wei Lin |
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. |
Computer Languages, Systems & Structures |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin |
Model Checking Safety-Critical Systems Using Safecharts. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, extended timed automaton, model checking, Safety-critical systems |
| 1 | Yean-Ru Chen, Pao-Ann Hsiung |
Automatic Failure Analysis Using Safecharts. |
International Journal of Software Engineering and Knowledge Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chih-Wen Liu |
Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin |
From ISA to application design via RTOS— a course design framework for embedded software. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems |
| 1 | Chun-Hsian Huang, Kai-Jung Shih, Chao-Sheng Lin, Shih-Shiue Chang, Pao-Ann Hsiung |
Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu |
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis |
| 1 | Pao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu |
Energy efficient co-scheduling in dynamically reconfigurable systems. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
energy efficient, reconfigurable systems |
| 1 | Pao-Ann Hsiung, Chun-Hsian Huang, Chih-Feng Liao |
Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
Model Checking Timed Systems with Urgencies. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See |
SESAG: an object-oriented application framework for real-time systems. |
Softw., Pract. Exper. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Hsin-Chieh Kao |
Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Yen-Hung Lin |
Modeling and Verification of Safety-Critical Systems Using Safecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen |
Model Checking Prioritized Timed Automata. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Prioritized timed automata, DBM subtraction, zone merging, zone reduction |
| 1 | Pao-Ann Hsiung, Shang-Wei Lin |
Model Checking Timed Systems with Priorities. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Yen-Hung Lin |
Model-based Verification of Safety-Critical Systems. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yuan-Hsiu Chen, Pao-Ann Hsiung |
Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
Operating System for Reconfigurable SoC, Hardware Scheduling, Placement, Dynamic Partial Reconfiguration |
| 1 | Chih-Hao Tseng, Pao-Ann Hsiung |
UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
FPGA, UML, partitioning, reconfigurable computing, codesign, sequence diagram, design flow |
| 1 | Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See |
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
embedded real-time software, scheduling, formal verification, code generation, software components, Application framework, UML modeling, formal synthesis |
| 1 | Te-Chang Lee, Pao-Ann Hsiung |
Mutation Coverage Estimation for Model Checking. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Shang-Wei Lin |
Formal Design and Verification of Real-Time Embedded Software. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis |
| 1 | Pao-Ann Hsiung, Shang-Wei Lin |
Automatic Synthesis and Verification of Real-Time Embedded Software. |
EUC |
2004 |
DBLP DOI BibTeX RDF |
scheduling, formal verification, code generation, software components, Application framework, UML modeling, real-time embedded software |
| 1 | Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen |
Software Platform for Embedded Software Development. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su |
RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee |
Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software |
| 1 | Pao-Ann Hsiung, Shu-Yu Cheng |
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. |
VLSI Design |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Feng-Shi Su |
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. |
VLSI Design |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Cheng-Yi Lin |
Synthesis of real-time embedded software with local and global deadlines. |
CODES+ISSS |
2003 |
DBLP DOI BibTeX RDF |
quasi-dynamic scheduling, real-time petri nets, code generation, software synthesis, real-time embedded software |
| 1 | Farn Wang, Pao-Ann Hsiung |
Efficient and User-Friendly Verification. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems, model-checking, Verification, formal methods, timed automata, compositional verification |
| 1 | Pao-Ann Hsiung, Chuen-Hau Gao |
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su |
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
Time Complex-Choice Petri Nets, time-extended quasi-static scheduling, code generation, real-time embedded software |
| 1 | Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen |
TCN: Scalable Hierarchical Hypercubes. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen |
VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
object-oriented, formal verification, code generation, software component, embedded real-time systems |
| 1 | Feng-Shi Su, Pao-Ann Hsiung |
Extended quasi-static scheduling for formal synthesis and code generation of embedded software. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
C |
| 1 | Pao-Ann Hsiung |
POSE: a parallel object-oriented synthesis environment. |
ACM Trans. Design Autom. Electr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
design-completion check, synthesis rollback, object-oriented technology, hardware synthesis, parallel design |
| 1 | Pao-Ann Hsiung |
Formal Synthesis and Control of Soft Embedded Real-Time Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen |
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang |
Verifiable Embedded Real-Time Application Framework. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung |
Formal synthesis and code generation of embedded real-time software. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
embedded real-time software, scheduling, Petri Nets, code generation |
| 1 | Pao-Ann Hsiung |
CMAPS: a cosynthesis methodology for application-oriented parallel systems. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
application-oriented general-purpose multiprocessors, hardware-software modeling and cosynthesis, requirements analysis |
| 1 | Pao-Ann Hsiung |
Embedded software verification in hardware-software codesign. |
Journal of Systems Architecture |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen |
A Java-Based Distributed System Framework for Real-Time Development. |
ICDCS Workshop on Distributed Real-Time Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung |
Concurrent Embedded Real-Time Software Verification. (PDF / PS) |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
On the verification of Wireless Transaction Protocol using SGM and RED. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques |
| 1 | Pao-Ann Hsiung, Farn Wang |
User-Friendly Verification. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung |
High Level Design Reuse through Fuzzy Learning. |
IC-AI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
Scheduling System Verification. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen |
A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung |
Parallel Object-Oriented Synthesis Methodology. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
Verification of Concurrent Client-Server Real-Time Scheduling Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
concurrent real-time client-server systems, model-checking, verification, scheduling algorithms, automata, state-space reduction |
| 1 | Pao-Ann Hsiung |
Hardware-software coverification of concurrent embedded real-time systems. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung |
Timing coverification of concurrent embedded real-time systems. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen |
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
concurrent object-oriented system-level synthesis, fuzzy design-space exploration, learning |
| 1 | Pao-Ann Hsiung |
Parallel Object-Oriented Synthesis Environment Based On Message-Passing. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
Object-Oriented Synthesis, Emptiness, Message-Passing, Deadlock, Parallel Design |
| 1 | Pao-Ann Hsiung |
RTFrame: An Object-Oriented Application Framework for Real-Time Applications. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Applications, Object-Oriented Application Framework, Enterprise Framework |
| 1 | Farn Wang, Pao-Ann Hsiung |
Automatic Verification on the Large. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang |
A State Graph Manipulator Tool for Real-Time System Specification and Verification. (PDF / PS) |
RTCSA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen |
Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
Learning, Synthesis, Object-Oriented Modeling, Design Management |
| 1 | Farn Wang, Pao-Ann Hsiung |
Parametric Analysis of Computer Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Sao-Jie Chen, Tsung-Chien Hu, Shih-Chiang Wang |
PSM: an object-oriented synthesis approach to multiprocessor system design. |
IEEE Trans. VLSI Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")