( en | de | ru )

 

Disambiguation of "Tribastone, Mirco"

Author of the publication

copydeleteadd this publication to your clipboard
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.

, , , , , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 191-205. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mirco Tribastone

Mirco Wegener

Der Einfluss der konzentrationsinduzierten Marangonikonvektion auf den instationären Impuls- und Stofftransport an Einzeltropfen. TU Berlin, (2009)

Mirco Alpen

Mirco Müller

Mirco Wegener

 

Other publications of authors with the same name

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures., , , and . Proc. ACM Program. Lang., 8 (POPL): 1882-1912 (January 2024)Algorithmic Minimization of Uncertain Continuous-Time Markov Chains., , , , , and . IEEE Trans. Autom. Control., 68 (11): 6557-6572 (November 2023)Combined Vertical and Horizontal Autoscaling Through Model Predictive Control., , and . Euro-Par, volume 11014 of Lecture Notes in Computer Science, page 147-159. Springer, (2018)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , and . CoRR, (2023)PID Control of Biochemical Reaction Networks., , , , , and . IEEE Trans. Autom. Control., 67 (2): 1023-1030 (2022)Refining Mean-field Approximations by Dynamic State Truncation., , and . SIGMETRICS (Abstracts), page 31-32. ACM, (2021)Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic., , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 443-460. Springer, (2021)Approximate Mean Value Analysis of Process Algebra Models.. MASCOTS, page 369-378. IEEE Computer Society, (2011)Software performance self-adaptation through efficient model predictive control., , and . ASE, page 485-496. IEEE Computer Society, (2017)An Analytical Model of a BitTorrent Peer., , , and . PDP, page 482-489. IEEE Computer Society, (2007)