-
1
-
A Refinement Strategy for Hybrid System Design with Safety Constraints
-
1
-
Refinable Record Structures in Formal Methods
-
2
-
Development of Critical Systems with UML/OCL and FoCaLiZe
-
2
-
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures
-
3
-
Systematic Assessment of Formal Methods Based Models Quality Criteria
-
3
-
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems
-
4
-
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems
-
4
-
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution
-
5
-
An Approach to Detect Cyberbullying on Social Media
-
5
-
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings
-
6
-
An Ontology Engineering Case Study for Advanced Digital Forensic Analysis
-
6
-
Edge-to-Fog Collaborative Computing in a Swarm of Drones
-
7
-
More Automation in Model Driven Development
-
7
-
Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram
-
8
-
Realisability of Control-State Choreographies
-
8
-
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
-
9
-
A Low-Cost Authentication Protocol Using Arbiter-PUF
-
9
-
Bridging Trust in Runtime Open Evaluation Scenarios
-
10
-
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata
-
10
-
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key
-
11
-
<bold>Social Neural Hybrid Recommendation with</bold>Deep Representation Learning
-
11
-
Record Linkage for Auto-tuning of High Performance Computing Systems
-
12
-
Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization
-
12
-
Protecting Sensitive Data in Web of Data
-
13
-
Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters
-
13
-
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection
-
14
-
Anonymization Methods of Structured Health Care Data: A Literature Review
-
14
-
Time Insertion Functions
-
15
-
Static Checking Consistency of Temporal Requirements for Control Software
-
15
-
Categorical Modeling of Multi-model Data: One Model to Rule Them All
-
16
-
Guaranteeing Information Integrity Through Blockchains for Smart Cities
-
16
-
Visual Language for Device Management in Telecommunication Product Line
-
17
-
A Blockchain-Based Platform for the e-Procurement Management in the Public Sector
-
17
-
Using Process-Oriented Structured Text for IEC 61499 Function Block Specification
-
18
-
COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data
-
18
-
The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information
-
19
-
K-Nearest Neighbors Classification of Semantic Web Ontologies
-
19
-
Towards a Resource-Aware Formal Modelling Language for Workflow Planning
-
20
-
Automated Generation of Datasets from Fishbone Diagrams
-
20
-
Systematic Literature Review of Methods for Maintaining Data Integrity
-
21
-
GPU-Based Algorithms for Processing the <italic>k</italic> Nearest-Neighbor Query on Disk-Resident Data
-
21
-
Medical Data Engineering – Theory and Practice
-
22
-
Revisiting Data Compression in Column-Stores
-
22
-
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
-
23
-
Using Multidimensional Skylines for Regret Minimization
-
23
-
Evaluation of Anonymization Tools for Health Data
-
24
-
Enhancing Sedona (formerly GeoSpark) with Efficient <italic>k</italic> Nearest Neighbor Join Processing
-
24
-
Usages of the ContSys Standard: A Position Paper