Search

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

Search Constraints

Start Over You searched for: Author "Franzago, Mirco" Remove constraint Author: "Franzago, Mirco"
63 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

16. Access Control for Smart Manufacturing Systems

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

18. Industrie 4.0 Virtual Automation Bus Architecture

19. Defining Design Patterns for IoT APIs

20. Continuous Formal Verification of Microservice-Based Process Flows

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

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

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

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

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

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

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

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

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

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

31. Optimizing Parametric Dependencies for Incremental Performance Model Extraction

32. Auto-scaling Using TOSCA Infrastructure as Code

33. Examination and Comparison of TOSCA Orchestration Tools

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

35. Data Pipeline Architecture for Serverless Platform

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

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

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

39. SecoArc: A Framework for Architecting Healthy Software Ecosystems

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

41. Composition Algorithm Adaptation in Service Oriented Systems

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

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

44. Voyager: Software Architecture Trade-off Explorer

45. Systematic Approach to Engineer Decentralized Self-adaptive Systems

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

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

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

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

50. Towards a Systems Engineering Based Automotive Product Engineering Process

Catalog

Books, media, physical & digital resources