The Semantic Web. Scientific American, pp.34-43, 2001. ,
Annotea, Proceedings of the tenth international conference on World Wide Web , WWW '01, 2001. ,
DOI : 10.1145/371920.372166
Modeling and Verification of Web Applications Using Formal Approach, IEICE Tech. Rep, vol.109, issue.40, pp.2009-2017, 2009. ,
Extending SPARQL with Temporal logic, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00404761
Web applications design and maintenance using symbolic model checking, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., pp.63-72, 2003. ,
DOI : 10.1109/CSMR.2003.1192411
AnWeb, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.609-616, 2002. ,
DOI : 10.1145/568760.568866
Analysis and testing of Web applications, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.25-34, 2001. ,
DOI : 10.1109/ICSE.2001.919078
Web site analysis: structure and evolution, Proceedings International Conference on Software Maintenance ICSM-94, pp.76-86, 2000. ,
DOI : 10.1109/ICSM.2000.883017
Modeling and verification of adaptive navigation in web applications, Proceedings of the 6th international conference on Web engineering , ICWE '06, pp.329-336, 2006. ,
DOI : 10.1145/1145581.1145645
Properties and scopes in web model checking, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.400-404, 2005. ,
DOI : 10.1145/1101908.1101980
Web Automa A Behavioral Model of Web applications based on the MVC model, Computer Software, vol.22, issue.2, pp.44-57, 2005. ,
Formal Verification of Web Applications Modeled by Communicating Automata, Proc. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2004), pp.115-132, 2004. ,
DOI : 10.1007/978-3-540-30232-2_8
The principal of Model Checking, 2002. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Principles of the SPIN Model Checker, 2008. ,
RDF/ XML Syntax Specification (Revised). W3C recommendation, 2004. ,
Schweppe: Storing RDF as a graph, Latin American WWW conference, 2003. ,
Metadata to describe resources (Semantic Web Languages), Proceedings of the INRA Seminar : Metadata: changes and prospects, 2008. ,