Search

Your search keyword '"Franzago, Mirco"' showing total 50 results

Search Constraints

Start Over You searched for: Author "Franzago, Mirco" Remove constraint Author: "Franzago, Mirco" Publication Year Range Last 10 years Remove constraint Publication Year Range: Last 10 years
50 results on '"Franzago, Mirco"'

Search Results

1. Protocol for a Systematic Mapping Study on Collaborative Model-Driven Software Engineering

2. Stakeholders, Viewpoints and Languages of a Modelling Framework for the Design and Development of Data-Intensive Mobile Apps

3. A reference architecture for personalized and self-adaptive e-health apps

4. Development of a Virtual Simulation Environment and a Digital Twin of an Autonomous Driving Truck for a Distribution Center

5. A Decision Support System for Pattern-Driven Software Architecture

6. A Decision Support System for Pattern-Driven Software Architecture

13. Envisioning the future of collaborative model-driven software engineering

15. Access Control for Smart Manufacturing Systems

16. Enabling Industry 4.0 Service-Oriented Architecture Through Digital Twins

17. Industrie 4.0 Virtual Automation Bus Architecture

18. Defining Design Patterns for IoT APIs

19. Continuous Formal Verification of Microservice-Based Process Flows

20. Merging Railway Standard Notations in a Formal DSL-Based Framework

21. Model-Based Simulation at Runtime with Abstract State Machines

22. Awas: AADL Information Flow and Error Propagation Analysis Framework

23. A Simulator Coupling Architecture for the Creation of Digital Twins

24. Formal Verification of Run-to-Completion Style Statecharts Using Event-B

25. Integrating Runtime Verification into an Automated UAS Traffic Management System

26. Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets

27. Dependability of Model-Driven Executable DSLs : Critical Review and Solutions

28. Measurement-Based Timing Analysis on Heterogeneous MPSoCs: A Practical Approach

29. Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level

30. Optimizing Parametric Dependencies for Incremental Performance Model Extraction

31. Auto-scaling Using TOSCA Infrastructure as Code

32. Examination and Comparison of TOSCA Orchestration Tools

33. Collecting Service-Based Maintainability Metrics from RESTful API Descriptions: Static Analysis and Threshold Derivation

34. Data Pipeline Architecture for Serverless Platform

35. A Statistical Approach for Context-Awareness of Mobile Applications

36. State of the Practice Survey: Predicting the Influence of AI Adoption on System Software Architecture in Traditional Embedded Systems

37. SQuAT-Vis: Visualization and Interaction in Software Architecture Optimization

38. SecoArc: A Framework for Architecting Healthy Software Ecosystems

39. Girl-Friendly Computer Science Classroom: Czechitas Experience Report

40. Composition Algorithm Adaptation in Service Oriented Systems

41. Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of Munich

42. Gropius — A Tool for Managing Cross-component Issues

43. Voyager: Software Architecture Trade-off Explorer

44. Systematic Approach to Engineer Decentralized Self-adaptive Systems

45. System Health Indicators in Mixed Criticality E/E Systems in Automated Driving Context

46. Decentralized Self-adaptation in Large-Scaled Systems of Systems

47. A Semiautomatic Approach to Identify Architectural Technical Debt from Heterogeneous Artifacts

48. How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines

49. Towards a Systems Engineering Based Automotive Product Engineering Process

50. Big Data and Machine Intelligence in Software Platforms for Smart Cities

Catalog

Books, media, physical & digital resources