-
1
-
-
84888255686
-
Probabilistic symbolic model checking with PRISM: A hybrid approach
-
M. Z. Kwiatkowska, G. Norman, and D. Parker, "Probabilistic symbolic model checking with PRISM: A hybrid approach," in Tools and Algorithms for Construction and Analysis of Systems, 2002, pp. 52-66.
-
(2002)
Tools and Algorithms for Construction and Analysis of Systems
, pp. 52-66
-
-
Kwiatkowska, M.Z.1
Norman, G.2
Parker, D.3
-
2
-
-
84944264717
-
Approximate probabilistic model checking
-
B. Steffen and G. Levi, Eds. Springer
-
T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, "Approximate probabilistic model checking." in VMCAI, ser. Lecture Notes in Computer Science, B. Steffen and G. Levi, Eds., vol. 2937. Springer, 2004, pp. 73-84.
-
(2004)
VMCAI, Ser. Lecture Notes in Computer Science
, vol.2937
, pp. 73-84
-
-
Hérault, T.1
Lassaigne, R.2
Magniette, F.3
Peyronnet, S.4
-
3
-
-
0029714158
-
Reactive modules
-
R. Alur and T. A. Henzinger, "Reactive modules." in LICS, 1996, pp. 207-218.
-
(1996)
LICS
, pp. 207-218
-
-
Alur, R.1
Henzinger, T.A.2
-
4
-
-
77956428072
-
-
"Xrm web page," 2006, http://projects.lrde.epita.fr/Xrm.
-
(2006)
Xrm Web Page
-
-
-
5
-
-
4344668573
-
Guest editors' introduction: Overview of sensor networks
-
D. E. Culler, D. Estrin, and M. B. Srivastava, "Guest editors' introduction: Overview of sensor networks." IEEE Computer, vol. 37, no. 8, pp. 41-49, 2004.
-
(2004)
IEEE Computer
, vol.37
, Issue.8
, pp. 41-49
-
-
Culler, D.E.1
Estrin, D.2
Srivastava, M.B.3
-
6
-
-
0037086890
-
Wireless sensor networks: A survey
-
I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "Wireless sensor networks: a survey." Computer Networks, vol. 38, no. 4, pp. 393-422, 2002.
-
(2002)
Computer Networks
, vol.38
, Issue.4
, pp. 393-422
-
-
Akyildiz, I.F.1
Su, W.2
Sankarasubramaniam, Y.3
Cayirci, E.4
-
8
-
-
34250749865
-
Probabilistic verification of sensor networks
-
Ho Chi Minh City, Vietnam, February
-
A. Demaille, S. Peyronnet, and T. Hérault, "Probabilistic verification of sensor networks," in Proceedings of the Fourth IEEE International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06), Ho Chi Minh City, Vietnam, February 2006.
-
(2006)
Proceedings of the Fourth IEEE International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06)
-
-
Demaille, A.1
Peyronnet, S.2
Hérault, T.3
-
9
-
-
77956440918
-
RATFOR - A rational fortran
-
Pasadena, Calif., November
-
B. W. Kernighan, "RATFOR - a rational fortran," in Workshop on Fortran Preprocessors, Pasadena, Calif., November 1974, p. 3.
-
(1974)
Workshop on Fortran Preprocessors
, pp. 3
-
-
Kernighan, B.W.1
-
10
-
-
84947264529
-
Program transformation with stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9
-
C. Lengauer et al., Eds. Spinger-Verlag, June [Online]. Available
-
E. Visser, "Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9," in Domain-Specific Program Generation, ser. Lecture Notes in Computer Science, C. Lengauer et al., Eds. Spinger-Verlag, June 2004, vol. 3016, pp. 216-238. [Online]. Available: http://www.cs.uu.nl/research/techreps/UU-CS-2004-011.html
-
(2004)
Domain-Specific Program Generation, Ser. Lecture Notes in Computer Science
, vol.3016
, pp. 216-238
-
-
Visser, E.1
-
12
-
-
77956443021
-
APMC 3.0: Approximate verification of discrete and continuous time Markov chains
-
to appear
-
T. Hérault, R. Lassaigne, and S. Peyronnet, "APMC 3.0: Approximate verification of discrete and continuous time markov chains," in Proceedings of Qest 2006, 2006, to appear.
-
(2006)
Proceedings of Qest 2006
-
-
Hérault, T.1
Lassaigne, R.2
Peyronnet, S.3
-
14
-
-
0035424017
-
Location systems for ubiquitous computing
-
August
-
J. Hightower and G. Borriello, "Location systems for ubiquitous computing," IEEE Computer, vol. 34, no. 8, pp. 57-66, August 2001.
-
(2001)
IEEE Computer
, vol.34
, Issue.8
, pp. 57-66
-
-
Hightower, J.1
Borriello, G.2
|