Pao-Ann Hsiung

Orcid: 0000-0002-3639-1467

According to our database1, Pao-Ann Hsiung authored at least 176 papers between 1996 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Federated learning design and functional models: survey.
Artif. Intell. Rev., January, 2025

2024
Multimodal Labor Exploitation Detections for Taiwan Distant Water Fishing Industry.
SN Comput. Sci., January, 2024

Deep neural network-based spatiotemporal heterogeneous data reconstruction for landslide detection.
Int. J. Data Sci. Anal., January, 2024

Movement Disorder Evaluation of Parkinson's Disease Severity Based on Deep Neural Network Models.
IEEE Access, 2024

ACNNE: An Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2024

2023
Labor exploitation investigation using statistical and multiple object tracking assessment methods.
Multim. Tools Appl., December, 2023

Prediction-based peer-to-peer energy transaction market design for smart grids.
Eng. Appl. Artif. Intell., November, 2023

Analysis of Fisherman Exploitation in Taiwan Distant Water Fishing.
IEEE Technol. Soc. Mag., September, 2023

Federated Adversarial Training Strategies for Achieving Privacy and Security in Sustainable Smart City Applications.
Future Internet, 2023

depthUNet: A Dehazing Model with Adaptive Depth Attention for Natural Images.
Proceedings of the IEEE International Conference on Visual Communications and Image Processing, 2023

From 5-Stars to Real Insight: Geospatial Detection of Campaigned Reviews with Google Maps and Mobility Data.
Proceedings of the Technologies and Applications of Artificial Intelligence, 2023

AIX Implementation in Image-Based PM2.5 Estimation: Toward an AI Model for Better Understanding.
Proceedings of the 15th International Conference on Knowledge and Smart Technology, 2023

Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable AI.
Proceedings of the 15th International Conference on Knowledge and Smart Technology, 2023

Peer to Peer Energy Transaction Market Prediction in Smart Grids using Blockchain and LSTM.
Proceedings of the IEEE International Conference on Consumer Electronics, 2023

Eff-AQI: An Efficient CNN-Based Model for Air Pollution Estimation: A Study Case in India.
Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023

Tackling Labour Exploitation in Taiwan Distant Water Fishing Industry through Automated Exploitation Detection System.
Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023

Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
A Synergic Approach of Deep Learning towards Digital Additive Manufacturing: A Review.
Algorithms, 2022

Autonomous Intersection Management by Using Reinforcement Learning.
Algorithms, 2022

SPChain: A Smart and Private Blockchain-Enabled Framework for Combining GDPR-Compliant Digital Assets Management With AI Models.
IEEE Access, 2022

Federated Trustworthy AI Architecture for Smart Cities.
Proceedings of the IEEE International Smart Cities Conference, 2022

A Smart and Private Blockchain-enabled Framework for Digital Assets.
Proceedings of the 2022 5th International Conference on Blockchain Technology and Applications, 2022

Maritime UAV Patrol Tasks Based on YOLOv4 Object Detection.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

Smart Observer for Distant Water Fishing in Taiwan.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2020
A Multitiered Solution for Anomaly Detection in Edge Computing for Smart Meters.
Sensors, 2020

Deep Neural Network-Based Data Reconstruction for Landslide Detection.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

2019
Artificial Intelligence of Things in Sports Science: Weight Training as an Example.
Computer, 2019

Driver Fatigue Prediction Using Different Sensor Data with Deep Learning.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Anomaly Detection at the IoT Edge using Deep Learning.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

Intersection Crossing for Autonomous Vehicles based on Deep Reinforcement Learning.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019

Data Reconstruction for Cyber-Physical Landslide Detection System.
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

2018
Vehicle Collision Prediction under Reduced Visibility Conditions.
Sensors, 2018

Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted Moving Average of Heart-Rate Variabilities.
Proceedings of the 23rd IEEE International Conference on Digital Signal Processing, 2018

2017
Elastic superposition task mapping for NoC-based reconfigurable systems.
Microprocess. Microsystems, 2017

Innovative Project-Based Learning.
Proceedings of the Emerging Technologies for Education - Second International Symposium, 2017

Performance and security oriented Software-Defined Network Interface design.
Proceedings of the IEEE International Conference on Consumer Electronics, 2017

Landslide prediction with model switching.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

2016
Dynamic Task Mapping with Congestion Speculation for Reconfigurable Network-on-Chip.
ACM Trans. Reconfigurable Technol. Syst., 2016

Introduction to the special issue on smart reconfigurable system modeling, design, and implementation.
Microprocess. Microsystems, 2016

A fair energy resource allocation strategy for micro grid.
Microprocess. Microsystems, 2016

