Journal Articles
(2019). Model-based engineering with application to autonomy. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy.
(2013). Modeling Autonomous Systems. AIAA Journal of Aerospace Information Systems.
DOI
(2012). A generic in-place transformation-based approach to structured model co-evolution. Electronic Communications of the European Association of Software Science and Technology (EASST).
PDF
(2011). Time-Triggered Buffers for Event-Based Middleware Systems. Innovations in Systems and Software Engineering.
DOI
(2009). Synthesizing Executable Simulations from Structural Models of Component-Based Systems. Electronic Communications of the European Association of Software Science and Technology (EASST).
DOI
(2005). Generative Components for Hybrid Systems Tools. Journal of Object Technology.
DOI
(2004). Model-Integrated Computing. IEEE Potentials.
DOI
Conference Papers
(2025). Can control barrier functions keep automated vehicles safe in live freeway traffic?. Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025).
DOI
(2025). Combining LLMs with a Logic-Based Framework to Explain MCTS. Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems.
(2025). High-Level Scenario Management For Parallel Autonomous Vehicle Simulation. Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025).
DOI
(2025). V2X-Enabled Communication for Traffic Operations via ROS. Proceedings of the 7th Workshop on Design Automation for CPS and IoT.
DOI
(2025). Visual Modeling of ROS Launch Files. Proceedings of the 7th Workshop on Design Automation for CPS and IoT.
DOI
(2024). A Middle Way to Traffic Enlightenment. 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS).
DOI
(2024). Using Automated Vehicle Data as a Fitness Tracker for Sustainability. 2024 Forum for Innovative Sustainable Transportation Systems (FISTS).
(2023). Middleware for a Heterogeneous CAV Fleet. Proceedings of Cyber-Physical Systems and Internet of Things Week 2023.
DOI
(2023). Parameter Estimation for Decoding Sensor Signals. Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
DOI
(2023). Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings.
DOI
(2023). WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection. Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
DOI
(2022). Data from the Development Evolution of a Vehicle for Custom Control. 2022 2nd Workshop on Data-Driven and Intelligent Cyber-Physical Systems for Smart Cities Workshop (DI-CPS).
DOI
(2022). Experimental testing of a control barrier function on an automated vehicle in live multi-lane traffic. 2022 2nd Workshop on Data-Driven and Intelligent Cyber-Physical Systems for Smart Cities Workshop (DI-CPS).
DOI
(2022). Intelligent Structuring and Semantic Mapping of Dash Camera Footage and CAN Bus Data. 2022 2nd Workshop on Data-Driven and Intelligent Cyber-Physical Systems for Smart Cities Workshop (DI-CPS).
DOI
(2022). Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal Controller. 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
DOI
(2022). Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives. 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
DOI
(2021). CAN coach: vehicular control through human cyber-physical systems. Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems.
DOI
(2021). Challenges in set-valued model-predictive control. Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems.
(2021). From CAN to ROS: A Monitoring and Data Recording Bridge. Proceedings of the Workshop on Data-Driven and Intelligent Cyber-Physical Systems.
DOI
(2021). Libpanda: A High Performance Library for Vehicle Data Collection. Proceedings of the Workshop on Data-Driven and Intelligent Cyber-Physical Systems.
DOI
(2021). Lightweight LSTM for CAN signal decoding. Proceedings of the Workshop on Data-Driven and Intelligent Cyber-Physical Systems.
DOI
(2021). Safer adaptive cruise control for traffic wave dampening. Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems.
DOI
(2019). A Meta-Metamodel for Dynamic Constraint Feedback in Modeling Languages. Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling.
DOI
(2018). The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science.
DOI
(2017). Fuzzy Control of an Autonomous Car using a Smart Phone. 2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON).
DOI
(2017). Model Predictive Control for Space Missions. The First American Model Predictive Control Summer School.
(2015). A Hybrid Model Predictive Controller for Path Planning and Path Following. International Conference on Cyber-Physical Systems (ICCPS).
DOI
(2015). Adaptive Multifactor Routing with Constrained Data Sets. Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm).
(2014). A Heterogeneity Based Method to Identify Major Variability Components. International Conference on Electronics, Communications, and Networks.
(2014). A symbolic simulator for hybrid equations. Proceedings of the 2014 Summer Simulation Multiconference.
(2014). Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations. NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems.
(2013). Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle. Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ‘13).
DOI
(2013). How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial. Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the.
DOI
(2013). Mobile Device Software: Model-Based Architectures and Examples. Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the.
DOI
(2013). Model Based Development with the Skeleton Design Method. 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems.
DOI
(2013). Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring. Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the.
DOI
(2012). An Overseer Control Methodology for Data Adaptable Embedded Systems. International Workshop on Multi-Paradigm Modeling (MPM).
DOI
(2012). Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems. Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on.
DOI
(2012). Identifying key components of variability using Energy based Control. The 2012 Workshop on Variability Modeling and Characterization (VMC).
(2012). Modeling and Code Generation with Autonomous Vehicles. ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium.
(2012). On the Extraction and Analysis of a Social Network with Partial Organizational Observation. Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.
DOI
(2012). Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12). Proceedings of the 6th International Workshop on Multi-Paradigm Modeling.
DOI
(2012). The 12th Workshop on Domain-specific Modeling. Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity.
DOI
(2011). autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers. Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!‘11, AOOPES'11, NEAT'11, & VMIL'11.
DOI
(2011). Constrained data acquisition for mobile citizen science applications. Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!‘11, AOOPES'11, NEAT'11, & VMIL'11.
DOI
(2011). Hardware/Software Communication Middleware for Data Adaptable Embedded Systems. Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.
DOI
(2011). Message Modeling for the Joint Architecture for Unmanned Systems (JAUS). Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems.
DOI
(2011). Modeling of Data Adaptable Reconfigurable Embedded Systems. Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems.
DOI
(2011). On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle. Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.
DOI
(2011). Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks. Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems.
DOI
(2011). Teaching students to learn to learn mobile phone programming. Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!‘11, AOOPES'11, NEAT'11, & VMIL'11.
DOI
(2011). The 11th Workshop on Domain-specific Modeling. Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion.
DOI
(2010). Analysis of a metamodel to estimate complexity of using a domain-specific language. Proceedings of the 10th Workshop on Domain-Specific Modeling.
DOI
(2010). Modeling Languages Applied to Decision Controllers for Embedded Human Systems. Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010).
DOI
(2010). UAV Search : Maximizing Target Acquisition. 17th IEEE Conference on the Engineering of Computer Based Systems.
DOI
(2007). Transitioning Intelligence to Embedded Platforms. AVT-146 Symposium on Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles".
(2005). Computing Inverse MEG Signals in the Brain. 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity.
(2005). Deciding to Land a UAV Safely in Real Time. Proceedings of American Control Conference (ACC) 2005.
DOI
(2005). Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.
DOI
(2005). Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living. 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS).
DOI
(2005). On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05).
DOI
(2004). A Paradigm for Teaching Modeling Environment Design. OOPSLA'04 Educators Symposium (Poster Session).
(2004). Generative Components for Hybrid Systems Tools. Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop.
(2004). Improving CBS Tool Development with Technological Spaces. Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.
DOI
(2004). Toward Design Parameterization Support for Model Predictive Control. IEEE 4th International Conference on Intelligent Systems Design and Application.
(2003). ANEMIC: Automatic Interface Enabler for Model Integrated Computing. Proceedings of the 2nd International Conference on Generative Programming and Component Engineering.
(2003). Domain Translation Using Graph Transformations. Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.
DOI
(2003). Managing Intent: The Driving Forces of Model Transformations. UML 2003, Workshop in Software Model Engineering.
(2003). Model Migration through Visual Modeling. OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling.
(2002). Domain Evolution in Visual Languages Using Graph Transformations. OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages.
(2002). Generative Programming via Graph Transformations in the Model-Driven Architecture. OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture.
(2001). The New Metamodeling Generation. Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.
DOI
(2000). Modeling Agent Negotiation. Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics.
DOI
(2000). Towards a Standard for Model Specification and Storage. Proceedings of the IEEE Systems, Man, and Cybernetics Conference.
DOI
Book Chapters
(2023). Models, Architectures, and Analysis for Computationally Aware CPS. Computation-Aware Algorithmic Design for Cyber-Physical Systems.
DOI
(2023). Set-valued model predictive control. Computation-Aware Algorithmic Design for Cyber-Physical Systems.
(2010). Metamodelling: state of the art and research challenges. Model-Based Engineering of Embedded Real-Time Systems.
(2010). Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems.
DOI
Preprints & Technical Reports