publication venue for
- Computer Vision, Imaging and Computer Graphics Theory and Applications 2022
- Computer Vision, Imaging and Computer Graphics Theory and Applications 2019
- Computer Vision, Imaging and Computer Graphics Theory and Applications 2017
- Advances in Digital Image Processing and Information Technology 2011
- Advances in Parallel Distributed Computing 2011
- Blockchain-Enabled Large Language Models for Prognostics and Health Management Framework in Industrial Internet of Things 2025
- A Social BPM Approach to Deal with Agility 2024
- Multiple Traveling Salesman Problem with a Drone Station: Using Multi-package Payload Compartments 2024
- Optimizing Airline Pilots Training Plans: A Mixed Integer Linear Programming Approach 2024
- A Scenario Generation Method Exploring Uncertainty and Decision Spaces for Robust Strategic Supply Chain Capacity Planning 2023
- Dynamic Link Network Emulation and Validation of Execution Datasets 2023
- SPOT+: Secure and Privacy-Preserving Proximity-Tracing Protocol with Efficient Verification over Multiple Contact Information 2023
- Automatic Processing of Planning Problems: Application on Representative Case Studies 2022
- Digital Twin for IoT Environments: A Testing and Simulation Tool 2022
- Towards an Ontological Approach to Business Continuity Assessment 2022
- Model Transformation from CBM to EPL Rules to Detect Failure Symptoms 2021
- On the Performance of the ORTHOMADS Algorithm on Continuous and Mixed-Integer Optimization Problems 2021
- Overall Feasibility of RF Energy Harvesting for IoT 2021
- The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems 2021
- Unlicensed Spectrum for Ultra-Reliable Low-Latency Communication in Multi-tenant Environment 2021
- From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems 2020
- Resilience of Interconnected Infrastructures and Systems: The RESIIST Project 2020
- A SAT-Based Formal Approach for Verifying Business Process Configuration 2019
- Cities for All Ages: Singapore Use Case 2019
- Comparative Study of Combined Fault Diagnosis Schemes Based on Convolutional Neural Network 2019
- Automation and Complacency: Insights from a Planning Task in the Transportation Domain 2018
- An Exact Smoother in a Fuzzy Jump Markov Switching Model 2017
- Age Characterization from Online Handwriting 2016
- An Energy Saving Solution in Integrated Access Networks 2015
- Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec 2015
- Online Testing: A Passive Approach for Protocols 2015
- Specification-Based Intrusion Detection Using Sequence Alignment and Data Clustering 2015
- Towards User-Centric Management of Security and Dependability in Clouds of Clouds 2015
- An Approach for Monitoring Components Generation and Deployment for SCA Applications 2014
- An Approach for Monitoring Components Generation and Deployment for SCA Applications 2014
- Modeling a Landing Gear System in Event-B 2014
- A Formal Monitoring Technique for SIP Conformance Testing 2013
- Determining the Collaboration Maturity of Organizational Teams: A Study in the Automotive Industry 2013
- Mining Top-k Frequent/Regular Patterns Based on User-Given Trade-Off between Frequency and Regularity 2013
- Testing Distributed Communication Protocols by Formal Performance Monitoring 2013
- Are QoE Requirements for Multimedia Services Different for Men and Women? Analysis of Gender Differences in Forming QoE in Virtual Acoustic Environments 2012
- Experimental Detection and Synchronisation Validation for a TR-UWB System Based on the Time Delayed Sampling and Correletion Scheme 2012
- Cancelable Biometrics for Better Security and Privacy in Biometric Systems 2011
- Context-Aware Systems: A Case Study 2011
- Preliminary Analysis of 4G-LTE Mobile Network Sharing for Improving Resiliency and Operator Differentiation 2011
- Multiple Mobile Sinks Deployment for Energy Efficiency in Large Scale Wireless Sensor Networks 2009
- Weaving a Formal Methods Education with Problem-Based Learning 2008