-
1
-
-
24944483195
-
A methodology based on formal methods for predicting the impact of dynamic power management
-
Formal Methods for Mobile Computing
-
Acquaviva A., Aldini A., Bernardo M., Bogliolo A., Bontà E., and Lattanzi E. A methodology based on formal methods for predicting the impact of dynamic power management. Formal Methods for Mobile Computing. LNCS vol. 3465 (2005) 155-189
-
(2005)
LNCS
, vol.3465
, pp. 155-189
-
-
Acquaviva, A.1
Aldini, A.2
Bernardo, M.3
Bogliolo, A.4
Bontà, E.5
Lattanzi, E.6
-
2
-
-
0003652825
-
-
John Wiley & Sons
-
Ajmone Marsan M., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with Generalized Stochastic Petri Nets (1995), John Wiley & Sons
-
(1995)
Modelling with Generalized Stochastic Petri Nets
-
-
Ajmone Marsan, M.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
3
-
-
17944367849
-
On the usability of process algebra: An architectural view
-
Aldini A., and Bernardo M. On the usability of process algebra: An architectural view. Theoretical Computer Science 335 (2005) 281-329
-
(2005)
Theoretical Computer Science
, vol.335
, pp. 281-329
-
-
Aldini, A.1
Bernardo, M.2
-
4
-
-
33750068294
-
Component-oriented specification of performance measures
-
Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages, QAPL 2006
-
Aldini A., and Bernardo M. Component-oriented specification of performance measures. Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS vol. 164 (2006) 27-43
-
(2006)
ENTCS
, vol.164
, pp. 27-43
-
-
Aldini, A.1
Bernardo, M.2
-
6
-
-
41149144239
-
Approximate symbolic model checking of continuous time Markov chains
-
Proc. of the 10th Int. Conf. on Concurrency Theory, CONCUR 1999
-
Baier C., Katoen J.-P., and Hermanns H. Approximate symbolic model checking of continuous time Markov chains. Proc. of the 10th Int. Conf. on Concurrency Theory, CONCUR 1999. LNCS vol. 1664 (1999) 146-162
-
(1999)
LNCS
, vol.1664
, pp. 146-162
-
-
Baier, C.1
Katoen, J.-P.2
Hermanns, H.3
-
7
-
-
84974622233
-
On the logical characterisation of performability properties
-
Proc. of the 27th Int. Coll. on Automata, Languages and Programming, ICALP 2000
-
Baier C., Haverkort B., Hermanns H., and Katoen J.-P. On the logical characterisation of performability properties. Proc. of the 27th Int. Coll. on Automata, Languages and Programming, ICALP 2000. LNCS vol. 1853 (2000) 780-792
-
(2000)
LNCS
, vol.1853
, pp. 780-792
-
-
Baier, C.1
Haverkort, B.2
Hermanns, H.3
Katoen, J.-P.4
-
8
-
-
33745715454
-
Performance evaluation at the software architecture level
-
Formal Methods for Software Architectures
-
Balsamo S., Bernardo M., and Simeoni M. Performance evaluation at the software architecture level. Formal Methods for Software Architectures. LNCS vol. 2804 (2003) 207-258
-
(2003)
LNCS
, vol.2804
, pp. 207-258
-
-
Balsamo, S.1
Bernardo, M.2
Simeoni, M.3
-
9
-
-
34547487432
-
-
M. Bernardo, TwoTowers 5.1 User Manual, http://www.sti.uniurb.it/bernardo/twotowers/, 2006
-
-
-
-
10
-
-
84957797692
-
Reward based congruences: Can we aggregate more?
-
Proc. of the Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, PAPM/PROBMIV 2001
-
Bernardo M., and Bravetti M. Reward based congruences: Can we aggregate more?. Proc. of the Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, PAPM/PROBMIV 2001. LNCS vol. 2165 (2001) 136-151
-
(2001)
LNCS
, vol.2165
, pp. 136-151
-
-
Bernardo, M.1
Bravetti, M.2
-
11
-
-
0037209806
-
Performance measure sensitive congruences for Markovian process algebras
-
Bernardo M., and Bravetti M. Performance measure sensitive congruences for Markovian process algebras. Theoretical Computer Science 290 (2003) 117-160
-
(2003)
Theoretical Computer Science
, vol.290
, pp. 117-160
-
-
Bernardo, M.1
Bravetti, M.2
-
12
-
-
84957065546
-
Stochastic process algebra: From an algebraic formalism to an architectural description language
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Bernardo M., Donatiello L., and Ciancarini P. Stochastic process algebra: From an algebraic formalism to an architectural description language. Performance Evaluation of Complex Systems: Techniques and Tools. LNCS vol. 2459 (2002) 236-260
-
(2002)
LNCS
, vol.2459
, pp. 236-260
-
-
Bernardo, M.1
Donatiello, L.2
Ciancarini, P.3
-
13
-
-
3042627414
-
SMART: Stochastic model analyzer for reliability and timing
-
Ciardo G., Jones R.L., Miner A.S., and Siminiceanu R. SMART: Stochastic model analyzer for reliability and timing. Tools of Int. Multiconference on Measurement, Modelling and Evaluation of Computer Communication Systems (2001) 29-34
-
(2001)
Tools of Int. Multiconference on Measurement, Modelling and Evaluation of Computer Communication Systems
, pp. 29-34
-
-
Ciardo, G.1
Jones, R.L.2
Miner, A.S.3
Siminiceanu, R.4
-
16
-
-
84957644622
-
Specifying performance measures for PEPA
-
Proc. of the 5th AMAST Int. Workshop on Formal Methods for Real Time and Probabilistic Systems, ARTS 1999
-
Clark G., Gilmore S., and Hillston J. Specifying performance measures for PEPA. Proc. of the 5th AMAST Int. Workshop on Formal Methods for Real Time and Probabilistic Systems, ARTS 1999. LNCS vol. 1601 (1999) 211-227
-
(1999)
LNCS
, vol.1601
, pp. 211-227
-
-
Clark, G.1
Gilmore, S.2
Hillston, J.3
-
17
-
-
16244390842
-
The Möbius modeling environment: Recent developments
-
IEEE-CS Press
-
Courtney T., Daly D., Derisavi S., Gaonkar S., Griffith M., Lam V., and Sanders W.H. The Möbius modeling environment: Recent developments. Proc. of the 1st Int. Conference on Quantitative Evaluation of Systems, QEST 2004 (2004), IEEE-CS Press 328-329
-
(2004)
Proc. of the 1st Int. Conference on Quantitative Evaluation of Systems, QEST 2004
, pp. 328-329
-
-
Courtney, T.1
Daly, D.2
Derisavi, S.3
Gaonkar, S.4
Griffith, M.5
Lam, V.6
Sanders, W.H.7
-
19
-
-
34547406317
-
-
Hermanns H. Interactive Markov Chains. LNCS vol. 2428 (2002)
-
(2002)
LNCS
, vol.2428
-
-
Hermanns, H.1
-
24
-
-
84863981780
-
PRISM: Probabilistic symbolic model checker
-
Proc. of the 12th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002
-
Kwiatkowska M., Norman G., and Parker D. PRISM: Probabilistic symbolic model checker. Proc. of the 12th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002. LNCS vol. 2324 (2002) 200-204
-
(2002)
LNCS
, vol.2324
, pp. 200-204
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
26
-
-
0028460588
-
Reward model solution methods with impulse and rate rewards: An algorithm and numerical results
-
Qureshi M.A., and Sanders W.H. Reward model solution methods with impulse and rate rewards: An algorithm and numerical results. Performance Evaluation 20 (1994) 413-436
-
(1994)
Performance Evaluation
, vol.20
, pp. 413-436
-
-
Qureshi, M.A.1
Sanders, W.H.2
-
27
-
-
0000086137
-
A unified approach for specifying measures of performance, dependability, and performability
-
Sanders W.H., and Meyer J.F. A unified approach for specifying measures of performance, dependability, and performability. Dependable Computing and Fault Tolerant Systems 4 (1991) 215-237
-
(1991)
Dependable Computing and Fault Tolerant Systems
, vol.4
, pp. 215-237
-
-
Sanders, W.H.1
Meyer, J.F.2
|