Ka Lok Man

Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Digital Twin based Maximum Power Point Estimation for Photovoltaic Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International SoC Design Conference, 2022

Estimating the Angle of Arrival from Multiple RF Sources using Phase Interferometry.

[BibT_eX]

[DOI]

Antonello Florio

Gianfranco Avitabile

Proceedings of the 19th International SoC Design Conference, 2022

A Long-Term Synchronized System for Healthcare.

[BibT_eX]

[DOI]

Proceedings of the 19th International SoC Design Conference, 2022

Conditional Metadata Embedding Data Preprocessing Method for Semantic Segmentation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2022

A Highly Secure Authentication Module for Smart Door Lock with Temporary Key Function.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyberworlds, 2022

2021

Application of Differential Privacy for Collaborative Filtering Based Recommendation System: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Parallel Architectures, 2021

Real-Time Characteristics Identification for Partial Shaded Photovoltaic Strings.

[BibT_eX]

[DOI]

Proceedings of the 18th International SoC Design Conference, 2021

Power Consumption Analysis of a Fractional Approach to BANs Time Synchronization.

[BibT_eX]

[DOI]

Gianfranco Avitabile

Antonello Florio

Proceedings of the 18th International SoC Design Conference, 2021

Long-Term Memory Performance with Learning Behavior of Artificial Synaptic Memristor Based on Stacked Solution-Processed Switching Layers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Design and Simulation of 2.4 GHz Microstrip Parallel Coupled Line Low Pass Filter for Wireless Communication System.

[BibT_eX]

[DOI]

Vijayakumar Nanjappan

Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2021

Quantum Digital-Analogue Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE East-West Design & Test Symposium, 2021

Novel Design and Simulation of HERIC Transformerless PV Inverter in MATLAB/Simulink.

[BibT_eX]

[DOI]

Proceedings of the IEEE East-West Design & Test Symposium, 2021

Can AI Teach Humans? Humans AI Collaboration for Lifelong Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the DSIT 2021: 4th International Conference on Data Science and Information Technology, Shanghai, China, July 23, 2021

Lifelong Machine Learning-Based Quality Analysis for Product Review.

[BibT_eX]

[DOI]

Proceedings of the AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26, 2021

2020

Lifelong Machine Learning Architecture for Classification.

[BibT_eX]

[DOI]

Symmetry, 2020

Personal Mobile devices at work: factors affecting the adoption of security mechanisms.

[BibT_eX]

[DOI]

Hai-Ning Liang

Charles Fleming

Multim. Tools Appl., 2020

Collaborative behavior, performance and engagement with visual analytics tasks using mobile devices.

[BibT_eX]

[DOI]

Lei Chen

Hai-Ning Liang

Feiyu Lu

Konstantinos Papangelis

Yong Yue

Hum. centric Comput. Inf. Sci., 2020

Improved two-stream model for human action recognition.

[BibT_eX]

[DOI]

EURASIP J. Image Video Process., 2020

Identification of Partial Shading Conditions for Photovoltaic Strings.

[BibT_eX]

[DOI]

IEEE Access, 2020

Enhancing the Security of Numeric Comparison Secure Simple Pairing in Bluetooth 5.0.

[BibT_eX]

[DOI]

Dongkun Hou

Jie Zhang

Proceedings of the 19th IEEE International Conference on Trust, 2020

The Impact of Coherent Signal Reception on Interferometric Angle of Arrival Estimation.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2020

Image Radar-based Traffic Surveillance System: An all-weather sensor as intelligent transportation infrastructure component.

[BibT_eX]

[DOI]

Yu Du

Eng Gee Lim

Proceedings of the International SoC Design Conference, 2020

A Novel Global Maximum Power Point Tracking Technique based on Shading Detection for Photovoltaic Strings.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2020

Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Quantum Deterministic Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE East-West Design & Test Symposium, 2020

2019

Emerging Approaches and Advances in Big Data.

[BibT_eX]

[DOI]

Kevin Lee

Symmetry, 2019

Advanced Internet of Things and Big Data Technology for Smart Human-Care Services.

[BibT_eX]

[DOI]

Mucheol Kim

Nurmamat Helil

J. Sensors, 2019

A deep learning platooning-based video information-sharing Internet of Things framework for autonomous driving systems.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2019

