Arquimedes Canedo

68 papers A 8B 3C 8Misc 1Journal 32Unranked 16

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