Arquimedes Canedo

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 36

Top Topics

Physical Systems

Graph Embedding

Manufacturing Systems

Top Venues

IEEE Embed. Syst. Lett.

IEEE Trans Autom. Sci. Eng.

Publications

Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
Jim Luo, Myong Kang, Emmanuel Bisse, Mike Veldink, Dmitriy Okunev, Scott Kolb, Joseph G. Tylka, Arquimedes Canedo
A Quad-Redundant PLC Architecture for Cyber-Resilient Industrial Control Systems. IEEE Embed. Syst. Lett. 13 (4) (2021)
Shih-Yuan Yu, Sujit Rokka Chhetri, Arquimedes Canedo, Palash Goyal, Mohammad Abdullah Al Faruque
Pykg2vec: A Python Library for Knowledge Graph Embedding. J. Mach. Learn. Res. 22 (2021)
Sujit Rokka Chhetri, Anomadarshi Barua, Sina Faezi, Francesco Regazzoni, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Tool of Spies: Leaking your IP by Altering the 3D Printer Compiler. IEEE Trans. Dependable Secur. Comput. 18 (2) (2021)
Arquimedes Canedo, Palash Goyal, Di Huang, Amit Pandey, Gustavo Quiros
ArduCode: Predictive Framework for Automation Engineering. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Rex Ying, Zhaoyu Lou, Jiaxuan You, Chengtao Wen, Arquimedes Canedo, Jure Leskovec
Neural Subgraph Matching. CoRR (2020)
Palash Goyal, Sachin Raja, Di Huang, Sujit Rokka Chhetri, Arquimedes Canedo, Ajoy Mondal, Jaya Shree, C. V. Jawahar
Graph Representation Ensemble Learning. ASONAM (2020)
Amar Viswanathan Kannan, Dmitriy Fradkin, Ioannis Akrotirianakis, Tugba Kulahcioglu, Arquimedes Canedo, Aditi Roy, Shih-Yuan Yu, Arnav V. Malawade, Mohammad Abdullah Al Faruque
Multimodal Knowledge Graph for Deep Learning Papers and Code. CIKM (2020)
Jade Master, Evan Patterson, Shahin Yousfi, Arquimedes Canedo
String Diagrams for Assembly Planning. Diagrams (2020)
Gustavo Quiros, Diansong Cao, Arquimedes Canedo
Dispersed Automation for Industrial Internet of Things. IEEE Trans Autom. Sci. Eng. 17 (3) (2020)
Arquimedes Canedo
Automating automation: CS at the heart of the manufacturing economy. Commun. ACM 63 (5) (2020)
Aditi Roy, Ioannis Akrotirianakis, Amar Viswanathan Kannan, Dmitriy Fradkin, Arquimedes Canedo, Kaushik Koneripalli, Tugba Kulahcioglu
Diag2graph: Representing Deep Learning Diagrams In Research Papers As Knowledge Graphs. ICIP (2020)
Palash Goyal, Sujit Rokka Chhetri, Arquimedes Canedo
dyngraph2vec: Capturing network dynamics using dynamic graph representation learning. Knowl. Based Syst. 187 (2020)
Arquimedes Canedo, Palash Goyal, Di Huang, Amit Pandey
ArduCode: Predictive Framework for Automation Engineering. CoRR (2019)
Francesco Regazzoni, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Guest Editors' Introduction. IEEE Embed. Syst. Lett. 11 (4) (2019)
Palash Goyal, Di Huang, Sujit Rokka Chhetri, Arquimedes Canedo, Jaya Shree, Evan Patterson
Graph Representation Ensemble Learning. CoRR (2019)
Palash Goyal, Di Huang, Ankita Goswami, Sujit Rokka Chhetri, Arquimedes Canedo, Emilio Ferrara
Benchmarks for Graph Embedding Evaluation. CoRR (2019)
Sujit Rokka Chhetri, Palash Goyal, Arquimedes Canedo
Tracking Temporal Evolution of Graphs using Non-Timestamped Data. HT (2019)
Jade Master, Evan Patterson, Shahin Yousfi, Arquimedes Canedo
String Diagrams for Assembly Planning. CoRR (2019)
Sujit Rokka Chhetri, Sina Faezi, Arquimedes Canedo, Mohammad Abdullah Al Faruque
QUILT: quality inference from living digital twins in IoT-enabled manufacturing systems. IoTDI (2019)
Sujit Rokka Chhetri, Palash Goyal, Arquimedes Canedo
Tracking Temporal Evolution of Graphs using Non-Timestamped Data. CoRR (2019)
Shih-Yuan Yu, Sujit Rokka Chhetri, Arquimedes Canedo, Palash Goyal, Mohammad Abdullah Al Faruque
Pykg2vec: A Python Library for Knowledge Graph Embedding. CoRR (2019)
Palash Goyal, Sujit Rokka Chhetri, Ninareh Mehrabi, Emilio Ferrara, Arquimedes Canedo
DynamicGEM: A Library for Dynamic Graph Embedding Methods. CoRR (2018)
Palash Goyal, Sujit Rokka Chhetri, Arquimedes Canedo
dyngraph2vec: Capturing Network Dynamics using Dynamic Graph Representation Learning. CoRR (2018)
Sujit Rokka Chhetri, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems. ACM Trans. Cyber Phys. Syst. 2 (1) (2018)
Arquimedes Canedo, Zhi Zhang, Ahmad Albaqsami, Jiang Wan, Mohammad Abdullah Al Faruque
Maintaining the Design Intent in the Synthesis of 3-D and 1-D System Models Using Constraints. IEEE Syst. J. 12 (2) (2018)
Jiang Wan, Blake S. Pollard, Sujit Rokka Chhetri, Palash Goyal, Mohammad Abdullah Al Faruque, Arquimedes Canedo
Future Automation Engineering using Structural Graph Convolutional Neural Networks. CoRR (2018)
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Cyber-Physical Codesign at the Functional Level for Multidomain Automotive Systems. IEEE Syst. J. 11 (4) (2017)
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems. IEEE Syst. J. 11 (4) (2017)
Gustavo Quiros, Diansong Cao, Arquimedes Canedo
Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing. CASE (2017)
Nafiul Rashid, Jiang Wan, Gustavo Quiros, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Modeling and simulation of cyberattacks for resilient cyber-physical systems. CASE (2017)
Arquimedes Canedo, Gustavo Quiros, Sanjeev Srivastava
Cloud simulation mashups. ETFA (2017)
Sujit Rokka Chhetri, Arquimedes Canedo, Mohammad Abdullah Al Faruque
KCAD: kinetic cyber-attack detection method for cyber-physical additive manufacturing systems. ICCAD (2016)
Arquimedes Canedo
Industrial IoT lifecycle via digital twins. CODES+ISSS (2016)
Sujit Rokka Chhetri, Sina Faezi, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems. ICCPS (2016)
Mohammad Abdullah Al Faruque, Sujit Rokka Chhetri, Arquimedes Canedo, Jiang Wan
Acoustic Side-Channel Attacks on Additive Manufacturing Systems. ICCPS (2016)
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation. ETFA (2015)
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Model-based design of time-triggered real-time embedded systems for digital manufacturing. HSCC (2015)
Jiang Wan, Arquimedes Canedo, Mohammad Abdullah Al Faruque
Security-aware functional modeling of Cyber-Physical Systems. ETFA (2015)
Zhen Song, Philippe Labalette, Robin Burger, Wolfram Klein, Sudev Nair, Suhas Suresh, Ling Shen, Arquimedes Canedo
Model-based cyber-physical system integration in the process industry. CASE (2015)
Arquimedes Canedo, Jan H. Richter
Extraction of system functions from 1-D simulation component libraries. EOOLT (2014)
Lingyun Max Wang, Arquimedes Canedo
Offloading industrial human-machine interaction tasks to mobile devices and the cloud. ETFA (2014)
Jan H. Richter, Lars Jordan, Arquimedes Canedo
Systems-driven engineering of complex systems: Behavioral RFAD modeling. SMC (2014)
Arquimedes Canedo, Jiang Wan, Mohammad Abdullah Al Faruque
Functional modeling compiler for system-level design of automotive cyber-physical systems. ICCAD (2014)
Arquimedes Canedo, Mohammad Abdullah Al Faruque, Jan H. Richter
Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. DATE (2014)
Arquimedes Canedo, Hartmut Ludwig, Mohammad Abdullah Al Faruque
High Communication Throughput and Low Scan Cycle Time with Multi/Many-Core Programmable Logic Controllers. IEEE Embed. Syst. Lett. 6 (2) (2014)
Arquimedes Canedo, Ling Shen
Functional Debugging of Equation-Based Languages. EOOLT (2013)
Sven Hermann, Arquimedes Canedo, Lingyun Max Wang
Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms. HCI (1) (2013)
Arquimedes Canedo, Livio Dalloro, Hartmut Ludwig
Pipelining for cyclic control systems. HSCC (2013)
Arquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque
Context-sensitive synthesis of executable functional models of cyber-physical systems. ICCPS (2013)
Axel Reichwein, Christiaan J. J. Paredis, Arquimedes Canedo, Petra Witschel, Philipp Emanuel Stelzig, Anjelika Votintseva, Rainer Wasgint
Maintaining consistency between system architecture and dynamic system models with SysML4Modelica. MPM@MoDELS (2012)
Arquimedes Canedo, Mohammad Abdullah Al Faruque
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications. DATE (2012)
Mohammad Abdullah Al Faruque, Arquimedes Canedo
Intelligent and collaborative embedded computing in automation engineering. DATE (2012)
Ben Abdallah Abderazek, Masashi Masuda, Arquimedes Canedo, Kenichi Kuroda
Natural instruction level parallelism-aware compiler for high-performance QueueCore processor architecture. J. Supercomput. 57 (3) (2011)
Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu
Skewed pipelining for parallel simulink simulations. DATE (2010)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Compiling for Reduced Bit-Width Queue Processors. J. Signal Process. Syst. 59 (1) (2010)
Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu
Automatic parallelization of simulink applications. CGO (2010)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Efficient compilation for queue size constrained queue processors. Parallel Comput. 35 (4) (2009)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Compiler Support for Code Size Reduction Using a Queue-Based Processor. Trans. High Perform. Embed. Archit. Compil. 2 (2009)
Masashi Masuda, Ben Abdallah Abderazek, Arquimedes Canedo
Software and Hardware Design Issues for Low Complexity High Performance Processor Architecture. ICPP Workshops (2009)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Design and implementation of a queue compiler. Microprocess. Microsystems 33 (2) (2009)
Ben A. Abderazek, Arquimedes Canedo, Tsutomu Yoshinaga, Masahiro Sowa
The QC-2 parallel Queue processor architecture. J. Parallel Distributed Comput. 68 (2) (2008)
Arquimedes Canedo, Masahiro Sowa, Ben A. Abderazek
Quantitative Evaluation of Common Subexpression Elimination on Queue Machines. ISPAN (2008)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
A new code generation algorithm for 2-offset producer order queue computation model. Comput. Lang. Syst. Struct. 34 (4) (2008)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
An Efficient Code Generation Algorithm for Code Size Reduction Using 1-Offset P-Code Queue Computation Model. EUC (2007)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Queue Register File Optimization Algorithm for QueueCore Processor. SBAC-PAD (2007)
Yuki Nakanishi, Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
Optimizing Reaching Definitions Overhead in Queue Processors. J. Convergence Inf. Technol. 2 (4) (2007)
Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa
New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP. PDCAT (2007)