Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983. ,
DOI : 10.1145/182.358434
Satisfiability modulo theories. Handbook of satisfiability, pp.825-885, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
SMT Spatio-Temporal Planning, ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pp.6-15, 2012. ,
A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations, 2005 IEEE International Conference on Multimedia and Expo, pp.578-581, 2005. ,
DOI : 10.1109/ICME.2005.1521489
Analysis and verification of SMIL documents, Multimedia Systems, vol.17, issue.6, pp.487-506, 2011. ,
All about Maude -A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic, 2007. ,
A statechart-based model for hypermedia applications, ACM Transactions on Information Systems, vol.19, issue.1, p.52, 2001. ,
DOI : 10.1145/366836.366869
A Model-driven Approach for the Analysis of Multimedia Document, SLE (Doctoral Symposium), pp.37-44, 2012. ,
An Executable Semantics for a Multimedia Authoring Language, Formal Methods: Foundations and Applications Computer-Aided Verification (CAV'2014), pp.67-82, 2013. ,
DOI : 10.1007/978-3-642-41071-0_6
Dynamic consistency checking for temporal and spatial relations in multimedia presentations, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1380-1384, 2006. ,
DOI : 10.1145/1141277.1141596
Formal Analysis of Software Models Oriented by Architectural Abstractions, 2004. ,
Modeling and Authoring Hypermedia Documents, 1998. ,
An Approach to Verify Live NCL Applications, Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, pp.223-232, 2012. ,
Behavioral reactivity and real time programming in XML, Proceedings of the 2004 ACM symposium on Document engineering , DocEng '04, pp.57-66, 2004. ,
DOI : 10.1145/1030397.1030411
Semantic adaptation of multimedia documents. Multimedia tools and applications, pp.379-398, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00781024
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
A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning, pp.165-176, 1992. ,
Design methodology and formal validation of hypermedia documents, Proceedings of the sixth ACM international conference on Multimedia , MULTIMEDIA '98, pp.39-48, 1998. ,
DOI : 10.1145/290747.290753
Programming in NCL 3.0: developing applications for the Ginga middleware, Digital TV and Web, 2009. ,