Auto-tuning for GPGPU applications using performance and energy model.
J. Syst. Archit., 2016

Introduction to the special issue on reconfigurable cyber-physical and embedded system design.
J. Syst. Archit., 2016

SysML-Based Requirement Management to Improve Software Development.
Int. J. Softw. Eng. Knowl. Eng., 2016

Dynamic traffic light optimization and Control System using model-predictive control method.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

An efficient and robust method for solving multi-objective constraint-satisfaction problems in Cognitive Radio systems.
Proceedings of the 26th International Telecommunication Networks and Applications Conference, 2016

Model Predictive Optimization for distribution management in smart grids.
Proceedings of the IECON 2016, 2016

Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
Virtualization Architecture for NoC-based Reconfigurable Systems.
CoRR, 2015

2014
Design Issues in a Performance Monitor for Embedded Multi-core Systems.
J. Signal Process. Syst., 2014

Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip.
IEEE Trans. Very Large Scale Integr. Syst., 2014

Accelerating Coverage Estimation Through Partial Model Checking.
IEEE Trans. Computers, 2014

Dynamic partially reconfigurable architecture for fast Fourier transform computation.
Int. J. Embed. Syst., 2014

Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant.
Proceedings of the 2014 International Conference on Trustworthy Systems and their Applications, 2014

Timing Optimization and Control for Smart Traffic.
Proceedings of the 2014 IEEE International Conference on Internet of Things, 2014

Micro-grid Design Modeling and Prototyping.
Proceedings of the Intelligent Systems and Applications, 2014

Reconfigurable Network-on-chip design for heterogeneous multi-core system architecture.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.
Proceedings of the FM 2014: Formal Methods, 2014

A SysML Based Requirement Modeling Automatic Transformation Approach.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems.
ACM Trans. Reconfigurable Technol. Syst., 2013

Embedded multicore systems: Architecture, performance and application.
Microprocess. Microsystems, 2013

Multi-objective exploitation of pipeline parallelism using clustering, replication and duplication in embedded multi-core systems.
J. Syst. Archit., 2013

Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption.
Comput. Electr. Eng., 2013

Backward probing deadlock detection for networks-on-chip.
Proceedings of the 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2013

Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture design.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems.
Proceedings of the Seventh International Conference on Complex, 2013

The Architecture of Parallelized Cloud-Based Automatic Testing System.
Proceedings of the Seventh International Conference on Complex, 2013

2012
Model Checking Prioritized Timed Systems.
IEEE Trans. Computers, 2012

Automatic testing environment for multi-core embedded software - ATEMES.
J. Syst. Softw., 2012

Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning.
J. Intell. Robotic Syst., 2012

Cloud Computing in Taiwan.
Computer, 2012

An Integrated Development Environment to Support the Multi-core Embedded Systems Development.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems.
Proceedings of the Fifth International Symposium on Parallel Architectures, 2012

Automatic Generation of Provably Correct Embedded Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

Congestion-aware scheduling for NoC-based reconfigurable systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems.
IEEE Trans. Ind. Informatics, 2011

A low-power 64-point pipeline FFT/IFFT processor for OFDM applications.
IEEE Trans. Consumer Electron., 2011

Counterexample-Guided Assume-Guarantee Synthesis through Learning.
IEEE Trans. Computers, 2011

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.
J. Comput. Sci. Technol., 2011

Real-Time Services for Special Education.
IT Prof., 2011

Pattern-based framework for modularized software development and evolution robustness.
Inf. Softw. Technol., 2011

A SysML-Based Requirement Supporting Tool for Embedded Software.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

A pattern-based verification approach for a multi-core system development.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Adaptive Performance Monitoring for Embedded Multicore Systems.
Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011

XML-Based Reusable Component Repository for Embedded Software.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Network-on-Chip router design with Buffer-Stealing.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.
J. Signal Process. Syst., 2010

Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems.
ACM Trans. Reconfigurable Technol. Syst., 2010

Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption.
J. Syst. Archit., 2010

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems.
J. Syst. Archit., 2010

Multi-objective placement of reconfigurable hardware tasks in real-time system.
Int. J. Embed. Syst., 2010

A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

ARAL-CR: An adaptive reasoning and learning cognitive radio platform.
Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

SysML-based requirement modeling environment for multicore embedded system.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Supporting Tool for Embedded Software Testing.
Proceedings of the 10th International Conference on Quality Software, 2010

Innovative Application of RFID Systems to Special Education Schools.
Proceedings of the Fifth International Conference on Networking, Architecture, and Storage, 2010

Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip.
Proceedings of the Design, Automation and Test in Europe, 2010

