| 2025 | DX | Automating Control System Design: Using Language Models for Expert Knowledge in Decentralized Controller Auto-Tuning. | Marlon J. Ares Milin, Gregory M. Provan, Marcos Quiones-Grueiro |
| 2025 | SmartComp | Towards Automated Controller Parameter Design in Cyber-Physical Systems: Improving Computational Cost. | Marlon J. Ares Milin, Gregory M. Provan, Marcos Quiones-Grueiro |
| 2024 | NOSSDAV | MATURE: Multistage Throughput Prediction for Adaptive Video Streaming in Cellular Networks. | Killian Nolan, Darijo Raca, Gregory M. Provan, Ahmed H. Zahran |
| 2023 | SoCS | Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. | Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan |
| 2021 | ICRA | A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on Robust Reinforcement Learning. | Yves Sohege, Marcos Quiones-Grueiro, Gregory M. Provan |
| 2017 | DX | An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. | Gregory M. Provan |
| 2017 | DX | Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. | Yves Sohege, Gregory M. Provan |
| 2016 | ECAI | An Improved State Filter Algorithm for SIR Epidemic Forecasting. | Weipeng Huang, Gregory M. Provan |
| 2016 | ECAI | A General Characterization of Model-Based Diagnosis. | Gregory M. Provan |
| 2015 | MEDI | Bayesian Model Selection for Diagnostics. | Gregory M. Provan |
| 2015 | SAFEProcess | A Framework For Assessing Diagnostics Model Fidelity. | Gregory M. Provan, Alexander Feldman |
| 2014 | AAAI | Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration. | Alexander Feldman, Gregory M. Provan |
| 2014 | SEFM | A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. | Gregory M. Provan |
| 2013 | IJCAI | Machine-Learning-Based Circuit Synthesis. | Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman |
| 2012 | AAAI | Exploring the Duality in Conflict-Directed Model-Based Diagnosis. | Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan |
| 2012 | AVI | Visualizing uncertainty in multi-resolution volumetric data using marching cubes. | Ji Ma, David P. Murphy, S. Cian O'Mathuna, Michael Hayes, Gregory M. Provan |
| 2012 | SENSYS | Designing cost-efficient wireless sensor/actuator networks for building control systems. | Alie El-Din Mady, Gregory M. Provan, Ning Wei |
| 2011 | AAAI | Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. | Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown |
| 2010 | AAAI | Preface. | Gregory M. Provan, Ashish Sabharwal |
| 2009 | IJCAI | FRACTAL: Efficient Fault Isolation Using Active Testing. | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
| 2009 | IJCAI | Solving Strong-Fault Diagnostic Models by Model Relaxation. | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
| 2009 | INDIN | Model-driven diagnostics generation for industrial automation. | Marion Behrens, Gregory M. Provan, Menouer Boubekeur, A. Mady |
| 2009 | INDIN | Compositional model-driven design of embedded code for energy-efficient buildings. | A. Mady, Menouer Boubekeur, Gregory M. Provan |
| 2008 | AAAI | Computing Minimal Diagnoses by Greedy Stochastic Search. | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
| 2008 | AAAI | Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
| 2008 | AAAI | Incremental Algorithms for Approximate Compilation. | Alberto Venturini, Gregory M. Provan |
| 2008 | AAAI | Generating Application-Specific Benchmark Models for Complex Systems. | Jun Wang, Gregory M. Provan |
| 2008 | ECAI | Test Generation for Model-Based Diagnosis. | Gregory M. Provan |
| 2008 | ECAI | An Analysis of Bayesian Network Model-Approximation Techniques. | Adamo Santana, Gregory M. Provan |
| 2008 | ISAIM | Approximation Techniques for Space-Efficient Compilation in Abductive Inference. | Gregory M. Provan |
| 2008 | ICTAI | Adding Flexibility to Russian Doll Search. | Margarita Razgon, Gregory M. Provan |
| 2007 | FlAIRS | Search Ordering Heuristics for Restarts-Based Constraint Solving. | Margarita Razgon, Barry O'Sullivan, Gregory M. Provan |
| 2007 | IJCAI | Automated Benchmark Model Generators for Model-Based Diagnostic Inference. | Gregory M. Provan, Jun Wang |
| 2006 | AAAI | Approximate Compilation for Embedded Model-based Reasoning. | Barry O'Sullivan, Gregory M. Provan |
| 2006 | ECAI | An Empirical Analysis of the Complexity of Model-Based Diagnosis. | Gregory M. Provan |
| 2006 | ICECCS | Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. | Gregory M. Provan |
| 2004 | KR | Inferential Complexity Control for Model-Based Abduction. | Gregory M. Provan |
| 2003 | IJCAI | A Novel Framework for Integrating Discrete Event System Control and Diagnosis. | Gregory M. Provan |
| 2002 | KR | A Model-Based Diagnosis Framework for Distributed Embedded Systems. | Gregory M. Provan |
| 2001 | AISTATS | Stochastic System Monitoring and Control. | Gregory M. Provan |
| 1998 | SMC | A generic and symbolic model-based diagnostic reasoner with highly scalable properties. | Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl |
| 1997 | AAAI | The Effect of Observations on the Complexity of Model-Based Diagnosis. | Adnan Darwiche, Gregory M. Provan |
| 1997 | UAI | A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. | Adnan Darwiche, Gregory M. Provan |
| 1996 | ICML | Efficient Learning of Selective Bayesian Network Classifiers. | Moninder Singh, Gregory M. Provan |
| 1996 | KDD | Data Mining and Model Simplicity: A Case Study in Diagnosis. | Gregory M. Provan, Moninder Singh |
| 1996 | UAI | Query DAGs: A practical paradigm for implementing belief-network inference. | Adnan Darwiche, Gregory M. Provan |
| 1996 | UAI | Why is diagnosis using belief networks insensitive to imprecision in probabilities? | Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke |
| 1995 | AISTATS | Learning Bayesian Networks Using Feature Selection. | Gregory M. Provan, Moninder Singh |
| 1995 | ICML | A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers. | Moninder Singh, Gregory M. Provan |
| 1995 | UAI | Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. | Gregory M. Provan |
| 1994 | UAI | An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. | Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders |
| 1994 | UAI | Knowledge Engineering for Large Belief Networks. | Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion |
| 1993 | ECSQARU | A Lattice-Theoretic Analysis of ATMS Problem Solving. | Teow-Hin Ngair, Gregory M. Provan |
| 1993 | UAI | Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. | Gregory M. Provan |
| 1991 | IJCAI | An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. | Colin J. H. McDiarmid, Gregory M. Provan |
| 1991 | KR | The Utility of Consistency-Based Diagnostic Techniques. | Gregory M. Provan, David L. Poole |
| 1991 | UAI | Dynamic Network Updating Techniques for Diagnostic Reasoning. | Gregory M. Provan |
| 1990 | ECAI | The Computational Complexity of Multiple-Context Truth Maintenance Systems. | Gregory M. Provan |
| 1990 | ECCV | An Analysis Of Knowledge Representation Schemes For High Level Vision. | Gregory M. Provan |
| 1990 | UAI | What is the most likely diagnosis? | David L. Poole, Gregory M. Provan |
| 1989 | IJCAI | An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. | Gregory M. Provan |
| 1989 | UAI | The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System. | Gregory M. Provan |
| 1988 | ECAI | Solving Diagnostic Problems Using Extended Truth Maintenance Systems. | Gregory M. Provan |
| 1987 | AAAI | Efficiency Analysis of Multiple-Context TMSs in Scene Representation. | Gregory M. Provan |