60 results on '"Tribastone, Mirco"'
Search Results
2. An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
3. An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
4. Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
5. Reducing Boolean Networks with Backward Boolean Equivalence
6. Lumpability for Uncertain Continuous-Time Markov Chains
7. Inferring Performance from Code: A Review
8. Tight Error Analysis in Fixed-Point Arithmetic
9. A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
10. Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks
11. UTOPIC: Under-Approximation Through Optimal Control
12. Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
13. Combined Vertical and Horizontal Autoscaling Through Model Predictive Control
14. Differential Equivalence Yields Network Centrality
15. Towards Software Performance by Construction
16. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
17. Syntactic Markovian Bisimulation for Chemical Reaction Networks
18. Efficient Syntax-Driven Lumping of Differential Equations
19. Quantitative Abstractions for Collective Adaptive Systems
20. Supporting Performance Awareness in Autonomous Ensembles
21. Service Composition for Collective Adaptive Systems
22. Differential Bisimulation for a Markovian Process Algebra
23. Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory
24. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
25. Family-Based Performance Analysis of Variant-Rich Software Systems
26. An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
27. ASCENS: Engineering Autonomic Service-Component Ensembles
28. Exact Fluid Lumpability for Markovian Process Algebra
29. Large-Scale Modelling with the PEPA Eclipse Plug-In
30. Scaling Performance Analysis Using Fluid-Flow Approximation
31. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks
32. Scalable Analysis of Scalable Systems
33. Quantitative Analysis of Web Services Using SRMC
34. Service-Level Agreements for Service-Oriented Computing
35. Partial Evaluation of PEPA Models for Fluid-Flow Analysis
36. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
37. Safety and Response-Time Analysis of an Automotive Accident Assistance Service
38. Sensoria Process Calculi for Service-Oriented Computing
39. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
40. Replicating Web Services for Scalability
41. Stochastic Process Algebras
42. Quantitative Abstractions for Collective Adaptive Systems.
43. Efficient Syntax-Driven Lumping of Differential Equations.
44. Differential Bisimulation for a Markovian Process Algebra.
45. Service Composition for Collective Adaptive Systems.
46. Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory.
47. Supporting Performance Awareness in Autonomous Ensembles.
48. Family-Based Performance Analysis of Variant-Rich Software Systems.
49. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.
50. ASCENS: Engineering Autonomic Service-Component Ensembles.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.