Intelligent design and implementation of blockchain and Internet of things-based traffic system.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2019

Mathematical Modeling and Models for Optimal Decision-Making in Health Care.

[BibT_eX]

[DOI]

Giedrius Vanagas

Tomas Krilavicius

Abdullayev Vugar Hacimahmud

Comput. Math. Methods Medicine, 2019

Low Cost Hand Gesture Control in Complex Environment Using Raspberry Pi.

[BibT_eX]

[DOI]

Proceedings of the 2019 International SoC Design Conference, 2019

A Novel Global Maximum Power Point Tracking Method based on Shading Detection.

[BibT_eX]

[DOI]

Proceedings of the 2019 International SoC Design Conference, 2019

Semi-Unsupervised Lifelong Learning for Sentiment Classification: Less Manual Data Annotation and More Self-Studying.

[BibT_eX]

[DOI]

Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference (HPCCT 2019) and of the 2nd International Conference on Big Data and Artificial Intelligence (BDAI 2019), Guangzhou, China, June 22, 2019

Emerging Culture of Social Computing.

[BibT_eX]

[DOI]

Anastasia Hahanova

Svetlana Chumachenko

Vladimir Hahanov

Ausra Mackute-Varoneckiene

Alexander Mishchenko

Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

2018

Recent Advancements in Big Data Technologies and Applications in Computing, IoT and Computer Engineering Technology.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2018

Automatic classification of Lithuanian parliament bills.

[BibT_eX]

[DOI]

Tomas Krilavicius

Int. J. Inf. Technol. Manag., 2018

User-elicited dual-hand interactions for manipulating 3D objects in virtual reality environments.

[BibT_eX]

[DOI]

Vijayakumar Nanjappan

Hai-Ning Liang

Feiyu Lu

Konstantinos Papangelis

Yong Yue

Hum. centric Comput. Inf. Sci., 2018

The impact of e-marketing orientation on performance in Asian SMEs: a B2B perspective.

[BibT_eX]

[DOI]

Woon Kian Chong

Mucheol Kim

Enterp. Inf. Syst., 2018

Indoor localization and navigation using smartphone sensory data.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2018

Memristor-based Neuromorphic Implementations for Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2018

Neuromorphic Properties of Memristor towards Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2018

Automatic Shading Detection System for Photovoltaic Strings.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2018

A Multiband Rectenna for Self-sustainable Devices.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2018

Lifelong Machine Learning: Outlook and Direction.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Big Data Research, 2018

2017

Novel Field-Support Vector Regression-Based Soft Sensor for Accurate Estimation of Solar Irradiance.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2017

Hierarchical Meta-Learning in Time Series Forecasting for Improved Interference-Less Machine Learning.

[BibT_eX]

[DOI]

Mazen Abdelrahman Abdelaziz Hussein

Symmetry, 2017

Mobile phone antenna.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2017

Cooperation of multi robots for disaster rescue.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2017

FPGA Implementation of VLC Communication Technology.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

2016

PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog.

[BibT_eX]

[DOI]

Comput. Informatics, 2016

A flexible software defined radio-based UHF RFID reader based on the USRP and LabView.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2016

Radio frequency energy harvesting technology.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2016

Cyber physical computing.

[BibT_eX]

[DOI]

Vladimir Hahanov

Anna Hahanova

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

An exploration of usable authentication mechanisms for virtual reality systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Asia Pacific Conference on Circuits and Systems, 2016

The PnP Web Tag: A plug-and-play programming model for connecting IoT devices to the web of things.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Asia Pacific Conference on Circuits and Systems, 2016

Rectanna design for energy harvesting.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Asia Pacific Conference on Circuits and Systems, 2016

OL-SVR based soft-sensor for real-time estimation of solar irradiance.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Asia Pacific Conference on Circuits and Systems, 2016

2015

Quantitative Measurement of Split of the Second Heart Sound (S2).

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2015

Output Effect Evaluation Based on Input Features in Neural Incremental Attribute Learning for Better Classification Performance.

[BibT_eX]

[DOI]

Symmetry, 2015

A Recommendation Model Using the Bandwagon Effect for E-Marketing Purposes in IoT.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2015

Neural Incremental Attribute Learning in Groups.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2015

Regression based on neural incremental attribute learning with correlation-based feature ordering.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015