Supporting Design Enhancement by Pattern-Based Transformation.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication.
IGI Global, ISBN: 978-1-61520-807-4, 2010

2009
Modeling and verification of real-time embedded systems with urgency.
J. Syst. Softw., 2009

Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC.
J. Embed. Comput., 2009

Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems.
IEEE Embed. Syst. Lett., 2009

Parallel implementation of convolution encoder for software defined radio on DSP architecture.
Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009

Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems.
Proceedings of the 10th International Symposium on Pervasive Systems, 2009

A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

Model-driven development of multi-core embedded software.
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

Compositional Automata Reduction with Non-critical Path Slicing.
Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009

A Model-Driven Multicore Software Development Environment for Embedded System.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures.
ACM Trans. Reconfigurable Technol. Syst., 2008

Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems.
EURASIP J. Embed. Syst., 2008

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.
Comput. Lang. Syst. Struct., 2008

A novel spatio-temporal adaptive bus encoding for reducing crosstalk interferences with trade-offs between performance and reliability.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

2007
Model Checking Safety-Critical Systems Using Safecharts.
IEEE Trans. Computers, 2007

Automatic Failure Analysis Using Safecharts.
Int. J. Softw. Eng. Knowl. Eng., 2007

Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.
Proceedings of the Computer Safety, 2007

Dynamically Swappable Hardware Design in Partially Reconfigurable Systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

From ISA to application design via RTOS - a course design framework for embedded software.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures.
Proceedings of the 2007 International Conference on Field-Programmable Technology, 2007

Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems.
Proceedings of the FPL 2007, 2007

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

Energy efficient co-scheduling in dynamically reconfigurable systems.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems.
Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 2006

Model Checking Timed Systems with Urgencies.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
SESAG: an object-oriented application framework for real-time systems.
Softw. Pract. Exp., 2005

Device-Centric Low-Power Scheduling for Real-Time Embedded Systems.
Int. J. Softw. Eng. Knowl. Eng., 2005

Model-based Verification of Safety-Critical Systems.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Model Checking Timed Systems with Priorities.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Modeling and Verification of Safety-Critical Systems Using Safecharts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Model Checking Prioritized Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.
IEEE Trans. Software Eng., 2004

Embedded software synthesis and prototyping.
IEEE Trans. Consumer Electron., 2004

Automatic Synthesis and Verification of Real-Time Embedded Software.
Proceedings of the Embedded and Ubiquitous Computing, 2004

Mutation Coverage Estimation for Model Checking.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

Formal Design and Verification of Real-Time Embedded Software.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Software Platform for Embedded Software Development.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Synthesis of real-time embedded software with local and global deadlines.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

2002
Efficient and User-Friendly Verification.
IEEE Trans. Computers, 2002

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.
Proceedings of the Theory and Practice of Timed Systems, 2002

VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

TCN: Scalable Hierarchical Hypercubes.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Extended quasi-static scheduling for formal synthesis and code generation of embedded software.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
POSE: a parallel object-oriented synthesis environment.
ACM Trans. Design Autom. Electr. Syst., 2001

Verifiable Embedded Real-Time Application Framework.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

Formal Synthesis and Control of Soft Embedded Real-Time Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Formal synthesis and code generation of embedded real-time software.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
CMAPS: a cosynthesis methodology for application-oriented parallel systems.
ACM Trans. Design Autom. Electr. Syst., 2000

Embedded software verification in hardware-software codesign.
J. Syst. Archit., 2000

On the verification of Wireless Transaction Protocol using SGM and RED.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A Java-Based Distributed System Framework for Real-Time Development.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Concurrent Embedded Real-Time Software Verification.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Scheduling System Verification.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Verification of Concurrent Client-Server Real-Time Scheduling Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Parallel Object-Oriented Synthesis Methodology.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

High Level Design Reuse through Fuzzy Learning.
Proceedings of the International Conference on Artificial Intelligence, 1999

User-Friendly Verification.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Hardware-software coverification of concurrent embedded real-time systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Timing coverification of concurrent embedded real-time systems.
Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems.
ACM Trans. Design Autom. Electr. Syst., 1998

Parallel Object-Oriented Synthesis Environment Based On Message-Passing.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

RTFrame: An Object-Oriented Application Framework for Real-Time Applications.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

A State Graph Manipulator Tool for Real-Time System Specification and Verification.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Automatic Verification on the Large.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis.
Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Parametric Analysis of Computer Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
PSM: an object-oriented synthesis approach to multiprocessor system design.
IEEE Trans. Very Large Scale Integr. Syst., 1996


  Loading...