dgianni documents

Simulation assisted elicitation and validation of behavioral specifications for multiple stakeholders
Technology Simulation assisted elicitation and validation of behavioral specifications for multiple stakeholders
A vision on collaborative computation of things for personalized analyses
Technology A vision on collaborative computation of things for personalized analyses
Modular Mathematical Modelling of Biological Systems
Technology Modular Mathematical Modelling of Biological Systems
Model-Based Virtual In-the-Loop-Test of Autonomous Systems: The FALTER Case
Entertainment & Humor Model-Based Virtual In-the-Loop-Test of Autonomous Systems: The FALTER Case
A package system for maintaining large model distributions in vle software
Technology A package system for maintaining large model distributions in vle software
Calibration of Deployment Simulation Models - A Multi-Paradigm Modelling Approach
Technology Calibration of Deployment Simulation Models - A Multi-Paradigm Modelling Approach
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach
Technology Automation of SysML Activity Diagram Simulation with Model-Driven Engineering Approach
SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems
Technology SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems
A Model-Based Method for System Reliability Analysis
Technology A Model-Based Method for System Reliability Analysis
AFIS ambassodorship presentation
Technology AFIS ambassodorship presentation
ModelicaML Value Bindings for Automated Model Composition
Technology ModelicaML Value Bindings for Automated Model Composition
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Modeling and Graph Transformation
Technology The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Modeling and Graph Transformation
Modules for reusable and collaborative modeling of biological mathematical systems
Technology Modules for reusable and collaborative modeling of biological mathematical systems
DDML a support for communication in m&s
Technology DDML a support for communication in m&s
Collaborative modeling and co simulation with destecs - a pilot study
Technology Collaborative modeling and co simulation with destecs - a pilot study
A framework for distributed control and building performance simulation
Technology A framework for distributed control and building performance simulation
A collaborative environment for urban landscape simulation
Technology A collaborative environment for urban landscape simulation
Validation of Service Oriented Computing DEVS Simulation Models
Technology Validation of Service Oriented Computing DEVS Simulation Models
BOM2UML: Integrating BOM Specifications into UML-based Development Environments
Technology BOM2UML: Integrating BOM Specifications into UML-based Development Environments
Model Transformation from BPMN to DEVS in a Prototype Implementation of the MDD4MS Framework
Technology Model Transformation from BPMN to DEVS in a Prototype Implementation of the MDD4MS Framework
Automated Performance Analysis of Business Processes
Technology Automated Performance Analysis of Business Processes