Derek Rayside

59 papers A* 8A 4B 5C 4Journal 17Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Autonomous Driving at Unsignalized Intersections: A Review of Decision-Making Challenges and Reinforcement Learning-Based Solutions.
IEEE Trans Autom. Sci. Eng.
Mohammad K. Al-Sharman, Luc Edes, Bert Sun, Vishal Jayakumar, Hasan Tahir, Mohamed A. Daoud, Bara J. Emran, Derek Rayside, William Melek
2025 J jnl
RALACs: Action Recognition in Autonomous Vehicles Using Interaction Encoding and Optical Flow.
IEEE Trans. Cybern.
Eddy Zhou, Owen Leather, Alex Zhuang, Alikasim Budhwani, Rowan Dempster, Quanquan Li, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2025 — conf
Sensor Protection and Fault Detection: Application to Autonomous Vehicles.
CCTA
Chuan Tian Zhang, Derek Rayside, Christopher Nielsen
2024 J jnl
Autonomous Driving at Unsignalized Intersections: A Review of Decision-Making Challenges and Reinforcement Learning-Based Solutions.
CoRR
Mohammad K. Al-Sharman, Luc Edes, Bert Sun, Vishal Jayakumar, Mohamed A. Daoud, Derek Rayside, William Melek
2023 A* conf
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints.
ICRA
Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2023 J jnl
Self-Learned Autonomous Driving at Unsignalized Intersections: A Hierarchical Reinforced Learning Approach for Feasible Decision-Making.
IEEE Trans. Intell. Transp. Syst.
Mohammad K. Al-Sharman, Rowan Dempster, Mohamed A. Daoud, Mahmoud Nasr, Derek Rayside, William Melek
2022 A* conf
DRG: A Dynamic Relation Graph for Unified Prior-Online Environment Modeling in Urban Autonomous Driving.
ICRA
Rowan Dempster, Mohammad K. Al-Sharman, Yeshu Jain, Jeffery Li, Derek Rayside, William Melek
2022 J jnl
RADACS: Towards Higher-Order Reasoning using Action Recognition in Autonomous Vehicles.
CoRR
Alex Zhuang, Eddy Zhou, Quanquan Li, Rowan Dempster, Alikasim Budhwani, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2022 J jnl
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints.
CoRR
Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2022 C conf
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving.
IV
Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2022 J jnl
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving.
CoRR
Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek
2022 J jnl
Simultaneous Feasible Local Planning and Path-Following Control for Autonomous Driving.
IEEE Trans. Intell. Transp. Syst.
Mohamed A. Daoud, Mohamed W. Mehrez, Derek Rayside, William W. Melek
2021 J jnl
A sensorless state estimation for a safety-oriented cyber-physical system in urban driving: Deep learning approach.
IEEE CAA J. Autom. Sinica
Mohammad K. Al-Sharman, David Murdoch, Dongpu Cao, Chen Lv, Yahya H. Zweiri, Derek Rayside, William Melek
2019 J jnl
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.
CoRR
Ali Abbassi, Nancy A. Day, Derek Rayside
2018 J jnl
Improving construction industry process interoperability with Industry Foundation Processes (IFP).
Adv. Eng. Informatics
Behrooz Golzarpoor, Carl T. Haas, Derek Rayside, Seokyoung Kang, Matthew Weston
2018 J jnl
Measuring the Impact of Code Dependencies on Software Architecture Recovery Techniques.
IEEE Trans. Software Eng.
Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger
2017 B conf
Bordeaux: A Tool for Thinking Outside the Box.
FASE
Vajih Montaghami, Derek Rayside
2017 — conf
Manifold 2.0: A hardware description language for microfluidic devices.
CCECE
Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside
2016 — conf
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.
VSTTE
Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
2016 J jnl
Improving process conformance with Industry Foundation Processes (IFP).
Adv. Eng. Informatics
Behrooz Golzarpoor, Carl T. Haas, Derek Rayside
2016 — conf
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
CASCON
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
2016 J jnl
Optimizing Contractor Selection for Construction Packages in Capital Projects.
J. Comput. Civ. Eng.
Mahdi Safa, Ming-Ho Yee, Derek Rayside, Carl T. Haas
2015 — conf
Comparing Software Architecture Recovery Techniques Using Accurate Dependencies.
ICSE (2)
Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger
2015 A conf
Pattern-based debugging of declarative models.
MoDELS
Vajih Montaghami, Derek Rayside
2014 — conf
A compiler project with learning progressions.
ICSE Companion
Derek Rayside
2014 — conf
Accurate ECG R-peak detection for telemedicine.
IHTC
Yangdong Liao, Ru-Xin Na, Derek Rayside
2014 B conf
Comparison of exact and approximate multi-objective optimization for software product lines.
SPLC
Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki
2014 — conf
Cooperative based software clustering on dependency graphs.
CCECE
Ahmed F. Ibrahim, Derek Rayside, Rasha Kashef
2014 C conf
Optimizing Alloy for Multi-objective Software Product Line Configuration.
ABZ
Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki
2014 A* conf
Scaling exact multi-objective combinatorial optimization by parallelization.
ASE
Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee
2014 C conf
Staged Evaluation of Partial Instances in a Relational Model Finder.
ABZ
Vajih Montaghami, Derek Rayside
2013 A* conf
Example-driven modeling: model = abstractions + examples.
ICSE
Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside
2013 B conf
On the simplicity of synthesizing linked data structure operations.
GPCE
Darya Kurilova, Derek Rayside
2013 B conf
Visualization and exploration of optimal variants in product line engineering.
SPLC
Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, Krzysztof Czarnecki
2012 C conf
Extending Alloy with Partial Instances.
ABZ
Vajih Montaghami, Derek Rayside
2012 — conf
Modelling and multi-objective optimization of quality attributes in variability-rich software.
NFPinDSML@MoDELS
Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside
2012 B conf
Synthesizing iterators from abstraction functions.
GPCE
Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
2011 A* conf
Unifying execution of imperative and declarative code.
ICSE
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
2010 — —
Automating abstraction functions.
Derek Rayside
2009 — conf
A spreadsheet-like user interface for combinatorial multi-objective optimization.
CASCON
Derek Rayside, H.-Christian Estler
2009 — conf
Agile specifications.
OOPSLA Companion
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
2009 A* conf
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
ICSE
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
2007 J jnl
Automatic Visualization of Relational Logic Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
2007 A* conf
Object ownership profiling: a technique for finding and fixing memory leaks.
ASE
Derek Rayside, Lucy Mendel
2005 — conf
An analysis and visualization for revealing object sharing.
eTX
Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
2004 A conf
Automating commutativity analysis at the design level.
ISSTA
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
2003 J jnl
Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views.
Inf. Syst. Frontiers
Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best, Robert Lintern
2002 — conf
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis.
CSMR
Derek Rayside, Kostas Kontogiannis
2002 J jnl
Extracting Java library subsets for deployment on embedded systems.
Sci. Comput. Program.
Derek Rayside, Kostas Kontogiannis
2002 — conf
SHriMP views: an interactive environment for information visualization and navigation.
CHI Extended Abstracts
Margaret-Anne D. Storey, Casey Best, Jeff Michaud, Derek Rayside, Marin Litoiu, Mark A. Musen
2001 — conf
Integrating SHriMP with the IBM websphere studio workbench.
CASCON
Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best
2001 A* conf
On the Syllogistic Structure of Object-Oriented Programming.
ICSE
Derek Rayside, Kostas Kontogiannis
2000 A conf
An Aristotelian understanding of object-oriented programming.
OOPSLA
Derek Rayside, Gerard T. Campbell
2000 A conf
Aristotle and object-oriented programming: why modern students need traditional logic.
SIGCSE
Derek Rayside, Gerard T. Campbell
2000 — conf
On the predictability of Java byte codes (abstract) (poster session).
OOPSLA Addendum
Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside
2000 — conf
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering.
IWPC
Derek Rayside, Steve Reuss, Erik Hedges, Kostas Kontogiannis
1999 — conf
Compact Java binaries for embedded systems.
CASCON
Derek Rayside, Evan Mamas, Erik Hons
1999 — conf
Extracting Java Library Subsets for Deployment on Embedded Systems.
CSMR
Derek Rayside, Kostas Kontogiannis
1998 — conf
Change And Adaptive Maintenance in Java Software Systems.
WCRE
Derek Rayside, Scott Kerr, Kostas Kontogiannis