An Efficient Code Generation Algorithm for Code Size Reduction Using 1-Offset P-Code Queue Computation Model. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (EUC, 2007)

New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (PDCAT, 2007)

Queue Register File Optimization Algorithm for QueueCore Processor. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (SBAC-PAD, 2007)

Optimizing Reaching Definitions Overhead in Queue Processors. - Yuki Nakanishi; Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (J. Convergence Inf. Technol., 2007)

Quantitative Evaluation of Common Subexpression Elimination on Queue Machines. - Arquimedes Canedo; Masahiro Sowa; Ben A. Abderazek (ISPAN, 2008)

A new code generation algorithm for 2-offset producer order queue computation model. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (Comput. Lang. Syst. Struct., 2008)

The QC-2 parallel Queue processor architecture. - Ben A. Abderazek; Arquimedes Canedo; Tsutomu Yoshinaga; Masahiro Sowa (J. Parallel Distributed Comput., 2008)

Software and Hardware Design Issues for Low Complexity High Performance Processor Architecture. - Masashi Masuda; Ben Abdallah Abderazek; Arquimedes Canedo (ICPP Workshops, 2009)

Design and implementation of a queue compiler. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (Microprocess. Microsystems, 2009)

Efficient compilation for queue size constrained queue processors. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (Parallel Comput., 2009)

Compiler Support for Code Size Reduction Using a Queue-Based Processor. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (Trans. High Perform. Embed. Archit. Compil., 2009)

Automatic parallelization of simulink applications. - Arquimedes Canedo; Takeo Yoshizawa; Hideaki Komatsu (CGO, 2010)

Skewed pipelining for parallel simulink simulations. - Arquimedes Canedo; Takeo Yoshizawa; Hideaki Komatsu (DATE, 2010)

Compiling for Reduced Bit-Width Queue Processors. - Arquimedes Canedo; Ben A. Abderazek; Masahiro Sowa (J. Signal Process. Syst., 2010)

Natural instruction level parallelism-aware compiler for high-performance QueueCore processor architecture. - Ben Abdallah Abderazek; Masashi Masuda; Arquimedes Canedo; Kenichi Kuroda (J. Supercomput., 2011)

Towards parallel execution of IEC 61131 industrial cyber-physical systems applications. - Arquimedes Canedo; Mohammad Abdullah Al Faruque (DATE, 2012)

Intelligent and collaborative embedded computing in automation engineering. - Mohammad Abdullah Al Faruque; Arquimedes Canedo (DATE, 2012)

Maintaining consistency between system architecture and dynamic system models with SysML4Modelica. - Axel Reichwein; Christiaan J. J. Paredis; Arquimedes Canedo; Petra Witschel; Philipp Emanuel Stelzig; Anjelika Votintseva; Rainer Wasgint (MPM@MoDELS, 2012)

Functional Debugging of Equation-Based Languages. - Arquimedes Canedo; Ling Shen (EOOLT, 2013)

Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms. - Sven Hermann; Arquimedes Canedo; Lingyun (Max) Wang (HCI (1), 2013)

Pipelining for cyclic control systems. - Arquimedes Canedo; Livio Dalloro; Hartmut Ludwig (HSCC, 2013)

Context-sensitive synthesis of executable functional models of cyber-physical systems. - Arquimedes Canedo; Eric Schwarzenbach; Mohammad Abdullah Al Faruque (ICCPS, 2013)

Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. - Arquimedes Canedo; Mohammad Abdullah Al Faruque; Jan H. Richter (DATE, 2014)

Extraction of system functions from 1-D simulation component libraries. - Arquimedes Canedo; Jan H. Richter (EOOLT, 2014)

Offloading industrial human-machine interaction tasks to mobile devices and the cloud. - Lingyun Wang 006; Arquimedes Canedo (ETFA, 2014)

Functional modeling compiler for system-level design of automotive cyber-physical systems. - Arquimedes Canedo; Jiang Wan; Mohammad Abdullah Al Faruque (ICCAD, 2014)

