Composition of Geographic-Based Component Simulation Models

Activity Specification for Time-based Discrete Event Simulation Models

Application-aware Performance Optimization for Software Managed Manycore Architectures

Visualizing Network Structures in the Food, Energy, and Water Nexus

An Approach to QoS-based Task Distribution in Edge Computing Networks for IoT Applications

Gene Network Inference via Sequence Alignment and Rectification

Hybrid Multiresolution Simulation & Model Checking: Network-On-Chip Systems

From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems

Formal Requirements-Driven Analysis of Cyber Physical Systems

Multi-Tenancy and Sub-Tenancy Architecture in Software-As-A-Service (Saas)