Giulia Pedrielli

Affiliations:
  • Arizona State University, USA


According to our database1, Giulia Pedrielli authored at least 75 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.
Proceedings of the Winter Simulation Conference, 2023

Parameter Optimization with Conscious Allocation (POCA).
Proceedings of the Winter Simulation Conference, 2023

A Testing Based Approach for Security Analysis of Smart Semiconductor Systems.
Proceedings of the Winter Simulation Conference, 2023

Class GP: Gaussian Process Modeling for Heterogeneous Functions.
Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

A Physics-Informed Neural Network Modeling Approach to Direct Ink Writing 3D Printing Process.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
SIRTEM: Spatially Informed Rapid Testing for Epidemic Modeling and Response to COVID-19.
ACM Trans. Spatial Algorithms Syst., 2022

ExpertRNA: A New Framework for RNA Secondary Structure Prediction.
INFORMS J. Comput., 2022

A model aggregation approach for high-dimensional large-scale optimization.
CoRR, 2022

Integrate Bioprocess Mechanisms into Modeling, Analytics, and Control Strategies to Advance Biopharmaceutical Manufacturing and Delivery Processes.
CoRR, 2022

From Discovery to Production: Challenges and Novel Methodologies for Next Generation Biomanufacturing.
Proceedings of the Winter Simulation Conference, 2022

Gaussian Processes for High-Dimensional, Large Data Sets: A Review.
Proceedings of the Winter Simulation Conference, 2022

A Computational Study of Probabilistic Branch and Bound with Multilevel Importance Sampling.
Proceedings of the Winter Simulation Conference, 2022

2021
Multifidelity Modeling for Analysis and Optimization of Serial Production Lines.
IEEE Trans. Autom. Control., 2021

Stochastic optimization with adaptive restart: a framework for integrated local and global learning.
J. Glob. Optim., 2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR, 2021

Scaling Bayesian Optimization With Game Theory.
CoRR, 2021

Partitioning and Gaussian Processes for Accelerating Sampling in Monte Carlo Tree Search for Continuous Decisions.
Proceedings of the Winter Simulation Conference, 2021

Treed-Gaussian Processes with Support Vector Machines as Nodes For Nonstationary Bayesian Optimization.
Proceedings of the Winter Simulation Conference, 2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards assurance case evidence generation through search based testing: work-in-progress.
Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

Using Gaussian Processes to Automate Probabilistic Branch & Bound for Global Optimization.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
A Real Time Simulation Optimization Framework for Vessel Collision Avoidance and the Case of Singapore Strait.
IEEE Trans. Intell. Transp. Syst., 2020

An extended Two-Stage Sequential Optimization approach: Properties and performance.
Eur. J. Oper. Res., 2020

A Decision Support System for Data-Driven Driver-Experience Augmented Vehicle Routing Problem.
Asia Pac. J. Oper. Res., 2020

Stochastic Gaussian Process Model Averaging for High-Dimensional Inputs.
Proceedings of the Winter Simulation Conference, 2020

A Simulation Framework for Service Loss of Power Networks under Extreme Weather Events: A Case of Puerto Rico.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

ARCH-COMP 2020 Category Report: Falsification.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019
Optimal Computing Budget Allocation for Stochastic N-k Problem in the Power Grid System.
IEEE Trans. Reliab., 2019

TD-OCBA: Optimal computing budget allocation and time dilation for simulation optimization of manufacturing systems.
IISE Trans., 2019

Generalized Ordinal Learning Framework (GOLF) for Decision Making with Future Simulated Data.
Asia Pac. J. Oper. Res., 2019

Feasibility Cut Generation by Simulation: Server Allocation in Serial-Parallel Manufacturing Systems.
Proceedings of the 2019 Winter Simulation Conference, 2019

Metamodel-Based Quantile Estimation for Hedging Control of Manufacturing Systems.
Proceedings of the 2019 Winter Simulation Conference, 2019

Subspace Communication Driven Search for High Dimensional Optimization.
Proceedings of the 2019 Winter Simulation Conference, 2019

Falsification of cyber-physical systems through multi-fidelity stochastic optimization.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

A Framework for Multi-fidelity Modeling in Global Optimization Approaches.
Proceedings of the Machine Learning, Optimization, and Data Science, 2019

