default search action

combined dblp search
author search
venue search
publication search

ask others

Mirco Tribastone

ORCID
ID inferred from metadata,
verification pending
- 0000-0002-6018-5989
visit
authority control:
export bibliography
dblp key:
- homepages/71/5436
ask others
share bibliography
persistent URL:
- https://dblp.org/pid/71/5436
help us
- How can I correct errors in dblp?
- contact dblp

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/KrupaITB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/KrupaITB24
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad:
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. 159: 111411 (2024)
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/RandoneBIT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/RandoneBIT24
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8(POPL): 1882-1912 (2024)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/qestformats/BacciBLSTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qestformats/BacciBLSTTV24
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JimenezPastorLTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JimenezPastorLTT24
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/2024
Roberta Gori, Paolo Milazzo, Mirco Tribastone:
Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings. Lecture Notes in Computer Science 14971, Springer 2024, ISBN 978-3-031-71670-6 [contents]
2023
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/ArgyrisLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/ArgyrisLTTV23
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023)
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/CardelliSTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CardelliSTTV23
Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134: 100876 (2023)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CardelliGLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CardelliGLTTV23
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023)
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcloud/GarbiIT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcloud/GarbiIT23
Giulio Garbi, Emilio Incerto, Mirco Tribastone:
μP: A Development Framework for Predicting Performance of Microservices by Design. CLOUD 2023: 178-188
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/IncertoPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/IncertoPT23
Emilio Incerto, Roberto Pizziol, Mirco Tribastone:
μOpt: An Efficient Optimal Autoscaler for Microservice Applications. ACSOS 2023: 67-76
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/LeguizamonRobayoJTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/LeguizamonRobayoJTTV23
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB 2023: 106-123
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ArgyrisLLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ArgyrisLLTTV23
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/2023
Nils Jansen, Mirco Tribastone:
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14287, Springer 2023, ISBN 978-3-031-43834-9 [contents]
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08553
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-16786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-16786
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad:
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR abs/2303.16786 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-09510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-09510
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08235
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR abs/2311.08235 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-07421
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-07421
Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Coarse-graining Complex Networks for Control Equivalence. CoRR abs/2312.07421 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08831
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. CoRR abs/2312.08831 (2023)
2022
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/SimicBIT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/SimicBIT22
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone:
Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. 34(1): 1-32 (2022)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WhitbyCKLTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WhitbyCKLTT22
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TognazziTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TognazziTTV22
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67(7): 3484-3493 (2022)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV22
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB 2022: 294-301
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/RandoneBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RandoneBT22
Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST 2022: 150-170
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SquillaceTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SquillaceTTV22
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST 2022: 173-191
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-15169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-15169
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022)
2021
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/OvchinnikovPPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/OvchinnikovPPT21
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone:
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37(12): 1732-1738 (2021)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/CardelliPTTVW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/CardelliPTTVW21
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15): 2175-2182 (2021)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/OvchinnikovPPT21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/OvchinnikovPPT21a
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone:
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37(19): 3385 (2021)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/pomacs/RandoneBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pomacs/RandoneBT21
Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. 5(2): 25:1-25:30 (2021)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Perez-VeronaTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Perez-VeronaTV21
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin:
A large-scale assessment of exact lumping of quantitative models in the BioModels repository. Theor. Comput. Sci. 893: 41-59 (2021)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV21
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/0001BLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/0001BLTTV21
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CardelliGLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CardelliGLTTV21
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SimicIT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SimicIT21
Stella Simic, Omar Inverso, Mirco Tribastone:
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM 2021: 443-460
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/RandoneBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/RandoneBT21
Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) 2021: 31-32
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/IncertoNT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/IncertoNT21
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone:
Learning Queuing Networks via Linear Optimization. ICPE 2021: 51-60
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-03342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-03342
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR abs/2101.03342 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-13160
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13160
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-15476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-15476
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR abs/2106.15476 (2021)
2020
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/nc/CardelliTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/CardelliTT20
Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From electric circuits to chemical networks. Nat. Comput. 19(1): 237-248 (2020)
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SimicBIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SimicBIT20
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone:
Tight Error Analysis in Fixed-Point Arithmetic. IFM 2020: 318-336
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/IncertoNT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/IncertoNT20
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone:
Inferring Performance from Code: A Review. ISoLA (1) 2020: 307-322
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/IncertoNT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/IncertoNT20
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone:
Statistical Learning of Markov Chains of Programs. MASCOTS 2020: 1-8
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/GarbiIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/GarbiIT20
Giulio Garbi, Emilio Incerto, Mirco Tribastone:
Learning Queuing Networks by Recurrent Neural Networks. ICPE 2020: 56-66
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-10788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-10788
Giulio Garbi, Emilio Incerto, Mirco Tribastone:
Learning Queuing Networks by Recurrent Neural Networks. CoRR abs/2002.10788 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-11961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-11961
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone:
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations. CoRR abs/2004.11961 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-06987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-06987
Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone:
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR abs/2006.06987 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/GastBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/GastBT19
Nicolas Gast, Luca Bortolussi, Mirco Tribastone:
Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation 129: 60-80 (2019)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CardelliTTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CardelliTTV19
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765: 47-66 (2019)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CardelliTTV19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CardelliTTV19a
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777: 132-154 (2019)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WhitbyCKLTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WhitbyCKLTT19
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Perez-VeronaTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Perez-VeronaTV19
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin:
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB 2019: 248-265
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/Perez-VeronaTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/Perez-VeronaTT19
Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski:
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB 2019: 45-62
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DoncelGTTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DoncelGTTV19
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
UTOPIC: Under-Approximation Through Optimal Control. QEST 2019: 277-291
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/IncertoT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/IncertoT19
Emilio Incerto, Mirco Tribastone:
Model-based Performance Self-adaptation: A Tutorial. ICPE Companion 2019: 49-52
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-10390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-10390
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CoRR abs/1903.10390 (2019)
2018
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/GastBT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/GastBT18
Nicolas Gast, Luca Bortolussi, Mirco Tribastone:
Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. 46(3): 25-26 (2018)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TognazziTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TognazziTTV18
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Backward Invariance for Linear Differential Algebraic Equations. CDC 2018: 3771-3776
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/IncertoTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/IncertoTT18
Emilio Incerto, Mirco Tribastone, Catia Trubiani:
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control. Euro-Par 2018: 147-159
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/InversoBT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/InversoBT18
Omar Inverso, Alberto Bemporad, Mirco Tribastone:
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS 2018: 1-9
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/TognazziTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TognazziTTV18
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence Yields Network Centrality. ISoLA (3) 2018: 186-201
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Tribastone18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Tribastone18
Mirco Tribastone:
Towards Software Performance by Construction. ISoLA (1) 2018: 466-470
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/IncertoNT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/IncertoNT18
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone:
Moving Horizon Estimation of Service Demands in Queuing Networks. MASCOTS 2018: 348-354
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CardelliTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CardelliTTV18
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST 2018: 104-121
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/TribastoneV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/TribastoneV18
Mirco Tribastone, Andrea Vandin:
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC 2018: 336-350
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06888
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR abs/1807.06888 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-03308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-03308
Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From Electric Circuits to Chemical Networks. CoRR abs/1812.03308 (2018)
2017
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/anor/TschaikowskiT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/anor/TschaikowskiT17
Max Tschaikowski, Mirco Tribastone:
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. 252(1): 101-120 (2017)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/TschaikowskiT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/TschaikowskiT17
Max Tschaikowski, Mirco Tribastone:
Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109: 52-76 (2017)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/pnas/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pnas/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38): 10029-10034 (2017)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/TognazziTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/TognazziTTV17
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO 2017: 833-840
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/IncertoTT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/IncertoTT17
Emilio Incerto, Mirco Tribastone, Catia Trubiani:
Software performance self-adaptation through efficient model predictive control. ASE 2017: 485-496
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) 2017: 310-328
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR abs/1707.02132 (2017)
2016
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TschaikowskiT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TschaikowskiT16
Max Tschaikowski, Mirco Tribastone:
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. 61(4): 1099-1104 (2016)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/0001MTA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/0001MTA16
Anup Das, Geoff V. Merrett, Mirco Tribastone, Bashir M. Al-Hashimi:
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(8): 1358-1371 (2016)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/IncertoTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/IncertoTT16
Emilio Incerto, Mirco Tribastone, Catia Trubiani:
Symbolic performance adaptation. SEAMS@ICSE 2016: 140-150
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. POPL 2016: 137-150
[c52]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KowalTTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KowalTTS16
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering 2016: 33-34
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/VandinT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/VandinT16
Andrea Vandin, Mirco Tribastone:
Quantitative Abstractions for Collective Adaptive Systems. SFM 2016: 202-232
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/WaizmannT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/WaizmannT16
Tabea Waizmann, Mirco Tribastone:
DiffLQN: Differential Equation Analysis of Layered Queuing Networks. ICPE Companion 2016: 63-68
[c48]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Tribastone16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Tribastone16
Mirco Tribastone:
Challenges in Quantitative Abstractions for Collective Adaptive Systems. FORECAST@STAF 2016: 62-68
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TribastoneW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TribastoneW16
Mirco Tribastone, Herbert Wiklicky:
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 227, 2016 [contents]
2015
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/TschaikowskiT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/TschaikowskiT15
Max Tschaikowski, Mirco Tribastone:
A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84(2): 238-258 (2015)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GilmoreHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GilmoreHT15
Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Service Composition for Collective Adaptive Systems. Software, Services, and Systems 2015: 490-505
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/GastMRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/GastMRT15
Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen, Mirco Tribastone:
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. CIKM 2015: 703-712
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CardelliTTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CardelliTTV15
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KowalTTS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KowalTTS15
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE 2015: 407-417
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/IacobelliTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/IacobelliTV15
Giulio Iacobelli, Mirco Tribastone, Andrea Vandin:
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) 2015: 293-306
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ShamsT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ShamsT15
Farshad Shams, Mirco Tribastone:
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. QEST 2015: 54-69
[c41]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/KowalST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KowalST15
Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management 2015: 61-62
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/IncertoTT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/IncertoTT15
Emilio Incerto, Mirco Tribastone, Catia Trubiani:
A proactive approach for runtime self-adaptation based on queueing network fluid analysis. QUDOS@SIGSOFT FSE 2015: 19-24
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BulejBGHKMTTT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BulejBGHKMTTT15
Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma:
Supporting Performance Awareness in Autonomous Ensembles. The ASCENS Approach 2015: 291-322
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BertrandT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BertrandT15
Nathalie Bertrand, Mirco Tribastone:
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. EPTCS 194, 2015 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CardelliTTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CardelliTTV15
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR abs/1507.00163 (2015)
2014
[j13]
- view
  - electronic edition @ degruyter.com
  - no references & citations available