Systems-driven engineering of complex systems: Behavioral RFAD modeling. - Jan H. Richter; Lars Jordan; Arquimedes Canedo (SMC, 2014)

High Communication Throughput and Low Scan Cycle Time with Multi/Many-Core Programmable Logic Controllers. - Arquimedes Canedo; Hartmut Ludwig; Mohammad Abdullah Al Faruque (IEEE Embed. Syst. Lett., 2014)

Model-based cyber-physical system integration in the process industry. - Zhen Song 001; Philippe Labalette; Robin Burger; Wolfram Klein; Sudev Nair; Suhas Suresh; Ling Shen; Arquimedes Canedo (CASE, 2015)

Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation. - Jiang Wan; Arquimedes Canedo; Mohammad Abdullah Al Faruque (ETFA, 2015)

Security-aware functional modeling of Cyber-Physical Systems. - Jiang Wan; Arquimedes Canedo; Mohammad Abdullah Al Faruque (ETFA, 2015)

Model-based design of time-triggered real-time embedded systems for digital manufacturing. - Jiang Wan; Arquimedes Canedo; Mohammad Abdullah Al Faruque (HSCC, 2015)

Industrial IoT lifecycle via digital twins. - Arquimedes Canedo (CODES+ISSS, 2016)

KCAD: kinetic cyber-attack detection method for cyber-physical additive manufacturing systems. - Sujit Rokka Chhetri; Arquimedes Canedo; Mohammad Abdullah Al Faruque (ICCAD, 2016)

Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems. - Sujit Rokka Chhetri; Sina Faezi; Arquimedes Canedo; Mohammad Abdullah Al Faruque (ICCPS, 2016)

Acoustic Side-Channel Attacks on Additive Manufacturing Systems. - Mohammad Abdullah Al Faruque; Sujit Rokka Chhetri; Arquimedes Canedo; Jiang Wan (ICCPS, 2016)

Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing. - Gustavo Quiros Araya; Diansong Cao; Arquimedes Canedo (CASE, 2017)

Modeling and simulation of cyberattacks for resilient cyber-physical systems. - Nafiul Rashid; Jiang Wan; Gustavo Quiros Araya; Arquimedes Canedo; Mohammad Abdullah Al Faruque (CASE, 2017)

Cloud simulation mashups. - Arquimedes Canedo; Gustavo Quiros Araya; Sanjeev Srivastava (ETFA, 2017)

Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems. - Jiang Wan; Arquimedes Canedo; Mohammad Abdullah Al Faruque (IEEE Syst. J., 2017)

Cyber-Physical Codesign at the Functional Level for Multidomain Automotive Systems. - Jiang Wan; Arquimedes Canedo; Mohammad Abdullah Al Faruque (IEEE Syst. J., 2017)

Future Automation Engineering using Structural Graph Convolutional Neural Networks. - Jiang Wan; Blake S. Pollard; Sujit Rokka Chhetri; Palash Goyal; Mohammad Abdullah Al Faruque; Arquimedes Canedo (CoRR, 2018)

DynamicGEM: A Library for Dynamic Graph Embedding Methods. - Palash Goyal; Sujit Rokka Chhetri; Ninareh Mehrabi; Emilio Ferrara; Arquimedes Canedo (CoRR, 2018)

Maintaining the Design Intent in the Synthesis of 3-D and 1-D System Models Using Constraints. - Arquimedes Canedo; Zhi Zhang; Ahmad Albaqsami; Jiang Wan; Mohammad Abdullah Al Faruque (IEEE Syst. J., 2018)

Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems. - Sujit Rokka Chhetri; Arquimedes Canedo; Mohammad Abdullah Al Faruque (ACM Trans. Cyber Phys. Syst., 2018)

Tracking Temporal Evolution of Graphs using Non-Timestamped Data. - Sujit Rokka Chhetri; Palash Goyal; Arquimedes Canedo (HT, 2019)

QUILT: quality inference from living digital twins in IoT-enabled manufacturing systems. - Sujit Rokka Chhetri; Sina Faezi; Arquimedes Canedo; Mohammad Abdullah Al Faruque (IoTDI, 2019)

