Giulia Pedrielli

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 74

Top Topics

Mathematical Program

Manufacturing Systems

Stochastic Optimization

Top Venues

Publications

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)
Mengrui Mina Jiang, Tanmay Khandait, Giulia Pedrielli
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization. WSC (2023)
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
Parameter Optimization with Conscious Allocation (POCA). CoRR (2023)
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. CASE (2023)
Vaibhav Sharma, Rong Pan, Giulia Pedrielli
A Physics-Informed Neural Network Modeling Approach to Direct Ink Writing 3D Printing Process. CASE (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Mohit Malu, Giulia Pedrielli, Gautam Dasarathy, Andreas Spanias
Class GP: Gaussian Process Modeling for Heterogeneous Functions. LION (2023)
Robert W. Dodge, Giulia Pedrielli, Petar Jevtic
A Testing Based Approach for Security Analysis of Smart Semiconductor Systems. WSC (2023)
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
Parameter Optimization with Conscious Allocation (POCA). WSC (2023)
Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC (2023)
Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC (2023)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Haowei Wang, Ercong Zhang, Szu Hui Ng, Giulia Pedrielli
A model aggregation approach for high-dimensional large-scale optimization. CoRR (2022)
Fahim Tasneema Azad, Robert W. Dodge, Allen M. Varghese, Jaejin Lee, Giulia Pedrielli, K. Selçuk Candan, Gerardo Chowell-Puente
SIRTEM: Spatially Informed Rapid Testing for Epidemic Modeling and Response to COVID-19. ACM Trans. Spatial Algorithms Syst. 8 (4) (2022)
Wei Xie, Giulia Pedrielli
Integrate Bioprocess Mechanisms into Modeling, Analytics, and Control Strategies to Advance Biopharmaceutical Manufacturing and Delivery Processes. CoRR (2022)
Wei Xie, Giulia Pedrielli
From Discovery to Production: Challenges and Novel Methodologies for Next Generation Biomanufacturing. WSC (2022)
Menghan Liu, Erik Poppleton, Giulia Pedrielli, Petr Sulc, Dimitri P. Bertsekas
ExpertRNA: A New Framework for RNA Secondary Structure Prediction. INFORMS J. Comput. 34 (5) (2022)
Hao Huang, Pariyakorn Maneekul, Danielle F. Morey, Zelda B. Zabinsky, Giulia Pedrielli
A Computational Study of Probabilistic Branch and Bound with Multilevel Importance Sampling. WSC (2022)
Mengrui Jiang, Giulia Pedrielli, Szu Hui Ng
Gaussian Processes for High-Dimensional, Large Data Sets: A Review. WSC (2022)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
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)
Giulia Pedrielli, Hao Huang, Zelda B. Zabinsky
Using Gaussian Processes to Automate Probabilistic Branch & Bound for Global Optimization. CASE (2021)
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju, Loo Hay Lee
Multifidelity Modeling for Analysis and Optimization of Serial Production Lines. IEEE Trans. Autom. Control. 66 (8) (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. CoRR (2021)
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. FMICS (2021)
Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. CASE (2021)
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng, Zelda B. Zabinsky
Stochastic optimization with adaptive restart: a framework for integrated local and global learning. J. Glob. Optim. 79 (1) (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)
Menghan Liu, Giulia Pedrielli, Yumeng Cao
Partitioning and Gaussian Processes for Accelerating Sampling in Monte Carlo Tree Search for Continuous Decisions. WSC (2021)
Antonio Candelieri, Giulia Pedrielli
Treed-Gaussian Processes with Support Vector Machines as Nodes For Nonstationary Bayesian Optimization. WSC (2021)
Logan Mathesen, Giulia Pedrielli, R. L. Smith
Scaling Bayesian Optimization With Game Theory. CoRR (2021)
Giulia Pedrielli, Songhao Wang, Szu Hui Ng
An extended Two-Stage Sequential Optimization approach: Properties and performance. Eur. J. Oper. Res. 287 (3) (2020)
Thomaz Carvalhaes, Alireza Inanlouganji, Esther Boyle, Petar Jevtic, Giulia Pedrielli, Agami Reddy
A Simulation Framework for Service Loss of Power Networks under Extreme Weather Events: A Case of Puerto Rico. CASE (2020)
Maxime Xuereb, Szu Hui Ng, Giulia Pedrielli
Stochastic Gaussian Process Model Averaging for High-Dimensional Inputs. WSC (2020)
Qitong Zhao, Chenhao Zhou, Giulia Pedrielli
A Decision Support System for Data-Driven Driver-Experience Augmented Vehicle Routing Problem. Asia Pac. J. Oper. Res. 37 (5) (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Giulia Pedrielli, Yifan Xing, Jia Hao Peh, Kim Wee Koh, Szu Hui Ng
A Real Time Simulation Optimization Framework for Vessel Collision Avoidance and the Case of Singapore Strait. IEEE Trans. Intell. Transp. Syst. 21 (3) (2020)
Xilun Chen, Logan Mathesen, Giulia Pedrielli, K. Selçuk Candan
Complicacy-Guided Parameter Space Sampling for Knowledge Discovery with Limited Simulation Budgets. ICBK (2019)
Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR (2019)
Zelda B. Zabinsky, Giulia Pedrielli, Hao Huang
A Framework for Multi-fidelity Modeling in Global Optimization Approaches. LOD (2019)
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE (2019)
Yinchao Zhu, Giulia Pedrielli, Loo Hay Lee
TD-OCBA: Optimal computing budget allocation and time dilation for simulation optimization of manufacturing systems. IISE Trans. 51 (3) (2019)
Logan Mathesen, Kaushik Keezhnagar Chandrasekar, Xinsheng Li, Giulia Pedrielli, K. Selçuk Candan
Subspace Communication Driven Search for High Dimensional Optimization. WSC (2019)
Giulia Pedrielli, K. Selçuk Candan, Xilun Chen, Logan Mathesen, Alireza Inanalouganji, Jie Xu, Chun-Hung Chen, Loo Hay Lee
Generalized Ordinal Learning Framework (GOLF) for Decision Making with Future Simulated Data. Asia Pac. J. Oper. Res. 36 (6) (2019)
Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos
Task Scheduling with Nonlinear Costs using SMT Solvers. CASE (2019)
Giulia Pedrielli, Russell R. Barton
Metamodel-Based Quantile Estimation for Hedging Control of Manufacturing Systems. WSC (2019)
Yue Liu, Giulia Pedrielli, Haobin Li, Loo Hay Lee, Chun-Hung Chen, John F. Shortle
Optimal Computing Budget Allocation for Stochastic N-k Problem in the Power Grid System. IEEE Trans. Reliab. 68 (3) (2019)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Mengyi Zhang, Andrea Matta, Arianna Alfieri, Giulia Pedrielli
Feasibility Cut Generation by Simulation: Server Allocation in Serial-Parallel Manufacturing Systems. WSC (2019)
Yi-An Tsai, Giulia Pedrielli, Logan Mathesen, Zelda B. Zabinsky, Hao Huang, Antonio Candelieri, Riccardo Perego
Stochastic Optimization for Feasibility determination: an Application to water pump Operation in water Distribution Network. WSC (2018)
Hongyue Sun, Giulia Pedrielli, Guanglei Zhao, Andrea Bragagnolo, Chi Zhou, Rong Pan, Wenyao Xu
Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products. CASE (2018)
Juxin Li, Weizhi Liu, Giulia Pedrielli, Loo Hay Lee, Ek Peng Chew
Optimal Computing Budget Allocation to Select the Nondominated Systems - A Large Deviations Perspective. IEEE Trans. Autom. Control. 63 (9) (2018)
Mengyi Zhang, Andrea Matta, Arianna Alfieri, Giulia Pedrielli
Simulation-based Benders Cuts: a New cutting Approach to Approximately solve simulation-Optimization Problems. WSC (2018)
Giulia Pedrielli, Feng Ju
Simulation-Predictive Control for Manufacturing Systems. CASE (2018)
Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta
Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. WSC (2018)
Giulia Pedrielli, Andrea Matta, Arianna Alfieri, Mengyi Zhang
Design and control of manufacturing systems: a discrete event optimisation methodology. Int. J. Prod. Res. 56 (1-2) (2018)
Logan Mathesen, Giulia Pedrielli, Szu Hui Ng
Trust region based stochastic optimization with adaptive restart: A family of global optimization algorithms. WSC (2017)
Haobin Li, Xiuju Fu, Xiaofeng Yin, Giulia Pedrielli, Loo Hay Lee
Optimal design of master-worker architecture for parallelized simulation optimization. WSC (2017)
Mengyi Zhang, Andrea Matta, Arianna Alfieri, Giulia Pedrielli
A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem. CASE (2017)
Yunyi Kang, Logan Mathesen, Giulia Pedrielli, Feng Ju
Multi-fidelity modeling for analysis of serial production lines. CASE (2017)
Giulia Pedrielli, Yinchao Zhu, Loo Hay Lee, Haobin Li
Empirical analysis of the performance of variance estimators in sequential single-run Ranking & Selection: The case of Time Dilation algorithm. WSC (2016)
Haobin Li, Giulia Pedrielli, Min Chen, Loo Hay Lee, Ek Peng Chew, Chun-Hung Chen
V-shaped sampling based on Kendall-Distance to enhance optimization with ranks. WSC (2016)
Giulia Pedrielli, Szu Hui Ng
G-STAR: A new Kriging-based trust region method for global optimization. WSC (2016)
Nugroho Artadi Pujowidianto, Loo Hay Lee, Giulia Pedrielli, Chun-Hung Chen, Haobin Li
Constrained optimizaton for hospital bed allocation via discrete event simulation with Nested Partitions. WSC (2016)
Haobin Li, Giulia Pedrielli
Shipment policy optimisation in a return supply chain for online retailers via stochastic discrete event simulation. Int. J. Simul. Process. Model. 11 (3/4) (2016)
Giulia Pedrielli, Albert Vinsensius, Ek Peng Chew, Loo Hay Lee, Alessandro Duri, Haobin Li
Hybrid order picking strategies for fashion E-commerce warehouse systems. WSC (2016)
Mengyi Zhang, Andrea Matta, Arianna Alfieri, Giulia Pedrielli
A simulation based cut generation approach to improve DEO efficiency: The Buffer Allocation case. WSC (2016)
Mengyi Zhang, Andrea Matta, Giulia Pedrielli
Discrete Event Optimization: Workstation and buffer allocation problem in manufacturing flow lines. WSC (2016)
Haobin Li, Yinchao Zhu, Yixin Chen, Giulia Pedrielli, Nugroho Artadi Pujowidianto
The object-oriented discrete event simulation modeling: a case study on aircraft spare part management. WSC (2015)
Arianna Alfieri, Andrea Matta, Giulia Pedrielli
Mathematical programming models for joint simulation-optimization applied to closed queueing networks. Ann. Oper. Res. 231 (1) (2015)
Giulia Pedrielli, Szu Hui Ng
Kriging-based simulation-optimization: a stochastic recursion perspective. WSC (2015)
Haobin Li, Yueqi Li, Loo Hay Lee, Ek Peng Chew, Giulia Pedrielli, Chun-Hung Chen
Multi-objective multi-fidelity optimization with ordinal transformation and optimal sampling. WSC (2015)
Hongtao Chi, Giulia Pedrielli, Thomas Kister, Szu Hui Ng, Stéphane Bressan
An AIS-based framework for real time monitoring of vessels efficiency. IEEM (2015)
Giulia Pedrielli, Andrea Matta, Arianna Alfieri
Discrete event optimization: single-run integrated simulation-optimization using mathematical programming. WSC (2015)
Xingyi Chen, Giulia Pedrielli, Szu Hui Ng
SNAT: simulation-based search for navigation safety. The case of Singapore strait. WSC (2014)
Giulia Pedrielli, Arianna Alfieri, Andrea Matta
Time Buffer Control System for multi-stage production lines. CASE (2014)
Andrea Matta, Giulia Pedrielli, Arianna Alfieri
Event relationship graph lite: event based modeling for simulation-optimization of control policies in discrete event systems. WSC (2014)
Giulia Pedrielli
Time buffer for approximate optimization of production systems: concept, applications and structural results. WSC (2012)
Giulia Pedrielli
Time buffer for approximate optimization of production systems: concept, applications and structural results. WSC (2012)
Giulia Pedrielli, Marco Sacco, Walter Terkaj, Tullio Tolio
An HLA-based distributed simulation for networked manufacturing systems analysis. J. Simulation 6 (4) (2012)
Giulia Pedrielli, Paola Scavardone, Tullio Tolio, Marco Sacco, Walter Terkaj
Simulation of Complex Manufacturing Systems via HLA-Based Infrastructure. PADS (2011)