Wi-Fi Access Point Roaming: Challenges and Potential Solutions.

[BibT_eX]

[DOI]

Lianyuan Wang

Yuxuan Zhao

Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

Perceived Benefits, Risks and Trust on Online Shopping Festival.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 21st International Conference, 2015

2014

Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Appl., 2014

Parallel CYK Membership Test on GPUs.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 2014

Smartphone Indoor Localization with Accelerometer and Gyroscope.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Network-Based Information Systems, 2014

Analyzing Item Features for Cold-Start Problems in Recommendation Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, 2014

Mobistore: Secure Cloud-like Storage on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013

Parameter Estimation of Photovoltaic Models via Cuckoo Search.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Building an Intelligent Laboratory Environment via a Cyber-Physical System.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

Input Space Partitioning for Neural Network Learning.

[BibT_eX]

[DOI]

Int. J. Appl. Evol. Comput., 2013

Investigation of Neural Networks for Function Approximation.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Information Technology and Quantitative Management, 2013

Porting LooCI Components into Zigduino.

[BibT_eX]

[DOI]

Eng Gee Lim

Proceedings of the First International Conference on Information Technology and Quantitative Management, 2013

DEM: Direct Estimation Method for Photovoltaic Maximum Power Point Tracking.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Information Technology and Quantitative Management, 2013

Developing a Smart Learning Environment in Universities Via Cyber-Physical Systems.

[BibT_eX]

[DOI]

Chi-Un Lei

Kaiyu Wan

Proceedings of the First International Conference on Information Technology and Quantitative Management, 2013

Low-cost global MPPT scheme for Photovoltaic systems under partially shaded conditions.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

A hybrid MPPT method for Photovoltaic systems via estimation and revision method.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Integration of a wireless sensor network project for introductory circuits and systems teaching.

[BibT_eX]

[DOI]

Chi-Un Lei

Ngai Wong

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Parallel Generation of Optimal Mortgage Refinancing Threshold Rates.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

Pricing American Options on Dividend-Paying Stocks and Estimating the Greek Letters Using Leisen-Reimer Binomial Trees.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

RF Characteristics of Wireless Capsule Endoscopy in Human Body.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

Building a Laboratory Surveillance System via a Wireless Sensor Network.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

S-Theory: A Unified Theory of Multi-paradigm Software Development.

[BibT_eX]

[DOI]

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

Internet of Things: A practical implementation based on a Wireless Sensor Network approach.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

Design and optimization of a planar UWB antenna.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

Investigation of EM wave propagation of the Wireless Capsule in human body.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

A WSN approach to unmanned aerial surveillance of traffic anomalies: Some challenges and potential solutions.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

2012

A reconfigurable component model with semantic type system for dynamic WSN applications.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2012

Joint PAPR and sidelobe power reduction using optimum SLM.

[BibT_eX]

[DOI]

Yanyan Wu

Leming Sun

Proceedings of the 2012 Wireless Telecommunications Symposium, 2012

Pricing Bermudan Interest Rate Swaptions via Parallel Simulation under the Extended Multi-factor LIBOR Market Model.

[BibT_eX]

[DOI]

Nan Zhang

Eng Gee Lim

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Parallel Valuation of the Lower and Upper Bound Prices for Multi-asset Bermudan Options.

[BibT_eX]

[DOI]

Nan Zhang

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Compact Multiplicative Inverter for Hardware Elliptic Curve Cryptosystem.

[BibT_eX]

[DOI]

Ming Ming Wong

Mou Ling Dennis Wong

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Evolving Linear Discriminant in a Continuously Growing Dimensional Space for Incremental Attribute Learning.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Space Exploration of Multi-agent Robotics via Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Weightless Swarm Algorithm (WSA) for Dynamic Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Insight of Direct Search Methods and Module-Integrated Algorithms for Maximum Power Point Tracking (MPPT) of Stand-Alone Photovoltaic Systems.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Design of a Reliable XOR-XNOR Circuit for Arithmetic Logic Units.

[BibT_eX]

[DOI]

Mouna Karmani

Chiraz Khedhiri

Belgacem Hamdi

Kaiyu Wan

Proceedings of the Network and Parallel Computing, 9th IFIP International Conference, 2012

Assuring system reliability in wireless sensor networks via verification and validation.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2012