Complicacy-Guided Parameter Space Sampling for Knowledge Discovery with Limited Simulation Budgets.
Proceedings of the 2019 IEEE International Conference on Big Knowledge, 2019

ARCH-COMP 2019 Category Report: Falsification.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Task Scheduling with Nonlinear Costs using SMT Solvers.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Optimal Computing Budget Allocation to Select the Nondominated Systems - A Large Deviations Perspective.
IEEE Trans. Autom. Control., 2018

Design and control of manufacturing systems: a discrete event optimisation methodology.
Int. J. Prod. Res., 2018

Simulation-based Benders Cuts: a New cutting Approach to Approximately solve simulation-Optimization Problems.
Proceedings of the 2018 Winter Simulation Conference, 2018

Stochastic Optimization for Feasibility determination: an Application to water pump Operation in water Distribution Network.
Proceedings of the 2018 Winter Simulation Conference, 2018

Continuous simulation Optimization with Model mismatch using Gaussian Process Regression.
Proceedings of the 2018 Winter Simulation Conference, 2018

Cyber-coordinated Simulation Models for Multi-stage Additive Manufacturing of Energy Products.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Simulation-Predictive Control for Manufacturing Systems.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Trust region based stochastic optimization with adaptive restart: A family of global optimization algorithms.
Proceedings of the 2017 Winter Simulation Conference, 2017

Optimal design of master-worker architecture for parallelized simulation optimization.
Proceedings of the 2017 Winter Simulation Conference, 2017

A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Multi-fidelity modeling for analysis of serial production lines.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Shipment policy optimisation in a return supply chain for online retailers via stochastic discrete event simulation.
Int. J. Simul. Process. Model., 2016

Discrete Event Optimization: Workstation and buffer allocation problem in manufacturing flow lines.
Proceedings of the Winter Simulation Conference, 2016

A simulation based cut generation approach to improve DEO efficiency: The Buffer Allocation case.
Proceedings of the Winter Simulation Conference, 2016

Constrained optimizaton for hospital bed allocation via discrete event simulation with Nested Partitions.
Proceedings of the Winter Simulation Conference, 2016

Empirical analysis of the performance of variance estimators in sequential single-run Ranking & Selection: The case of Time Dilation algorithm.
Proceedings of the Winter Simulation Conference, 2016

Hybrid order picking strategies for fashion E-commerce warehouse systems.
Proceedings of the Winter Simulation Conference, 2016

G-STAR: A new Kriging-based trust region method for global optimization.
Proceedings of the Winter Simulation Conference, 2016

V-shaped sampling based on Kendall-Distance to enhance optimization with ranks.
Proceedings of the Winter Simulation Conference, 2016

2015
Mathematical programming models for joint simulation-optimization applied to closed queueing networks.
Ann. Oper. Res., 2015

Kriging-based simulation-optimization: a stochastic recursion perspective.
Proceedings of the 2015 Winter Simulation Conference, 2015

Discrete event optimization: single-run integrated simulation-optimization using mathematical programming.
Proceedings of the 2015 Winter Simulation Conference, 2015

The object-oriented discrete event simulation modeling: a case study on aircraft spare part management.
Proceedings of the 2015 Winter Simulation Conference, 2015

Multi-objective multi-fidelity optimization with ordinal transformation and optimal sampling.
Proceedings of the 2015 Winter Simulation Conference, 2015

An AIS-based framework for real time monitoring of vessels efficiency.
Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

2014
Event relationship graph lite: event based modeling for simulation-optimization of control policies in discrete event systems.
Proceedings of the 2014 Winter Simulation Conference, 2014

SNAT: simulation-based search for navigation safety. The case of Singapore strait.
Proceedings of the 2014 Winter Simulation Conference, 2014

Time Buffer Control System for multi-stage production lines.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2012
An HLA-based distributed simulation for networked manufacturing systems analysis.
J. Simulation, 2012

Time buffer for approximate optimization of production systems: concept, applications and structural results.
Proceedings of the Winter Simulation Conference, 2012

2011
Simulation of Complex Manufacturing Systems via HLA-Based Infrastructure.
Proceedings of the 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2011


  Loading...