default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDerek Rayside
Person information
- affiliation: University of Waterloo, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i5]Mohammad K. Al-Sharman, Luc Edes, Bert Sun, Vishal Jayakumar, Mohamed A. Daoud, Derek Rayside, William Melek:
Autonomous Driving at Unsignalized Intersections: A Review of Decision-Making Challenges and Reinforcement Learning-Based Solutions. CoRR abs/2409.13144 (2024)- 2023
- [j10]Mohammad K. Al-Sharman
, Rowan Dempster, Mohamed A. Daoud, Mahmoud Nasr, Derek Rayside, William Melek:
Self-Learned Autonomous Driving at Unsignalized Intersections: A Hierarchical Reinforced Learning Approach for Feasible Decision-Making. IEEE Trans. Intell. Transp. Syst. 24(11): 12345-12356 (2023) - [c40]Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek:
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints. ICRA 2023: 10139-10145 - 2022
- [j9]Mohamed A. Daoud, Mohamed W. Mehrez, Derek Rayside, William W. Melek:
Simultaneous Feasible Local Planning and Path-Following Control for Autonomous Driving. IEEE Trans. Intell. Transp. Syst. 23(9): 16358-16370 (2022) - [c39]Rowan Dempster, Mohammad K. Al-Sharman, Yeshu Jain, Jeffery Li, Derek Rayside, William Melek:
DRG: A Dynamic Relation Graph for Unified Prior-Online Environment Modeling in Urban Autonomous Driving. ICRA 2022: 8054-8060 - [c38]Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek:
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving. IV 2022: 457-463 - [i4]Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek:
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving. CoRR abs/2202.07133 (2022) - [i3]Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek:
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints. CoRR abs/2209.09320 (2022) - [i2]Alex Zhuang, Eddy Zhou, Quanquan Li, Rowan Dempster, Alikasim Budhwani, Mohammad K. Al-Sharman, Derek Rayside, William Melek:
RADACS: Towards Higher-Order Reasoning using Action Recognition in Autonomous Vehicles. CoRR abs/2209.14408 (2022) - 2021
- [j8]Mohammad K. Al-Sharman, David Murdoch, Dongpu Cao, Chen Lv, Yahya H. Zweiri, Derek Rayside, William Melek:
A sensorless state estimation for a safety-oriented cyber-physical system in urban driving: Deep learning approach. IEEE CAA J. Autom. Sinica 8(1): 169-178 (2021)
2010 – 2019
- 2019
- [i1]Ali Abbassi, Nancy A. Day, Derek Rayside:
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. CoRR abs/1906.05881 (2019) - 2018
- [j7]Behrooz Golzarpoor, Carl T. Haas, Derek Rayside, Seokyoung Kang, Matthew Weston:
Improving construction industry process interoperability with Industry Foundation Processes (IFP). Adv. Eng. Informatics 38: 555-568 (2018) - [j6]Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger:
Measuring the Impact of Code Dependencies on Software Architecture Recovery Techniques. IEEE Trans. Software Eng. 44(2): 159-181 (2018) - 2017
- [c37]Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside:
Manifold 2.0: A hardware description language for microfluidic devices. CCECE 2017: 1-5 - [c36]Vajih Montaghami, Derek Rayside:
Bordeaux: A Tool for Thinking Outside the Box. FASE 2017: 22-39 - 2016
- [j5]Behrooz Golzarpoor, Carl T. Haas, Derek Rayside:
Improving process conformance with Industry Foundation Processes (IFP). Adv. Eng. Informatics 30(2): 143-156 (2016) - [j4]Mahdi Safa, Ming-Ho Yee, Derek Rayside, Carl T. Haas:
Optimizing Contractor Selection for Construction Packages in Capital Projects. J. Comput. Civ. Eng. 30(5) (2016) - [c35]Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside:
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. CASCON 2016: 188-193 - [c34]Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki:
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. VSTTE 2016: 129-138 - 2015
- [c33]Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger:
Comparing Software Architecture Recovery Techniques Using Accurate Dependencies. ICSE (2) 2015: 69-78 - [c32]Vajih Montaghami, Derek Rayside:
Pattern-based debugging of declarative models. MoDELS 2015: 322-327 - 2014
- [c31]Vajih Montaghami, Derek Rayside:
Staged Evaluation of Partial Instances in a Relational Model Finder. ABZ 2014: 318-323 - [c30]Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki:
Optimizing Alloy for Multi-objective Software Product Line Configuration. ABZ 2014: 328-333 - [c29]Ahmed F. Ibrahim, Derek Rayside, Rasha Kashef:
Cooperative based software clustering on dependency graphs. CCECE 2014: 1-6 - [c28]Derek Rayside:
A compiler project with learning progressions. ICSE Companion 2014: 392-399 - [c27]Yangdong Liao, Ru-Xin Na, Derek Rayside:
Accurate ECG R-peak detection for telemedicine. IHTC 2014: 1-5 - [c26]Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee:
Scaling exact multi-objective combinatorial optimization by parallelization. ASE 2014: 409-420 - [c25]Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki:
Comparison of exact and approximate multi-objective optimization for software product lines. SPLC 2014: 92-101 - 2013
- [c24]Darya Kurilova, Derek Rayside:
On the simplicity of synthesizing linked data structure operations. GPCE 2013: 155-158 - [c23]Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside:
Example-driven modeling: model = abstractions + examples. ICSE 2013: 1273-1276 - [c22]Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, Krzysztof Czarnecki:
Visualization and exploration of optimal variants in product line engineering. SPLC 2013: 111-115 - 2012
- [c21]Vajih Montaghami, Derek Rayside:
Extending Alloy with Partial Instances. ABZ 2012: 122-135 - [c20]Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson:
Synthesizing iterators from abstraction functions. GPCE 2012: 31-40 - [c19]Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside:
Modelling and multi-objective optimization of quality attributes in variability-rich software. NFPinDSML@MoDELS 2012: 2:1-2:6 - 2011
- [c18]Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson:
Unifying execution of imperative and declarative code. ICSE 2011: 511-520 - 2010
- [b1]Derek Rayside:
Automating abstraction functions. Massachusetts Institute of Technology, Cambridge, MA, USA, 2010
2000 – 2009
- 2009
- [c17]Derek Rayside, H.-Christian Estler:
A spreadsheet-like user interface for combinatorial multi-objective optimization. CASCON 2009: 58-69 - [c16]Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson:
Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352 - [c15]Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson:
Agile specifications. OOPSLA Companion 2009: 999-1006 - 2007
- [j3]Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson:
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - [c14]Derek Rayside, Lucy Mendel:
Object ownership profiling: a technique for finding and fixing memory leaks. ASE 2007: 194-203 - 2005
- [c13]Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson:
An analysis and visualization for revealing object sharing. eTX 2005: 11-15 - 2004
- [c12]Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson:
Automating commutativity analysis at the design level. ISSTA 2004: 165-174 - 2003
- [j2]Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best, Robert Lintern:
Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views. Inf. Syst. Frontiers 5(2): 161-174 (2003) - 2002
- [j1]Derek Rayside, Kostas Kontogiannis:
Extracting Java library subsets for deployment on embedded systems. Sci. Comput. Program. 45(2): 245-270 (2002) - [c11]Margaret-Anne D. Storey, Casey Best, Jeff Michaud, Derek Rayside, Marin Litoiu, Mark A. Musen:
SHriMP views: an interactive environment for information visualization and navigation. CHI Extended Abstracts 2002: 520-521 - [c10]Derek Rayside, Kostas Kontogiannis:
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis. CSMR 2002: 67-76 - 2001
- [c9]Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best:
Integrating SHriMP with the IBM websphere studio workbench. CASCON 2001: 14 - [c8]Derek Rayside, Kostas Kontogiannis:
On the Syllogistic Structure of Object-Oriented Programming. ICSE 2001: 113-122 - 2000
- [c7]Derek Rayside, Steve Reuss, Erik Hedges, Kostas Kontogiannis:
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering. IWPC 2000: 191-200 - [c6]Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside:
On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum 2000: 127-128 - [c5]Derek Rayside, Gerard T. Campbell:
An Aristotelian understanding of object-oriented programming. OOPSLA 2000: 337-353 - [c4]Derek Rayside, Gerard T. Campbell:
Aristotle and object-oriented programming: why modern students need traditional logic. SIGCSE 2000: 237-244
1990 – 1999
- 1999
- [c3]Derek Rayside, Evan Mamas, Erik Hons:
Compact Java binaries for embedded systems. CASCON 1999: 9 - [c2]Derek Rayside, Kostas Kontogiannis:
Extracting Java Library Subsets for Deployment on Embedded Systems. CSMR 1999: 102-110 - 1998
- [c1]Derek Rayside, Scott Kerr, Kostas Kontogiannis:
Change And Adaptive Maintenance in Java Software Systems. WCRE 1998: 10-19
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
