Arquimedes Canedo
Orcid: 0000-0003-3506-6563
According to our database1,
Arquimedes Canedo
authored at least 64 papers
between 2007 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming.
IEEE Trans Autom. Sci. Eng., 2022
2021
IEEE Trans. Dependable Secur. Comput., 2021
IEEE Trans Autom. Sci. Eng., 2021
IEEE Embed. Syst. Lett., 2021
2020
IEEE Trans Autom. Sci. Eng., 2020
dyngraph2vec: Capturing network dynamics using dynamic graph representation learning.
Knowl. Based Syst., 2020
Commun. ACM, 2020
Diag2graph: Representing Deep Learning Diagrams In Research Papers As Knowledge Graphs.
Proceedings of the IEEE International Conference on Image Processing, 2020
Proceedings of the Diagrammatic Representation and Inference, 2020
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2020
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
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
CoRR, 2018
2017
IEEE Syst. J., 2017
IEEE Syst. J., 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
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
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
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
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
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
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
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
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
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
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
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
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the CGO 2010, 2010
2009
Trans. High Perform. Embed. Archit. Compil., 2009
Parallel Comput., 2009
Software and Hardware Design Issues for Low Complexity High Performance Processor Architecture.
Proceedings of the ICPPW 2009, 2009
2008
J. Parallel Distributed Comput., 2008
Comput. Lang. Syst. Struct., 2008
Proceedings of the 9th International Symposium on Parallel Architectures, 2008
2007
J. Convergence Inf. Technol., 2007
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007
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