Partial-LastZ: An optimized hybridization technique for 3D NoC architecture enabling adaptive inter-layer communication.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2012

An efficient history-based routing algorithm for interconnection networks.

[BibT_eX]

[DOI]

Sanaz Rahimi Moosavi

Chia-Yuan Chang

Proceedings of the International SoC Design Conference, 2012

Transmitter antennas for wireless capsule endoscopy.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2012

A loosely-coupled binding model for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2012

Towards a hybrid approach to SoC estimation for a smart Battery Management System (BMS) and battery supported Cyber-Physical Systems (CPS).

[BibT_eX]

[DOI]

Proceedings of the 2nd Baltic Congress on Future Internet Communications, 2012

A self-test and self-repair approach for analog integrated circuits.

[BibT_eX]

[DOI]

Proceedings of the 2nd Baltic Congress on Future Internet Communications, 2012

Maximum Power Point Tracking (MPPT) via Weightless Swarm Algorithm (WSA) on cloudy days.

[BibT_eX]

[DOI]

Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2012

2011

A middleware platform to support river monitoring using wireless sensor networks.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2011

Optimum selective mapping for PAPR reduction.

[BibT_eX]

[DOI]

Yanyan Wu

Y. Wang

Proceedings of the 2011 Wireless Telecommunications Symposium, 2011

Eliminating implicit dependencies in component models.

[BibT_eX]

[DOI]

Steve Hollands

Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2011

Standard cell library establishment and simulation for scan D flip-flops based on 0.5 micron CMOS mixed-signal process.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2011

Performance-effective compaction of standard cell library for edge-triggered latches utilizing 0.5 micron technology.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2011

Design, analysis, tools and applications for programmable high-speed and power-aware 4G processors.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2011

A novel radio propagation and radiation model of the wireless capsule endoscopy in human gastro-intestine (GI) tract.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2011

Design for testability in nano-CMOS analog integrated circuits using a new design analog checker.

[BibT_eX]

[DOI]

Proceedings of the International SoC Design Conference, 2011

2010

Timed Chi: Modeling, Simulation and Verification of Hardware Systems.

[BibT_eX]

[DOI]

Comput. Informatics, 2010

Composition challenges and approaches for cyber physical systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications, 2010

Multi-network video streaming in a campus visit scenario.

[BibT_eX]

[DOI]

Buyun Xu

Danny Hughes

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

2009

A low-power pairing-based cryptographic accelerator for embedded security applications.

[BibT_eX]

[DOI]

William P. Marnane

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

BSAA: A Switching Activity Analysis and Visualisation Tool for SoC Power Optimisation.

[BibT_eX]

[DOI]

Tom English

Emanuel M. Popovici

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2009

2008

PAFSV: A process algebraic framework for SystemVerilog.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

HotSpot: Visualizing dynamic power consumption in RTL designs.

[BibT_eX]

[DOI]

Tom English

Emanuel M. Popovici

Proceedings of the 2008 East-West Design & Test Symposium, 2008

Performance and Functional Analysis of TLM Models in the SHE Methodology.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Formal Specification and Analysis of Hardware Systems in Timed Chi.

[BibT_eX]

Nord. J. Comput., 2007

Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt.

[BibT_eX]

[DOI]

Eng. Lett., 2007

SC2SCFL: Automated SystemC to SystemC<sup>FL</sup> Translation.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, 2007

2006

A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons.

[BibT_eX]

Rachit Agarwal

Emanuel M. Popovici

Nord. J. Comput., 2006

Syntax and consistent equation semantics of hybrid Chi.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

2005

Case Studies in The Hybrid Process Algebra Hypa.

[BibT_eX]

[DOI]

Michel A. Reniers

Pieter J. L. Cuijpers

Int. J. Softw. Eng. Knowl. Eng., 2005

Relating Hybrid Chi to Other Formalisms.

[BibT_eX]

[DOI]

D. A. van Beek

Jacobus E. Rooda

Michel A. Reniers

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Formal Communication Semantics of SystemC<sup>FL</sup>.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

2003

Hybrid dynamic systems: relating Chi to hybrid automata.

[BibT_eX]

[DOI]

D. A. van Beek

Niek G. Jansen

Jacobus E. Rooda

Michel A. Reniers

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

A Hybrid Language for Modeling, Simulation and Verification.

[BibT_eX]

[DOI]