performance evaluation (9)
theoretical computer science (4)
entcs: electronic notes in theoretical computer science (3)
2013 43rd annual ieee/ifip international conference on dependable systems & networks (dsn) (2)
2013 43rd annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2013 43rd annual ieee/ifip international conference on (2)
acm transactions on modeling & computer simulation (2)
acm transactions on modeling and computer simulation (2)
computer performance engineering: 12th european workshop, epew 2015, madrid, spain, august 31 - september 1, 2015, proceedings (2)
energies (19961073) (2)
epic series in computing (2)
2009 sixth international conference on the quantitative evaluation of systems, quantitative evaluation of systems, 2009. qest '09. sixth international conference on the (1)
2010 ieee 12th international symposium on high assurance systems engineering, high-assurance systems engineering (hase), 2010 ieee 12th international symposium on (1)
2012 ieee vehicular networking conference (vnc), vehicular networking conference (vnc), 2012 ieee (1)
2013 ieee 19th pacific rim international symposium on dependable computing (1)
2013 ieee 19th pacific rim international symposium on dependable computing, dependable computing (prdc), 2013 ieee 19th pacific rim international symposium on (1)
2015 45th annual ieee/ifip international conference on dependable systems & networks (1)
2015 45th annual ieee/ifip international conference on dependable systems and networks, dependable systems and networks (dsn), 2015 45th annual ieee/ifip international conference on (1)
2016 12th international conference on the design of reliable communication networks (drcn) (1)
2016 12th international conference on the design of reliable communication networks (drcn), design of reliable communication networks (drcn), 2016 12th international conference on the (1)
2016 ieee 24th international symposium on modeling, analysis & simulation of computer & telecommunication systems (mascots) (1)
2016 ieee 24th international symposium on modeling, analysis and simulation of computer and telecommunication systems (mascots), modeling, analysis and simulation of computer and telecommunication systems (mascots), 2016 ieee 24th international symposium on (1)
2016 ieee international energy conference (energycon) (1)
2016 ieee international energy conference (energycon), energy conference (energycon), 2016 ieee international (1)
2016 joint workshop on cyber- physical security & resilience in smart grids (cpsr-sg) (1)
2016 joint workshop on cyber- physical security and resilience in smart grids (cpsr-sg), cyber- physical security and resilience in smart grids (cpsr-sg), joint workshop on (1)
2017 47th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2017 47th annual ieee/ifip international conference on, dsn (1)
2017 ieee international conference on smart grid communications (smartgridcomm), smart grid communications (smartgridcomm), 2017 ieee international conference on (1)
2018 ieee 26th international symposium on modeling, analysis, and simulation of computer and telecommunication systems (mascots), modeling, analysis, and simulation of computer and telecommunication systems (mascots), 2018 ieee 26th international symposium on, mascots (1)
2019 38th symposium on reliable distributed systems (srds), reliable distributed systems (srds), 2019 38th symposium on, srds (1)
2019 49th annual ieee/ifip international conference on dependable systems and networks - industry track, dependable systems and networks - industry track, 2019 49th annual ieee/ifip international conference on, dsn industry track (1)
2021 19th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2021 19th acm-ieee international conference on (1)
2021 ieee international conference on communications, control, and computing technologies for smart grids (smartgridcomm), communications, control, and computing technologies for smart grids (smartgridcomm), 2021 ieee international conference on (1)
2023 ieee belgrade powertech, powertech, 2023 ieee (1)
2023 ieee international conference on cyber security and resilience (csr), cyber security and resilience (csr), 2023 ieee international conference on (1)
acm international conference proceeding series (1)
analytical & stochastic modeling techniques & applications (1)
analytical & stochastic modelling techniques & applications: 23rd international conference, asmta 2016, cardiff, uk, august 24-26, 2016, proceedings (1)
computer performance engineering (9783642407246) (1)
formal modeling & analysis of timed systems (9783540754534) (1)
formal modeling & analysis of timed systems (9783540857778) (1)
formal modeling & analysis of timed systems (9783642333644) (1)
hscc2020---proceedings of the 23rd international conference on hybrid systems: computation and control (1)
measurement, modelling & evaluation of computing systems & dependability & fault tolerance (1)
measurement, modelling & evaluation of computing systems & dependability & fault tolerance (9783642285394) (1)
measurement, modelling & evaluation of computing systems & dependability & fault tolerance: 17th international gi/itg conference, mmb & dft 2014, bamberg, germany, march 17-19, 2014. proceedings (1)
principles of performance & reliability modeling & evaluation (1)
proceeding from the 2006 workshop: tools for solving structured markov chains (1)
quantitative evaluation of systems (1)
quantitative evaluation of systems: 11th international conference, qest 2014, florence, italy, september 8-10, 2014. proceedings (1)
resilience assessment & evaluation of computing systems (1)