Arquimedes Canedo

According to our database1, Arquimedes Canedo authored at least 61 papers between 2007 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Tool of Spies: Leaking your IP by Altering the 3D Printer Compiler.
IEEE Trans. Dependable Secur. Comput., 2021

Pykg2vec: A Python Library for Knowledge Graph Embedding.
J. Mach. Learn. Res., 2021

2020
Dispersed Automation for Industrial Internet of Things.
IEEE Trans Autom. Sci. Eng., 2020

dyngraph2vec: Capturing network dynamics using dynamic graph representation learning.
Knowl. Based Syst., 2020

Neural Subgraph Matching.
CoRR, 2020

Automating automation: CS at the heart of the manufacturing economy.
Commun. ACM, 2020

Diag2graph: Representing Deep Learning Diagrams In Research Papers As Knowledge Graphs.
Proceedings of the IEEE International Conference on Image Processing, 2020

String Diagrams for Assembly Planning.
Proceedings of the Diagrammatic Representation and Inference, 2020

Multimodal Knowledge Graph for Deep Learning Papers and Code.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

Graph Representation Ensemble Learning.
Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2020

2019
Guest Editors' Introduction.
IEEE Embed. Syst. Lett., 2019

ArduCode: Predictive Framework for Automation Engineering.
CoRR, 2019

Graph Representation Ensemble Learning.
CoRR, 2019

Benchmarks for Graph Embedding Evaluation.
CoRR, 2019

QUILT: quality inference from living digital twins in IoT-enabled manufacturing systems.
Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Tracking Temporal Evolution of Graphs using Non-Timestamped Data.
Proceedings of the 30th ACM Conference on Hypertext and Social Media, 2019

2018
Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems.
ACM Trans. Cyber Phys. Syst., 2018

Maintaining the Design Intent in the Synthesis of 3-D and 1-D System Models Using Constraints.
IEEE Syst. J., 2018

DynamicGEM: A Library for Dynamic Graph Embedding Methods.
CoRR, 2018

Future Automation Engineering using Structural Graph Convolutional Neural Networks.
CoRR, 2018

2017
Cyber-Physical Codesign at the Functional Level for Multidomain Automotive Systems.
IEEE Syst. J., 2017

Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems.
IEEE Syst. J., 2017

Cloud simulation mashups.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modeling and simulation of cyberattacks for resilient cyber-physical systems.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Acoustic Side-Channel Attacks on Additive Manufacturing Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

KCAD: kinetic cyber-attack detection method for cyber-physical additive manufacturing systems.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Industrial IoT lifecycle via digital twins.
Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

2015
Model-based design of time-triggered real-time embedded systems for digital manufacturing.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Security-aware functional modeling of Cyber-Physical Systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Model-based cyber-physical system integration in the process industry.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
High Communication Throughput and Low Scan Cycle Time with Multi/Many-Core Programmable Logic Controllers.
IEEE Embed. Syst. Lett., 2014

Systems-driven engineering of complex systems: Behavioral RFAD modeling.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Functional modeling compiler for system-level design of automotive cyber-physical systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Offloading industrial human-machine interaction tasks to mobile devices and the cloud.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Extraction of system functions from 1-D simulation component libraries.
Proceedings of the Equation-Based Object-Oriented Modeling Languages and Tools 2014, 2014

Multi-disciplinary integrated design automation tool for automotive cyber-physical systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Context-sensitive synthesis of executable functional models of cyber-physical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Pipelining for cyclic control systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms.
Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

Functional Debugging of Equation-Based Languages.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

2012
Maintaining consistency between system architecture and dynamic system models with SysML4Modelica.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Intelligent and collaborative embedded computing in automation engineering.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Towards parallel execution of IEC 61131 industrial cyber-physical systems applications.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Natural instruction level parallelism-aware compiler for high-performance QueueCore processor architecture.
J. Supercomput., 2011

2010
Compiling for Reduced Bit-Width Queue Processors.
J. Signal Process. Syst., 2010

Skewed pipelining for parallel simulink simulations.
Proceedings of the Design, Automation and Test in Europe, 2010

Automatic parallelization of simulink applications.
Proceedings of the CGO 2010, 2010

2009
Compiler Support for Code Size Reduction Using a Queue-Based Processor.
Trans. High Perform. Embed. Archit. Compil., 2009

Efficient compilation for queue size constrained queue processors.
Parallel Comput., 2009

Design and implementation of a queue compiler.
Microprocess. Microsystems, 2009

Software and Hardware Design Issues for Low Complexity High Performance Processor Architecture.
Proceedings of the ICPPW 2009, 2009

2008
The QC-2 parallel Queue processor architecture.
J. Parallel Distributed Comput., 2008

A new code generation algorithm for 2-offset producer order queue computation model.
Comput. Lang. Syst. Struct., 2008

Quantitative Evaluation of Common Subexpression Elimination on Queue Machines.
Proceedings of the 9th International Symposium on Parallel Architectures, 2008

2007
Optimizing Reaching Definitions Overhead in Queue Processors.
J. Convergence Inf. Technol., 2007

Queue Register File Optimization Algorithm for QueueCore Processor.
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007

New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

An Efficient Code Generation Algorithm for Code Size Reduction Using 1-Offset P-Code Queue Computation Model.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007


  Loading...