Result 1 to 20 from 36 total
Cubicle: a parallel SMT-based model checker for parameterized systems. Tool paper. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 718-724 (2012).
1
Testing software and systems. 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7‒10, 2011. Proceedings. (English)
Lecture Notes in Computer Science 7019. Berlin: Springer (ISBN 978-3-642-24579-4/pbk). x, 225~p. EUR~64.20 (2011).
2
Checking the behavioral conformance of web services with symbolic testing and an SMT solver. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 33-50 (2011).
3
Communities and hierarchical structures in dynamic social networks: analysis and visualization (English)
Social Netw. Analys. Mining 1, No. 2, 83-95 (2011).
4
One step forward: linking wireless self-organizing network validation techniques with formal testing approaches (English)
ACM Comput. Surv. 43, No. 2, 7 (2011).
5
Checking the behavioral conformance of web services with symbolic testing and an SMT solver (English)
TAP, 33-50 (2011).
6
Evaluating the quality of clustering algorithms using cluster path lengths. (English)
Perner, Petra (ed.), Advances in data mining. Applications and theoretical aspects. 10th industrial conference, ICDM 2010, Berlin, Germany, July 12‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14399-1/pbk). Lecture Notes in Computer Science 6171. Lecture Notes in Artificial Intelligence, 42-56 (2010).
7
Identifying the presence of communities in complex networks through topological decomposition and component densities (English)
EGC, 163-174 (2010).
8
Organization of information for the web using hierarchical fuzzy clustering algorithm based on co-occurrence networks (English)
Web Intelligence, 421-424 (2010).
9
Evaluating the quality of clustering algorithms using cluster path lengths (English)
ICDM, 42-56 (2010).
10
A component based testing technique for a MANET routing protocol (English)
AICCSA, 1-7 (2010).
11
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks (English)
MSWiM, 385-392 (2010).
12
Interactive searching and visualization of patterns in attributed graphs (English)
Graphics Interface, 113-120 (2010).
13
Interactive visualization and navigation of web search results revealing community structures and bridges (English)
Graphics Interface, 105-112 (2010).
14
Webmov: A dedicated framework for the modelling and testing of web services composition (English)
ICWS, 377-384 (2010).
15
A formal framework for service orchestration testing based on symbolic transition systems. (English)
Núñez, Manuel (ed.) et al., Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-05030-5/pbk). Lecture Notes in Computer Science 5826, 16-32 (2009).
16
io-port 70033668 Simonetto, Paolo;
Koenig, Pierre-Yves;
Zaidi, Faraz;
Archambault, Daniel;
Gilbert, Frédéric;
Phan-Quang, Trung-Tien;
Mathiaut, Morgan;
Lambert, Antoine;
Dubois, Jonathan;
Sicre, Ronan;
Brulin, Mathieu;
Vieux, Remy;
Melançon, Guy
Solving the traffic and flitter challenges with tulip (English)
IEEE VAST, 247-248 (2009).
17
Network protocol interoperability testing based on contextual signatures and passive testing (English)
SAC, 2-7 (2009).
18
A formal passive testing approach to test a MANET routing protocol (English)
PerCom Workshops, 1-6 (2009).
19
A formal framework for service orchestration testing based on symbolic transition systems (English)
TestCom/FATES, 16-32 (2009).
20
Result 1 to 20 from 36 total
Start
Contact
Print
General Help
