Mauricio Castillo-Effen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 7

Top Topics

Software Engineering

Accepted Papers

Theoretical Guarantees

Test Generation

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Claire Le Goues, Sebastian Elbaum, David Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR (2024)
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Alberto Speranzon, Christian H. Debrunner, David Rosenbluth, Mauricio Castillo-Effen, Anthony R. Nowicki, Kevin Alcedo, Andrzej Banaszuk
Challenge Problems in Developing a Neuro-Symbolic OODA Loop. NeSy (2023)
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR (2021)
Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen
Towards assurance case evidence generation through search based testing: work-in-progress. EMSOFT (2021)
Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41 (4) (2020)
Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. 40 (3) (2019)
Andres F. Marquez, Mauricio Castillo-Effen, Shirley Fitzgerald, Wilfrido Alejandro Moreno
Motion-logger: An attitude and motion sensing system. CDC/ECC (2011)
Mauricio Castillo-Effen, Nikita Visnevski
Testing and evaluation aspects of integration of unmanned air systems into the national air space. PerMIS (2010)
Mauricio Castillo-Effen, Nikita Visnevski, Raj Subbu
Modeling and simulation for unmanned and autonomous system test and evaluation. PerMIS (2009)
Mauricio Castillo-Effen, Miguel A. Labrador, Wilfrido Alejandro Moreno, Kimon P. Valavanis
Probabilistic Estimation Algorithm for Cooperative Localization in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 5 (1-2) (2008)
Mauricio Castillo-Effen, Carlos L. Castillo, Wilfrido Alejandro Moreno, Kimon P. Valavanis
Robustification of decentralized PID control for small unmanned rotorcraft. IROS (2007)
Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Miguel A. Labrador, Kimon P. Valavanis
Adapting Sequential Monte-Carlo Estimation to Cooperative Localization in Wireless Sensor Networks. MASS (2006)
Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis
Small Unmanned Helicopter Simplified and Decentralized Optimization-Based Controller Design for Non-Aggressive Flights. Int. Trans. Syst. Sci. Appl. 1 (3) (2006)
Mauricio Castillo-Effen, Wendy Alvis, Carlos L. Castillo
Modeling and visualization of multiple autonomous heterogeneous vehicles. SMC (2005)
Carlos L. Castillo, Wendy Alvis, Mauricio Castillo-Effen, Wilfrido Alejandro Moreno, Kimon P. Valavanis
Small scale helicopter analysis and controller design for non-aggressive flights. SMC (2005)