Benchmarks for Graph Embedding Evaluation. - Palash Goyal; Di Huang; Ankita Goswami; Sujit Rokka Chhetri; Arquimedes Canedo; Emilio Ferrara (CoRR, 2019)

Graph Representation Ensemble Learning. - Palash Goyal; Di Huang; Sujit Rokka Chhetri; Arquimedes Canedo; Jaya Shree; Evan Patterson (CoRR, 2019)

ArduCode: Predictive Framework for Automation Engineering. - Arquimedes Canedo; Palash Goyal; Di Huang; Amit Pandey (CoRR, 2019)

Guest Editors' Introduction. - Francesco Regazzoni 001; Arquimedes Canedo; Mohammad Abdullah Al Faruque (IEEE Embed. Syst. Lett., 2019)

Graph Representation Ensemble Learning. - Palash Goyal; Sachin Raja; Di Huang; Sujit Rokka Chhetri; Arquimedes Canedo; Ajoy Mondal; Jaya Shree; C. V. Jawahar (ASONAM, 2020)

Multimodal Knowledge Graph for Deep Learning Papers and Code. - Amar Viswanathan Kannan; Dmitriy Fradkin; Ioannis Akrotirianakis; Tugba Kulahcioglu; Arquimedes Canedo; Aditi Roy; Shih-Yuan Yu; Arnav V. Malawade; Mohammad Abdullah Al Faruque (CIKM, 2020)

String Diagrams for Assembly Planning. - Jade Master; Evan Patterson; Shahin Yousfi; Arquimedes Canedo (Diagrams, 2020)

Diag2graph: Representing Deep Learning Diagrams In Research Papers As Knowledge Graphs. - Aditi Roy; Ioannis Akrotirianakis; Amar Viswanathan Kannan; Dmitriy Fradkin; Arquimedes Canedo; Kaushik Koneripalli; Tugba Kulahcioglu (ICIP, 2020)

Automating automation: CS at the heart of the manufacturing economy. - Arquimedes Canedo (Commun. ACM, 2020)

Neural Subgraph Matching. - Rex Ying; Zhaoyu Lou; Jiaxuan You; Chengtao Wen; Arquimedes Canedo; Jure Leskovec (CoRR, 2020)

dyngraph2vec: Capturing network dynamics using dynamic graph representation learning. - Palash Goyal; Sujit Rokka Chhetri; Arquimedes Canedo (Knowl. Based Syst., 2020)

Dispersed Automation for Industrial Internet of Things. - Gustavo Quiros Araya; Diansong Cao; Arquimedes Canedo (IEEE Trans Autom. Sci. Eng., 2020)

A Quad-Redundant PLC Architecture for Cyber-Resilient Industrial Control Systems. - Jim Luo; Myong H. Kang; Emmanuel Bisse; Mike Veldink; Dmitriy Okunev; Scott Kolb; Joseph G. Tylka; Arquimedes Canedo (IEEE Embed. Syst. Lett., 2021)

Pykg2vec: A Python Library for Knowledge Graph Embedding. - Shih-Yuan Yu; Sujit Rokka Chhetri; Arquimedes Canedo; Palash Goyal; Mohammad Abdullah Al Faruque (J. Mach. Learn. Res., 2021)

ArduCode: Predictive Framework for Automation Engineering. - Arquimedes Canedo; Palash Goyal; Di Huang; Amit Pandey; Gustavo Quiros Araya (IEEE Trans Autom. Sci. Eng., 2021)

Tool of Spies: Leaking your IP by Altering the 3D Printer Compiler. - Sujit Rokka Chhetri; Anomadarshi Barua; Sina Faezi; Francesco Regazzoni 001; Arquimedes Canedo; Mohammad Abdullah Al Faruque (IEEE Trans. Dependable Secur. Comput., 2021)

RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. - Angeline Aguinaldo; Jacob Bunker; Blake S. Pollard; Ankit Shukla 004; Arquimedes Canedo; Gustavo Quiros Araya; William Regli (IEEE Trans Autom. Sci. Eng., 2022)