| 2026 | ENASE | Grammar-Prompted Synthesis of Verification Properties from Natural Language Requirements for Multiple Model Checkers. | Vladimir Estivill-Castro, Ren Hexel |
| 2026 | ICSoft | Agentic AI Workflow: From Natural Language Requirements to Verifiable and Executable Models. | Vladimir Estivill-Castro, Ren Hexel |
| 2026 | NetSoft | Towards Secure Knowledge Distillation in Edge and Federated AI Systems: A System-Level Perspective. | Nil Ortiz Rabella, Vladimir Estivill-Castro, Muhammad Shuaib Siddiqui, Hatim Chergui |
| 2026 | SIMULTECH | Agentic Workflow for the Modelling of Daily Activity Schedules of Individual Behaviour for the Generation of Utility Consumption at Urban Scale. | Vladimir Estivill-Castro, Manuel Portela, Toni Rubio Serrano |
| 2025 | IJCCI | Efficient Construction of Interpretable Oblique Decision Trees. | Vladimir Estivill-Castro, Nuru Nabuuso |
| 2025 | MODELSWARD | LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. | Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2025 | MODELSWARD | Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. | Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2024 | HRI | Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles. | Georgios Angelopoulos, Vladimir Estivill-Castro |
| 2022 | AusDM | Interpretable Decisions Trees via Human-in-the-Loop-Learning. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2022 | MODELSWARD | Verifiable Executable Models for Decomposable Real-time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2022 | MODELSWARD | Decomposable and Executable Models for Verification of Real-Time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2021 | AusDM | PostMatch: A Framework for Efficient Address Matching. | Darren Yates, Md Zahidul Islam, Yanchang Zhao, Richi Nayak, Vladimir Estivill-Castro, Salil S. Kanhere |
| 2021 | HAIS | More Interpretable Decision Trees. | Eugene Gilmore, Vladimir Estivill-Castro, Ren Hexel |
| 2021 | MSWIM | TTWiFi: Time-Triggered Communication over WiFi. | Carl Lusty, Vladimir Estivill-Castro, Ren Hexel |
| 2021 | RoboCup | Enabling Modern Application Development with Swift on the Nao/Pepper Robots. | Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, Ren Hexel |
| 2021 | SIMULTECH | A System Dynamics Model Approach for Simulating Hyper-inflammation in Different COVID-19 Patient Scenarios. | Vladimir Estivill-Castro, Enrique Hernndez Jimnez, David F. Nettleton |
| 2020 | CEC | HeMI ++: A Genetic Algorithm based Clustering Technique for Sensible Clusters. | Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro |
| 2020 | ICAART | Multi-agent Modeling Simulation of In-vitro T-cells for Immunologic Alternatives to Cancer Treatment. | David F. Nettleton, Vladimir Estivill-Castro, Enrique Hernndez Jimnez |
| 2020 | ICAISC | Constructing Interpretable Decision Trees Using Parallel Coordinates. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2020 | IVCNZ | A fair comparison of the EEG signal classification methods for alcoholic subject identification. | Mohammad Awrangjeb, Jardel das C. Rodrigues, Bela Stantic, Vladimir Estivill-Castro |
| 2020 | MODELSWARD | Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 2020 | MODELSWARD | Verification and Simulation of Time-Domain Properties for Models of Behaviour. | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 2020 | SMC | Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. | Vladimir Estivill-Castro, Eugene Gilmore, Ren Hexel |
| 2019 | CSEDU | Towards the Ranking of Web-pages for Educational Purposes. | Vladimir Estivill-Castro, Alessandro Marani |
| 2019 | CSEDU | Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education. | Vladimir Estivill-Castro, Matteo Lombardi, Alessandro Marani |
| 2019 | ICISSP | Privacy Preservation of Social Network Users Against Attribute Inference Attacks via Malicious Data Mining. | Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro |
| 2019 | ICISSP | Protection of User-Defined Sensitive Attributes on Online Social Networks Against Attribute Inference Attack via Adversarial Data Mining. | Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro |
| 2019 | MODELSWARD | Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. | Vladimir Estivill-Castro, Ren Hexel |
| 2019 | MODELSWARD | The Understandability of Models for Behaviour. | Vladimir Estivill-Castro, Ren Hexel |
| 2019 | PRICAI | Knowledge-Based Robotic Agent as a Game Player. | Misbah Javaid, Vladimir Estivill-Castro, Ren Hexel |
| 2019 | RoboCup | ROBO: Robust, Fully Neural Object Detection for Robot Soccer. | Mrton Szemenyei, Vladimir Estivill-Castro |
| 2018 | MODELS | Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. | Vladimir Estivill-Castro, Ren Hexel, Carl Lusty |
| 2018 | MODELSWARD | Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. | Vladimir Estivill-Castro, Ren Hexel |
| 2018 | RoboCup | Real-Time Scene Understanding Using Deep Neural Networks for RoboCup SPL. | Mrton Szemenyei, Vladimir Estivill-Castro |
| 2017 | ISKE | Social media users' privacy against malicious data miners. | Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro |
| 2017 | MODELSWARD | Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | MODELSWARD | Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. | Vladimir Estivill-Castro, Ren Hexel |
| 2017 | SEC | 3LP: Three Layers of Protection for Individual Privacy in Facebook. | Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro |
| 2016 | SIGIR | DAJEE: A Dataset of Joint Educational Entities for Information Retrieval in Technology Enhanced Learning. | Vladimir Estivill-Castro, Carla Limongelli, Matteo Lombardi, Alessandro Marani |
| 2015 | ENASE | Simple, Not Simplistic - The Middleware of Behaviour Models. | Vladimir Estivill-Castro, Ren Hexel |
| 2015 | TrustCom | Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So? | Vladimir Estivill-Castro, David F. Nettleton |
| 2013 | ENASE | Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. | Vladimir Estivill-Castro, Ren Hexel |
| 2013 | MODELSWARD | Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. | Vladimir Estivill-Castro, Ren Hexel |
| 2012 | APSEC | Efficient Modelling of Embedded Software Systems and their Formal Verification. | Vladimir Estivill-Castro, Ren Hexel, David A. Rosenblueth |
| 2011 | CSEDU | Image Capture for Concrete Programming - Building Schemata for Problem Solving. | Vladimir Estivill-Castro, Brendan Bartlett |
| 2011 | PAKDD | The Instance Easiness of Supervised Learning for Cluster Validity. | Vladimir Estivill-Castro |
| 2010 | COCOON | The Rectilinear | Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera |
| 2010 | ENASE | Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2010 | ENASE | Requirements Engineering via Non-monotonic Logics and State Diagrams. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2010 | IWOCA | Single Parameter FPT-Algorithms for Non-trivial Games. | Vladimir Estivill-Castro, Mahdi Parsa |
| 2009 | HAIS | Architecture for Hybrid Robotic Behavior. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2007 | ADC | The Privacy of k-NN Retrieval for Horizontal Partitioned Data -- New Methods and Applications. | Artak Amirbekyan, Vladimir Estivill-Castro |
| 2007 | AusDM | A New Efficient Privacy-Preserving Scalar Product Protocol. | Artak Amirbekyan, Vladimir Estivill-Castro |
| 2007 | ICDM | Privacy-Preserving k-NN for Small and Large Data Sets. | Artak Amirbekyan, Vladimir Estivill-Castro |
| 2007 | ISI | Fast Private Association Rule Mining by A Protocol for Securely Sharing Distributed Data. | Vladimir Estivill-Castro, Ahmed HajYasien |
| 2006 | DaWaK | Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation. | Ahmed HajYasien, Vladimir Estivill-Castro |
| 2006 | ISI | Privacy Preserving | Artak Amirbekyan, Vladimir Estivill-Castro |
| 2006 | ISI | Sanitization of Databases for Refined Privacy Trade-Offs. | Ahmed HajYasien, Vladimir Estivill-Castro, Rodney W. Topor |
| 2006 | RoboCup | Using Temporal Consistency to Improve Robot Localisation. | David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock |
| 2006 | RoboCup | Mobile Robots for an E-Mail Interface for People Who Are Blind. | Vladimir Estivill-Castro, Stuart Seymon |
| 2005 | ISAAC | Optimal Paths for Mutually Visible Agents. | Joel Fenwick, Vladimir Estivill-Castro |
| 2004 | HIS | Classification Ensembles for Shaft Test Data: Empirical Evaluation. | Kyungmi Lee, Vladimir Estivill-Castro |
| 2004 | RoboCup | A Descriptive Language for Flexible and Robust Object Recognition. | Nathan Lovell, Vladimir Estivill-Castro |
| 2003 | DaWaK | Cluster Validity Using Support Vector Machines. | Vladimir Estivill-Castro, Jianhua Yang |
| 2003 | Group | Group unified histories an instrument for productive unconstrained co-browsing. | Maria Aneiros, Vladimir Estivill-Castro, Chengzheng Sun |
| 2003 | HIS | Feature Extraction Techniques for Ultrasonic Shaft Signal Classification. | Kyungmi Lee, Vladimir Estivill-Castro |
| 2003 | ICIP | Tracking bees - a 3D, outdoor small object environment. | Vladimir Estivill-Castro, Darren Lattin, Francis Suraweera, Vasanthe Vithanage |
| 2003 | IDEAL | Improved Object Recognition - The RoboCup 4-Legged League. | Vladimir Estivill-Castro, Nathan Lovell |
| 2002 | CEC | A memetic algorithm instantiated with selection sort consistently finds global optima for the error-correcting graph isomorphism. | Rodolfo Torres-Velzquez, Vladimir Estivill-Castro |
| 2001 | CEC | Classical sorting embedded in genetic algorithms for improved permutation search. | Vladimir Estivill-Castro, Rodolfo Torres-Velzquez |
| 2001 | PAKDD | Criteria on Proximity Graphs for Boundary Extraction and Spatial Clustering. | Vladimir Estivill-Castro, Ickjai Lee, Alan T. Murray |
| 2000 | PRICAI | Hybrid Genetic Algorithms Are Better for Spatial Clustering. | Vladimir Estivill-Castro |
| 2000 | PRICAI | Fast and Robust General Purpose Clustering Algorithms. | Vladimir Estivill-Castro, Jianhua Yang |
| 1999 | ADC | Robust Clustering of Large Data Sets with Categorial Attributes. | Vladimir Estivill-Castro, Michael E. Houle |
| 1999 | DaWaK | Data Swapping: Balancing Privacy against Precision in Mining for Logic Rules. | Vladimir Estivill-Castro, Ljiljana Brankovic |
| 1999 | PAKDD | Robust Clustering of Large Geo-referenced Data Sets. | Vladimir Estivill-Castro, Michael E. Houle |
| 1998 | ISAAC | Randomized K-Dimensional Binary Search Trees. | Amalia Duch, Vladimir Estivill-Castro, Conrado Martnez |
| 1998 | PAKDD | Discovering Associations in Spatial Data - An Efficient Medoid Based Approach. | Vladimir Estivill-Castro, Alan T. Murray |
| 1997 | ICTAI | Collaborative Knowledge Acquisition with a Genetic Algorithm. | Vladimir Estivill-Castro |
| 1995 | ISAAC | Illumination with Orthogonal Floodlights. | James Abello, Vladimir Estivill-Castro, Thomas C. Shermer, Jorge Urrutia |
| 1995 | WADS | Two-Floodlight Illumination of Convex Polygons. | Vladimir Estivill-Castro, Jorge Urrutia |
| 1993 | ICCI | The Design of Competitive Algorithms via Genetic Algorithms. | Vladimir Estivill-Castro |
| 1993 | ICCI | An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning. | Vladimir Estivill-Castro, Derick Wood |
| 1992 | ICCI | Move-to-End is Best for Double-Linked Lists. | Vladimir Estivill-Castro |
| 1991 | ICCI | Practical Adaptive Sorting. | Vladimir Estivill-Castro, Derick Wood |