-
2
-
-
33746343324
-
On the credibility of MANET simulations
-
T. Andel and A. Yasinsac. On the credibility of MANET simulations. IEEE Computer, 37(7):48-54, 2006.
-
(2006)
IEEE Computer
, vol.37
, Issue.7
, pp. 48-54
-
-
Andel, T.1
Yasinsac, A.2
-
3
-
-
34047191340
-
Model checking markov chains with actions and state labels
-
C. Baier, L. Cloth, B. R. Haverkort, M. Kuntz, and M. Siegle. Model checking markov chains with actions and state labels. IEEE Trans. Software Eng., 33(4):209-224, 2007.
-
(2007)
IEEE Trans. Software Eng.
, vol.33
, Issue.4
, pp. 209-224
-
-
Baier, C.1
Cloth, L.2
Haverkort, B.R.3
Kuntz, M.4
Siegle, M.5
-
4
-
-
84944391391
-
Model Checking Continuous-Time Markov Chains by Transient Analysis
-
Proc. 12th Int. Conf. on Computer Aided Verification (CAV'00), of Springer
-
C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model Checking Continuous-Time Markov Chains by Transient Analysis. In Proc. 12th Int. Conf. on Computer Aided Verification (CAV'00), volume 1855 of LNCS, pages 358-372. Springer, 2000.
-
(2000)
LNCS
, vol.1855
, pp. 358-372
-
-
Baier, C.1
Haverkort, B.R.2
Hermanns, H.3
Katoen, J.-P.4
-
5
-
-
0042349303
-
Model-checking algorithms for continuous-time Markov chains
-
C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng., 29(6):524-541, 2003.
-
(2003)
IEEE Trans. Software Eng.
, vol.29
, Issue.6
, pp. 524-541
-
-
Baier, C.1
Haverkort, B.R.2
Hermanns, H.3
Katoen, J.-P.4
-
8
-
-
35048862279
-
A tutorial on UPPAAL
-
Formal Methods for the Design of Real-Time Systems: Proc. 4th Int. School on Formal Methods for the Design of Comput., Commun. and Software Syst. (SFM-RT 2004), in Springer
-
G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In Formal Methods for the Design of Real-Time Systems: Proc. 4th Int. School on Formal Methods for the Design of Comput., Commun. and Software Syst. (SFM-RT 2004), number 3185 in LNCS, pages 200-236. Springer, 2004.
-
(2004)
LNCS
, Issue.3185
, pp. 200-236
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
-
10
-
-
33748304197
-
Distributed disk-based algorithms for model checking very large Markov chains
-
A. Bell and B. R. Haverkort. Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods in System Design, 29(2):177-196, 2006.
-
(2006)
Formal Methods in System Design
, vol.29
, Issue.2
, pp. 177-196
-
-
Bell, A.1
Haverkort, B.R.2
-
12
-
-
0001818392
-
Bimodal multicast
-
K. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, and Y. Minsky. Bimodal multicast. ACM Trans. on Comput. Syst., 17(2):41-88, 1999.
-
(1999)
ACM Trans. on Comput. Syst.
, vol.17
, Issue.2
, pp. 41-88
-
-
Birman, K.1
Hayden, M.2
Ozkasap, O.3
Xiao, Z.4
Budiu, M.5
Minsky, Y.6
-
13
-
-
33845223629
-
-
Master thesis, ENS Cachan Bretagne, University of Rennes, IRISA
-
F. Bonnet. Performance analysis of Cyclon, an inexpensive membership management for unstructured p2p overlays. Master thesis, ENS Cachan Bretagne, University of Rennes, IRISA, 2006.
-
(2006)
Performance Analysis of Cyclon, An Inexpensive Membership Management for Unstructured P2p Overlays
-
-
Bonnet, F.1
-
14
-
-
31944441193
-
Ten Commandments of Formal Methods...Ten Years Later
-
J. Bowen and M. Hinchey. Ten Commandments of Formal Methods...Ten Years Later. Computer, 39(1):40-48, 2006.
-
(2006)
Computer
, vol.39
, Issue.1
, pp. 40-48
-
-
Bowen, J.1
Hinchey, M.2
-
15
-
-
25844517631
-
Gossip algorithms: Design, analysis and applications
-
IEEE Press
-
S. Boyd, A. Ghosh, B. Prabhakar, and D. Shah. Gossip algorithms: Design, analysis and applications. In Proc. 24th Conf. of the IEEE Comput. and Commun. Soc. (INFOCOM 2005), volume 3, pages 1653-1664. IEEE Press, 2005.
-
(2005)
Proc. 24th Conf. of the IEEE Comput. and Commun. Soc. (INFOCOM 2005)
, vol.3
, pp. 1653-1664
-
-
Boyd, S.1
Ghosh, A.2
Prabhakar, B.3
Shah, D.4
-
16
-
-
32144441170
-
Mixing times for random walks on geometric random graphs
-
SIAM
-
S. Boyd, A. Ghosh, B. Prabhakar, and D. Shah. Mixing times for random walks on geometric random graphs. In Proc. 7th Workshop on Algorithm Eng. and Experiments and 2nd Workshop on Analytic Algorithmics and Combinatorics (ALENEX/ANALCO 2005), pages 240-249. SIAM, 2005.
-
(2005)
Proc. 7th Workshop on Algorithm Eng. and Experiments and 2nd Workshop on Analytic Algorithmics and Combinatorics (ALENEX/ANALCO 2005)
, pp. 240-249
-
-
Boyd, S.1
Ghosh, A.2
Prabhakar, B.3
Shah, D.4
-
17
-
-
77952208277
-
Evaluating complex MAC protocols for sensor networks with APMC
-
ENTCS. Elsevier, To appear
-
M. Cadilhac, T. Hérault, R. Lassaigne, S. Peyronnet, and S. Tixeuil. Evaluating complex MAC protocols for sensor networks with APMC. In Proc. 6th Int. Workshop on Automated Verification of Critical Syst (AVoCS'06), ENTCS. Elsevier, 2006. To appear.
-
(2006)
Proc. 6th Int. Workshop on Automated Verification of Critical Syst (AVoCS'06)
-
-
Cadilhac, M.1
Hérault, T.2
Lassaigne, R.3
Peyronnet, S.4
Tixeuil, S.5
-
20
-
-
34548105489
-
Stochastic process algebra
-
Formal Methods for the Performance Evaluation: Proc. 7th Int. School on Formal Methods for the Design of Comput., Commun. and Software Syst. (SFM-PE 2007), in Springer
-
A. Clark, S. Gilmore, J. Hillston, and M. Tribastone. Stochastic process algebra. In Formal Methods for the Performance Evaluation: Proc. 7th Int. School on Formal Methods for the Design of Comput., Commun. and Software Syst. (SFM-PE 2007), number 4486 in LNCS, pages 132-179. Springer, 2007.
-
(2007)
LNCS
, Issue.4486
, pp. 132-179
-
-
Clark, A.1
Gilmore, S.2
Hillston, J.3
Tribastone, M.4
-
22
-
-
0034538249
-
An optimal algorithm for monte carlo estimation
-
P. Dagum, R. Karp, M. Luby, and S. Ross. An optimal algorithm for monte carlo estimation. SIAM J. Comput., 29(5):1484-1496, 2000. (Pubitemid 33768936)
-
(2000)
SIAM Journal on Computing
, vol.29
, Issue.5
, pp. 1484-1496
-
-
Dagum, P.1
Karp, R.2
Luby, M.3
Ross, S.4
-
23
-
-
33745154114
-
Algebraic gossip: A network coding approach to optimal multiple rumor mongering
-
S. Deb, M. Médard, and C. Choute. Algebraic gossip: a network coding approach to optimal multiple rumor mongering. IEEE/ACM Trans. Netw., 14(SI):2486-2507, 2006.
-
(2006)
IEEE/ACM Trans. Netw.
, vol.14
, Issue.SI
, pp. 2486-2507
-
-
Deb, S.1
Médard, M.2
Choute, C.3
-
24
-
-
34250749865
-
Probabilistic verification of sensor networks
-
IEEE Computer Society
-
A. Demaille, S. Peyronnet, and T. Hérault. Probabilistic verification of sensor networks. In Proc. 4th IEEE Int. Conf. on Comput. Sci., Research, Innovation and Vision for the Future (RIVF'06), pages 45-54. IEEE Computer Society, 2006.
-
(2006)
Proc. 4th IEEE Int. Conf. on Comput. Sci., Research, Innovation and Vision for the Future (RIVF'06)
, pp. 45-54
-
-
Demaille, A.1
Peyronnet, S.2
Hérault, T.3
-
26
-
-
85030178366
-
Epidemic algorithms for replicated database maintenance
-
ACM Press
-
A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, and D. Terry. Epidemic algorithms for replicated database maintenance. In Proc. 6th Annu. ACM Symp. on Principles of Distributed Computing (PODC'87), pages 1-12. ACM Press, 1987.
-
(1987)
Proc. 6th Annu. ACM Symp. on Principles of Distributed Computing (PODC'87)
, pp. 1-12
-
-
Demers, A.1
Greene, D.2
Hauser, C.3
Irish, W.4
Larson, J.5
Shenker, S.6
Sturgis, H.7
Swinehart, D.8
Terry, D.9
-
29
-
-
2442558299
-
Lightweight probabilistic broadcast
-
P. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov, and A.-M. Kermarrec. Lightweight probabilistic broadcast. ACM Trans. on Comput. Syst., 21(4):341-374, 2003.
-
(2003)
ACM Trans. on Comput. Syst.
, vol.21
, Issue.4
, pp. 341-374
-
-
Eugster, P.1
Guerraoui, R.2
Handurukande, S.B.3
Kouznetsov, P.4
Kermarrec, A.-M.5
-
30
-
-
4544327623
-
From epidemics to distributed computing
-
P. Eugster, R. Guerraoui, A.-M. Kermarrec, and L. Massoulié. From epidemics to distributed computing. IEEE Computer, 37(5):60-67, 2004.
-
(2004)
IEEE Computer
, vol.37
, Issue.5
, pp. 60-67
-
-
Eugster, P.1
Guerraoui, R.2
Kermarrec, A.-M.3
Massoulié, L.4
-
31
-
-
33749637876
-
Formal verification and simulation for performance analysis for probabilistic broadcast protocols
-
Proc. 5th Conf. on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06), of Springer
-
A. Fehnker and P. Gao. Formal verification and simulation for performance analysis for probabilistic broadcast protocols. In Proc. 5th Conf. on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06), volume 4104 of LNCS, pages 121-141. Springer, 2006.
-
(2006)
LNCS
, vol.4104
, pp. 121-141
-
-
Fehnker, A.1
Gao, P.2
-
32
-
-
0025065888
-
Randomized broadcast in networks
-
SIGAL Int. Symp. on Algorithms, of Springer
-
U. Feige, D. Peleg, P. Raghavan, and E. Upfal. Randomized broadcast in networks. In SIGAL Int. Symp. on Algorithms, volume 450 of LNCS, pages 128-137. Springer, 1990.
-
(1990)
LNCS
, vol.450
, pp. 128-137
-
-
Feige, U.1
Peleg, D.2
Raghavan, P.3
Upfal, E.4
-
34
-
-
25844439630
-
The effect of network topology on the spread of epidemics
-
IEEE Computer Society
-
A. Ganesh, L. Massoulie, and D. Towsley. The effect of network topology on the spread of epidemics. In Proc. 24th of the IEEE Comput. and Commun. Soc. (INFOCOM 2005), volume 2, pages 1455-1466. IEEE Computer Society, 2005.
-
(2005)
Proc. 24th of the IEEE Comput. and Commun. Soc. (INFOCOM 2005)
, vol.2
, pp. 1455-1466
-
-
Ganesh, A.1
Massoulie, L.2
Towsley, D.3
-
35
-
-
27144467529
-
SCAMP: Peer-to-peer lightweight membership service for large-scale group communication
-
Proc. 3rd Int. Workshop on Networked Group Commun. (NGC'01), of Springer
-
A. J. Ganesh, A.-M. Kermarrec, and L. Massoulie. SCAMP: Peer-to-peer lightweight membership service for large-scale group communication. In Proc. 3rd Int. Workshop on Networked Group Commun. (NGC'01), volume 2233 of LNCS, pages 44-55. Springer, 2001.
-
(2001)
LNCS
, vol.2233
, pp. 44-55
-
-
Ganesh, A.J.1
Kermarrec, A.-M.2
Massoulie, L.3
-
37
-
-
24644470653
-
Monte carlo model checking
-
Proc. 11th Int. Conf. on Tools and Algorithms for Construction and Analysis of Syst. (TACAS'05), of Springer
-
R. Grosu and S. A. Smolka. Monte carlo model checking. In Proc. 11th Int. Conf. on Tools and Algorithms for Construction and Analysis of Syst. (TACAS'05), volume 3440 of LNCS, pages 271-286. Springer, 2005.
-
(2005)
LNCS
, vol.3440
, pp. 271-286
-
-
Grosu, R.1
Smolka, S.A.2
-
38
-
-
32044475142
-
Distribution, approximation and probabilistic model checking
-
G. Guirado, T. Hérault, R. Lassaigne, and S. Peyronnet. Distribution, approximation and probabilistic model checking. ENTCS, 135(2):19-30, 2006.
-
(2006)
ENTCS
, vol.135
, Issue.2
, pp. 19-30
-
-
Guirado, G.1
Hérault, T.2
Lassaigne, R.3
Peyronnet, S.4
-
40
-
-
0003096318
-
A logic for reasoning about time and reliability
-
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
-
(1994)
Formal Aspects of Computing
, vol.6
, Issue.5
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
41
-
-
77952166208
-
Are stochastic process algebras good for performance and dependability evaluation
-
Proc. Int. Workshop on Process Algebra and Performance Modeling, of Springer
-
B. R. Haverkort. Are stochastic process algebras good for performance and dependability evaluation. In Proc. Int. Workshop on Process Algebra and Performance Modeling, volume 1853 of LNCS, pages 501-510. Springer, 2000.
-
(2000)
LNCS
, vol.1853
, pp. 501-510
-
-
Haverkort, B.R.1
-
42
-
-
84944325192
-
Markovian models for performance and dependability evaluation
-
European Educ. Forum: School on Formal Methods and Performance Analysis, of, Springer
-
B. R. Haverkort. Markovian models for performance and dependability evaluation. In European Educ. Forum: School on Formal Methods and Performance Analysis, volume 2090 of LNCS, pages 38-83. Springer, 2002.
-
(2002)
LNCS
, vol.2090
, pp. 38-83
-
-
Haverkort, B.R.1
-
44
-
-
84944264717
-
Approximate probabilistic model checking
-
Proc. 5th Int. Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI'04), of Springer
-
T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet. Approximate probabilistic model checking. In Proc. 5th Int. Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of LNCS, pages 73-84. Springer, 2004.
-
(2004)
LNCS
, vol.2937
, pp. 73-84
-
-
Hérault, T.1
Lassaigne, R.2
Magniette, F.3
Peyronnet, S.4
-
45
-
-
33745802027
-
Prism: A tool for automatic verification of probabilistic systems
-
Proc. 2nd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), of Springer
-
A. Hinton, M. Z. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification of probabilistic systems. In Proc. 2nd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of LNCS, pages 441-444. Springer, 2006.
-
(2006)
LNCS
, vol.3920
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.Z.2
Norman, G.3
Parker, D.4
-
47
-
-
0001330646
-
Dissemination of information in interconnection networks (Broadcasting & Gossiping)
-
J. Hromkovic, R. Klasing, B. Monien, and R. Peine. Dissemination of information in interconnection networks (Broadcasting & Gossiping). Combinatorial Network Theory, pages 125-212, 1996.
-
(1996)
Combinatorial Network Theory
, pp. 125-212
-
-
Hromkovic, J.1
Klasing, R.2
Monien, B.3
Peine, R.4
-
49
-
-
35048865013
-
The peer sampling service: Experimental evaluation of unstructured gossip-based implementations
-
Proc. 5th ACM/IFIP/USENIX Int. Middleware Conf. (Middleware'04), of Springer
-
M. Jelasity, R. Guerraoui, A.-M. Kermarrec, and M. van Steen. The peer sampling service: Experimental evaluation of unstructured gossip-based implementations. In Proc. 5th ACM/IFIP/USENIX Int. Middleware Conf. (Middleware'04), volume 3231 of LNCS, pages 79-98. Springer, 2004.
-
(2004)
LNCS
, vol.3231
, pp. 79-98
-
-
Jelasity, M.1
Guerraoui, R.2
Kermarrec, A.-M.3
Van Steen, M.4
-
50
-
-
0034516311
-
Randomized rumor spreading
-
IEEE Computer Society
-
R. Karp, C. Schindelhauer, S. Shenker, and B. Vocking. Randomized rumor spreading. In Proc. 41st Annu. IEEE Symp. on Found. of Comput. Sci. (FOCS'00), pages 565-574. IEEE Computer Society, 2000.
-
(2000)
Proc. 41st Annu. IEEE Symp. on Found. of Comput. Sci. (FOCS'00)
, pp. 565-574
-
-
Karp, R.1
Schindelhauer, C.2
Shenker, S.3
Vocking, B.4
-
51
-
-
37149024894
-
Bisimulation minimisation mostly speeds up probabilistic model checking
-
Proc. 13th Int. Conf. on Tools and Algorithms for Construction and Analysis of Syst. (TACAS'07), of Springer
-
J.-P. Katoen, T. Kemna, I. Zapreev, and D. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking. In Proc. 13th Int. Conf. on Tools and Algorithms for Construction and Analysis of Syst. (TACAS'07), volume 4424 of LNCS, pages 76-92. Springer, 2007.
-
(2007)
LNCS
, vol.4424
, pp. 76-92
-
-
Katoen, J.-P.1
Kemna, T.2
Zapreev, I.3
Jansen, D.4
-
57
-
-
0036051155
-
Probabilistic abstraction for model checking: An approach based on property testing
-
IEEE Computer Society
-
S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. de Rougemont. Probabilistic abstraction for model checking: An approach based on property testing. In Proc. 17th IEEE Symp. on Logic in Comput. Sci. (LICS 2002), pages 30-39. IEEE Computer Society, 2002.
-
(2002)
Proc. 17th IEEE Symp. on Logic in Comput. Sci. (LICS 2002)
, pp. 30-39
-
-
Laplante, S.1
Lassaigne, R.2
Magniez, F.3
Peyronnet, S.4
De Rougemont, M.5
-
58
-
-
0042473975
-
Route driven gossip: Probabilistic reliable multicast in ad hoc networks
-
IEEE Computer Society
-
J. Luo, P. T. Eugster, and J.-P. Hubaux. Route driven gossip: Probabilistic reliable multicast in ad hoc networks. In Proc. 22nd Conf. of the IEEE Comput. and Commun. Soc. (INFOCOM 2003), volume 3, pages 2229-2239. IEEE Computer Society, 2003.
-
(2003)
Proc. 22nd Conf. of the IEEE Comput. and Commun. Soc. (INFOCOM 2003)
, vol.3
, pp. 2229-2239
-
-
Luo, J.1
Eugster, P.T.2
Hubaux, J.-P.3
-
61
-
-
0347599468
-
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic, of Springer
-
T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer, 2002.
-
(2002)
LNCS
, vol.2283
-
-
Nipkow, T.1
Paulson, L.C.2
Wenzel, M.3
-
62
-
-
23844461782
-
Using probabilistic model checking for dynamic power management
-
DOI 10.1007/s00165-005-0062-0
-
G. Norman, D. Parker, M. Z. Kwiatkowska, S. K. Shukla, and R. Gupta. Using probabilistic model checking for dynamic power management. Formal Aspects of Computing, 17(2):160-176, 2005. (Pubitemid 41165027)
-
(2005)
Formal Aspects of Computing
, vol.17
, Issue.2
, pp. 160-176
-
-
Norman, G.1
Parker, D.2
Kwiatkowska, M.3
Shukla, S.4
Gupta, R.5
-
63
-
-
84957365826
-
PVS: Combining Specification, Proof Checking, and Model Checking
-
Proc. 8th Int. Conf. on Comput. Aided Verification (CAV'96), of Springer
-
S. Owre, S. Rajan, J. M. Rushby, N. Shankar, and M. K. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Proc. 8th Int. Conf. on Comput. Aided Verification (CAV'96), volume 1102 of LNCS, pages 411-414. Springer, 1996.
-
(1996)
LNCS
, vol.1102
, pp. 411-414
-
-
Owre, S.1
Rajan, S.2
Rushby, J.M.3
Shankar, N.4
Srivas, M.K.5
-
64
-
-
37049004814
-
A social-based peer-to-peer system
-
J. Pouwelse, P. Garbacki, J. Wang, A. Bakker, J. Yang, A. Iosup, D. Epema, M.Reinders, M. van Steen, and H. Sips. Tribler: A social-based peer-to-peer system. Concurrency and Computation: Practice and Experience, 19:1-11, 2007.
-
(2007)
Concurrency and Computation: Practice and Experience
, vol.19
, pp. 1-11
-
-
Pouwelse, J.1
Garbacki, P.2
Wang, J.3
Bakker, A.4
Yang, J.5
Iosup, A.6
Epema, D.7
Reinders, M.8
Van Steen, M.9
Sips Tribler, H.10
-
65
-
-
0003998452
-
-
John Wiley & Sons, Inc., New York, NY, USA
-
M. L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Inc., New York, NY, USA, 1994.
-
(1994)
Markov Decision Processes: Discrete Stochastic Dynamic Programming
-
-
Puterman, M.L.1
-
66
-
-
33644645085
-
Rapidly Mixing Markov Chains with Applications in Computer Science and Physics
-
D. Randall. Rapidly Mixing Markov Chains with Applications in Computer Science and Physics. Computing in Sci. and Eng., 8(2):30-41, 2006.
-
(2006)
Computing in Sci. and Eng.
, vol.8
, Issue.2
, pp. 30-41
-
-
Randall, D.1
-
67
-
-
23944465568
-
The verification of probabilistic lossy channel systems
-
Validation of Stochastic Systems, of
-
P. Schnoebelen. The verification of probabilistic lossy channel systems. In Validation of Stochastic Systems, volume 2925 of LNCS, pages 445-466, 2004.
-
(2004)
LNCS
, vol.2925
, pp. 445-466
-
-
Schnoebelen, P.1
-
68
-
-
35048875856
-
Statistical model checking of black-box probabilistic systems
-
Proc. 16th Int. Conf. on Comput. Aided Verification (CAV'04), of Springer
-
K. Sen, M. Viswanathan, and G. Agha. Statistical model checking of black-box probabilistic systems. In Proc. 16th Int. Conf. on Comput. Aided Verification (CAV'04), volume 3114 of LNCS, pages 202-215. Springer, 2004.
-
(2004)
LNCS
, vol.3114
, pp. 202-215
-
-
Sen, K.1
Viswanathan, M.2
Agha, G.3
-
69
-
-
33746780102
-
Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining
-
R. van Renesse, K. P. Birman, and W. Vogels. Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining. ACM Trans. Comput. Syst., 21(2):164-206, 2003.
-
(2003)
ACM Trans. Comput. Syst.
, vol.21
, Issue.2
, pp. 164-206
-
-
Van Renesse, R.1
Birman, K.P.2
Vogels, W.3
-
71
-
-
2342629139
-
The power of epidemics: Robust communication for large-scale distributed systems
-
W. Vogels, R. van Renesse, and K. Birman. The power of epidemics: robust communication for large-scale distributed systems. ACM SIGCOMM Comput. Commun. Review, 33(1):131-135, 2003.
-
(2003)
ACM SIGCOMM Comput. Commun. Review
, vol.33
, Issue.1
, pp. 131-135
-
-
Vogels, W.1
Van Renesse, R.2
Birman, K.3
-
72
-
-
34548056309
-
-
Doctoral thesis, Vrije Universiteit Amsterdam, Appears in Collections: Proefschriften Exacte Wetenschappen
-
S. Voulgaris. Epidemic-Based Self-Organization in Peer-to-Peer Systems. Doctoral thesis, Vrije Universiteit Amsterdam, 2006. Appears in Collections: Proefschriften Exacte Wetenschappen.
-
(2006)
Epidemic-Based Self-Organization in Peer-to-Peer Systems
-
-
Voulgaris, S.1
-
73
-
-
22044433190
-
Cyclon: Inexpensive membership management for unstructured p2p overlays
-
S. Voulgaris, D. Gavidia, and M. van Steen. Cyclon: Inexpensive membership management for unstructured p2p overlays. J. Network and Syst. Manage., 13(2):197-217, 2005.
-
(2005)
J. Network and Syst. Manage.
, vol.13
, Issue.2
, pp. 197-217
-
-
Voulgaris, S.1
Gavidia, D.2
Van Steen, M.3
-
74
-
-
33747766605
-
Numerical vs. statistical probabilistic model checking
-
H. Younes, M. Kwiatkowska, G. Norman, and D. Parker. Numerical vs. statistical probabilistic model checking. Software Tools for Technology Transfer (STTT), 8(3):216-228, 2006.
-
(2006)
Software Tools for Technology Transfer (STTT)
, vol.8
, Issue.3
, pp. 216-228
-
-
Younes, H.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
75
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
Proc. 14th Int. Conf. on Comput. Aided Verification (CAV'02), of Springer
-
H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Proc. 14th Int. Conf. on Comput. Aided Verification (CAV'02), volume 2404 of LNCS, pages 223-235. Springer, 2002.
-
(2002)
LNCS
, vol.2404
, pp. 223-235
-
-
Younes, H.L.S.1
Simmons, R.G.2
|