Vladimir Estivill-Castro

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 51

Top Venues

MODELSWARD

CoRR

MODELSWARD (Revised Selected Papers)

RoboCup

Publications

Georgios Angelopoulos, Vladimir Estivill-Castro
Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles. HRI (Companion) (2024)
Carl Lusty, Vladimir Estivill-Castro, René Hexel
TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. WiCON (2023)
Márton Szemenyei, Vladimir Estivill-Castro
Fully neural object detection solutions for robot soccer. Neural Comput. Appl. 34 (24) (2022)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Interpretable Decisions Trees via Human-in-the-Loop-Learning. AusDM (2022)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. Inf. 13 (10) (2022)
Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel
Decomposable and Executable Models for Verification of Real-Time Systems. MODELSWARD (Revised Selected Papers) (2022)
Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel
Verifiable Executable Models for Decomposable Real-time Systems. MODELSWARD (2022)
Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro
Privacy protection of online social network users, against attribute inference attacks, through the use of a set of exhaustive rules. Neural Comput. Appl. 33 (19) (2021)
Misbah Javaid, Vladimir Estivill-Castro
Explanations from a Robotic Partner Build Trust on the Robot's Decisions for Collaborative Human-Humanoid Interaction. Robotics 10 (1) (2021)
Gábor Erdélyi, Olivia Johanna Erdélyi, Vladimir Estivill-Castro
Randomized Classifiers vs Human Decision-Makers: Trustworthy AI May Have to Act Randomly and Society Seems to Accept This. CoRR (2021)
Carl Lusty, Vladimir Estivill-Castro, René Hexel
TTWiFi: Time-Triggered Communication over WiFi. DIVANet (2021)
Eugene Gilmore, Vladimir Estivill-Castro, René Hexel
More Interpretable Decision Trees. HAIS (2021)
Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, René Hexel
Enabling Modern Application Development with Swift on the Nao/Pepper Robots. RoboCup (2021)
Vladimir Estivill-Castro, Enrique Hernández Jiménez, David F. Nettleton
A System Dynamics Model Approach for Simulating Hyper-inflammation in Different COVID-19 Patient Scenarios. SIMULTECH (2021)
Darren Yates, Md Zahidul Islam, Yanchang Zhao, Richi Nayak, Vladimir Estivill-Castro, Salil S. Kanhere
PostMatch: A Framework for Efficient Address Matching. AusDM (2021)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. SMC (2020)
Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro
HeMI ++: A Genetic Algorithm based Clustering Technique for Sensible Clusters. CEC (2020)
David F. Nettleton, Vladimir Estivill-Castro, Enrique Hernández Jiménez
Multi-agent Modeling Simulation of In-vitro T-cells for Immunologic Alternatives to Cancer Treatment. ICAART (1) (2020)
Vladimir Estivill-Castro, Eugene Gilmore, René Hexel
Constructing Interpretable Decision Trees Using Parallel Coordinates. ICAISC (2) (2020)
Mohammad Awrangjeb, Jardel das C. Rodrigues, Bela Stantic, Vladimir Estivill-Castro
A fair comparison of the EEG signal classification methods for alcoholic subject identification. IVCNZ (2020)
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Verification and Simulation of Time-Domain Properties for Models of Behaviour. MODELSWARD (Revised Selected Papers) (2020)
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. MODELSWARD (2020)
Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro
Tree Index: A New Cluster Evaluation Technique. CoRR (2020)
Vladimir Estivill-Castro
Inviting Teachers to Use Educational Robotics to Foster Mathematical Problem-Solving. RiE (2019)
Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro
Privacy Preservation of Social Network Users Against Attribute Inference Attacks via Malicious Data Mining. ICISSP (2019)
Vladimir Estivill-Castro, René Hexel
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. MODELSWARD (2019)
Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro
Protection of User-Defined Sensitive Attributes on Online Social Networks Against Attribute Inference Attack via Adversarial Data Mining. ICISSP (Revised Selected Papers) (2019)
Misbah Javaid, Vladimir Estivill-Castro, René Hexel
Knowledge-Based Robotic Agent as a Game Player. PRICAI (3) (2019)
Vladimir Estivill-Castro, Matteo Lombardi, Alessandro Marani
Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education. CSEDU (2) (2019)
Marton Szemenyei, Vladimir Estivill-Castro
ROBO: Robust, Fully Neural Object Detection for Robot Soccer. CoRR (2019)
Marton Szemenyei, Vladimir Estivill-Castro
ROBO: Robust, Fully Neural Object Detection for Robot Soccer. RoboCup (2019)
David F. Nettleton, Vladimir Estivill-Castro, Julián Salas
Privacy in Multiple On-line Social Networks - Re-identification and Predictability. Trans. Data Priv. 12 (1) (2019)
Vladimir Estivill-Castro, René Hexel
The Understandability of Models for Behaviour. MODELSWARD (Revised Selected Papers) (2019)
Vladimir Estivill-Castro, Alessandro Marani
Towards the Ranking of Web-pages for Educational Purposes. CSEDU (1) (2019)
Vladimir Estivill-Castro, René Hexel, Morgan McColl
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs. ReConFig (2018)
Md Zahidul Islam, Vladimir Estivill-Castro, Md Anisur Rahman, Terry Bossomaier
Combining K-Means and a genetic algorithm through a novel arrangement of genetic operators for high quality clustering. Expert Syst. Appl. 91 (2018)
Vladimir Estivill-Castro, Matteo Lombardi, Alessandro Marani
Improving binary classification of web pages using an ensemble of feature selection algorithms. ACSW (2018)
Vladimir Estivill-Castro, René Hexel, Carl Lusty
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. MoDELS (Workshops) (2018)
Marton Szemenyei, Vladimir Estivill-Castro
Real-Time Scene Understanding Using Deep Neural Networks for RoboCup SPL. RoboCup (2018)
Vladimir Estivill-Castro, René Hexel
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. MODELSWARD (2018)
Nazia Majadi, Jarrod Trevathan, Heather Gray, Vladimir Estivill-Castro, Neil Bergmann
Real-time detection of shill bidding in online auctions: A literature review. Comput. Sci. Rev. 25 (2017)
Vladimir Estivill-Castro, René Hexel
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. MODELSWARD (Revised Selected Papers) (2017)
Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro
3LP: Three Layers of Protection for Individual Privacy in Facebook. SEC (2017)
Vladimir Estivill-Castro, René Hexel
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. MODELSWARD (2017)
Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro
Social media users' privacy against malicious data miners. ISKE (2017)
Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro
Genetic algorithm with healthy population and multiple streams sharing information for clustering. Knowl. Based Syst. 114 (2016)
Vladimir Estivill-Castro, René Hexel
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. SIMPAR (2016)
Wendy Moyle, Cindy Jones, Billy Sung, Marguerite Bramble, Siobhan O'Dwyer, Michael Blumenstein, Vladimir Estivill-Castro
What Effect Does an Animal Robot Called CuDDler Have on the Engagement and Emotional Response of Older People with Dementia? A Pilot Feasibility Study. Int. J. Soc. Robotics 8 (1) (2016)
Vladimir Estivill-Castro, Mahdi Parsa
Hardness and tractability of detecting connected communities. ACSW (2016)
Vladimir Estivill-Castro, Carla Limongelli, Matteo Lombardi, Alessandro Marani
DAJEE: A Dataset of Joint Educational Entities for Information Retrieval in Technology Enhanced Learning. SIGIR (2016)
Vladimir Estivill-Castro, René Hexel, Alberto Ramirez Regalado
Architecture for logic programing with arrangements of finite-state machines. DCPS (2016)
Dimitri Joukoff, Vladimir Estivill-Castro, René Hexel, Carl Lusty
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. RiTA (2015)
Vladimir Estivill-Castro
Is It FPT to Cover Points with Tours on Minimum Number of Bends (Errata)? Int. J. Comput. Geom. Appl. 25 (1) (2015)
Vladimir Estivill-Castro, René Hexel
Simple, Not Simplistic - The Middleware of Behaviour Models. ENASE (2015)
Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. CoRR (2015)
Vladimir Estivill-Castro, David F. Nettleton
Privacy Tips: Would it be ever possible to empower online social-network users to control the confidentiality of their data? ASONAM (2015)
Vladimir Estivill-Castro, David F. Nettleton
Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So? TrustCom/BigDataSE/ISPA (1) (2015)
Vladimir Estivill-Castro, René Hexel, Josh Stover
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. EMS (2015)
Vladimir Estivill-Castro, Peter Hough, Md Zahidul Islam
Empowering users of social networks to assess their privacy risks. IEEE BigData (2014)
Vladimir Estivill-Castro, René Hexel
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. Australian Software Engineering Conference (2014)
Vladimir Estivill-Castro, René Hexel, Carl Lusty
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. SIMPAR (2014)
Vladimir Estivill-Castro, Jonathan Ferrer-Mestres
Path-finding in dynamic environments with PDDL-planners. ICAR (2013)
Vladimir Estivill-Castro, René Hexel
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. ENASE (2013)
Vladimir Estivill-Castro
Integration of Planning and Reasoning into an Architecture That Enables Model-Driven Development. CCIA (2013)
Vladimir Estivill-Castro, René Hexel
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. MODELSWARD (2013)
Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC (2012)
Vladimir Estivill-Castro, Mahdi Parsa
On the parameterized complexity of dominant strategies. ACSC (2012)
Robert Coleman, Vladimir Estivill-Castro, René Hexel, Carl Lusty
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. SIMPAR (2012)
Vladimir Estivill-Castro, David A. Rosenblueth
Model Checking of Transition-Labeled Finite-State Machines. FGIT-ASEA/DRBC/EL (2011)
Ickjai Lee, Vladimir Estivill-Castro
Exploration of Massive Crime Data Sets through Data Mining Techniques. Appl. Artif. Intell. 25 (5) (2011)
Vladimir Estivill-Castro
The Instance Easiness of Supervised Learning for Cluster Validity. PAKDD Workshops (2011)
Vladimir Estivill-Castro, Brendan Bartlett
Image Capture for Concrete Programming - Building Schemata for Problem Solving. CSEDU (1) (2011)
Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera
Fpt-Algorithms for Minimum-Bends Tours. Int. J. Comput. Geom. Appl. 21 (2) (2011)
Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera
-Bends TSP. COCOON (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE (2010)
Vladimir Estivill-Castro, Mahdi Parsa
Single Parameter FPT-Algorithms for Non-trivial Games. IWOCA (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR (2010)
Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera
NP-completeness and FPT Results for Rectilinear Covering Problems. J. Univers. Comput. Sci. 16 (5) (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Architecture for Hybrid Robotic Behavior. HAIS (2009)
Artak Amirbekyan, Vladimir Estivill-Castro
-NN for large data sets. Knowl. Inf. Syst. 21 (3) (2009)
Vladimir Estivill-Castro, Mahdi Parsa
Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity. CATS (2009)
Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera
Reduction rules deliver efficient FPT-algorithms for covering points with lines. ACM J. Exp. Algorithmics 14 (2009)
Joel Fenwick, Vladimir Estivill-Castro
Mutually Visible Agents in a Discrete Environment. ACSC (2007)
Artak Amirbekyan, Vladimir Estivill-Castro
The Privacy of k-NN Retrieval for Horizontal Partitioned Data -- New Methods and Applications. ADC (2007)
Kyungmi Lee, Vladimir Estivill-Castro
Feature extraction and gating techniques for ultrasonic shaft signal classification. Appl. Soft Comput. 7 (1) (2007)
Artak Amirbekyan, Vladimir Estivill-Castro
Privacy-Preserving k-NN for Small and Large Data Sets. ICDM Workshops (2007)
Vladimir Estivill-Castro, Ahmed HajYasien
Fast Private Association Rule Mining by A Protocol for Securely Sharing Distributed Data. ISI (2007)
Artak Amirbekyan, Vladimir Estivill-Castro
A New Efficient Privacy-Preserving Scalar Product Protocol. AusDM (2007)
Ickjai Lee, Vladimir Estivill-Castro
Fast Cluster Polygonization and its Applications in Data-Rich Environments. GeoInformatica 10 (4) (2006)
Ahmed HajYasien, Vladimir Estivill-Castro
Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation. DaWaK (2006)
Ahmed HajYasien, Vladimir Estivill-Castro, Rodney W. Topor
Sanitization of Databases for Refined Privacy Trade-Offs. ISI (2006)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Using Temporal Consistency to Improve Robot Localisation. RoboCup (2006)
Kevin Burrage, Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Shev Mac, Frances A. Rosamond
) Kernel. IWPEC (2006)
Artak Amirbekyan, Vladimir Estivill-Castro
for Vertically Partitioned Data. ISI (2006)
Vladimir Estivill-Castro, Stuart Seymon
Mobile Robots for an E-Mail Interface for People Who Are Blind. RoboCup (2006)
Joel Fenwick, Vladimir Estivill-Castro
Optimal Paths for Mutually Visible Agents. ISAAC (2005)
Maria Aneiros, Vladimir Estivill-Castro
Usability of Real-Time Unconstrained WWW-Co-Browsing for Educational Settings. Web Intelligence (2005)
Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond
FPT is P-Time Extremal Structure I. ACiD (2005)
Vladimir Estivill-Castro
Generating Nearly Sorted Sequences - The use of measures of disorder. Electron. Notes Theor. Comput. Sci. 91 (2004)

Vladimir Estivill-Castro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vladimir Estivill-Castro