Derek Rayside

Affiliations:
  • University of Waterloo, Canada


According to our database1, Derek Rayside authored at least 52 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Self-Learned Autonomous Driving at Unsignalized Intersections: A Hierarchical Reinforced Learning Approach for Feasible Decision-Making.
IEEE Trans. Intell. Transp. Syst., November, 2023

Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
Simultaneous Feasible Local Planning and Path-Following Control for Autonomous Driving.
IEEE Trans. Intell. Transp. Syst., 2022

RADACS: Towards Higher-Order Reasoning using Action Recognition in Autonomous Vehicles.
CoRR, 2022

Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

DRG: A Dynamic Relation Graph for Unified Prior-Online Environment Modeling in Urban Autonomous Driving.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2021
A sensorless state estimation for a safety-oriented cyber-physical system in urban driving: Deep learning approach.
IEEE CAA J. Autom. Sinica, 2021

2019
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.
CoRR, 2019

2018
Measuring the Impact of Code Dependencies on Software Architecture Recovery Techniques.
IEEE Trans. Software Eng., 2018

Improving construction industry process interoperability with Industry Foundation Processes (IFP).
Adv. Eng. Informatics, 2018

2017
Bordeaux: A Tool for Thinking Outside the Box.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Manifold 2.0: A hardware description language for microfluidic devices.
Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2016
Optimizing Contractor Selection for Construction Packages in Capital Projects.
J. Comput. Civ. Eng., 2016

Improving process conformance with Industry Foundation Processes (IFP).
Adv. Eng. Informatics, 2016

Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2015
Pattern-based debugging of declarative models.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Comparing Software Architecture Recovery Techniques Using Accurate Dependencies.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Comparison of exact and approximate multi-objective optimization for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Scaling exact multi-objective combinatorial optimization by parallelization.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Accurate ECG R-peak detection for telemedicine.
Proceedings of the 2014 IEEE Canada International Humanitarian Technology Conference, 2014

A compiler project with learning progressions.
Proceedings of the 36th International Conference on Software Engineering, 2014

Cooperative based software clustering on dependency graphs.
Proceedings of the IEEE 27th Canadian Conference on Electrical and Computer Engineering, 2014

Optimizing Alloy for Multi-objective Software Product Line Configuration.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Staged Evaluation of Partial Instances in a Relational Model Finder.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Visualization and exploration of optimal variants in product line engineering.
Proceedings of the 17th International Software Product Line Conference, 2013

Example-driven modeling: model = abstractions + examples.
Proceedings of the 35th International Conference on Software Engineering, 2013

On the simplicity of synthesizing linked data structure operations.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012
Modelling and multi-objective optimization of quality attributes in variability-rich software.
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Synthesizing iterators from abstraction functions.
Proceedings of the Generative Programming and Component Engineering, 2012

Extending Alloy with Partial Instances.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
Unifying execution of imperative and declarative code.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Automating abstraction functions.
PhD thesis, 2010

2009
Agile specifications.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009

A spreadsheet-like user interface for combinatorial multi-objective optimization.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2007
Automatic Visualization of Relational Logic Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Object ownership profiling: a technique for finding and fixing memory leaks.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005
An analysis and visualization for revealing object sharing.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004
Automating commutativity analysis at the design level.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views.
Inf. Syst. Frontiers, 2003

2002
Extracting Java library subsets for deployment on embedded systems.
Sci. Comput. Program., 2002

A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis.
Proceedings of the 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 2002

SHriMP views: an interactive environment for information visualization and navigation.
Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002

2001
On the Syllogistic Structure of Object-Oriented Programming.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Integrating SHriMP with the IBM websphere studio workbench.
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

2000
Aristotle and object-oriented programming: why modern students need traditional logic.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

An Aristotelian understanding of object-oriented programming.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

On the predictability of Java byte codes (abstract) (poster session).
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering.
Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000

1999
Compact Java binaries for embedded systems.
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

1998
Change And Adaptive Maintenance in Java Software Systems.
Proceedings of the 5th Working Conference on Reverse Engineering, 1998


  Loading...