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