- export record
  dblp key:
  - journals/at/KowalPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/KowalPST14
Matthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone:
Model-based Development and Performance Analysis for Evolving Manufacturing Systems. Autom. 62(11): 794-802 (2014)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/CasaleTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/CasaleTH14
Giuliano Casale, Mirco Tribastone, Peter G. Harrison:
Blending randomness in closed queueing network models. Perform. Evaluation 82: 15-38 (2014)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TschaikowskiT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TschaikowskiT14
Max Tschaikowski, Mirco Tribastone:
Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517: 1-33 (2014)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TschaikowskiT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TschaikowskiT14a
Max Tschaikowski, Mirco Tribastone:
Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. 538: 140-166 (2014)
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KowalST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KowalST14
Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. FASE 2014: 94-108
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/NicolaIT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NicolaIT14
Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone:
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. FORTE 2014: 216-231
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GilmoreTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GilmoreTV14
Stephen Gilmore, Mirco Tribastone, Andrea Vandin:
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM 2014: 71-86
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Tribastone14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Tribastone14
Mirco Tribastone:
Behavioral relations in a process algebra for variants. SPLC 2014: 82-91
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/TschaikowskiT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/TschaikowskiT14
Max Tschaikowski, Mirco Tribastone:
A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS 2014
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/Tribastone14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/Tribastone14
Mirco Tribastone:
Efficient optimization of software performance models via parameter-space pruning. ICPE 2014: 63-73
[c33]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TschaikowskiT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TschaikowskiT14
Max Tschaikowski, Mirco Tribastone:
Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL 2014: 34-47
[c32]
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BortolussiHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BortolussiHT15
Luca Bortolussi, Jane Hillston, Mirco Tribastone:
Fluid Performability Analysis of Nested Automata Models. PASM 2014: 27-47
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/CasaleT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/CasaleT13
Giuliano Casale, Mirco Tribastone:
Modelling exogenous variability in cloud deployments. SIGMETRICS Perform. Evaluation Rev. 40(4): 73-82 (2013)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Tribastone13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Tribastone13
Mirco Tribastone:
A Fluid Model for Layered Queueing Networks. IEEE Trans. Software Eng. 39(6): 744-756 (2013)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/IacobelliT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/IacobelliT13
Giulio Iacobelli, Mirco Tribastone:
Lumpability of fluid models with heterogeneous agent types. DSN 2013: 1-11
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/BortolussiT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/BortolussiT13
Luca Bortolussi, Mirco Tribastone:
Differential analysis of interacting automata with immediate actions. VALUETOOLS 2013: 49-58
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/TschaikowskiT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/TschaikowskiT13
Max Tschaikowski, Mirco Tribastone:
Insensitivity to service-time distributions for fluid queueing models. VALUETOOLS 2013: 273-281
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/2012
Mirco Tribastone, Stephen Gilmore:
Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7587, Springer 2013, ISBN 978-3-642-36780-9 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TschaikowskiT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TschaikowskiT13
Max Tschaikowski, Mirco Tribastone:
Spatial Fluid Limits for Stochastic Mobile Networks. CoRR abs/1307.4566 (2013)
2012
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/HillstonTG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/HillstonTG12
Jane Hillston, Mirco Tribastone, Stephen Gilmore:
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55(7): 866-881 (2012)